1) logic design
逻辑设计
1.
Metrics and its verification for SDRAM controller performance analysis specified for logic design
面向逻辑设计的SDRAM控制器性能度量模型
2.
Aiming at the problems found during the feed water full-process commissioning in Zhanjiang Orimulsion Power Plant,an analysis was made of the deficiencies in the feed water full-process logic design of the unit,solution thereof and new plan for pump combination(switching) further presented.
针对湛江奥里油电厂给水全程调试中发现的问题,分析了该机组给水全程逻辑设计中存在的不足之处,并提出了相应的解决方案,进一步提出了新的并(切)泵方案。
3.
Four type rotating states is simulated by the method of logic designs.
从异步电机的数学模型出发,建立异步仿真模型,再利用逻辑设计法对双速电动机四种旋转方式进行仿真。
2) logical design
逻辑设计
1.
They are data sources analysis,concept design,logical design,physical design and data replication.
本文针对水利水电工程安全监测信息系统开发中综合数据库建设的主要问题进行了讨论,对数据源分析、概念设计、逻辑设计、物理设计、数据复制等各个环节中的工作内容和解决方案进行了归纳与总结,讨论结果对于同类系统的开发与建设具有一定的参考意义。
2.
Because of the different arrangement of burners and second air nozzles, the flame detector, which is the important device in the protection system of unit flame failure of tangential fired boilers, can be chosen from different types and different arrangements, its protective logical design are different accordingly.
由于四角切圆锅炉燃烧器和二次风口布置方式的不同,其全炉膛灭火保护的重要组成部件棗火焰检测器的选取和布置方式以及逻辑设计也就不同。
3.
The major object oriented features of Ada95 are introduced and its supports to object oriented computing model and object oriented logical design are analyzed.
介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支
4) MFT Logical Design
MFT逻辑设计
6) logic design CAD
逻辑设计CAD
补充资料：逻辑程序设计
将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。1972年法国科莫劳埃小组实现了第一个逻辑程序设计语言PROLOG。1974年以后R.科瓦尔斯基进一步阐明了PROLOG的理论基础，并系统地发展了逻辑程序设计的思想。对于传统的程序设计来说，算法的逻辑意义往往被程序复杂的控制成分所掩盖，使程序的正确性难以得到证明。而且通常的高级程序设计语言属于过程性语言，需要在程序执行前详细规定运行步骤。科瓦尔斯基对传统的算法或对用通常高级语言编写的程序提出了一个著名的分析公式，即算法＝逻辑＋控制。其基本思想是要从根本上改变程序设计的方法：用户只需要编写程序的逻辑部分（逻辑程序设计之名由此而来），而系统中的解释程序则实施控制部分的职能。这种将逻辑与控制分开的方法具有下列的优点：①可以在控制部分设计之前不断改进逻辑程序。②可以改进控制部分而无需变动逻辑程序本身。③可以从程序说明中生成逻辑程序，加以验证和变换，而无需考虑其控制部分。④只需在逻辑程序中规定目标和实现这些目标的现有条件，也就是只需告诉系统做什么(What to do)，至于如何执行也就是说怎样做 (How to do)，则由系统的控制部分，即解释程序处理解决。
现行逻辑程序的基本语句属于一阶谓词演算的一个子集，HORN子句集。HORN子句的一般形式为：A1，...，Am←B1，B2，...，Bn，其中Ai(1≤i≤m)、Bj(1≤j≤n)都是原子公式，分别代表结论和前提的形式。前提部分是各原子的合取式，构成子句体，结论部分最多只有一个原子，称为子句头。由此可将HORN子句分成两个基本类型：①有头HORN子句（用来代表一条规则），例如，grandfather(x，z)←father(x，y)，father (y，z)代表：x是y的父亲且y是z的父亲，则x是z的祖父。有头无体的HORN子句是一断言（用来代表一个事实）。例如，father(A，B)代表：A是B的父亲，father(B，C)代表：B是C的父亲。②无头HORN子句，称为目标语句（用来代表结论的否定式）,例如，←grandfather(A，C)代表：A不是C的祖父。逻辑学家A.霍恩对这类子句性质作了详尽的研究，HORN子句即因此得名。
从问题归约的角度看，可将HORN子句解释为一过程，它将问题(目标)A归约为若干子问题（子目标）,每一子问题 Bi(1≤i≤n)又可解释为对其他过程(HORN子句)的调用。有头无尾的HORN子句则代表一个已知其解的基元问题。过程调用实际上是使构成子句体的一个原子（子目标）与某一子句头匹配，这就是运用归结原理中的合一的过程。因此逻辑程序的执行过程也就可以看成是定理证明过程，其中解释程序起定理证明器或问题求解器的作用。
HORN子句的过程调用(B1， B2，...，Bn)可按任意次序进行，适合于平行处理。HORN子句可作过程性的解释也可作陈述性的解释,运用比较方便。因此,以HORN子句为基础的逻辑程序设计语言PROLOG受到人们的重视（见PROLOG语言）。日本的第五代计算机系统的计划也推动了逻辑程序设计的研究。也有人认为，不同类型的问题需要不同风格的程序设计方法，在下一代的知识信息处理系统中除逻辑程序设计之外，还必须重视面向对象的程序设计、面向存取的程序设计、规则型程序设计，此外，建立与知识信息处理相适应的程序设计环境也是重要的课题。
参考书目
K.L.Clark and S.- A. Tarnlund, eds, Logic Programming, Academic Press, Inc., London,1982.
现行逻辑程序的基本语句属于一阶谓词演算的一个子集，HORN子句集。HORN子句的一般形式为：A1，...，Am←B1，B2，...，Bn，其中Ai(1≤i≤m)、Bj(1≤j≤n)都是原子公式，分别代表结论和前提的形式。前提部分是各原子的合取式，构成子句体，结论部分最多只有一个原子，称为子句头。由此可将HORN子句分成两个基本类型：①有头HORN子句（用来代表一条规则），例如，grandfather(x，z)←father(x，y)，father (y，z)代表：x是y的父亲且y是z的父亲，则x是z的祖父。有头无体的HORN子句是一断言（用来代表一个事实）。例如，father(A，B)代表：A是B的父亲，father(B，C)代表：B是C的父亲。②无头HORN子句，称为目标语句（用来代表结论的否定式）,例如，←grandfather(A，C)代表：A不是C的祖父。逻辑学家A.霍恩对这类子句性质作了详尽的研究，HORN子句即因此得名。
从问题归约的角度看，可将HORN子句解释为一过程，它将问题(目标)A归约为若干子问题（子目标）,每一子问题 Bi(1≤i≤n)又可解释为对其他过程(HORN子句)的调用。有头无尾的HORN子句则代表一个已知其解的基元问题。过程调用实际上是使构成子句体的一个原子（子目标）与某一子句头匹配，这就是运用归结原理中的合一的过程。因此逻辑程序的执行过程也就可以看成是定理证明过程，其中解释程序起定理证明器或问题求解器的作用。
HORN子句的过程调用(B1， B2，...，Bn)可按任意次序进行，适合于平行处理。HORN子句可作过程性的解释也可作陈述性的解释,运用比较方便。因此,以HORN子句为基础的逻辑程序设计语言PROLOG受到人们的重视（见PROLOG语言）。日本的第五代计算机系统的计划也推动了逻辑程序设计的研究。也有人认为，不同类型的问题需要不同风格的程序设计方法，在下一代的知识信息处理系统中除逻辑程序设计之外，还必须重视面向对象的程序设计、面向存取的程序设计、规则型程序设计，此外，建立与知识信息处理相适应的程序设计环境也是重要的课题。
参考书目
K.L.Clark and S.- A. Tarnlund, eds, Logic Programming, Academic Press, Inc., London,1982.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条