查询词典 differential calculus

Fuzzy logic ; proposition calculus ; accessible α+ tautology ;α contradiction ; upgrade algorithm ; partition

模糊逻辑；命题演算；可达α~+-重言式；α-矛盾式；升级算法；分划

This thesis studies the constructing and running processes of the virtual enterprise and proposes the virtual enterprise ontology oriented to the process modeling. It also represents the process model decomposed hierarchically described by logic situation calculus based on the virtual enterprise ontology and presents the corresponding organization model decomposed hierarchically for the virtual enterprise in the dynamic allying process.

本文主要通过对虚拟企业的结盟、构建和运作过程的深入研究，提出了面向过程建模的虚拟企业本体论，并在该本体论基础上，以逻辑情景演算形式化地描述了虚拟企业在结盟过程中逐步精化的过程模型，并建立了相应的虚拟企业分层递解组织模型。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

The three states are transformed via two-dimension liquid crystal element and polarizators, and ternary arithmetic operation and ternary logic al calculus completed directly in this way.

三值光计算机用相互垂直的两个线偏振光和零光强三个独立的光状态表示信息；用二维液晶器件和偏振器实现此三个状态间的转换；采用三进制算术运算；直接处理三值逻辑运算；拥有巨大的数据位数(容易超过10~4位)；具有光运算、光传送、电控制等结构特色，具有很强的空间、时间并行性。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.

与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分。

In the calculus of proof the concept of forming a more in-depth study of mathematical logic of an independent branch.

在演算中证明的概念的更深入研究形成了数理逻辑的一个独立分支。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

The calculus of maxima and ''.

正定积分的极大与极小的微积分学。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。