中英
1
logic programming中文是什么意思
- 中文翻譯
- 造句
- 邏輯編程
- 邏輯程式設(shè)計(jì) [邏輯程序設(shè)計(jì)
- 邏輯程序設(shè)計(jì)
- logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
- logic of programming 程序設(shè)計(jì)邏輯
- programming in logic prolog語言; 邏輯編程; 邏輯程序設(shè)計(jì)語言
- programming logic 程序邏輯; 程序設(shè)計(jì)邏輯
- constraint logic programming 邏輯程序設(shè)計(jì)
- distributed logic programming，dlp 分散式邏輯程式設(shè)計(jì)
- inductive logic programming 歸納邏輯程序設(shè)計(jì)
- logic programming and expert systems 邏輯程序設(shè)計(jì)與專家系統(tǒng)
- logic programming language 邏輯編程語言; 邏輯程序設(shè)計(jì)語言
- logic programming machine 邏輯程序設(shè)計(jì)機(jī)
- parallel programming in logic parlog語言; 并行邏輯程序設(shè)計(jì)語言
- programming logic basis 程序邏輯基礎(chǔ)
- programming logic chart 程序設(shè)計(jì)邏輯流程圖
- programming logic manual 程序設(shè)計(jì)邏輯手冊
- programming logic proof 程序設(shè)計(jì)邏輯證明
- programming logic specification 程序設(shè)計(jì)邏輯規(guī)范書
- programming 編程序的; 編程序規(guī)劃計(jì)劃; 程式設(shè)計(jì)，計(jì)畫擬編; 程式撰寫; 程序編寫; 程序化; 程序控制的; 程序設(shè)計(jì),程序編制; 程序設(shè)計(jì)，編制程序; 規(guī)劃；程序設(shè)計(jì)，程序編制; 規(guī)劃；設(shè)計(jì)方案，編制程序；程序設(shè)計(jì); 和諧編制; 計(jì)算機(jī)程序設(shè)計(jì); 節(jié)目制作; 施工時(shí)間安排；工程程序；工程進(jìn)度; 數(shù)控編程實(shí)習(xí)室; 用語; 張曉欣 上海交通大學(xué) 城市規(guī)劃 本科
- -logic -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
- and logic “與”邏輯
- logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
- logic-and 邏輯“與”
- or logic 或邏輯
- a lication programming 應(yīng)用程序設(shè)計(jì)
- a olute programming 絕對程序設(shè)計(jì)
- a programming language apl 語言; apl語言; 程序設(shè)計(jì)語言
- 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)用形式邏輯加語言邏輯綱領(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ù)庫領(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)為硬件平臺，以高級語言siprom編寫用戶的機(jī)床邏輯程序，用c語言編寫編譯程序完成對數(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)生附加元組的開銷也會增大。 - 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條件、填寫具體的運(yùn)算變量名、邏輯變量名即可。本軟件為建模人員提供了一個(gè)友好的用戶界面，使建模人員在建模時(shí)不必對模塊內(nèi)部的控制、邏輯程序有很深的了解就可以方便的對其進(jìn)行編寫和修改，實(shí)時(shí)改變各邏輯和控制變量在數(shù)據(jù)庫里的值，參與運(yùn)行和調(diào)試，從而實(shí)現(xiàn)對機(jī)組的控制。因此，本組態(tài)軟件提供的這樣一個(gè)平臺，讓控制工程師能集中精力于控制回路及邏輯保護(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)了界面和邏輯的分離。本文對廣播電視行業(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
前者是將定性仿真算法看作一類約束滿足問題，用約束邏輯程序加以改進(jìn)，不僅為解決定性仿真問題提供了邏輯框架，而且也是一種規(guī)范化的程序描述語言；模糊定性仿真算法則是對純定性仿真算法在知識描述、狀態(tài)轉(zhuǎn)移規(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)化算法，它通過對邏輯程序進(jìn)行分解，減少idb謂詞項(xiàng)的個(gè)數(shù)，再對分解后的各個(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
對于語義web挖掘中適合的數(shù)據(jù)挖掘技術(shù)進(jìn)行了探討，提出了可采用歸納邏輯程序設(shè)計(jì)作為適合語義化web的數(shù)據(jù)挖掘技術(shù)，給出了如何應(yīng)用這種技術(shù)的算法描述，并通過具體實(shí)例驗(yàn)證了這種方法對于語義化web環(huán)境下進(jìn)行數(shù)據(jù)挖掘是可行性。
- creating a program that enables the computer to reason logically
同義詞：logic programing, - a computer language designed in Europe to support natural language processing
同義詞：Prolog, logic programing,
Logic programming is one of the 4 main programming paradigms. Its theory of computation is based on first order logic.
詳細(xì)百科解釋
- logic programmingとは意味：logic programming ロジックプログラミング
- 推薦英語閱讀
logic programming的中文翻譯，logic programming是什么意思，怎么用漢語翻譯logic programming，logic programming的中文意思，logic programming的中文，logic programming in Chinese，logic programming的中文，logic programming怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。
關(guān)于我們
