以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机...
详细信息
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。
借助目前丰富的网络资源,将同一主题的现存O n to logy知识聚类,提供给领域专家或用户进行二次精化和集成是O n-to logy研究领域的一个重要课题.OW L是目前用于表示和交换O n to logy信息的基本标准.本文从OW L的语义本质出发,考虑了知...
详细信息
借助目前丰富的网络资源,将同一主题的现存O n to logy知识聚类,提供给领域专家或用户进行二次精化和集成是O n-to logy研究领域的一个重要课题.OW L是目前用于表示和交换O n to logy信息的基本标准.本文从OW L的语义本质出发,考虑了知识之间的继承性及复杂类比较和模糊集运算的相似性,提出一种计算OW L文档语义相似性的方式,并和层次聚类算法集成完成了对OW L文档集的聚类实验.实验结果说明本文提出的算法对自动生成和手工建立的OW L文档集都有很好的效果.
暂无评论