基于协进化和CPN的多智能体系统建模

多智能体系统体系结构及协作机制是多智能体理论研究的核心与热点问题,作为一种新兴的研究方法,基于协进化机制的多智能体协作具有广阔的研究前景。但已有的协进化模型过于简单,缺乏灵活性和更强的应用能力。CPN是多智能体系统建模的最好的工具之一,因此将其应用于协进化机制的多智能体系统的建模很有意义。     

基于Gaia与JADE框架的MAS建模

为了更加有效地开发MAS系统,简化系统建模流程,传统的建模方法已暴露出其不足之处,因此必须采用新的分析和设计建模方法.提出了Gaia建模方法和JADE框架,Gaia为复杂开放式软件系统的设计和分析提供了清晰的解决方案,JADE则是在符合FIPA规范的MAS系统下开发Agent应用的一种软件框架结构,通过结合Gaia和JADE框架对一个针对手机用户的个人信息MAS系统进行了建模,验证了结合使用Gaia建模和JADE框架能够显著的简化MAS系统开发流程,提高开发效率.     

基于MAS的虚拟企业建模研究

虚拟企业建模可以指导虚拟企业的快速创建，实现运作过程的优化，是开发虚拟企业信息系统的基础，虚拟企业的分布、动态、异构等特点使其建模问题具有一定的复杂性．在分析虚拟企业建模的特点和国内外研究基础上，提出了基于多智能体系统面向合作伙伴选择与敏捷车间调度的虚拟企业两层框架结构模型，描述了总体框架和系统中Agent通用结构，并结合实例描述了实现本模型的UML面向对象建模方法．     

基于MAS的区域管制系统模型

现代信息技术越来越多地应用于空管领域.建立一个空中交通管制仿真系统,对空域进行模拟仿真,可以辅助管制员做出更完善的管制决策.基于多 Agent 技术,应用 BDI 模型通过建立系统信念模型、目标模型、相互作用模型和管制运作流程,构建一个由航班、管制和管理界面三类 Agent 组成的区域管制仿真系统模型.     

基于CPN的舰船电子综合化系统总线建模

在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系.以有色Petri网CPN (ColoredPetriNet)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程.通过仿真实验得到总线性能指标的动态变化曲线,与理论计算值比较分析,验证了所建模型的正确性和有效性,所建模型可以为舰船电子综合化系统的设计与优化提供理论依据.     

基于CPN的嵌入式RTOS任务调度建模

针对有色PetriN（CPN）在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统（RTOS）建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。     

基于UML和CPN的列控系统等级转换建模与分析

针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性。验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高。     

基于MAS的企业GDSS设计

由于企业决策支持系统GDSS的分布性和协同性,采用基于多层次MAS的企业GDSS可提高决策效率、缩短决策周期。本文讨论了以多重层次结构设计的系统的通信方式、总体结构、功能划分、动态特性,设计了基于多个agent群的企业GDSS结构模型,分析了各agent群的结构和实现,最后给出了系统的实现过程。     

基于CPN的业务流程执行语言建模

提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。     

基于MAS的农业专家系统平台的研究

针对农业领域知识的分布性、易更新性、可重用性等特点,将MAS理论和技术应用到农业专家系统平台的开发中,提出了基于MAS的农业专家系统平台的结构,并讨论了实现该平台的一些关键技术.本系统平台的研究将加速Agent的实现与应用;同时会降低开发农业专家系统的成本,最终使农业专家系统更好地为农业、农村、农民服务.     

基于CPN TOOLS的网络协议建模与仿真技术研究

高级网的引入,大大增强了petri网的描述能力,但也导致了重复开发相似的仿真工具,造成了极大的浪费,不利于学术界的整体发展。有色petri网的仿真工具CPN Tools支持强大的元语言(ML),具有很强的扩展性。具有易于建模、易于仿真、易于分析的特点,并集成了较为强大的模型检验功能,如状态空间分析工具等。协议建模是对协议进行分析和研究的基础,CPN Tools的出现对于petri网建模与仿真具有重大的意义。     

基于CPN的进路式联锁调度建模及其分析

提出一种基于有色Petri网(CPN)的进路式联锁调度算法模型,其中包括对联锁调度过程中机车的任务内正常行驶、进路联锁运算、机车驶离任务路线、闯入未开放进路、故障处理恢复等情况建立了清晰的模型。并利用CPN Tools对模型进行仿真验证与分析,结果表明该联锁调度CPN模型正确模拟了井底机车运输调度,对于机车调度是安全可靠的。     

Production management modelling based on MAS

Modelling based on multi-agent system(MAS)was built for the current production management and process of Shenyang Songyang Paper Cup Co. , Ltd. It can transmit the information instantly via order agent(OA), manager agent(MA), production agent(PA), and service agent(SA), and realize information sharing. The PA is also built on MAS, and it includes two agents, task agent(TA), and resource agent(RA). It has been found that the modelling is superior to the old one. It can improve the working flow and production efficiency, and shorten the time of delivery.     

基于MAS的智能公交调度系统的建模与实现

城市公共交通具有结构复杂、并发性和分布性等特点,使用数学建模的方法很难有效解决其调度问题,而多Agent系统MAS是一种解决复杂系统问题的有效方式,因此应用MAS来解决公交调度问题。首先,建立了城市公交系统的概念模型;然后,根据MAS的建模思想对公交调度相关实体进行抽象,建立了智能公交调度系统的MAS模型,并给出了Dispatch Agent、Bus Agent和Stop Agent的建模方法以及知识库的构建、推理和学习的流程;最后,完成系统实现。     

基于MAS的个性化JAVA智能教学系统建模

大多数智能化教学系统以呈现教学材料为主,对学生提供被动式的教学,忽略了学生的个性特征以及个性化需求,群体协作学习要求,而人工智能领域的Agent理论为建立智能化的教学提供了可能。文中利用Agent理论改进传统的基于Web的远程教学网站,尝试建立满足学生个性化需求的智能教学系统。介绍了通过多Agent建立JAVA智能教学系统的模型。该模型根据学生的认知水平和协作学习要求建立教学策略,实现教学环节和测试环节的交互,争取实现针对不同程度的学生实施个性化的教学。     

基于CPN的切换模式下行车许可生成过程研究

文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性。为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠。