查询词典 approximation calculus

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

Fractal dimension structure of the Cosmos are explored, and the mathematical foundation, which include the expressions of fractal dimension differential and calculus, regular space integral solutions of fractal dimension differential equations, the fractal calculus definitions of fractal measure as well as the measure computational equation of self-similar fractal, of fractal dimension calculus and fractal measure are given.

摘 要：探讨了宇宙分维构造的形式，给出了分维微积分及分形测度的数学基础，包括分维导数及分维微积分的表述形式、分维微分方程的规整空间积分解、分形测度的分维微积分定义及自相似分形的测度计算方程。

First, this paper introduces a process calculus, the pi-calculus, into the intelligent agent domain, and agent mental attitudes, agents and agent-based systems with dynamic characteristics, agent interactions, and agent cooperations are studied formally in the polyadic pi-calculus.

首先，本文将进程演算引入智能主体研究领域，利用多价pi演算对主体的心智状态、基于主体的系统、多主体交互及协作进行了形式化。

Blood loss volume were 110mL to 480mL. 24 patients had residual calculus when recheck KUB, 7 accepted ESWL, 4 PCN, and 13 automatic removing urinary calculus. IVU showed that renal visualization was well, hydrops obviously decreased, none calculus re-cured or renal pelvis stegnosis.

术后3月复查腹部平片示有24例有结石残留，7例经体外振波碎石，4例经肾造痪管经皮肾镜下碎石，13例泥沙样小结石自动排石。12月复查静脉肾孟造影示肾显影良好，积水明显减少，未见结石复发和肾孟狭窄。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分"逼近法"的精髓，在微积分的各个方面都有重要的应用。

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分&逼近法&的精髓，在微积分的各个方面都有重要的应用。

For the given endpoint interpolation conditions, a new approximation method of multidegree reduction is presented. Using Chebyshev polynomial approximation theory, the nearly best uniform approximation under the interpolation conditions of endpoints can be obtained.

对于给定的首末端点的各阶插值条件，给出了一种新的一次降多阶逼近算法，应用Chebyshev多项式逼近理论达到了满足端点插值条件下的近似最佳一致逼近。

Applying the Euler method to the equation and particularly using the interpolation technique on variable delay, the Euler approximation is obtained. The discrete Euler approximation is extended to the continuous Euler approximation. It is proved that the Euler numerical solutions will converge strongly to the true solution under the local Lipschitz condition.

对方程应用欧拉方法，特别地对变延迟部分运用插值技巧进行数值离散后，将离散的欧拉格式延拓为连续的欧拉格式，从而得到欧拉格式在局部Lipschitz条件下强收敛到解析解。

The moving least squares approximation makes only require least squares approximation with regard to functional value on all nodes. It makes no require for the residual of derivative approximation.

移动最小二乘近似只要求近似函数在各节点处的误差的平方和最小，对近似函数导数的误差没有任何约束。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。