逻辑图

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

A systematic method using the Karnaugh map to simplify multi-output combinational logic functions is introduced.

针对多输出逻辑函数，建立了一种规范化的共卡诺图化简法。

The compilatory method is used to study the grammar check, and the logic ruler method is presented; On the interference verification, the rapid algorithm of over—cut verification is presented, which can pre—verify multiple NC blocks.

采用编译理论对语法检查进行了研究，给出了零件程序的词法检查状态图，并提出了新的采用逻辑尺的语法检查方法；干涉校验方面，提出了一种新的过切削的快速校验算法，可以实时预校验多个零件程序段，提高了校验能力。

The formal definition of evolution rules and consistency conditions can help the understanding and reuse of the evolution process.

开发系统的一致性条件定义为具体图上的性质，用带等词的一阶逻辑表示。

It can be used to systematically construct state array and sequence diagram,write logic expressions,and draw control circuit diagram based on technical requirements.

介绍了根据工艺要求系统地构成状态表和程序图，写逻辑表达式。画控制线路的具体方法。

Alan Mathison Turing, OBE (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer.

阿兰·麦席森·图灵(1992.6.23-1954.6.7)，大英帝国勋章获得者，是英国数学家、逻辑学家和密码破译专家。

The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable age.

智能代理技术是实现自动谈判的有效途径，本文提供灵活有效的谈判代理开发方法，使用状态图和可废止逻辑规则说明谈判策略，动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理nt

A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent.

使用状态图和可废止逻辑规则说明谈判策略，将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理。

Software Description: About 2+ Block Buster, In this logic game, you have to click on groups of similar blocks to bust them.

2+ Block Buster 在这款逻辑游戏当中，你必须点击相同图块组以便击破它们。

The virtual object storage is upwardly independent of language constructs and downwardly of physical storage management.

本文提出了表示和描述对象持久性语义的直观工具引用可达图；研究了持久程序设计语言的存贮管理问题，提出了虚拟对象存贮空间的思想并在双拷贝模型的基础上实现了一个虚拟对象存贮管理系统，从而形成了一个向上独立于语言设计与实现、向下独立于物理存贮管理的单一层次的逻辑存贮器。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。