逻辑系统

Spinning frame control system of ring spinning frame than the complexity of many machines on the programmable logic controller applications required to meet two requirements: First of all, before and after the rollers are strict synchronization, realize twist drawing multiples and precision control to ensure that high-count yarn yarn quality; followed by the ring through the elimination of the transmission gears, servo control using advanced technology to achieve the electronic roll forming technology, enabling organizations to simplify the machinery, production speed, as well as the yarn count and yarn tube forming the automatic adjustment.

细纱机控制系统的环纺比许多机器的可编程逻辑控制器必须符合两个条件应用的复杂性框架：首先，前后辊严格同步，实现扭曲绘图倍数和精度控制，以确保高支纱的成纱质量，其次是环通过消除传动齿轮，采用先进的伺服控制技术实现的电子滚压成形技术，使企业简化机械，生产速度，以及支数和纱管形成了自动调整。

Using the extended Hoare calculus we can derive true Hoare formulas which contain while statements free of loop invariants.

使用这个抽象机器，可以在其上进行许多带位操作指令的程序，特别是系统级代码的Hoare逻辑风格推理。

This project works on some theoretical and technical problems in software safety and security. The project takes type theory as main theory and uses type systems and Hoare logic-style reasoning as main means.

本项目以类型论作为主要理论基础，用类型系统和Hoare逻辑风格的推理作为主要手段，研究软件安全中的一些理论和技术问题。

A multi-agent hybrid system integrating multiple software agents, simulation, knowledge bases and fuzzy logic for international marketing decision making is then presented.

我们也给出了一个支持国际市场营销策划的集成了多个软件代理、模拟、知识库和模糊逻辑的多智能体混合系统。

The method of reliability numerical simulation has been presented based on the system invalidation,whose logic hypotaxis is fault tree. By replacing the structure function of the fault tree with the cuts, the course of calculation has been simplified and the computer arithmetic has been optimized.

摘 要：提出了基于系统失效性，以故障树为仿真逻辑关系的可靠性数字仿真方法，并且利用割集对故障树中的结构函数进行了替代，大大简化了仿真计算步骤，优化了计算机算法。

According to the technological process and control request, select the scheme of controlling, write I/O address form and control procedure, draw the sub wiring diagram of end of main circuit diagram and programmable logic controller of the system.

根据工艺流程和控制要求，选定控制方案，编写I/O地址表和控制程序，画出了系统的主电路图和可编程逻辑控制器的端子接线图

The method of modeling and simulation combines logic illation with information technology is an effective way for the research of Warfare System.

现代建模与仿真方法融合逻辑演绎及信息技术优势，是研究战争系统行之有效的方法。

When we look at the structure of a system,it may appear illogical.

当我们审查系统结构的时候，它可能显得不合逻辑的。

The system of the principle of responsibility imputation refers to the systematic structure that forms its inner logic connection.

归责原则体系是指各归责原则所组成的具有内在逻辑联系的系统结构。

So to analyze in the aspect of description, it is useful to delouse the fount how inarticulateness comes into being; Based on the economic relationship and from the viewpoint of the pursuit of aim, the object of studying, the original creation of aesthetics, as well as the articulate knowledge and inarticulate knowledge, Polanyi distinguished the acquisitive way of science and technology. The development model of personal Knowledge can be generalized as the enthusiasm of seeking knowledge; Polanyi revealed how personal factors of mathematician cut across logical chasm, and gained mathematics findings in math" s activities. Thus he proved mathematics was also activity-needed techniques as natural science; Last evaluating the theory of "Personal Knowledge systematically, it can reveal its realistic significance and limitation.

波兰尼把认知结构区分为可言传知识与不可言传知识，与20世纪以来西方哲学的中心课题转向语言学的研究一致，所以从言述的角度出发，有助于了解不可言传性如何形成的根源；波兰尼以经济关系为立足点，从科学与技术的目的追求、研究对象、美的原创性，以及从可言传知识与默会知识的角度对两者的获取途径做了区分；其个人知识发展模式可以概括为：求知热情→启发性热情→说服性热情……；波兰尼揭示出数学家的个人因素是如何在数学活动中跨越逻辑鸿沟，取得数学发现的，从而证明数学同自然科学一样，也是一项需要技能的活动；最后对"个人知识"理论作一系统的评价，揭示"个人知识"理论的现实意义和局限性。

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.

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