逻辑系统

In ACF/VTAM, an unformatted session-initiation request for a session between two logical units.

在IBM的通信系统ACF/VTAM中，两个逻辑单元之间的一次非格式化的话路启始

The method added replication mechanism objected by Vinum logical volume manager, which could achieve replication on data block level while maintain independence on specific storage device.

该系统以Vinum逻辑卷管理器为对象添加复制机制，不依赖于具体的存储设备，能实现数据块级的复制。

The integrated "Master Plant Logical Fault Tree"method adopted in this estimation reflects the advanced tendency of modern and powerful evaluation of PSA. The VIRA system and the"Master Plant Logical Fault Tree of GNPS"have an advantages of not only easily and simple in operation, suitable for different levels of people, but also of practical value, especially in making sensitivity study and optimization analysis.

结合文章所需而发展的可视化的可靠性分析软件—VIRA系统及基于VIRA而构造的GNPS主逻辑故障树模型，不仅操作起来简单方便，适用于不同层次的人员，而且实用，便于进行敏感性分析及方案比较计算。

In order to make the adjustment and maintenance of the original coal conveyor belt offset compensator of Mudanjiang No.2 Power Plant easy and to improve its waterproofness, a new automatic coal conveyor belt compensator is employed to achieve remote control, automatic adjustment of coal drop point and automatic compensation of conveyor belt offset, thereby improving operational reliability of conveyor belt.

输煤皮带机是火力发电厂运送燃料的主要设备。在输煤皮带长期运行过程中，皮带跑偏是一种经常发生的故障，使皮带机无法正常上煤，影响机组正常运行。因此，输煤皮带系统的皮带纠偏装置比较重要。新型输煤皮带跑偏自动调整装置的应用和改进，可针对输煤皮带的各种跑偏现象进行智能逻辑判断，达到自动调整落煤点和皮带纠偏的目的，确保输煤皮带正常运行。

Based on the propagation algorithm of signal probability,the decomposition algorithm of a multi-input XOR/AND gate,and the multiple segment algorithm of polarity conversion,this paper successfully applies the whole annealing genetic algorithm to find the best polarity of an RM circuit.

徐建 宁波大学电路与系统研究所，宁波 315211针对n变量逻辑函数在不同极性下所对应REED-MULLER 电路功耗和面积不同的特点，对信号几率传递算法、多输入XOR/AND门的低功耗分解算法和多成份极性转换算法进行了深入研究，成功地将整体退火遗传算法(whole annealing genetic algorithm，WAGA)应用于RM电路最佳极性的搜索。

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

A low power AMBA bus system is implemented. In order to separate the core logic from bus interface, a new local bus is defined.

完成了低功耗的AMBA总线系统的设计，并在总线接口和核心逻辑分离的指导原则下，定义了一种新的局部总线。

with the methods of documentary review, analogism, induction, deduction and logical analysis, the theoretical system of chinese and western physical training is taken as research objects.

以中西方身体训练的理论体系作为研究对象，采用文献资料研究法、类比推论、归纳与演绎，以及逻辑分析法等科研方法，从中西方自然观和身体观的比较入手，探讨建立在东方&元气论&和西方&原子论&基础上的身体训练理论的差异，从而客观评价中国传统身体训练的理论体系，并为系统整理中国传统身体训练理论奠定基础。

And computer systems is much stronger. There is a one-to-one relationship between bool

但是布尔逻辑和计算机系统之间的关系却是很强的。

An active vibration control system realized by Field Programmable Gate Array is discussed based on flexible cantilevered beam.

该文以悬臂梁为研究对象，论述了利用可编程逻辑门阵列实现的振动主动控制系统。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。