论文部分内容阅读
针对含有变量和非事件的规则系统，提出了基于增强高级Ｐｅｔｒｉ网的ＲＢＳ建模，并应用着色方法对上述规则系统进行知识一致性检查，提出的含变量的规则表示可以是一种多种知识表示形式之间的转换模型，因此，对其进行Ｐｅｔｒｉ网建模和一致性分析具有实际意义。
基于增强高级Petri网的规则系统一致性问题检查
【摘 要】
：
针对含有变量和非事件的规则系统，提出了基于增强高级Ｐｅｔｒｉ网的ＲＢＳ建模，并应用着色方法对上述规则系统进行知识一致性检查，提出的含变量的规则表示可以是一种多种知识表示形式之间的转换
【机 构】
：
东华大学机械工程学院
【出 处】
：
高技术通讯
【发表日期】
：
2000年4期
【基金项目】
：
863计划资助项目!(8632451)
其他文献
提出异步电机矢量控制中存在的问题，从电流控制方式与磁通观测器的结构对正确转矩控制的机理进行了分析。
在造船、汽车等制造业中，许多列表曲线零件如凸轮模具、叶片、机翼等，它们的数控加工程序编制非常复杂。文中在综合分析研究各种样务曲线及逼近方法的基础上，提出了用三次参数样
阐述了探地雷达在无损检测中的工作原理和方法，结合工程实例，介绍了探地雷达在不影响结构安全及施工的条件下对钢筋混凝土的探测。
随着我国居民生活水平的提高，燃气作为一种新型气体燃料，越来越得到广大居民的认可，日益发展壮大的城市燃气行业，由于其本身点多面广，监管难度加大，其安全问题也随之加剧，如何驯服、
围绕多媒体网络教学的流媒体技术的应用问题,详细叙述了在多媒体网络教学中常见的流式媒体资源,并提出了流媒体在多媒体网络教学中的一个应用方案。
住宅建设从生存型向舒适型发展,对住宅的综合质量（包括功能质量、工程质量、环境质量和服务质量）提出了更高的要求。所以,提高住宅质量显得尤为重要,针对住宅现浇楼板裂缝进行