logic programming meaning in English
逻辑编程
逻辑程式设计 [逻辑程序设计
逻辑程序设计
Examples
- Therefore it comes true the on - line adjusting , real - time control and so on . it sames as real locale . the software of logic protect ( include electric logic ) and control includes some usual algebraic and operation model of thermal control and logic operation of logic protect . it adopts foxboro ' s dcs as a example , so we configuration via filling table , user only define i / o condition , fill certain operation variable , and name logic variable . the software offers a friendly user ' s interface , personnel can compile and modify the control and logic program , change the value of logic and control variable conveniently , attach themselves to run , debug and control the set , not need to know about the inside of the old programs deeply . so the configuration software offer a flat that control engineer can attend to the structure of control loop and logic protect ( include electric logic ) , not but to handle complicated program
它以foxboro的dcs控制系统为主要参考模式，采用填表的方式进行控制组态，用户只需定义i / o条件、填写具体的运算变量名、逻辑变量名即可。本软件为建模人员提供了一个友好的用户界面，使建模人员在建模时不必对模块内部的控制、逻辑程序有很深的了解就可以方便的对其进行编写和修改，实时改变各逻辑和控制变量在数据库里的值，参与运行和调试，从而实现对机组的控制。因此，本组态软件提供的这样一个平台，让控制工程师能集中精力于控制回路及逻辑保护（包含电气逻辑）的构成，而不必拘泥于一些具体而烦琐的程序操作。 - Mvc - based web design pattern was adopted to design the whole system , interface design and logic programming were effectively archived by combination of t three java techniques : jsp , servlet and javabean . jsp was used to build user interface , servlet was used to play the role of controller and javabean was to encapsulate the business logic of model . the complete design of both model classes and controller classes were given in detail in this paper
采用了基于mvc的web应用体系。 jsp ( view ) + servlet ( controller ) + javabean ( model )的体系设计有效地实现了界面和逻辑的分离。本文对广播电视行业综合业务管理系统主要的模式类和控制器类进行了详细的设计。 - I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien
前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进，是一类半定量描述方法，有利于在定性仿真领域综合定量信息，同时提高算法的效率。 - The central work of this paper is as follow : ( 1 ) a new factorizing optimization algorithm which reduce the arity of idb predicates by factorizing the logic program is presented magic transformation is applied to subprogram . moreover the decomposed subprogram can be implemented in parallel . therefore , it improves the efficiency of magic transformation
本文的主要工作如下： ( 1 )提出一种新的分解优化算法，它通过对逻辑程序进行分解，减少idb谓词项的个数，再对分解后的各个子程序进行魔集转换，而且分解后的各个魔程序可并行执行，从而提高魔集转换的执行效率。 - We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples . some data mining techniques , which can be applied to semantic web mining , were also discussed in this thesis . we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail , and showed how to make use of this method in the semantic context
对于语义web挖掘中适合的数据挖掘技术进行了探讨，提出了可采用归纳逻辑程序设计作为适合语义化web的数据挖掘技术，给出了如何应用这种技术的算法描述，并通过具体实例验证了这种方法对于语义化web环境下进行数据挖掘是可行性。