逻辑系统
- 与 逻辑系统 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.
格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。
-
XYZ/E is a temporal logic system as well as a programming language.It can represent almost every kind of significant features in conventional imperative languages.
XYZ/E既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。
-
An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.
作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。
-
Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.
在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。
-
A sliding mode term with the bound to be online estimated adaptively is introduced to improve robustness.
本文对基于模糊逻辑系统的变结构控制研究状况进行了较系统的分析和综述，研究了几种常见的模糊变结构控制方案。
-
By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.
特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。
-
By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.
特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。
-
In the design, first, fuzzy logic systems were used to approximate the unknown functions, and the state observer was developed for estimating the unmeasured states.
设计中，首先用模糊逻辑系统逼近未知非线性函数，然后引入模糊自适应观测器估计系统的状态。
-
The fuzzy reasoning method and the defuzzification method are two mian parts in designing a fuzzy control system.
模糊推理方法和非模糊化策略是模糊逻辑系统的两个最重要的组成部分，在很大程度上影响模糊系统的性能和效果。
-
A nevel learning algorithm of fuzzy identification for complicated dynamic systems is proposed, based on the Fuzzy Logic System .
在一类具有非线性逼近能力的模糊逻辑系统的基础上，提出了实现非线性动态系统的模糊辨识算法。
- 推荐网络例句
-
For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether
年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。
-
Eph. 4:23 And that you be renewed in the spirit of your mind
弗四23 而在你们心思的灵里得以更新
-
Lao Qiu is the Chairman of China Qiuyang Translation Group and the head master of the Confucius School. He has committed himself to the research and promotion of the classics of China.
老秋先生为中国秋阳翻译集团的董事长和孔子商学院的院长，致力于国学的研究和推广。