两个智力问题的增广Petri网模型

给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型.     

基于VHDL的时延Petri网仿真

在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时延特性,通过EDA软件工具对时延Petri网进行仿真,获得系统的动态性能,这为时延Petri网的分析提供了新的路径,并为控制系统的设计和电路实现奠定了基础.文章最后给出了一个实例,仿真波形表明了这种方法的正确性.     

CORBA系统事务处理的模拟和分析

事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理.     

基于模糊时间Petri网的网络计划模型

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。     

空分复用无线自组网跨层设计的NS2仿真研究

为了有效支持节点装备多天线的无线自组织网络的跨层协议设计。利用基于空分复用技术的物理层和接入层联合网络容量分析模型扩展NS2,构造了一个通用仿真平台,使其支持网络跨层空分复用接入协议。理论分析与仿真结果表明扩展后的NS2能够有效支持空分复用跨层协议设计。仿真证明对节点装备多天线的网络进行特别的跨层联合协议设计能够有效提高网络吞吐。     

基于Petri网的指挥控制流程仿真方法

作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。     

互联网舆情分析弹性自组织网

主要解决海量互联网信息的舆情分析问题。以概念倾向性和话题属性新概念为基础,建立了具有人工及自我双重训练功能的、具有自我反馈机制的舆情统计分析模型。以互联网为平台构建了虚拟的弹性自组织网,解决了网络舆情分布式计算、规模自由扩展及大规模舆情信息视觉化等的问题,并根据力学抽象使其具备了网络拓扑结构的自优化、自更新功能。实验表明,模型具有分析效率高、准确、结果直观等特点。     

基于合同网和petri网的多预警机情报协同模型

随着作战环境的日益复杂,多预警机进行情报协同成为必然趋势,而如何对参与情报协同的各预警机进行实时的动态任务分配以使系统整体效能最大化成为亟待解决的课题。基于此,首先,根据部队指挥体制具有层次结构的特点,结合集中式与分布式任务分配的优点,设计了混合式情报协同体系结构,并对系统的相关元素进行了建模;然后,提出用合同网解决各预警机间任务的动态协调问题,用petri网模型去捕获合同网协议中管理者和投标者间的相互关系:招标者需求petri网可以计算每个子任务的预期时间,合同评估petri网可以评估合同的可行性及最优性,合同授予petri网可以自动将最优合同授予相应的投标者;最后,通过仿真验证了模型的有效性。     

通用综合评价支持系统的可配置评价模型研究

针对综合评价支持系统的通用性问题,给出了一种可配置评价模型的设计思想与实现方法。首先分析了综合评价的关键要素及其过程,定义了通用综合评价支持系统(UCESS)的数学模型,据此提出基于AOV(Activity on Vertex Network)网的评价模型构建方法,即通过AOV网描述评价模型的拓扑结构,并根据其拓扑排序来控制评价模型的执行过程,最后给出了采用组件技术的模型设计与实现策略。应用所提出的方法,UCESS能够实现自由意义上的评价模型动态配置,具备良好的灵活性和开放性。     

基于层次线路优选法的公交线网仿真设计

针对交通路网布设方案的不可实验性,为提高公交线网设计优化性能,提出了基于"层次线路优选法"的仿真设计思路,对公交线网进行层次划分,并分层进行线路优选,组合成网,突出发挥不同层次线路的功能,消除了传统"线路优选法"忽略公交网设计不同层次线路需求的缺点。阐述了"层次线路优选法"的基本原理,给出了"层次线路优选法"的基本实现步骤,并着重描述了层次选择模型的构建、公交线路选择的遗传算法。采用经典算例对线网的仿真设计方法进行验证。结果表明,与其它研究成果相比,此方法得出的线网设计结果方案在满足单次出行换乘次数低、无公交盲点的前提下,具有线路负载均衡、线路弯曲度小、高线网覆盖率、低线网重复系数、线段最大重复次数少的特点,满足了公交线网设计的基本功能要求。