灰色SOM网分类方法及其在村级农机区划中的应用

建立了农机区划的灰色SOM网模型,并介绍了它的基本原理、结构和算法,建立了农机区划指标体系,并应用此模型对吉林省农机区划进行了研究．得到了许多有益的结论．     

路网模糊流量条件可靠性瓶颈逻辑割树模型研究

采用模糊聚类分析法、故障树方法的逻辑思想与图论的割集理论 ,研究了在一定时间范围里 ,路段模糊流量条件可靠性评价问题 ,并在此基础上 ,设计了路网模糊流量条件可靠性瓶颈的逻辑割树模型 ,提出了相应的“瓶颈算法”,并作了实证分析.     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

基于有色Petri网的Web服务协商

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同应用中QoS对象关注程度确定权重,采用加权模糊推理模型构造应用函数,作为协商的依据。分析表明,该模型对服务发现与服务集成中自治实体间达到共识是有效的。     

以活动为中心的体系结构设计方法研究

体系结构框架为开发和表示体系结构提供了规则、指导和产品描述,保证了在理解、比较和集成体系结构时有一个公共的标准.针对体系结构框架,在以产品为中心和数据为中心的设计方法的基础上,提出了以活动为中心的体系结构设计方法,定义了节点、信息、活动等体系结构的核心实体以及相互关系,分析了以活动为中心的体系结构开发过程和基于可执行模型动态特性分析方法,并以防空反导作战为例,说明该方法的可行性.     

优先级Petri网的CPN Tools仿真模型研究

优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(list)和元语言(ML)等方法建立了变迁、库所和托肯三种类型优先级Petri网的仿真模型,并通过示例表明了方法的有效性,这对于优先级Petri网的仿真具有重要意义。     

HTCPN在装备保障业务流程建模与优化中的应用

研究了Petri网在装备保障业务方面的应用,针对装备保障业务特点,讨论了基于HTCPN的装备保障业务流程建模与优化方法,这种方法克服了普通Petri网建模的不足之处,既可以给出简单直观的模型顶层结构,又可以根据需要对模型进行不同程度的细化,并有利于对模型进行分析和仿真实现。研究了基于HTCPN的装备保障业务流程模型性能评价指标,以某型装备维修过程为例,建立了其HTCPN模型,通过仿真与定量分析提出了优化方案,并对优化前后的业务流程进行了性能对比。     

基于蚁群算法的随机Petri网最优路径序列寻找

根据蚁群算法对SPN进行了一定的扩展,为SPN网络中的变迁增加了过滤和保留信息功能,为库所增加了过滤信息的功能,得出了一种带有记忆性的连续时间随机Petri网(MESPN).当MESPN运行时,利用充足量的托肯在网络中行走并且在行走过程中留下信息素来调整托肯路径的选择,使大量蚂蚁的行走路线不断逼近SPN网中时间延迟更短的变迁序列,最终在最短变迁序列上形成清晰的蚁路,从而在一定程度上解决了复杂SPN网的最优路径寻找问题.该算法充分考虑了每个变迁真正实施时间的概率特性,可以计算任意网型的变迁延迟时间概率分布.仿真结果表明,托肯可以有效地在最短延时路径上形成蚁路并且能够求得从初始库所到网络中任意库所的最短路径.     

基于AOPN的装备使用保障费用模型研究

提出了一种可用于装备保障系统建模与分析的面向方面的Petri网模型(AOPN),给出了该模型形式化描述,该模型引入了面向方面的建模思想,具有很好的模块性、继承性、可维护性以及描述动态过程的能力,将该模型应用到装备使用保障费用的建模与分析中,给出了相应的建模过程与方法,最后给出了一个应用实例。     

索网结构欧拉坐标找形法

基于无弯矩假定,以节点坐标为待求参数,提出了一种适用于索网结构找形的数值算法——欧拉坐标找形法,并建立了欧拉空间坐标系。以轴力与杆长为未知参数,再根据杆单元的力学特性和平衡条件,直接建立结构节点坐标和轴力的平衡迭代矩阵。实例验证结果表明,欧拉坐标找形法能够适应各种类型的索网结构优化问题,鲁棒性好,收敛较为稳定。