论文部分内容阅读
本文简单介绍了军事航天信息网络的作用和特性，采用Petri网的方法对一个具体作战例子进行建模。应用Petri网分析方法中的可达树方法对作战实例的结构组成方面做出了定性分析。
最后，根据分析的结果得出一定结论并展望下一步的具体工作。
军事航天信息网络的Petri网建模与分析
【摘 要】
：
本文简单介绍了军事航天信息网络的作用和特性，采用Petri网的方法对一个具体作战例子进行建模。应用Petri网分析方法中的可达树方法对作战实例的结构组成方面做出了定性分析。
【机 构】
：
装备指挥技术学院研究生院 101416
【出 处】
：
第十三届全国青年通信学术会议
【发表日期】
：
2008年期
其他文献
在刚刚过去的2011年,居无定所,成为周云蓬的生活常态。2010年,他胜利大逃亡,撤离北京,来到绍兴定居。在朋友们、媒体都刚刚习惯了“绍兴人周云蓬”的时候,他再次移动,令“你
介绍了文本形式化的语义模型——语境框架，在语境框架基础上，根据语境相似度的计算，把文本过滤问题转换成语义框架的匹配问题，算法考虑了文本的领域和对象的语义角色对相似度的影
会议
高速磁悬浮电机主要由主动磁悬浮轴承(AMB)系统和变频驱动电机组成。本文建立了AMB系统在同一平面内的2自由度集中模型的状态方程；分析了功率放大器、传感器的数学模型。及传
会议
本文针对一类具有不确定性的非线性系统，研究其在未知扰动作用下的调节问题，使其达到良好的跟踪性能，具有任意小的跟踪误差。本文主要结合反演设计方法和变结构控制，提出反演自适
会议
简要介绍GBIC模块的定义、工作原理、技术指标和接口标准等，设计实现了一种基于MAXIM芯片的模块，并对接收部分SPICE模型的I/O口进行了仿真分析。
给出了无源滤波装置参数设计的计算方法及仿真模型。利用AD6对集总元件的无源滤波网络进行优化设计，仿真结果表明AD6在无源滤波网络的设计中具有较大的灵活性,并能在一定程度
针对医院手术室多参数的监控，介绍一种利用串口扩展芯片GM8125开发该监护设备数据通信系统的方法。采用AT89S8252作为该系统主控MCU，利用GM8125进行多串口扩展，使得IT电源监控数
会议
根据Java虚拟机规范，使用BCEL设计并实现了一个java混淆器。 该混淆器实现了控制流平整算法，能够有效阻止对软件的静态分析。实验表明。该算法对不同类型程序造成的运行时性
根据心音检测的实时性需要，综述了传统心音检测方式的局限性,结合蓝牙技术的特点，提出了一种基于蓝牙技术的心音检测方案。比较分析了基于蓝牙技术的面向连接和无连接两种通信