导弹部队机动作战过程的DTSPN模型

为了在建立导弹部队机动作战过程Petri网模型时充分体现其时间特性,定义了一种离散时间区间Petri网（discrete time span Petri net,DTSPN）|在充分考虑敌方侦察威胁对部队机动作战影响的基础上,将各阶段任务实施的时机限定在一个离散时间区间序列内,建立了导弹部队机动作战过程的DTSPN模型|通过对模型的可达性分析,判定作战任务能否按时完成|实验结果显示,提出的DTSPN能够体现导弹部队机动作战过程的时间特性,并能够分析作战任务能否在有利于作战行动实施的时间间隙内按时完成。     

Petri网在多因素影响分析中的应用

Petri网具有严密的数学基础,既能表示系统的静态功能和结构,又能体现系统的动态行为,其因果关系作用下的推演特征能胜任复杂算法的实现。在分析复杂系统概念模型时,因素众多,层次复杂。各因素间的关系往往难以准确把握,直接画出正确的影响图并非易事。提出了基于ISM的多因素影响分析算法,并用Petri网进行了算法实现,能充分实现计算机与人的交互,客观、全面、规范地进行多因素影响的分析,Petri网在复杂系统多因素的影响分析中具有广阔的应用前景。     

云计算环境下数字媒体分发协议及其安全性证明

云计算是一种新兴的计算模型,具备可靠性高、数据处理量大、灵活可扩展以及设备利用率高等优势,环境下的数字媒体分发同时又能对数字媒体的版权进行保护是目前的一个热点和难点。提出了一种云计算环境下数字媒体分发协议CDMDP,可有效进行版权保护,并采用基于S_Petri网模型对其安全性进行了形式化证明,新的方法有效避免了状态空间爆炸问题。在证明过程中,采用协议安全性等价原则,对分发协议进行适当简化,使证明更加简洁。     

碳纤维增强复合材料编织网混凝土梁试验研究

将碳纤维增强复合材料（CFRP）编织成正交网格,并经环氧树脂胶固化形成受力骨架,代替钢筋混凝土梁中的钢筋,以解决普通钢筋混凝土中钢筋易锈蚀的问题。通过对3根不同配筋率的CFRP编织网混凝土梁的弯曲性能试验,观察在各级荷载作用下构件的应变变化、挠度发展、破坏过程及破坏特征,对其受弯承载力及抗弯刚度等弯曲性能进行分析。试验结果表明：CFRP编织网与混凝土有良好的粘结性能,二者协同受力性能良好;破坏前,试件有明显的塑性变形,有明显的破坏预兆,延性性能较好;随着配筋率的提升,构件承载能力、抗弯刚度较大幅度提升。试件破坏时,CFRP编织网纵向受力筋均未达到其抗拉强度,故在以后的试验中可对编织网的纵向受力筋施加一定的预应力,以提高CFRP编织网的利用率。     

网络虚拟仪器的开发研究

介绍了网络化虚拟仪器的基本概念,提出了一套基于.net框架下的Web网络化虚拟仪器的解决方案:采用.net组件技术构造用户界面组件、数据服务组件、信号分析组件、数据库服务组件和采集控制组件,根据需要,将上述组件灵活地部署到合适的位置,实现远程测试.按照这种解决方案设计了一套基于Web的网络化示波器,可以进行远端数据采集.并将数据库技术引入网络化虚拟仪器中,实现对信号的存取管理功能.     

限制搜索区域的距离最短路径规划算法

提出一种时间复杂度为O(n)的限制搜索区域距离最短路径规划算法(n为路网节点数).算法设计的基础是,经典Dijkstra算法搜索时的无方向性及实际城市道路网络特有的空间分布特性.算法实现采用邻接表数据结构和限制搜索区域的搜索机制,即利用实际城市道路网络的空间分布特性,合理限制算法的搜索区域.结合路径规划算法在实时车辆导航系统中的实际应用,给出了该算法的应用实例,实验结果表明,该算法能将路网中任意两点间的最短路径解算时间控制在3 s以内.     

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·     

有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具.对基于随机Petri网的具有抢占式服务策略的通信线 路进行了分析.为了实现高优先级用户对低优先级用户服务中断的模拟,采用了基于变迁的抑制弧.推导 了瞬时概率的表达式.最后,针对2个不同用户的实例,给出了M/G/1/2/2排队模型的分析结果.     

Control model for reconfigurable assembly systems

This paper proposes knowledge based object-oriented timed colored Petri net, a modeling method for reconfigurable assembly systems. Combining knowledge and object-oriented method into timed colored Petri net, a comprehensive and powerful representation model for control of RAS is obtained. With object-oriented method the whole system can be decomposed into concrete objects explicitly, and their relationships are constructed according to the system assembly requirements. Finally, a simple assembly system modeled by the KTCOPN is presented.