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

【摘要】：約束推理是人工智能中主要組成部分之一,可以解決實(shí)際優(yōu)化調(diào)度和規(guī)劃過程中的約束求解問題。這里在解釋了約束邏輯程序設(shè)計(jì)的原理和過程基礎(chǔ)上,打破封閉式約束邏輯程序設(shè)計(jì)系統(tǒng),從軟件工程上采用統(tǒng)一建模語(yǔ)言,提出一種新的開放的可擴(kuò)展型約束邏輯程序設(shè)計(jì)結(jié)構(gòu)系統(tǒng)。為實(shí)現(xiàn)可擴(kuò)展的約束推理搜索系統(tǒng),引進(jìn)UML建模語(yǔ)言中用例圖、類圖和協(xié)作圖。在建�；A(chǔ)上詳細(xì)說明了可擴(kuò)展約束邏輯程序設(shè)計(jì)中數(shù)學(xué)模型,搜索引擎和搜索驅(qū)動(dòng)三者間的關(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é)院
【分類號(hào)】：TP18

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 ;今天教師節(jié) 舉國(guó)紅燭頌[N];科技日?qǐng)?bào);2003年

3 ;ANSYS協(xié)同仿真環(huán)境[N];中國(guó)航空?qǐng)?bào);2004年

4 焦立新;ANSYS新一代航空氣動(dòng)解決方案[N];中國(guó)航空?qǐng)?bào);2004年

5 顧淑霞;“精品”，用什么鑄就？[N];中國(guó)教育報(bào);2004年

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

7 李凝;打造國(guó)家精品課程[N];科技日?qǐng)?bào);2004年

8 顧淑霞;不“精益求精”不出手[N];科技日?qǐng)?bào);2004年

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

10 迪聲;新船重工修煉有限元分析能力[N];中國(guó)船舶報(bào);2005年

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

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

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

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

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

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

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

1 夏姍姍;歸納邏輯程序設(shè)計(jì)系統(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的有限元并行計(jì)算[D];河海大學(xué);2001年

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

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

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

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

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

，

本文編號(hào)：1619827