【摘 要】
：
在分布式和自治分散系统中,agent正变成最重要的主题之一,人们试图用agent技术去开发大范围的商业和工业软件系统的趋势正在上升.这些系统的复杂性表明迫切需要一种支持健壮
【机 构】
：
北京航空航天大学,计算机学院,北京,100083
【出 处】
：
第十次全国Petri网学术年会暨形式化方法学术讨论会
论文部分内容阅读
在分布式和自治分散系统中,agent正变成最重要的主题之一,人们试图用agent技术去开发大范围的商业和工业软件系统的趋势正在上升.这些系统的复杂性表明迫切需要一种支持健壮的、可靠的设计的系统建模技术.Petri网是一种可用图形表示的组合模型,具有直观、易懂和易用的优点,对描述和分析并发现象有它独到的优越之处.该文提出了一种基于面向对象Petri网的BDIagent模型,该模型增强了系统的健壮性和可靠性,并提高了对现有程序的利用率。
其他文献
国产机动车辆合格证数据中心作为车辆合格标志、上牌依据,同时也是汽车行业中的信息资源库,其建成对促进国产机动车辆的规范和避免目前存在的各种诸如违规车辆入户等问题有着
本文介绍了KEG构件库的设计和电子政务、电子商务领域构件的实现,该系统的构件均采用java技术实现.通过实践证明构件化开发可以极大提高应用系统的开发效率,构件库系统为软件
本文要介绍JAVA插件技术在JSP页面实现的关键点,也就是插件自身的安全认证技术,只有经过安全认证后的JAVA插件才可以在JSP页面中正常使用.
小辣椒一次施氮肥过多,不仅作物吸收不了、造成浪费,还会出现“高脚苗”、“烧苗”,而且使土壤盐分浓度过高,妨碍根系生长。如果土壤过于干旱或雨水过多,会因辣椒植株萎蔫、
今年1月6日下午4时50分,江苏阜宁县三灶乡青年农民徐荣来,因赌博欠债,携带一颗教练用的手榴弹和一把匕首来到三灶供销社营业部,见营业部只有收款员祖云生一人,正在将现金放
A total of 147 species of macro-fungi were identified in the Huangzhulin Nature Reservation Zone of Fujian Province, of which 117 species were edible and 30 spe
强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Pe
《财会通讯》编辑同志: 我们上海郊县会计界的一些同志,对《财会通讯》同声赞好,好就好在文章短、内容新、版面活、题材广、花色多、空话少,理论联系实际,以务实为主。每期6
3)OZ9925⑨脚(DIM)是亮度控制输入端。CPU送来的1.5～3.5V变化的直流亮度控制信号,进入OZ9925后,变换为PWM亮度控制脉冲,对振荡器的振荡信号进行调制,使连续的高频振荡波转变为
任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出