论文部分内容阅读
分析了已有的面向Agent软件工程方法中Agent建模存在的问题，针对Agent的并发性和不确定性的特点，提出了采用具有不确定性和并发性特点的ConGolog语言描述Agent建模的方法。所建议的方法不仅给出了Agent的语义、形式化描述，并且能对Agent的模型进行验证。
基于ConGolog语言的动态Agent建模研究
【摘 要】
：
分析了已有的面向Agent软件工程方法中Agent建模存在的问题，针对Agent的并发性和不确定性的特点，提出了采用具有不确定性和并发性特点的ConGolog语言描述Agent建模的方法。所建
【机 构】
：
湖南文理学院计算机系,石家庄铁道学院计算机系
【出 处】
：
石家庄铁道学院学报
【发表日期】
：
2006年1期
【基金项目】
：
湖南省教育厅资助科研项目（02C107）
其他文献
资源共享是图书馆事业的一个永恒的话题,如何在管理体制和运行机制上达到实质性的资源共享,则是高校图书馆事业发展的一个重要课题,本文拟介绍新武汉大学合并一年后,图书馆进
本文通过对CIP分类标引的分析,说明了目前我国的在版编目中存在的问题,同时呼吁出版部门对此项工作应加强重视,使CIP更加国际化、标准化,真正实现在世界范围内的图书馆、情报
文章提出了应用USMARC格式来著录国外原版音像资料,以国外原版CD为例,结合非书资料著录规则,对用USMARC格式著录国外原版音像资料作了具体描述,并提供实例参考.
在知识时代的新环境下,高校图书馆引入知识管理是十分必要的。人在知识管理中处于核心地位。高校图书馆管理要做到内部人员管理的人本化和读者服务的人本化。
＂双证书＂制度是提高职业教育人才培养质量的重要举措,针对本校模具设计与制造专业的特点,制定了达到＂双证书＂的具体要求,并取得了显著效果。
根据现场施工实践,介绍了在三江口上游,受迳流和潮汐影响的感潮江段进行深钻孔灌注桩成孔、成桩的主要施工技术。
中国高等教育文献保障体系 （简称ＣＡＬＩＳ） 的启动实施， 大大推进了我国高等教育资源的合理优化配置， 为实现信息资源共建、共知、共享， 深化资源的有效开发和利用提供了总体建设目标和具
社会已进入了信息网络时代,图书馆的编目工作模式也随之发生了变化,网上联机联合编目将成为今后编目工作的主导.本文总结了网上编目有别于传统编目的几个特点,并分析了网络环
为了使机械类毕业生在毕业设计中很好的完成设计和机械制图的任务,指出了毕业设计中普遍存的一些问题,对如何设置绘图环境和如何进行图样绘制两方面的关键问题作了深入论述,