检定汽车平顺性测试系统的一种方法

一些汽车平顺性的测试设备没有计量检定规范，因而检定平顺性测试系统的计量性能有一定难度．本文提出的系统试验检定方法首先对比两种测试系统的测试结果，进而计算出得值的不确定度．同时文章对汽车平顺性的评价指标表示方法提出了改进建议     

非确定并发系统的基于说明的测试推导

讨论具有非确定性的分布式并发软件系统，对论（1）的行为机构造方法的测试推导方法进行了扩展，使之可同时适用于确定和非确定的并发系统。     

非确定系统中可观察状态集的识别序列的一种推导方法

主要针对非确定系统（实际中的大部分系统都具有非确定性），提出可观察状态集的识别序列的定义，并对于按照观察等价关系化简的系统的实现的集合，给出一种生成可观察状态集识别序列的方法．     

基于结构测试的损伤诊断方法研究

从结构测试的角度论述了结构损伤诊断方法．该方法以结构测试为基础，将测试数据与模型分析结果进行综合分析比较，从中得到结构刚度等参数变化的信息，实现结构的损伤判别与定位定量分析．按测试方式的不同可分为基于静力测试的损伤诊断法、基于振动测试的损伤诊断法以及基于振动和静力综合测试的损伤诊断法．其中基于振动测试的损伤诊断法可进一步分为直接的系统识别方法、损伤指标法和有限元模型修正法．指出了损伤诊断方法的研究现况及存在问题，对今后研究的方向作了展望．     

基于微机的边界扫描测试主控系统的设计

分析了边界扫描测试技术的工作机制对测试主控系统的功能需求，提出了一种基于微机PCI总线的低成本边界扫描测试主控系统的硬件设计方案，该系统以PC机为平台，以用CPLD器件实现的JTAG主控器生成满足IEEE1149．1协议的边界扫描测试信号，并用普通的SRAM实现存存器共享，仿真表明，该系统产生的测试信号完全满足IEEE1149．1协议的时序要求，可用于IC和PCB的边界扫描测试，以及改进边界扫描测试的研究和实验。     

微处理器系统的故障测试系统

提出一种用于微处理器系统故障诊断的测试系统，该系统基于特征分析，采用软件切换技术，使测系统与被测系统在一ＣＰＵ控制下工作，由测试系统从外部向被测系统施加激励，能对内部不含特征激励的微处理器系统进行故障诊断，确定测量窗口宽度的启、停信号直接由测试系统的内部产生，该测试系统可通过ＲＳ－２３２接口与微机联机，以８０３１单片机为被测对象，对本测试系统的功能进行了验证。     

混合谱动态测试信号综合分析法

提出的混合谱动态测试信号综合分析法 ,是经典谱分析方法和现代谱分析方法的综合应用 ,即先用奇异值分解法确定混合谱信号中的谐波数 ,然后用FFT法逐个分离谐波分量 ,最后用线性回归分析方法同步分离非周期信号和随机信号分量 .还给出了“综合分析法”的数学模型 ,并通过计算机仿真证明了该方法可高精度地辨识和分离测试信号中不同特性的信号分量 ,是一种用计算机自动处理一般几何量动态测试信号的有效方法     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

分布式网络攻击测试系统中的代理选择算法

对网络设备的网络攻击测试有助于确定设备的稳定性和安全性,从而降低网络运行风险．首先改进了分布式网络攻击测试系统,该系统由一个主控结点和多个代理结点组成,能适应多种网络拓扑结构,能对Internet网络中的目标设备进行各种常规的网络攻击和分布式攻击测试,并支持新攻击套件开发．然后讨论了该系统在线模式下特有的代理选择问题,提出了一种合理的代理选择算法,有利于保证结点通信,分散测试流量．     

集合识别问题的D序列和UIO序列的一种推导方法

集合识别方法是非确定性分布式系统相容性测试的一种新方法，是经典的状态识别方法的一种扩展，提出了在集合识别问题中使用的推导Ｄ序列和ＵＩＯ序列的方法。     

基于自组装算法破译RSA公钥密码系统

研究了如何利用自组装技术对公钥密码系统RSA进行密码分析,提出了破译RSA公钥密码系统的自组装算法.创建3个子系统,包括非确定性指派子系统、乘法子系统和比较子系统,在此基础上建立自组装模型,提出自组装非确定性算法将整数分解为2个素因子的乘积,该方法用常量种类的Tile类型在多项式时间内能成功分解整数,且通过其并行计算的特点破译RSA密码系统.     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

离散事件系统的非确定性状态反馈控制(Ⅰ)

在离散事件系统（ＤＥＳ）中引入了强迫事件,讨论了确定性ＤＥＳ的非确定性状态反馈控制,其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

离散事件系统的非确定性状态反馈控制(Ⅱ)

讨论了具有强迫事件的非确定性离散事件系统的非确定性状态反馈控制;在给定闭环系统行为规范的条件下得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

基于Monad的纯函数式语言文件系统设计

本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义.     

智能生命随意性行为模型

将人工生命与人工智能相结合,并应用于计算机动画的研究.在用人工生命方法生成的计算机动画中,智能生命在虚拟环境中的行为有程序员事先设定好的预定义行为,同时也有随机出现的随意性行为.以人工鱼为例,建立了智能生命随意性行为的认知模型,并利用子集搜索等技术提高搜索效率.仿真结果表明,利用认知模型,智能生命可以较好地处理某些随机事件.     

利用矩阵运算实现故障树参数间转化

为减少FTA的NP困难,在充分研究故障树主要参数(最小割集、最小路集、不交化最小割集和不交化最小路集)之间内在联系的基础上,找到了它们间相互转化的方法,并通过割集矩阵的运算加以实现.这些转化方法,为减少NP困难、简化FTA开辟了新途径.     

一种构造正则表达式更小ε-NFA的方法

基于有限自动机的正则表达式匹配技术在网络信息领域得到了广泛应用,提出了一种构造正则表达式的更小NFA的方法——基于闭包的分片构造法GREC.GREC方法基于正则表达式中同态运算的封闭性以及闭包运算的层次特性和递归性进行构造.首先对正则表达式进行分片处理,然后构造每个分片的NFA,最后利用栈对各分片NFA进行重组获得最终的NFA.GREC方法在正则表达式层次结构复杂或包含有大量闭包运算的情况下,能够快速地构造出空间效率比传统的Thompson构造法高得多的NFA.