论AFTN向ATN过渡的实施

一、概述在国际民航组织制定的全球新通信、导航、监视和空中交通管理的实施方案中（CNS／ATM），航空电信网（AT）是支持其实施的主要部分。而ATN又是一个由提供各种通信业务，以及支持ATM和其他航空业务应用的各种数据通信网络、子网络组成的集合体。从现用的系统向ATN过渡包括许多的方面，本文仪论述有关从现用的航空固定电报网（AFTN），即航空地面电报网络向ATN过渡中所采取的实施办法。为了保证空中交通管理业务的连续性和互操作性。作为实施ATN的总的原则，它是以国际民航所划分的各个不同的地区为基础来进行的。甚至在一…     

伞型网状可展开反射网面节点布局设计计算

给出了主要设计参数与设计目标；阐述了影响反射网精度的主要因素及误差分配；为对曲面的造型误差进行计算分析，建立了分析用模型，最后给出了结果分析及建议。     

一种用于同步静止卫星监测的微型VLBI网

针对地球静止轨道（GEO）卫星全天时全天候高精度的监测需求，考虑传统甚长基线干涉（VLBI）测站高成本、高投入和GEO卫星专用观测时段有限等制约条件，研发了简易型VLBI观测系统，并组建了包括上海、都匀和乌鲁木齐三站的微型VLBI网（micro VLBI network，MVN），开展了并置站测试以及对GEO卫星亚太6C的连续监测，并评估了当前MVN的观测能力。结果表明MVN扣除系统差后的单站接收精度为2ns，各基线观测时延拟后残差约几纳秒，GEO目标实测位置精度为百米级（内外符精度分别约100m和400m）。不同于传统VLBI和其他GEO监测手段，MVN还具备全天时、全天候、低造价、易布设及易推广等特点，充分表明了其在GEO卫星监测领域的应用价值。     

国内职业院校英语口语技能大赛研究成果分析

以中国知网全文数据库为统计源,对国内职业院校英语口语技能大赛相关的研究成果进行分析,旨在了解该研究的现状与发展趋势,发现其中存在的问题并提出合理的建议,以期为今后的研究者提供启示。     

区间不确定性下的空中作战行动过程优选方法

针对空中作战行动过程（COA）设计问题,根据动态影响网（DINs）理论和改进快速非支配排序遗传（NSGA-Ⅱ）算法,提出一种基于DINs和区间多目标优化的空中作战过程优选方法。首先,分析空中作战过程基本概念,分别进行静态和动态建模,并对参数不确定性进行分析。然后,基于改进Kendall协和系数检验法确定一致性检验后的关键参数,设计DINs概率传播算法。随后,分析期望效果实现概率与各关键参数的相关关系,在分析行动过程优选效果评价指标基础上,采用改进NSGA-Ⅱ算法对模型进行求解。最后,通过多组仿真案例,验证了模型的合理性,以及算法的有效性和优越性。     

试验IP网故障分析策略及方法应用

针对试验IP（互联网协议）网建设和使用中遇到的网络问题,从TCP（传输控制协议）/IP网络原理和试验IP网的结构模型出发,对网络故障排查方法进行了总结,给出网络分层模型分析法、网络连接结构分析法和网络检测分析法相结合的故障排查策略。对某次测控信息联调中接收不到网络数据的真实故障案例进行了分析,运用网络检测工具对故障进行排查,依据网络结构对故障进行定位,依据网络协议对故障进行分析,验证了该方法可以使问题分析层次清晰、定位准确。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.