一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

邻频干扰对跳频GMSK接收机的性能影响分析

在考虑跳频系统中系统用户数、可用频点数、信道参数和环境噪声因素的条件下,重点研究邻频干扰(ACI)对跳频系统典型GMSK接收机误码率(BER)性能的影响。研究了GMSK非相干平方律接收结构和包络检波接收结构,通过分析接收信号经过各接收单元的变化,得出判决信号的解析表达式;通过分析判决信号的概率密度函数和特征函数,推导得出跳频系统在ACI影响下的系统BER公式。仿真结果表明,该理论能够评估ACI对跳频系统典型GMSK接收机的BER性能影响。     

园区网建设方案概述

介绍海军工程学院园区网建设的意义．从现有情况和未来需求两方面讨论园区网建设的依据．论述园区网建设的原则以及信道建设、网络结构、信息系统建设以及网络安全方面的方案及实现．     

增强政工网的吸引力

随着网络技术的普及和计算机的广泛运用,军营正在步入信息化时代。近年来,全军政工网、各大单位政工网等网络相继建成,使广大官兵感受到网络给工作、学习、生活等各方面带来的便利和深刻变化。但如何从官兵的需求特点出发,建设好政工网,使广大官兵能真正爱网、建网、用网,充分发挥政工网的效能,还需要大家共同探讨。     

参数化时频分析的匀加速旋转目标ISAR成像

对于机动目标,运动补偿后目标相对于雷达的转动不能近似为匀速转动,而是更接近于匀加速转动,此时传统的距离多普勒成像算法不能得到很好的成像结果.分析总结了几种针对非匀速转动的时频联合分析算法,提出了一种基于参数化时频分析-AGCD快速算法的匀加速旋转目标成像算法,仿真表明了该算法具有精度高、速度快且无交叉项的优点,比原有的一些算法有较大的改进.     

基于对象Petri网(OPN)的C3I系统仿真建模

首先介绍了OPN的特点和利用OPN建立C3I系统仿真模型的一般步骤,然后用一个简单的实例说明了该方法的使用情况,并总结了该方法在建立C3I系统仿真模型中的优缺点.     

差分跳频组网特性分析

本文在阐述短波差分跳频原理的基础上,初步分析了其组网所需要的参数种类,重点分析了其组网方式及组网性能,得出了一些有益的结论。     

新颖的冗余节点无线传感网能量感知分簇算法

针对一类具有冗余节点的无线传感网,提出了一种新颖的能量感知的动态分簇算法NEAC。它基于动态分簇路由机制,根据节点分布密集程度簇内分布一定数量的休眠节点,在数据传输阶段,这些休眠节点不感知和发送数据,当簇首节点的能量消耗达到一定阈值后需要重新轮换簇首,它们被唤醒并根据休眠节点和簇首轮换机制实现快速簇首和休眠节点选举以平衡节点间的能耗。仿真结果表明,与典型的分簇协议相比,NEAC能够更好地平衡节点的能耗,获得更长的网络生存期。     

锻造“拳头”力量

前不久,陕西省国防动员委员会组织全省国防动员系统进行了应急应战一体化综合演练,依托省军区＂三网合一＂系统,采取网上动员、网上指挥、网上检查、网上观摩等方法,重点演练了紧急征召、保交护路、专家支前、应急救援、