中国民航下一代通信网络ATN规划探讨

一、背景 二十世纪八十年代以来，全球的民用航空总流量以平均每年5％的速度增长，我国的民用航空事业同样呈现出蓬勃发展的局面。近十年来，国内民航运输业以每年近20％的速度增长，与其它主要运输方式相比，航空运输业的增长速度名列第一。     

巷道式堆垛机自控系统设计中有关问题的研究

本文就巷道式堆垛机自控系统设计中的几个问题如堆垛机信息显示及作业地址、作业指令的输入方法；位置检测、定位方法、变频器的使用等问题进行分析和研究，并提出了自己的观点和设计方案。     

各种半球形零件的成形工艺

在冲压零件中,常见一些带半球形的零件(见图1),这类零件的成形方法较多,如冲压模成形、压延模成形、旋压模成形、用模胎液压容框成形或型胎手打成形等。工厂按照自己的工艺习惯和经济效益情况进行综合分析,一般根据零件几何形状与尺寸,材料牌号与状态,批量大小,零件成形难易程度和质量要求,设备情况等因素进行合理选择。     

面向路径的测试数据自动生成工具设计与实现

面向路径的测试数据生成问题是软件测试中一个基本问题.采用遗传算法作为数据优化搜索策略,设计并实现了一个而向路径的测试数据自动生成工具PTDAG,同时对实现过程中的程序插装及驱动程序的编写规则等关键技术进行了分析.实验结果表明,PTDAG在源代码进行捕装后,通过模拟对方法的实际调用产生了一组测试数据,完成一组目标路径的测试数据的自动生成,还可以针对某一条具体的日标路径,得到一个相虚的优化测试数据.     

TCP协议在空间网络中的传输时延分析

探讨了为适应空间网络环境对TCP协议机制进行的一些改进,通过模拟实验,对协议改进方案的性能进行了分析和比较。实验结果表明：协议改进后能够减小时延,避免不必要的重传,提高了信道的利用率。     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

运载火箭试验大数据存储架构设计与应用

运载火箭试验产生的数据量呈现出爆炸式增长,主要特点表现为数据种类多、数据密度大、数据持续时间长。传统单机部署和基于关系型数据库与文件的系统架构的不足逐渐显现,不同种类的数据不做区分存储,存储和查询效率低,数据无备份,存在单点故障导致数据丢失的问题,无法满足海量数据场景下的存储计算业务需求。利用大数据技术思想,针对运载火箭存储计算业务的需求,设计出一套运载火箭试验大数据存储架构,并给出了各存储组件的存储模型设计方法。通过实际工程应用表明：该架构具备良好的可靠性、可扩展性和可维护性,是一种切实可行的大数据存储架构设计,能够满足运载火箭试验数据的存储计算等业务需求。