您要查找的是不是:
- Translates security policy into a prioritized logic program,and then computes its semantics. 先將安全策略用一個(gè)優(yōu)先邏輯程序表示,然后計算其語(yǔ)義。
- This paper discusses how heuristic control information from logic program are get to improve the imcompleteness and inefficiency resulting from the control strategy in PROLOG language system. 本文論述從邏輯程序本身提取啟發(fā)式控制信息,以克服由于邏輯語(yǔ)言系統中控制策略的機械性所帶來(lái)的不完備性和低效性。
- 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)濟學(xué)邏輯的一種新研究綱領(lǐng),它既不同于傳統的應用形式邏輯加語(yǔ)言邏輯綱領(lǐng),也不同于博弈論綱領(lǐng)。
- The program interprets the words as the appropriate number, and everyone is satisfied. 程序將這些單詞解釋為合適的數字,每個(gè)人都滿(mǎn)意了。
- In this paper, we propose to do property checking using constraint logic programming (CLP). 本文采用約束邏輯編程(Constraint Logic Programming,CLP)技術(shù)進(jìn)行性質(zhì)檢驗。
- This is the reason why almost every commercial game has its own file formats and custom logic programmed behind it. 這就是為什么幾乎所有的商業(yè)游戲都有自己的文件格式和背后的自定義邏輯代碼。
- Everyone "knew" that logic programs were brittle and unforgiving of the slightest alteration. 人人“過(guò)去都知道”邏輯程序是承受不了最細小的改變的。
- Develop on NC program interpreter for sealing machine 涂膠機數控程序解釋器解釋程序的開(kāi)發(fā)
- Abductive logic programming is a computational framework that extends normal logic programming with abduction. 溯因的這種用法不是直接的,因為向其他命題公式集增加命題公式只能使矛盾更糟糕。
- The paper discusses the application of relay ladder logic programming softwareand network features about ALLEN-BRADLEY SLC500 series PLC. 本文討論了A-B公司SLC系列PLC的梯型圖編程軟件的使用及其網(wǎng)絡(luò )功能。
- The hardware configuration of TRICON system,logic programming,the man-machine interface,and the system commissioning are introduced emphatically. 摘要:針對廣州石化乙烯裝置原來(lái)的SIS系統存在的問(wèn)題,應用TRICON系統對其進(jìn)行了改造,本文重點(diǎn)介紹TRICON系統的硬件組態(tài)、邏輯編程、人機界面組態(tài)和系統調試等各方面的技術(shù)實(shí)現。實(shí)際應用表明,TRICON系統全面克服了舊系統中存在的各種缺點(diǎn),確保了裝置的安全運行。
- This thesis presents a novel use of Inductive Logic Programming (ILP) for the extraction of knowledge from a large set of job shop schedules. 癌癥化療用藥規劃模型是種多模的最佳化問(wèn)題,其可行的解空間是由數個(gè)不連續的區空間所構成。
- Verifying Security Protocols Based on Logic Program 基于邏輯程序的安全協(xié)議驗證
- SLPN Service Logic Program for Network control 網(wǎng)絡(luò )控制用業(yè)務(wù)邏輯程序
- At this point your logic is at fault. 在這一點(diǎn)上你的推理是錯誤的。
- I regard QSIM as a kind of constraint satisfaction problem (CSP), and improve the qualitative simulation algorithm by constraint logic programming (CLP). 前者是將定性仿真算法看作一類(lèi)約束滿(mǎn)足問(wèn)題,用約束邏輯程序加以改進(jìn),不僅為解決定性仿真問(wèn)題提供了邏輯框架,而且也是一種規范化的程序描述語(yǔ)言;
- Inductive Logic Programming (ILP) is an important branch of machine learning.Given a set of examples and background knowledge, ILP studies how to construct a logic program consistent with these data. 摘要 歸納邏輯程序設計(ILP)是機器學(xué)習的一個(gè)重要分支,給定一個(gè)樣例集和相關(guān)背景知識,ILP研究如何構建與其相一致的邏輯程序,這些邏輯程序由有限一階子句組成。
- A computer program used to interpret. 用于解釋的一種計算機程序。同interpretive program。
- The main feature on the program is her song. 那個(gè)節目的主要號召物是她的歌。
- Loosely, a mathematical or logic operator. 不嚴格地說(shuō),一種數學(xué)或邏輯運算符。