查询词典 logic level

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

If the true ("1") level is the most positiv e voltage, this logic is referred to as positive true or positive logic.

如果真("1")电平是高的正电压，则此逻辑称为正逻辑。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

This theorem states that the sum of the symmetric logic variables constitutes a level-0 kernel of the symmetric logic function.

该定理表明，对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。

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

One of them is that it is not decidable and the other is that all the task knowledge in it has to be defined on an abstract logic level so it can not describe the concrete attributes of tasks.

其中，计算逻辑属于交互计算理论[4]，进程代数主要描述进程之间的通信，属于并发计算理论，两者都不太适合描述主体之间的资源交互。

Comparing withHayek's theory on society method, I believe constitution litigationmechanism must considering the following conclusion in modelingconstitutional method: first, the acquiring of constitutional method isusually effects system vicissitudes. Although constitutional arbitramentcan form definite constitutional method, it can't achieve perduringsubstantial results level of method; secondly, constitutional method isformed virtually by the mixture of two kind of potence, and one is socialpotence, the other is governmental potence. The constitutional method'srationality in logic structure rests directly with the wrestling process ofconstitutional logic and social process. Constitutional method is more akind of simulative conformation of natural logic and social logic, itforms by the wrestling of government, public, legislature andconstitution judging organ. Fourthly, the maintenance of constitutionalmethod depends on the inner power sustained by faith and exteriorpower coming from the background of compulsion. Fifthly,constitutional method itself is a dynamic structure, and it's realizingquomodo and vindicating means is being in vicissitude, however, it canonly provide condition and inspiritment.

对照哈耶克的社会秩序理论，笔者认为，宪法诉讼机制在型构宪政秩序时必然要照顾到以下结论：其一，宪政秩序的取得，往往是一个制度自然变迁的结果，宪法裁决虽然也可能在短期内形成一定的宪法秩序，不过却无法强行地达到一个较大范围内持久的秩序实效水准；其二，宪政秩序实际上是由两种力量交合而成的，一是社会力量，一是政府力量，宪政秩序的逻辑结构的合理性直接取决于宪法逻辑和社会逻辑之间的博弈过程；其三，宪政秩序更多的是一种对自然逻辑和社会逻辑的模拟形态，是经由政府、公众、立法机关与宪法裁判机构的合作博弈而形成的，宪法诉讼的功用至多在于提供博弈规则，以实现纳什均衡；其四，宪政秩序的维护主要依靠来自信念支持的内部力量与来自强制背景的外部力量；其五，宪政秩序本身是一个动态的、常新的结构，其实现方式与维护手段也处于不断变迁之中，但无论如何，宪法诉讼机制所能提供的只是制约与激励两种。

In order to achieve the above-mentioned objective, the first task will be dividing well the tier-level structure of the system, then reasonedly designs represent logic, business handling logic and data logic.

要实现上述目的，首要的任务便是划分好系统的层次结构，合理地设计表示逻辑、业务处理逻辑和数据逻辑。MVC模式就是一个很好的将表示、控制和业务处理相分离的解决方案。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。