捷联惯组与炮管之间安装误差角的标定方法

为了保证捷联惯导系统能够正确给出炮管高低角和方位角,必须对捷联惯组和炮管之间的安装误差角进行标定.介绍了利用经纬仪进行安装误差角标定的原理和方法,还提出另外两种计算安装误差角方法,包括利用欧拉角微分方程进行近似积分方法和利用主惯导与子惯导间的传递对准方法.经对比上述三种方法是等效的,其共同特点是炮管必须作高低角运动,并且要求在运动前后横滚角变化很小.最后,通过调炮试验验证了标定方法的可行性.     

A computation procedure for the exact solution of location-allocation problems with rectangular distances

A method is presented to locate and allocate p new facilities in relation to n existing facilities. Each of the n existing facilities has a requirement flow which must be supplied by the new facilities. Rectangular distances are assumed to exist between all facilities. The algorithm proceeds in two stages. In the first stage a set of all possible optimal new facility locations is determined by a set reduction algorithm. The resultant problem is shown to be equivalent to finding the p-median of a weighted connected graph. In the second stage the optimal locations and allocations are obtained by using a technique for solving the p-median problem.     

基于ATS结构的某型导弹发控设备单板测试系统

为了解决某型导弹测控设备的单板检测问题,基于通用ATS平台,针对某型导弹发控设备的电路板测试原理进行了电路仿真,确定了测试策略,开发了检测适配器与软件,并完成了测试验证。     

验前信息在武器装备试验中的应用研究

针对武器装备定型试验时如何把验前积累大量的先验信息科学合理利用,根据武器装备不同种类的验前信息,确定其分布类型并采用参数和非参数检验方法进行相容性检验,使经过预处理的验前信息能够为试验所用,并通过实例验证了该方法的科学可行性。该方法对验前信息在武器装备试验及结果评定中的应用具有一定意义。     

软件测试自动化实践

介绍了软件自动化测试技术及其特点,提出了一种具有一定自动化程度的软件测试综合方案,对其原理、方法进行了阐述,讨论并展望了该技术的特点和应用.     

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

加快实验改革 提高实验教学效果

本文从培养学生自信心、整合实验内容、完善考试方法三个方面论述了加快实验改革,提高实验教学水平的必要性,以及所采取的具体方法。     

跳频电台自动测试系统设计

目前跳频电台的最好的检测方式是采取综合测试系统代替传统的测试仪器。以采样定理为基础,通过对三种跳频电台采样方案的比较得出结论,黑盒中频数字化方法是目前最合理的选择。给出了基于PCI总线构建跳频电台自动测试系统的硬件平台和软件测试方法。跳频电台自动测试系统可以完成对跳频电台指标的测试,并具有通用性。     

航空电子总线测试系统的设计与实现

现代航空电子综合化系统通常建立在M IL-STD-1533B多路传输数据总线通信网络基础之上,总线控制器(BC)和各个远程终端(RT)必须满足M IL-STD-1553B规定的各项协议指标要求,才能正确地联网通讯。讨论了某型航空电子总线测试系统的设计与实现,主要探讨了此系统的软、硬件开发,系统组成及其BC和RT有效性测试的主要内容和要求。在实际应用中收到了很好的效果。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。