一种可扩展型CLP系统的统一建模方法

发布时间：2018-03-16 12:03

  本文选题：约束逻辑程序设计　切入点：搜索引擎　出处：《计算机工程与应用》2004年30期 　论文类型：期刊论文

【摘要】：约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。
[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.
【作者单位】： 北京化工大学信息科学与技术学院 海军后勤装备技术研究所 北京化工大学信息科学与技术学院
【分类号】：TP18

【相似文献】

相关期刊论文 前10条

1 M.萨摩尔维科,G.圭也达,青松;人工智能的问题和未来[J];机器人;1981年06期

2 蒋新松,陈玉,谈大龙,宋国宁;意大利的人工智能研究[J];机器人;1983年06期

3 欧阳柱;大、中型计算课题在微型及小型机上实现的一种方法[J];计算机应用研究;1986年03期

4 Frederick Hayes-Roth;黄祥喜;邱涤虹;;知识工程概况[J];计算机科学;1986年03期

5 John McDermott;周立柱;;专家系统的下一步IFIP第十届世界计算机大会特邀论文[J];计算机科学;1987年02期

6 丁海旭;潜艇耐压船体结构计算的程序设计[J];舰船科学技术;1989年05期

7 王敬,杨德礼;可修系统可靠性分析的计算机支持系统[J];控制与决策;1989年01期

8 华伯浩,毛昭林;边界元分析系统BEAP-Ⅱ的原理、算法及应用[J];计算机应用与软件;1990年04期

9 周国献,严隽永;分布式问题求解简介[J];计算机研究与发展;1991年03期

10 李旺尧;;常微初值问题的自适应求解器AS的有效性[J];数值计算与计算机应用;1991年04期

相关会议论文 前10条

1 周承芳;朱菊芬;耿笑冰;;空间网架静力动力稳定性分析计算程序(JDW)[A];第五届空间结构学术交流会论文集[C];1990年

2 耿笑冰;徐晓伟;;空间网架结构计算机辅助设计系统-STSCAD的最新进展[A];第七届空间结构学术会议论文集[C];1994年

3 陈兵;李玉成;赖国璋;;代数多重网格求解器及其在不可压粘性流动数值模拟中的应用[A];第十三届全国水动力学研讨会文集[C];1999年

4 李彭城;蔡宇江;;决策支持系统建模工具研究——GBMS／Process[A];1998中国控制与决策学术年会论文集[C];1998年

5 王凯;张楠;张鸿儒;;一个有限元计算机辅助教学(CAI)软件[A];中国土木工程学会计算机应用学会第六届年会土木工程计算机应用文集[C];1995年

6 吴江航;朱怀球;;计算流体力学、CFD软件与工程服务[A];中国土木工程学会计算机应用分会第七届年会土木工程计算机应用文集[C];1999年

7 吴忠;戴耀;崔建国;何家文;;确定层状复合材料裂纹扩展方向的界面过渡层模型的半解析方法[A];2000年材料科学与工程新进展（上）——2000年中国材料研讨会论文集[C];2000年

8 白新理;梁醒培;黄和法;刘宪亮;;渡槽结构优化设计的解析灵敏度算法[A];第九届全国结构工程学术会议论文集第Ⅱ卷[C];2000年

9 桑苏玲;郑璐石;任可亮;;用差分线法求解泊松方程[A];“力学2000”学术大会论文集[C];2000年

10 徐格宁;高梅香;王建民;;立体车库钢结构有限元参数化建模与动静态分析[A];第一届国际机械工程学术会议论文集[C];2000年

相关重要报纸文章 前10条

1 本报记者　小白;让碰撞无损耗[N];计算机世界;2003年

2 ;今天教师节 举国红烛颂[N];科技日报;2003年

3 ;ANSYS协同仿真环境[N];中国航空报;2004年

4 焦立新;ANSYS新一代航空气动解决方案[N];中国航空报;2004年

5 顾淑霞;“精品”，用什么铸就？[N];中国教育报;2004年

6 本报记者　丰捷;5年内数千门精品课程将上网[N];光明日报;2004年

7 李凝;打造国家精品课程[N];科技日报;2004年

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

9 土木水利学院 袁驷;精品课是一种境界[N];新清华;2004年

10 迪声;新船重工修炼有限元分析能力[N];中国船舶报;2005年

相关博士学位论文 前5条

1 肖丽雯;装配图参数化设计系统的实现及其关键技术的研究[D];东华大学;2002年

2 邱磊;船舶操纵相关粘性流及水动力计算[D];武汉理工大学;2003年

3 王政;基于交互驱动的虚拟样机动力学建模技术研究与应用[D];浙江大学;2005年

4 杜雪松;新型反应堆压力容器三维瞬态密封分析程序系统研制[D];重庆大学;2006年

5 吴洋;基于布尔可满足性的电路设计错误诊断[D];复旦大学;2006年

相关硕士学位论文 前10条

1 夏姗姗;归纳逻辑程序设计系统向约束方向的扩充[D];北京工业大学;2000年

2 王彦飞;求解第一类算子方程的快速算法[D];河北工业大学;2000年

3 周天山;CLP（R）编译系统的研制[D];北京工业大学;2001年

4 李彬;交互式图形用户界面中的限制满足与调试[D];西北大学;2001年

5 成峰;基于DCOM的有限元并行计算[D];河海大学;2001年

6 林胜勇;MEMS中多能量场耦合问题数值方法研究[D];西北工业大学;2001年

7 赵一宁;人工神经网络和遗传算法在船体结构动力学中的应用[D];大连理工大学;2002年

8 罗青山;三维粘性流数值模拟研究[D];武汉理工大学;2003年

9 彭斌;升降横移式立体停车库的结构设计与控制[D];兰州理工大学;2003年

10 李静浪;现代水工结构分析专用软件开发的初步研究[D];中国水利水电科学研究院;2002年

，

本文编号：1619827