發(fā)布時間：2018-03-16 12:03

  本文選題：約束邏輯程序設(shè)計　切入點：搜索引擎　出處：《計算機(jī)工程與應(yīng)用》2004年30期 　論文類型：期刊論文

【摘要】：約束推理是人工智能中主要組成部分之一,可以解決實際優(yōu)化調(diào)度和規(guī)劃過程中的約束求解問題。這里在解釋了約束邏輯程序設(shè)計的原理和過程基礎(chǔ)上,打破封閉式約束邏輯程序設(shè)計系統(tǒng),從軟件工程上采用統(tǒng)一建模語言,提出一種新的開放的可擴(kuò)展型約束邏輯程序設(shè)計結(jié)構(gòu)系統(tǒng)。為實現(xiàn)可擴(kuò)展的約束推理搜索系統(tǒng),引進(jìn)UML建模語言中用例圖、類圖和協(xié)作圖。在建�；A(chǔ)上詳細(xì)說明了可擴(kuò)展約束邏輯程序設(shè)計中數(shù)學(xué)模型,搜索引擎和搜索驅(qū)動三者間的關(guān)系以及它們內(nèi)部的工作內(nèi)容。最后在描述系統(tǒng)結(jié)構(gòu)后,提出了可擴(kuò)展的內(nèi)容。根據(jù)擴(kuò)展因素,外界為滿足更多的需要可擴(kuò)展本系統(tǒng)的約束過濾器。
[Abstract]:Constraint reasoning is one of the main components of artificial intelligence, which can solve the problem of constraint solving in the process of practical optimization scheduling and planning. This paper explains the principle and process of constrained logic programming. By breaking the closed constraint logic programming system and adopting the unified modeling language in software engineering, a new open and extensible constraint logic program design architecture system is proposed to realize the extensible constraint reasoning search system. The use case diagram, class diagram and collaboration diagram in UML modeling language are introduced. On the basis of modeling, the mathematical model in extensible constrained logic programming is described in detail. The relationship between search engine and search driver and their internal working contents. Finally, after describing the structure of the system, the extensible content is proposed. In order to meet more needs, the external system can extend the constraint filter of the system.
【作者單位】： 北京化工大學(xué)信息科學(xué)與技術(shù)學(xué)院 海軍后勤裝備技術(shù)研究所 北京化工大學(xué)信息科學(xué)與技術(shù)學(xué)院
【分類號】：TP18

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 M.薩摩爾維科,G.圭也達(dá),青松;人工智能的問題和未來[J];機(jī)器人;1981年06期

2 蔣新松,陳玉,談大龍,宋國寧;意大利的人工智能研究[J];機(jī)器人;1983年06期

3 歐陽柱;大、中型計算課題在微型及小型機(jī)上實現(xiàn)的一種方法[J];計算機(jī)應(yīng)用研究;1986年03期

4 Frederick Hayes-Roth;黃祥喜;邱滌虹;;知識工程概況[J];計算機(jī)科學(xué);1986年03期

5 John McDermott;周立柱;;專家系統(tǒng)的下一步IFIP第十屆世界計算機(jī)大會特邀論文[J];計算機(jī)科學(xué);1987年02期

6 丁海旭;潛艇耐壓船體結(jié)構(gòu)計算的程序設(shè)計[J];艦船科學(xué)技術(shù);1989年05期

7 王敬,楊德禮;可修系統(tǒng)可靠性分析的計算機(jī)支持系統(tǒng)[J];控制與決策;1989年01期

8 華伯浩,毛昭林;邊界元分析系統(tǒng)BEAP-Ⅱ的原理、算法及應(yīng)用[J];計算機(jī)應(yīng)用與軟件;1990年04期

9 周國獻(xiàn),嚴(yán)雋永;分布式問題求解簡介[J];計算機(jī)研究與發(fā)展;1991年03期

10 李旺堯;;常微初值問題的自適應(yīng)求解器AS的有效性[J];數(shù)值計算與計算機(jī)應(yīng)用;1991年04期

相關(guān)會議論文 前10條

1 周承芳;朱菊芬;耿笑冰;;空間網(wǎng)架靜力動力穩(wěn)定性分析計算程序(JDW)[A];第五屆空間結(jié)構(gòu)學(xué)術(shù)交流會論文集[C];1990年

2 耿笑冰;徐曉偉;;空間網(wǎng)架結(jié)構(gòu)計算機(jī)輔助設(shè)計系統(tǒng)-STSCAD的最新進(jìn)展[A];第七屆空間結(jié)構(gòu)學(xué)術(shù)會議論文集[C];1994年

3 陳兵;李玉成;賴國璋;;代數(shù)多重網(wǎng)格求解器及其在不可壓粘性流動數(shù)值模擬中的應(yīng)用[A];第十三屆全國水動力學(xué)研討會文集[C];1999年

4 李彭城;蔡宇江;;決策支持系統(tǒng)建模工具研究——GBMS／Process[A];1998中國控制與決策學(xué)術(shù)年會論文集[C];1998年

5 王凱;張楠;張鴻儒;;一個有限元計算機(jī)輔助教學(xué)(CAI)軟件[A];中國土木工程學(xué)會計算機(jī)應(yīng)用學(xué)會第六屆年會土木工程計算機(jī)應(yīng)用文集[C];1995年

6 吳江航;朱懷球;;計算流體力學(xué)、CFD軟件與工程服務(wù)[A];中國土木工程學(xué)會計算機(jī)應(yīng)用分會第七屆年會土木工程計算機(jī)應(yīng)用文集[C];1999年

7 吳忠;戴耀;崔建國;何家文;;確定層狀復(fù)合材料裂紋擴(kuò)展方向的界面過渡層模型的半解析方法[A];2000年材料科學(xué)與工程新進(jìn)展（上）——2000年中國材料研討會論文集[C];2000年

8 白新理;梁醒培;黃和法;劉憲亮;;渡槽結(jié)構(gòu)優(yōu)化設(shè)計的解析靈敏度算法[A];第九屆全國結(jié)構(gòu)工程學(xué)術(shù)會議論文集第Ⅱ卷[C];2000年

9 桑蘇玲;鄭璐石;任可亮;;用差分線法求解泊松方程[A];“力學(xué)2000”學(xué)術(shù)大會論文集[C];2000年

10 徐格寧;高梅香;王建民;;立體車庫鋼結(jié)構(gòu)有限元參數(shù)化建模與動靜態(tài)分析[A];第一屆國際機(jī)械工程學(xué)術(shù)會議論文集[C];2000年

相關(guān)重要報紙文章 前10條

1 本報記者　小白;讓碰撞無損耗[N];計算機(jī)世界;2003年

2 ;今天教師節(jié) 舉國紅燭頌[N];科技日報;2003年

3 ;ANSYS協(xié)同仿真環(huán)境[N];中國航空報;2004年

4 焦立新;ANSYS新一代航空氣動解決方案[N];中國航空報;2004年

5 顧淑霞;“精品”，用什么鑄就？[N];中國教育報;2004年

6 本報記者　豐捷;5年內(nèi)數(shù)千門精品課程將上網(wǎng)[N];光明日報;2004年

7 李凝;打造國家精品課程[N];科技日報;2004年

8 顧淑霞;不“精益求精”不出手[N];科技日報;2004年

9 土木水利學(xué)院 袁駟;精品課是一種境界[N];新清華;2004年

10 迪聲;新船重工修煉有限元分析能力[N];中國船舶報;2005年

相關(guān)博士學(xué)位論文 前5條

1 肖麗雯;裝配圖參數(shù)化設(shè)計系統(tǒng)的實現(xiàn)及其關(guān)鍵技術(shù)的研究[D];東華大學(xué);2002年

2 邱磊;船舶操縱相關(guān)粘性流及水動力計算[D];武漢理工大學(xué);2003年

3 王政;基于交互驅(qū)動的虛擬樣機(jī)動力學(xué)建模技術(shù)研究與應(yīng)用[D];浙江大學(xué);2005年

4 杜雪松;新型反應(yīng)堆壓力容器三維瞬態(tài)密封分析程序系統(tǒng)研制[D];重慶大學(xué);2006年

5 吳洋;基于布爾可滿足性的電路設(shè)計錯誤診斷[D];復(fù)旦大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 夏姍姍;歸納邏輯程序設(shè)計系統(tǒng)向約束方向的擴(kuò)充[D];北京工業(yè)大學(xué);2000年

2 王彥飛;求解第一類算子方程的快速算法[D];河北工業(yè)大學(xué);2000年

3 周天山;CLP（R）編譯系統(tǒng)的研制[D];北京工業(yè)大學(xué);2001年

4 李彬;交互式圖形用戶界面中的限制滿足與調(diào)試[D];西北大學(xué);2001年

5 成峰;基于DCOM的有限元并行計算[D];河海大學(xué);2001年

6 林勝勇;MEMS中多能量場耦合問題數(shù)值方法研究[D];西北工業(yè)大學(xué);2001年

7 趙一寧;人工神經(jīng)網(wǎng)絡(luò)和遺傳算法在船體結(jié)構(gòu)動力學(xué)中的應(yīng)用[D];大連理工大學(xué);2002年

8 羅青山;三維粘性流數(shù)值模擬研究[D];武漢理工大學(xué);2003年

9 彭斌;升降橫移式立體停車庫的結(jié)構(gòu)設(shè)計與控制[D];蘭州理工大學(xué);2003年

10 李靜浪;現(xiàn)代水工結(jié)構(gòu)分析專用軟件開發(fā)的初步研究[D];中國水利水電科學(xué)研究院;2002年

，

本文編號：1619827