【摘 要】
：
规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统
【机 构】
：
同济大学计算机科学与工程系,山东科技大学信息科学与工程学院
【基金项目】
：
国家973项目(2003CB316902),国家自然科学基金(60473094)
论文部分内容阅读
规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现.
其他文献
采用气质联用技术（GC-MS）和高效液相色谱技术（HPLC）对Mycobacterium sp. BY11柴油脱硫菌的二苯并噻吩（DBT）代谢途径进行了考察。GC-MS和HPLC结果表明,代谢产物中有2-羟基联苯（2-HBP）
应用G98W程序包中的AMl方法对45个卤代甲烷分子进行优化计算,所得中心碳原子的静电荷密度(Qc)、分子的最高占据轨道能级(HOMO)和最低空轨道能级(LUMO)量化参数作为径向基人工
研究了稀土Ce对AZ91D合金组织及力学性能的影响.实验表明,随着加入Ce的量从0.2%到0.8%变化,AZ91D合金铸态晶粒逐渐由大变小,β-Mg17Al12相弥散分离,稀土Ce的这种细化组织的作
我国加入WTO后,商业企业将面临着严峻的挑战,商业企业应从战略高度、管理、科技等方面,提高核心竞争力,以适应新形势发展的需要.
在遥操作系统中,预测仿真中存在的建模误差和运动累计误差严重影响遥操作的安全性、精度和效率。采用增强现实技术可以有效地解决该问题。采用视频融合和物体定位技术,操作者可以方便地对比仿真规划结果和实际机器人执行结果之间的差异,并可以通过修正和更新仿真模型来补偿建模误差和运动累积误差。实验结果表明该系统不但可以有效地消除通讯时延的影响,还可以提高遥操作的精度和效率。
在相同的流量、比降和糙率条件下，通过对U型渠、梯形渠和矩形渠断面湿周的定量分析比较，阐明了U型渠衬砌工程量省于梯形渠和矩形渠的结论。
一、灾后政府行为和公共服务特点5月12目，四川遭受里氏8．0级特大地震灾害，共涉及四川省19个市州、88个县（市、区）、2700多万人。灾区生活、生产、科技、生态等遭到毁灭性破坏。
在当前统计模型的基础上,提出了一种基于当前统计模型(CS)的模糊自适应算法(CSFA)。该算法使用了模糊推理技术,使系统状态噪声方差随着机动特性能够自适应调整,提高了系统在目标作非机动或者弱机动时的跟踪精度以及在强机动时的快速响应能力。蒙特卡罗仿真结果表明了该算法的有效性。
藏族传统体育文化源远流长，很多运动项目体现了藏族人民集体的智慧，是藏族人民在长期生产、生活中提炼出来的民族文化的精华，所以也是中华民族文化宝库中的瑰宝．它源于人们生存和
随着分布式仿真规模的扩大,传统的分布式仿真技术不能完全满足系统需求。利用移动代理的自主性,协调性和智能性等特点,按照RTI接口规范,实现仿真系统功能。首先,分析HLA作为移动代理分布式仿真环境的可行性,指出移动代理在分布式仿真中的优势,然后,构建基于移动代理的邦元管理框架,设计了移动代理邦元运行流程,最后,讨论了在HLA环境中移动代理的时间管理,共享和发布机制等关键问题。构建了基于移动代理的分布式