网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

提高集成电路后工序成品率的方法

本文从生产实际出发，剖析了影响集成电路后工序成品率的原因，并针对生产线工序指数能力着手，找到了解决问题的方法，使成品率有了很大的提高。     

铁路电力试验车软件的设计与实现

介绍了铁路电力试验车软件的设计思想、框架结构及其总体控制策略 ,并就其中的测试程序、数据库管理系统、串口通讯程序、复杂式样报表生成和系统安装程序的设计策略作了叙述。     

高真空条件下网状泡沫放气量的测试

利用航天工业行业标准及测试设备对一定真空度条件下的聚胺脂网状泡沫在常温及加温两种不同工况时的出气情况进行测试；对两者的放气量进行比较；对放气机理进行分析探讨。此工作对高真空连续卷绕网状泡沫镀镍设备的真空系统配置具有一定的指导意义。     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

全站仪在直升机悬停测试中的应用

介绍了如何将改造后的全站仪应用于直升机悬停性能测试的方法。经真实飞行试验检验，该方法理论严密，方案合理，改装简单，操作方便，成本低廉。较之原始的摄影测量法有无法替代的优点。     

结合试飞特点,开展专用测试设备计量确认

根据我院专用测试设备计量确认现状及需求，对开展试飞专用测试设备计量确认工作的要求，步骤、确认原则，以及编定计量确认方法进行了必要的讨论分析。     

步进式加热炉钢坯跑偏测试

钢坯在炉内的横向跑偏和纵向跑偏位移量,是步进式加热炉设备的重要性能之一.重点介绍了鞍钢1780热连轧生产线步进式加热炉钢坯跑偏测试的应用技术.     

一种以GPIB-ENET构建的分布式测试系统

介绍GPIB－ENET控制器的基本情况，在系统中配置的方法和以GPIB－ENET及以太网构建分布式测试系统的实例。