协议一致性冒烟测试系统的设计

协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试．冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题，本文在协议形式化描述模型上使用贪心算法进行测试功能选择，将测试需求转换成测试目的后自动生成测试用例，设计并实现了一个测试系统和一套完整的二次开发接口，并使用该系统对IP协议栈的一些协议进行了测试。     

移动智能网软件自动化测试的研究与实现

对移动智能网原有的手工测试系统进行了分析，总结出测试系统存在的不足，提出了改进方案。改进后的自动化测试系统能够在测试用例执行的不同阶段实现测试自动化，包括测试用例的设计、数据表的配置、状态机的构造、测试结果的检查、测试环境的配置和回归测试。改进后的测试系统在移动智能网项目的测试中进行了实验，并对实验结果进行了分析。     

自适应教育测试系统

本文讨论了一个自适应教育测试系统的建立，分析了LOGISTIC模型在自适应测试中的应用和测试系统的体系结构，最后对自适应测试的实现进行了详细的说明。     

全局动态测试系统的可视化研究

为了对飞控系统更加全面的测试，在静态测试的基础上，提出了全局动态测试的概念，并且将视景系统应用到全局动态测试系统中，利用Multigen Creator ,Terrex和OpenGVS开发的视景系统使飞控系统的检测过程可视化，代替了传统的试飞测试，实现了在地面对检修后的飞控系统进行动态测试的过程。     

OSPFv3协议的冒烟测试及其实现

协议测试是保证协议实现和协议描述相一致的重要手段，OSPF协议是一个广泛应用的链路状态协议。冒烟测试具有降低系统集成风险，提高开发过程可视性和缩短产品开发周期的特点，该文设计并实现了基于TCL语言的协议冒烟测试系统，对OSPFv3协议实现了测试集并对路由器产品进行测试，实验表明系统具备高效易用的特点。     

移动IPv6协议一致性测试研究与实践

分析了移动IPv6协议的一致性测试需求，提出了基于形式化模型的测试集设计方法，设计了基于通用一致性测试系统的参考实现扩展方案，既增强了测试能力，又提高了测试过程可配置和自动化程度，在此基础上对多种实现进行了测试，对结果进行了分析。     

组合导航系统的系统级BIT设计

为提高某SINS／GPS组合导航系统的可靠性、维修性和测试性，针对该系统进行了系统级BIT测试需求分析，并在此基础上，应用系统级BIT测试性设计技术，设计并具体实现了该系统的系统级BIT。实验结果表明，所设计的系统级BIT完全满足该组合导航系统的测试需求。     

电磁干扰预测试系统研制

在电子产品研制的早期阶段，运用电磁干扰预测试技术可以明显降低研制成本，也可大大提高产品认证测试的一次性通过率。笔者对电磁干扰预测试系统的相关实现技术进行了深入研究，并提出了一套系统实现方案；开发出的原型系统运行表明该方案是切实可行的。     

虚拟仪器在上海地铁TCU测试系统中的应用

TCU(牵引控制单元)是德制地铁机车的关键设备。在维修过程中．需要对其进行离线测试，但目前国内尚无配套的TCU测试系统．为此本文实现了一种TCU测试系统，利用PC机及数据采集卡构成虚拟仪器测试平台，实现TCU的离线测试。     

基于USB总线的边界扫描测试主控系统的设计

分析了边界扫描测试技术的工作机制对测试主控系统的功能需求。提出了一种基于USB总线的低成本边界扫描测试主控系统的硬件设计方案；该系统以便携式计算机为平台，用FPGA实现JTAG主控器生成满足IEEE1149．1协议的边界扫描测试信号，并用普通的SRAM实现存储器共享；该系统可以对系统级、PCB级和芯片级集成电路进行边界扫描测试以及进行边界扫描测试的研究和实验；通过试验，系统性能满足设计要求。     

基于独立成分分析的状态监控方法

针对目前部分的工业系统存在系统模型或系统独立变量不确定的情况,提出了一种基于独立成分分析(Independent Component Analysis,ICA)的状态监控方法。该方法不需要有关系统模型和系统变量的先验知识,解决了系统模型或系统变量不确定的问题。运用独立成分分析法对系统的观测信号进行特征提取,通过监控分离得到的特征信号来实现对整个系统的状态进行监控。分别对一个离散系统和一个双容水箱液位系统进行仿真验证,仿真结果表明该方法能够有效地实现系统监控。     

基于图文法的并发系统状态测试方法及其实现

在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态，或者在并发系统运行结束后重演并发系统的状态变化过程.     

航空瞄准具故障诊断专家系统中知识的处理方法

针对航空瞄准具故障诊断专家系统中知识的获取、表达和推理方法等问题进行研究;首先根据瞄准具的结构特点建立了层次诊断模型,并根据模型在系统中采用了故障树分析法;然后着重讨论了系统中知识的表达、推理和模糊推理等问题的处理方法;通过在系统中建立层次结构的综合数据库及采用产生式规则,有利于诊断知识的获取和表达;采用全局择优搜索法、双向推理和模糊推理,大大提高了推理的效率;该方法的应用为瞄准具故障诊断专家系统的开发和完善提供了有力的技术支持.     

飞机虚拟维修训练系统可信度评估方法研究

针对“人在回路”和“硬件在回路”仿真系统规模大,实体多的特点,提出一种基于二级模糊综合评价法的仿真系统可信度评估方法;运用层次分析法对飞机虚拟维修训练系统不同层级的仿真模型的可信度进行分析,从而建立一种基于二级层次模型的复杂仿真训练系统的可信度指标体系;运用模糊综合评价方法与专家评价法相结合的可信度评估量化方法,实现了对虚拟仿真训练系统的量化计算;在此基础上,利用典型实例对该方法进行了实验验证,证明该方法对可重用复杂仿真系统实现精确地量化评估;并根据实验结果分析了仿真系统的改进方向,对其提高仿真效果和实训能力具有重要的指导作用。     

基于多源离散数据的复杂系统可靠性评定方法

基于复杂跳伞装备在性能试验和实际训练过程中测试数据少、数据来源多、数据具有离散性的特点,从系统工程的理念出发,提出了一种系统级的Bayes可靠性评估方法.运用系统工程的理念与方法对复杂跳伞装备的系统结构进行层级划分,对采集的数据进行融合分析与处理;对系统分解单元进行分类,确定数据类型,并对各种不同分布类型的单元进行Bayes可靠性分析;利用系统综合方法对单元可靠性信息进行横向或纵向综合.利用金字塔式可靠性综合评定程序对系统可靠性进行评估,并通过仿真算例说明了评估方法的合理性.该方法为开展复杂系统的可靠性评定提供了实用的工程化手段,极具应用价值.     

A parameterised model order reduction method for parametric systems based on Laguerre polynomials

This paper presents a Laguerre polynomials-based parametrised model order reduction method for the parametric system in time domain. The method allows that the parametric dependence in system matrices is nonaffine. The method is presented via reducing an approximate polynomial parametric system based on Taylor expansion and Laguerre polynomials, resulting in a parametric reduced system that can accurately approximate the time response of the original parametric system over a wide range of parameter. The reduced parametric system obtained by proposed method can be implemented by two algorithms. Algorithm 1 is a direct way that is suitable for single-input multi-output parametric systems. Algorithm 2 is presented based on a connection to the Krylov subspace, which is efficient and suitable for multi-input multi-output parametric systems. The effectiveness of the proposed method is illustrated with two benchmarks in practical applications.     

物料计量系统鲁棒控制器设计

通过传送带速度调节给料系统 ,分析了包装机械连续喂料称重计量系统的性能 ,给出了一种提高系统鲁棒性的控制器设计方法 ,并根据该给出的H∞ 方法 (即极小化极大法 )设计了一个鲁棒控制器加于原系统 ,使原系统的性能得以提高     

基于Web的快速原型工艺选择系统

提出一种快速成型(RP)工艺优选方法．该方法综合运用了专家系统和模糊综合评判,通过专家系统初步确定RP候选方案,采用模糊综合评判选择最适合的RP工艺;运用层次分析法,建立了RP工艺优选的多因素、多层次综合评价模型,确定了准则层各个评价因素的权重,并使用Java技术开发了这个工艺选择系统．通过一个典型应用案例展示了该系统的使用方法及其应用效果．结果表明,通过该方法确定的RP工艺更加准确和有效,能够更好地满足用户的需求．     

磁悬浮系统的非线性控制

针对普通线性化控制方法不能满足磁悬浮系统的全局稳定的问题，研究了基于非线性磁悬浮系统模型的精确反馈线性化控制算法设计方法。建立了磁悬浮系统非线性模型，利用状态反馈将系统精确线性化，然后通过极点配置，按照动态性能设计指标计算出控制参数，得到符合工程实践要求的反馈算法。仿真和实验证明了这种控制方法能够保证磁悬浮控制系统的动态特性。同时具有较好的抗干扰能力。     

一种基于分块和混沌网的图像置乱方法

图像置乱是实现图像加密的重要手段之一。由于混沌系统具有非周期性、遍历性、伪随机性和对初值的高度敏感性,因而已被广泛应用于图像置乱。为提升图像置乱效果和置乱性能,现提出了一种图像分块与混沌网相结合的图像置乱方法。该方法首先利用一种分块思想将图像进行置乱,进而构造一种混沌网,并将其应用于分块置乱的结果。实验结果表明,该方法不仅可取得良好的置乱效果,并具有较强的抗攻击性能。