logic programming

"logic programming"的翻譯和解釋

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

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
摘要科學(xué)邏輯綱領(lǐng)是經(jīng)濟(jì)學(xué)邏輯的一種新研究綱領(lǐng)，它既不同于傳統(tǒng)的應(yīng)用形式邏輯加語(yǔ)言邏輯綱領(lǐng)，也不同于博弈論綱領(lǐng)。
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
在演繹數(shù)據(jù)庫(kù)領(lǐng)域中，魔集轉(zhuǎn)換是一種自頂向下和自底向上相結(jié)合的計(jì)算策略，它使邏輯程序的計(jì)算始終限制在與查詢相關(guān)的數(shù)據(jù)中。
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
本文以凱奇數(shù)控公司的nc110數(shù)控系統(tǒng)為硬件平臺(tái)，以高級(jí)語(yǔ)言siprom編寫(xiě)用戶的機(jī)床邏輯程序，用c語(yǔ)言編寫(xiě)編譯程序完成對(duì)數(shù)控系統(tǒng)軟plc的編譯系統(tǒng)的設(shè)計(jì)。
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
處理器中實(shí)現(xiàn)了本文中用到的一系列算法，其中包括：規(guī)則修飾、邏輯程序的修飾、魔集轉(zhuǎn)換、邏輯程序的分解、分解的魔集轉(zhuǎn)換。
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 )謂詞的項(xiàng)的個(gè)數(shù)增大，經(jīng)魔集轉(zhuǎn)換的邏輯程序?yàn)閷ふ遗c查詢相關(guān)數(shù)據(jù)而產(chǎn)生附加元組的開(kāi)銷也會(huì)增大。
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控制系統(tǒng)為主要參考模式，采用填表的方式進(jìn)行控制組態(tài)，用戶只需定義i / o條件、填寫(xiě)具體的運(yùn)算變量名、邏輯變量名即可。本軟件為建模人員提供了一個(gè)友好的用戶界面，使建模人員在建模時(shí)不必對(duì)模塊內(nèi)部的控制、邏輯程序有很深的了解就可以方便的對(duì)其進(jìn)行編寫(xiě)和修改，實(shí)時(shí)改變各邏輯和控制變量在數(shù)據(jù)庫(kù)里的值，參與運(yùn)行和調(diào)試，從而實(shí)現(xiàn)對(duì)機(jī)組的控制。因此，本組態(tài)軟件提供的這樣一個(gè)平臺(tái)，讓控制工程師能集中精力于控制回路及邏輯保護(hù)（包含電氣邏輯）的構(gòu)成，而不必拘泥于一些具體而煩瑣的程序操作。
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應(yīng)用體系。 jsp ( view ) + servlet ( controller ) + javabean ( model )的體系設(shè)計(jì)有效地實(shí)現(xiàn)了界面和邏輯的分離。本文對(duì)廣播電視行業(yè)綜合業(yè)務(wù)管理系統(tǒng)主要的模式類和控制器類進(jìn)行了詳細(xì)的設(shè)計(jì)。
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
前者是將定性仿真算法看作一類約束滿足問(wèn)題，用約束邏輯程序加以改進(jìn)，不僅為解決定性仿真問(wèn)題提供了邏輯框架，而且也是一種規(guī)范化的程序描述語(yǔ)言；模糊定性仿真算法則是對(duì)純定性仿真算法在知識(shí)描述、狀態(tài)轉(zhuǎn)移規(guī)則、過(guò)濾算法等方面的改進(jìn)，是一類半定量描述方法，有利于在定性仿真領(lǐng)域綜合定量信息，同時(shí)提高算法的效率。
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 )提出一種新的分解優(yōu)化算法，它通過(guò)對(duì)邏輯程序進(jìn)行分解，減少idb謂詞項(xiàng)的個(gè)數(shù)，再對(duì)分解后的各個(gè)子程序進(jìn)行魔集轉(zhuǎn)換，而且分解后的各個(gè)魔程序可并行執(zhí)行，從而提高魔集轉(zhuǎn)換的執(zhí)行效率。
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
對(duì)于語(yǔ)義web挖掘中適合的數(shù)據(jù)挖掘技術(shù)進(jìn)行了探討，提出了可采用歸納邏輯程序設(shè)計(jì)作為適合語(yǔ)義化web的數(shù)據(jù)挖掘技術(shù)，給出了如何應(yīng)用這種技術(shù)的算法描述，并通過(guò)具體實(shí)例驗(yàn)證了這種方法對(duì)于語(yǔ)義化web環(huán)境下進(jìn)行數(shù)據(jù)挖掘是可行性。