基于模块的标准ATLAS语言及其应用

面向模块的ATS设计是现代测试技术的重要分支.论述了测试语言ATLAS的产生、发展过程,分析了其存在的问题.指出基于模块的ATLAS是标准的测试语言,详细介绍了它的特点、模型结构及在现代ATS设计中的应用,满足了TPS可移植性的发展要求,代表着现代测试语言的发展方向.     

民机材料适航符合性验证方法和技术发展

通过梳理民机产品所用材料的适航批准方式,综述民机材料适航符合性验证方法和技术发展现状,解析中国民用适航规章中对民用飞机、发动机、直升机等民机产品用材料的2X.603、2X.613和33.15等直接相关条款要求,结合已取得型号合格证民用飞机和直升机材料符合性验证技术发展实际,阐明相应条款的符合性验证方法和验证技术。材料适航符合性验证中,基于统计分析的方法建立标准（规范）是材料符合性验证的核心,随型号批准的材料主要采用MOC1、MOC2、MOC4方法进行适航符合性验证。面向未来,具有自主知识产权材料的应用,材料自主验证技术和能力的建设,是实现先进民机产业化发展的关键。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

航天ATS快速测试体系结构研究

快速发射是未来空间信息作战和导弹武器发展面临的新课题,快速测试是快速发射的重要环节。航天ATS快速测试需要遵循一定的体系结构而发展。以国际通用测试系统体系结构为背景,结合我国航天测试的需求,提出了航天ATS快速测试体系结构,分析了航天ATS快速测试的测试流程并行化、关键参数连续监测化和测试数据处理快速化等目标,以及所涉及到的图形化程序开发、仪器可互换等关键技术。结论有利于促进航天ATS快速测试技术的进步,并为其发展提供参考。     

一种恒电长度干涉仪分析的新方法

对数周期天线的相位中心随频率呈线性变化,用2个对数周期天线可以构成具有恒电特性的干涉仪天线阵,在工程应用中,天线相位中心较大的测试误差会导致天线阵调试困难.通过对恒电长度干涉仪的分析,提出了利用相位扫频测试对天线阵进行调试分析的方法,避免了繁杂的相位中心测试,简化了天线阵的调试过程,测试数据可直接用于系统校正.     

一种卫星供配电快速重组测试系统设计

传统卫星地面供配电测试系统多为专用定制设备和配置专用前端软件模式,其缺点是系统通用性差,无法做到重复使用,造成设备研制成本高、周期长,已无法满足卫星测试需要。针对上述问题,文章设计一种快速重组测试系统。该系统通过提炼功能板卡、优化冗余单机、精简电缆接口、建立软件数据流模块和匹配规则库的方式实现。在工程应用阶段,对比快速重组测试系统与传统测试系统的各项系统指标差异,结果表明:快速重组测试系统实现了模块化、小型化、通用化,证明其具备快速重组能力。     

航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题,提出一套航天器运输包装箱动力学与热学仿真验证方法,包括：建立适用于包装箱系统的刚柔耦合多体动力学系统,通过结合线路条件测试生成的动力学系统外部激励,实现减振性能虚拟跑车测试;建立基于计算流体力学的包装箱热学模型,通过模拟自然对流和空调控制,实现包装箱保温性能虚拟跑车测试;基于C/S架构和导航式流程设计思想,建立航天器运输包装箱仿真验证平台,通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

关于大学英语期末测试的调查及思考——以桂林航天工业高等专科学校为例

测试是衡量学生语言能力的手段,但目前高职院校校内的英语期末测试存在着一定的缺陷.文章以桂林航天工业高等专科学校为例,通过对校内大学英语期末测试的调查,发现其存在的一些问题,并提出一些建议,探索完善校内英语测试的途径,促进对学生实际应用能力的培养.     

“北斗”导航AIT厂房检漏大厅投入使用

随着北斗导航卫星系统的工作进展,设立在北京卫星环境工程研究所的北斗导航新厂房检漏大厅已建成。在一系列的测试中,大厅内的温度、湿度、1万级的洁净度都已达到要求。     

欧洲发射星上自主项目-2卫星

“星上自主项目”（PROBA）卫星系列属于欧洲航天局（ESA）的技术验证计划,资金来自通用支持技术计划（GSTP）。该系列卫星是小型、低成本卫星,用于验证新的航天器技术、研究技术、研发方法,同时还可携带科学有效载荷。