查询词典 sequential logic

The classical proposition logic is the basis of modern formal logic.

经典命题逻辑是现代形式逻辑的基础。

However, it is important for you to realize that these questions do not rely on any kind of formal logic, nor do they require that you be familiar with specific terms of logic or argumentation.

然而，请你一定要认识到，这些问题并不依靠任何一种正式的逻辑，也不需要你去研究具体的逻辑或辩论方面的术语。

Studies on the tautologies in some lattice valued logic systems and formula computation by means of neural net works.(1) Tautologies play a significant role in logic applications.

二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算 1、重言式在逻辑系统的应用中起着重要的作用。

Optical logic gates and full adder are essential elements performing logic and arithmetic operations in optical digital computing systems.

光学逻辑门与全加器是数字光计算系统进行逻辑操作及算术运算的基本元件。

It is based on an one column full adder in function; there introduces the special carry chain in the parallel and the vertical directions in order to accord the flexible carry needed by the data channel, it can be confected into different working mode, and realizes the compound logic and the sequence logic.

它在功能上基于一位全加器；在水平和垂直方向中都加入了专用进位链以满足数据通路所需的灵活进位，可配制为不同的工作模式，分别实现组合逻辑和时序逻辑。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.

在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

A real time optical logic processor is presented, that can perform binary logic operations in parallel. Experimental result is given of the system as a half adder.

本文提出了一种能实时完成二进制逻辑运算的光学并行处理系统，并给出了作为半加法器的实验结果。

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。