The scientific logic program is a new research program of economic logics, which is different from the traditional program of applied form logic and the game program 摘要科学逻辑纲领是经济学逻辑的一种新研究纲领,它既不同于传统的应用形式逻辑加语言逻辑纲领,也不同于博弈论纲领。
In field of deductive database, magic transformation is an evaluation strategy that combines top-down with bottom-up . it restricts the computation of logic program to tuples that are related to the query 在演绎数据库领域中,魔集转换是一种自顶向下和自底向上相结合的计算策略,它使逻辑程序的计算始终限制在与查询相关的数据中。
This research based on the nc110 numerical control system of catch numerical control company, and write the logic program with the language siprom, and complete the soft plc compiled system with c program 本文以凯奇数控公司的nc110数控系统为硬件平台,以高级语言siprom编写用户的机床逻辑程序,用c语言编写编译程序完成对数控系统软plc的编译系统的设计。
We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation . the platform is characteristic of transplant, expansion 处理器中实现了本文中用到的一系列算法,其中包括:规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。
However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing 但是随着递归idb(intensionaldatabase)谓词的项的个数增大,经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。
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环境下进行数据挖掘是可行性。