Petri网在制造系统建模与仿真中的应用

依据面向对象的Petri网的理论,给出了制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中是如何应用的。     

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

民航通信网IP承载网业务双网传输配置与研究

民航通信网IP承载网主要承载包括办公自动化、视频会议等综合业务,以及气象、航行情报等涉及飞行安全的相关业务。特别是全国流量系统等重要业务通过IP承载网传输后,对网络传输的可靠性要求更高。IP承载网在建设初期已经考虑到传输层面的冗余配置,但在业务接入层则需要用户自主规划设计。为提升网络整体可靠性,本文研究了业务接入的双网传输方案及配置,分析了VRRP技术及堆叠技术的配置方式、应用场景及适用范围,对日后业务传输方案设计提供重要参考。     

美国天基靶场的开发

目前美国正在积极研究天基靶场并计划从地基靶场向天基靶场升级,这是美国靶场发展规划的一个重要目标。本文对美国天基靶场概念进行了分析,并与今天基于雷达的地基靶场进行了比较,最后介绍了美国实施天基靶场的一些演示实验方案。     

低（变）湍流度风洞设计再探讨

在资料调研与总结国内约20年来成功研制低（变）湍流度风洞的基础上,介绍了这类风洞设计思想中几点有新意的方法,供设计者参考。对减湍起决定作用的稳定段布局设计给出了一组综合性图线;对减湍起重要作用的收缩段设计提出了通用便捷的方法;对全系统起优化作用的风扇动力段及拐角导流片设计研制等有一定的新见解。     

雪山脚下“爱在铂尔曼”套餐与您相约

<正>纳西的静好岁月静谧的浪漫时空尽在丽江铂尔曼度假酒店巍峨雪山下,纳两的静好岁月里,为成就您最浪漫的甜蜜回忆,丽江铂尔曼度假酒店为您奉上全新定制"爱在铂尔曼"套餐。令人目不暇接的迷人景致,量身打造的别墅浪漫时光,丽江铂尔曼的浪漫探索旅程不仅仅是蜜月之旅的新婚燕尔首选,抑或是庆祝周年纪念的爱侣的目的地,更是每位渴求重拾初次浪漫心动的美好与惊喜的蜜恋催化剂。领略雪山的浪漫而神奇的时光,从1919吧的"梦幻鸡尾酒"欢迎饮料伊始,紧随其后     

卫星舱内无线传输技术的应用探索

针对传统有线连接的整星电缆网其灵活性差、通用性差及操作性差等问题,提出了利用无线网络通信技术解决卫星舱内有线连接在整星布局、装配、集成和测试等方面的不利影响,进行了基于卫星舱内使用的无线传输网络设计和探索,包括无线网络拓扑结构、网络频率配置及通信抗干扰等内容。通过基于某型号卫星的数据传输应用场景进行了方案设计和试验测试,验证了卫星舱内无线传输技术的可行性,为解决卫星平台和有效载荷之间的数据交换和平台自身管理提供了一个高可靠、高效率的实现途径。     

四级网考中英语新闻对听力教学的反拨效应

大学英语四级网考中英语新闻听力是学生的薄弱环节。利用四级网考对大学英语教学的反拨效应,在分析英语新闻特点的基础上总结英语听力教学策略,旨在帮助学生提高英语新闻听力水平。     

基于SPN的近距平行跑道容量建模与分析

跑道理论容量计算是机场容量评估的一项重要内容。传统方法是针对跑道实际运行情况建立特定的数学模型进行粗略计算,本研究则采用随机Petri网(stochastic Petri net,SPN)建立通用的近距平行跑道运行模型,通过同构马尔科夫链,建立系统稳态概率表达式,进而建立跑道容量数学模型。在此基础之上,将跑道容量的影响因素映射成相应变迁的激发率,通过对激发率的调整,实现了不同条件下交替起降近距平行跑道容量的计算与分析。与传统方法相比,该方法所建模型可复用性强,参数调整更为灵活,为跑道理论容量的计算与分析提供了新的解决方案。