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環境下進行數據挖掘是可行性。