|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) General logic program
一般逻辑程序
1.
General logic programming is an important knowledge representation tool,and is an area of nonmonotonic reasoning.
一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一。
2) logic program
逻辑程序
1.
Application of Logic Programming in Relation Database Data Integrity Constraint;
逻辑程序在关系数据库完整性约束中的应用
2.
Research of Dynamically Changing Coverage of Immune DetectorBased on Logic Program;
基于逻辑程序的免疫识别器动态覆盖性初探
3.
The Correspondence between the Horn Logic Programs and Grammars;
Horn逻辑程序和形式文法之间的对应关系
3) Program Logic
程序逻辑
1.
This paper summarizes the different methods describing the program logic in programming teaching and analyzes the corresponding deficiencies.
总结了目前程序设计教学中描述程序逻辑所采用的不同方式,分析了存在的不足,提出以“PAD”为工具描述程序逻辑的方法。
4) logic programming
逻辑程序
1.
Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic;
再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究
2.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
3.
Logic programming has been widely applied in mechanical theorem proving,relational database system, modularized programming and non-monotone reasoning.
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。
5) logical program
逻辑程序
1.
Access control strategy is reasoned,through logical program,which makes reasoning of access control effectively.
提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。
6) general procedure
一般程序
1.
Importance of programming for dairy project construction and general procedure;
乳品项目建设程序化的重要性和一般程序
2.
This paper gives the general procedure of rationalizing denominators.
给出了有理化分母的一般程序。
补充资料：泵选型一般程序
1、 根据装置的布置、地形条件、水位条件、运转条件、经济方案比较等多方面因素 2、 考虑选择卧式、立式和其它型式（管道式、直角式、变角式、转角式、平行式、垂直式、直立式、潜水式、便拆式、液下式、无堵塞式、自吸式、齿轮式、充油式、充水温式）。卧式泵拆卸装配方便，3、 易管理、但体积大，4、 价格较贵，5、 需很大占地面积；立式泵，6、 很多情况下叶轮淹没在水中，7、 任何时候可以启动，8、 便于自动盍或远程控制，9、 并且紧凑，10、 安装面积小，11、 价格较便宜。 3 、根据液体介质性质，确定清水泵，热水泵还油泵、化工泵或耐腐蚀泵或杂质泵，或者采用不堵塞泵。 安装在爆炸区域的泵，应根据爆炸区域等级，采用防爆电动机。 4.振动量分为：气动、电动（电动分为220v电压和380v电压）。 5、根据流量大小，选单吸泵还是双吸泵：根据扬程高低，选单吸泵还是多吸泵，高转速泵还是低转速泵（空调泵）、多级泵效率比单级泵低，当选单级泵和多级泵同样都能用时，宜选用单级泵。 6、 确定泵的具体型号，采用什么系列的泵选用后，就可按最大流量，放大5%——10%余量后的扬程这两个性能主要参数，在型谱图或系列特性曲线上确定具体型号。 利用泵特性曲线，在横坐标上找到所需流量值，在纵坐标上找到所需扬程值，从两值分别向上和向右引垂线或水平线，两线交点正好落在特性曲线上，则该泵就是要选的泵，但是这种理想情况一般不会很少，通常会碰上下列几种情况： A、第一种：交点在特性曲线上方，这说明流量满足要求，但扬程不够，此时，若扬程相差不多，或相差5%左右，仍可选用，若扬程相差很多，则选扬程较大的泵。或设法减小管路阻力损失。 B、第二种：交点在特性曲线下方，在泵特性曲线扇状梯形范围内 ，就初步定下此型号，然后根据扬程相差多少，来决定是否切割叶轮直径，若扬程相差很小，就不切割，若扬程相差很大，就按所需Q、H、，根据其ns
和切割公式，切割叶轮直径，若交点不落在扇状梯形范围内，应选扬程较小的泵。 选泵时，有时须考虑生产工艺要求，选用不同形状Q-H特性曲线。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|