查询词典 threshold logic

The logic of linguistic communication aims at solving the natural language phenomenon in daily life,supplying further the logic theory of normal expression and understanding,which is the fruit of combination among modem logic,grammar and rhetoric,developing gradually along with the uprising of modem syntactics,semantics and pragmatics .

语言交流的逻辑旨在处理日常的自然语言现象，进而提供日常表达和理解的逻辑理论，它是现代的逻辑、语法和修辞相结合的产物，是伴随着现代的语形学、语义学和语用学的兴起而逐步发展起来的。

Finally, several MTNCs were designed for implementing the XOR operation and Literal, AND, OR operation in ternary logic at switch level. The result of simulation with PSPICE showed that the designed circuits had not only the correct logic function and small propagation delay but also had simple structure. Whats more, when achieving the same logic function, the MTNCs decreased large amount of hardware expense compared with the STN circuits.

对设计出的电路进行PSPICE模拟并测量相关参数，结果表明，该设计方法不但简便、规范，而且设计出的多阈值神经元电路具有速度快，结构简单的优点，并且，在实现相同逻辑功能时，采用多阈值神经元电路相对于单阈值神经元电路，大幅降低了硬件成本。

In the base of regularity of fuzzy logic s, combining triangular norms and logic s, it has lead proposition universal logic .

在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。

The system uses three systems structures, and developed by JSP-JavaBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used JavaBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+JavaBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用JavaBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

The system uses three systems structures, and developed by JSP-J**aBean-SQL Server 2000 technology. Videlicet, at foreground is realized displaying logic by JSP WebPages, in the middle used J**aBean component complete the complicated business logic inner system, at background uses SQL Server 2000 databases accomplish data logic, and design a solution for a network examination system.

系统采用的三层体系结构，JSP+J**aBean+SQL Server 2000开发，即前端由JSP网页实现表现逻辑，中间使用J**aBean的组件实现系统内部复杂的业务逻辑，后端使用SQL Server 2000数据库实现数据逻辑，并设计了网上考试系统的解决方案。

Important: In a MVC world we only want to put rendering logic in our View's code-behind class (and not any application or data logic). Notice above how the only logic we have is to assign the strongly typed ViewData collection of Category objects to the ListView control.

重要：在 MVC 中我们只希望在视图的后台代码中放置显示逻辑（不包括任何其他的业务逻辑），注意上面的大妈中我们唯一的一个逻辑操作时将强类型的目录列表 ViewData 赋值给 ListView 控件。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

A preliminary study is made on the logic inference and formal logic of Yuanjics,pointing out the importance of deductive logic in the disciplinal construction and development of Yuanjics.

对元极学逻辑推理与形式逻辑进行初步的研究。

We have limited budget let me know if you can do this competitively.

我们有限的预算让我知道如果你能做到这一点竞争力。

We don't know how other critters breathe--lizards, for example.

我们还不知道诸如蜥蜴之类的动物如何呼吸。