逻辑系统

This invention relates to a DC linear motor digital controller including a central processor circuit, a data memory, a program memory, an A/D conversion circuit, a D/A conversion circuit, a linear shift orthogonal code pulse signal circuit, a signal isolation circuit, among which, the center processor circuit is composed of a special DSP chip controlled by the motor, a complicated programmable logic device CPLD combining with a peripheral expanding circuit, said digital controller fully utilizes the motor to control the special DSP chip to integral DSP kernel CZXLP and the rich external circuit in a single chip to make up of a digital controller for controlling high frequency response DC linear motor with small volume, low dissipation and high reliability.

高频响直流直线电机数字控制器，属于电机自动控制技术领域，目的在于获得快速、高精度往返运动的控制效果，实现高频响直流直线电机的精密位置跟踪控制功能。本发明包括中央处理器电路，数据存储器，程序存储器，A/D转换电路，D/A转换电路，直线位移正交编码脉冲信号电路，信号隔离电路；中央处理器电路由一个电机控制专用DSP芯片，复杂可编程逻辑器件CPLD，结合外围扩展电路组成。该数字控制器充分利用电机控制专用DSP芯片将高性能DSP核C2xLP和丰富的功能外设电路集成在单个芯片上这一特点，构成了一个体积小、功耗低、可靠性高和功能比较齐全的高频响直流直线电机控制用的数字控制器，使系统的整体成本大大降低。

The logical layout of the components of a computer system or network and their interconnections.

计算机系统或者网络各组件以及这些组件之间的互联的逻辑布局。

The system architecture, functionality, interlock and flow control are described.

文章介绍该系统的结构、功能、联锁逻辑和流程控制等。

Based on introducing the control principle of the jigger system, the analysis of control requirement for the system was achieved, and the control scheme was proposed. The construction of hardware platform based on programmable logic controller was built. The control strategies about the velocity-tension transmission system and the temperature of dyeing liquor were presented.

在介绍卷染机控制原理的基础上，对系统的控制要求进行了分析，并确定了控制方案，搭建了基于可编程逻辑控制器的卷染机硬件控制平台，提出了卷染生产过程中速度张力传动控制策略和染液温度控制策略。

The clusters of orthologous groups involved in a gene network usually are large groups and therefore LAPP is also an approach for complex gene logic networks.

由于涉及功能的基因组通常是一个大的群体构成的系统，因此LAPP方法也是一个生成复杂的基因逻辑网络的方法。

An electronic coded lock based on in system programmable technology and complex programmable logic deviceis introduced in this paper.

介绍一种基于在系统可编程技术和复杂可编程逻辑器件的新型电子密码锁的设计方法，阐述了其工作原理和软硬件设计。

An object-based logic calculus is outlined in this paper, which is built on the trace calculus based on dynamic entities with local states.

对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Trace演算之上。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

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.

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