机载电子设备测试方舱的研究

本文根据ＩＥＥＥ－４８８总线、测量仪器和计算机组成的自动测试系统的结构，研究了对机载电子设备实现自动测试及故障实时自动诊断的自动测试系统，以及主要由自动测试系统组成的机载电子设备测试方舱。该方舱主要用于内、外场对机载电子设备的测试、校准、定检、故障诊断及恢复。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

二元冰蓄冷测试技术及其评价

对二元冰蓄冷系统的测试技术进行了系统的介绍并作出了相应的评价。着重介绍了二元冰的性质及系统中凝聚现象和含冰率的测试技术,为二元冰蓄冷系统的测试研究指明了方向。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

King公式法热线探头校正方法及计算程序

本文提供了一种直接用 King 公式来表示恒温式热线风速仪探头的校正结果的方法及计算程序。该法能较准确地反映探头的特性,并为计算机处理数据提供方便。     

符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试

RS（Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码，由于它具有很强的随机错误和突发错误的纠错能力，被CCSDS，NASA，ESA等空间组织接受，广泛应用于深空探测中．本文采用改进的Berlekamp算法，用FPGA实现了符合CCSDS标准的RS(255，223)码译码器；介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台；给出了测试结果，并且对理论上RS(255，223)译码器的误码性能与实际测试的误码率结果进行了比较和分析．验证结果证明该译码器能工作在400Mbps以上的码率，使用FPGA资源180000门，译码效果与理论上译码效果一致．     

航天材料热物理性能测试技术的发展现状

根据航天材料热物理性能测试技术的特点 ,系统介绍了国内航天材料热物理性能测试技术的发展状况和发展趋势 ,并详细介绍了目前我国航天材料热物理性能测试领域中所具备的测试技术和测试装置、航天热物理性能所涉及的研究领域和内容以及目前正在开展的研究工作。     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

北国之翼：三菱F-2A／B支援战斗机发展近况

1988年，日本防卫厅提出次期支持战斗机计划（fighter supporter)，用以取代日益老旧的三菱F-1，日本以当时世界上其它主力战机——F-16、F-18、“狂风”IDS为发展模仿对象。1990年，日本与美国政府协议共同发展计划，根据美国洛克希德&;#183;马丁公司的F-16为发展基础，由洛马公司提供技术支持，于1992年完成初步设计。F-2A/B的全尺寸木制模型公开之后，受到新闻界和社会舆论大力批评。不过，日本防卫厅仍力排众议进行原型机的生产，并于1995年10月首飞，预计将生产单座机84架，双座机47架。     

级间开缝间隙传感器动态测试方法研究CSCD

针对某型号分离面间隙传感器的测试要求,提出了一种间隙位移传感器的动态测试方案,设计了测量系统,通过激光测试法测量并记录级间开缝间隙传感器CI1-27在自由弹出状态下的输出响应。经应用,该方法操作便捷,数据可靠,为间隙传感器的动态测试提供了一种新的参考。