对象Petri网及其在C~4ISR系统仿真中的应用

首先给出对象Petri网 (ObjectbasedPetriNet,OPN)的定义 ,介绍了OPN对基本Petri网的扩展。然后总结OPN的特点和C4 ISR系统仿真模型的建模原则 ,讨论了OPN在C4 ISR系统仿真建模中的适用性。最后对一个防空战术C4 ISR系统建立OPN模型 ,验证了OPN的可用性     

对象Petri网及其在C4ISR系统仿真中的应用

首先给出对象Petri网（Object based Petri Net,OPN)的定义，介绍了OPN对基本Petri网的扩展，然后总结OPN的特点和C4ISR系统仿真模型的建模原则，讨论了OPN在C4ISR系统仿真建模中的适用性，最后对一个防空战术C4ISR系统建立OPN模型，验证了OPN的可用性。     

着色Petri网对高性能集群的建模与性能评估

针对形式化建模方法导致的状态空间爆炸问题,提出了一种基于Petri网的高性能集群建模与性能评估方法.首先分析了高性能集群的系统架构,构建了模型的总体结构;然后针对集群系统建立了相应的任务产生子模型和调度子模型,并通过对Petri网进行着色,根据不同种类任务的执行特点设计了相应的任务处理模型.仿真结果表明,利用所建立的模型能够有效评估关键参数对集群性能的影响.     

复合Petri网的主从式多智能体通信建模方法

针对当前主从式MAS领域通信的硬件成本高、对计算资源占用大等问题,引入复合Petri网建立通信模型。按MAS资源的类型,将复合Petri网的库所设计为状态、行为和时滞3种类型,关联了库所的生效时间。建立了不同优先级消息和通信异常处理的复合Petri网模型,构建了主从式多智能体复合Petri网的通信模型。通过基于主从式小车编队的任务场景实验,验证了多智能体复合Petri网相关模型的可靠性与有效性,缓解了通信消息对系统计算资源的压力,降低了对通信硬件的依赖。     

基于对象Petri网的计算机网络仿真建模

首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点，划分了计算机网络仿真模型，并结合TCP/IP协议讨论建模过程。最后通过基于OPN的CBMSE(组件建模仿真环境)仿真了一个局域网。说明OPN的对网络建模仿真和性能分析应用。     

面向对象Petri网在柔性贴装系统仿真中的应用

Petri网十分适合分析、设计柔性制造系统。在Petri网基础上引入面向对象(OO)技术,采用面向对象Petri网(OPN),建立了一个PCB元件柔性贴装系统的完整的OPN模型。并利用对象之间的消息传递技术实现了两个共享工作区和物料区的机械手的无冲突工作,为其它复杂的多机械手柔性装配系统的建模提供了数学和图形工具。     

基于嵌套网的JADE建模

良好的形式化建模方法是大规模开发和应用多Agent系统(MAS)的必要条件之一,使用多层的嵌套网对JADE进行层次化建模,给出面向对象的MAS与NP-nets之间的对照关系。指出通过引入层次结构,不仅能有效地控制状态空间的规模,而且能通过网托肯的嵌套方式克服Petri网结构演化的困难。     

面向Agent的Petri网及其应用

为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题.     

一种无线传感器网络形式化模型及应用研究

由于无线传感器网络(Wireless sensor networks,WSN)开发缺少一种通用的理论模型,从多Agent系统的角度,以面向对象Petri网(Object-Oriented Petri nets,OPN)为语义基础,建立了WSN形式化模型(Wireless Sensor Networks Model,WSNM)。在WSNM中,从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义,可以形象、直观地刻画系统的整体和个体特性,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证。最后将WSNM应用于基于WSN的目标跟踪系统的建模与开发中。     

基于着色Petri网仿真模型的安全协议分析

采取形式化方法验证协议的安全性,Petri网是有效的方法之一,但传统Petri网分析过程中经常会出现状态空间爆炸问题。该文采用了基于着色Petri网建立安全协议及入侵者攻击的仿真模型方法,从而获得仿真数据。该方法利用逆向状态分析和Petri网可达性分析,能有效地发现协议中的安全漏洞。并且,如果能恰当地控制好状态空间,则能有效地克服Petri网分析过程中的状态空间爆炸问题。该文给出的利用着色Petri网建立安全协议仿真模型分析的一般方法,实例说明该方法具有普适性,并且方便利用Petri网自动化分析工具实现自动化分析。     

鸭河口电厂电力二次系统网络安全分析

为了防范黑客及恶意代码等对电力二次系统的攻击侵害及由此引发电力系统事故,保障电力系统的安全稳定运行,必须建立电力二次系统安全防护体系。鸭河口电厂信息中心根据上级要求,按照《电力二次系统安全防护规定》,对本厂二次系统进行详尽的分析,进行分区规划,并检查出诸多不安全因素,为下一步整改打下坚实的基础。     

计算机网络系统管理员的系统管理

从安全日志、备份、系统进程、恢复与安全等几方面讨论了计算机网络系统管理方法 ,给出了其具体操作的步骤和需注意的问题     

基于专家系统的高速公路监控系统研究

对传统的高速公路监控系统进行分析,结合专家系统的发展,提出了基于专家系统的高速公路监控系统结构,探讨了其功能和运行机制。最后指出了需要进一步研究的关键技术。     

焙烧炉风机的监控系统

风机是氧化铝生产的关键设备之一,对其运行状态进行监测控制,实行安全联锁,可以提高风机运转率、减少故障发生.介绍了焙烧炉风机的监控系统,由于该系统是由先进的电气设备、仪表及控制系统所组成,因此,该系统功能齐全、控制可靠、监测精度高,为焙烧炉风机系统的稳定运行创造了条件.     

构建信息系统的综合防御体系

在为信息系统构建安全体系时,人们往往将注意力放在网络安全和数据安全方面,而软件管理、物理安全等问题却容易被忽视。文章以空军某部综合管理信息系统为例,阐述如何从网络安全、物理安全、软件系统安全、数据安全等多个方面构建信息系统的综合防御体系。     

罗克韦尔系统在生产调度数据采集系统中的应用

针对河南煤化集团义马气化厂二期扩建后,原生产调度数据采集系统已不能满足生产调度数据采集需要,经常出现死机和数据传输慢的现象,采用ROCKWELL公司RSVIEW系统上位软件进行技术改造。介绍改造中出现的问题,提出解决方案。     

基于Windows系统的实时控制系统

Windows系统是目前最为流行的PC操作系统之一，它拥有友好的界面和强大的硬件支持，同时它拥有完善的技术支持和快速的网络更新。随着视窗系统的不断更新和完善，Windows系统正逐渐应用于工业控制领域。由于Windows系统不是实时系统，目此解决Windows系统的实时性就成为基于Windows的工拉系统所要解决的首要问题。本文介绍的正是一种解决Windows系统的实时性问题的方法。     

变风量空调系统的预测控制应用研究

变风量空调具有非线性和大时滞等特点,通过建立静压点压力与流量变化的关系确立模型,结合预测控制优化参数的控制策略,系统在流量变化的冲击下达到压力恒定和控制的快速响应,从而改善空调系统的性能和达到节能的目的。系统利用相关的参数进行了仿真研究,结果表明该控制策略有助于解决静压点压力在流量变化较大时能相对保持恒定。     

基于BrowserWeb体系的管理信息系统的开发

根据当前管理信息系统（MIS）的发展，本文提出了一种MIS新的模式——基于Browser Web体系的管理信息系统。从这种新模式的优势介绍了这种模式的体系结构，并给出了开发一个实例的思路，最后介绍了数据库访问技术。     

蚁群算法在系统辨识中的应用

将传统用于离散空间问题求解的蚁群算法引入连续空间内的系统参数辨识问题求解, 定义了各智能单蚁的信息量分布函数和相应的系统辨识求解算法,并在线性系统参数辨识的实 例仿真中得到了很好的结果,显示了蚁群算法在连续空间优化问题中的应用前景.最后,对蚁群 算法在连续空间优化领域中的适用特征作了总结,并指出了今后进一步工作的方向.