IC可测试性分析的一种符号方法

提出了一种新的计算ＩＣ电路节点的信号概率值方法,该方法得出的信号概率值比以往的方法得出的更更准。     

CMOS电路内结点桥接故障的动态IDDQ可测性研究

采用了动态IDDQ测试方法来探讨静态CMOS电路桥接故障的可测性,详细证明了静态CMOS电路任意桥接故障都是动态IDDQ测试可测的     

一种新的可测试性测度

本文提出了一种新的可测试性测度SCTM（A Singal Confilct oriented Testability Measure）,该测度是一种scoap-like测度,它不但代表了电路中各点控制和观察的难易,而且代表了测试过程中产生信号冲突的可能性。文中引入了并行计算策略,使计算速度提高了大约m/2倍,m为计算机字长。     

基于路径测试的程序可测试性研究

本文从路径测试模型出发，来研究程序可测试性。通过对影响测试工作的程序结构进行分析，找出了其产生原因并提出了解决策略。     

武器装备研制过程中设立总测试师的必要性

阐述了在武器装备研制过程中设立总测试师的必要性,提出了总测试师在装备研制过程中所担当的职责。     

基于随机图的面向对象软件可测试性计算模型的研究

结合随机图理论以及扩展PIE模型,提出了一种新的面向对象软件可测试性计算模型．分析了对象粒度的PIE扩展模型,并将传播感染免疫理论应用于表征软件系统的随机图,最终给出了面向对象软件可测试性的计算方法．     

电路测试的可区分故障算法研究

研究一种基于人工神经网络的能区分故障的数字电路测试生成方法,该方法利用电路基本逻辑门的特性和神经网络模型的特点,首先建立测试生成的神经网络模型,然后通过求解网络能量函数的最小值点获得给定类型故障的测试矢量,其研究结果在可区分故障的测试生成方面提供了一种可能的新途径     

通讯设备的可测试性与可靠性分析

为了满足通讯设备、网络设备等高可靠度和高可用度的要求,这些设备的重要组成单元都会采用冗余备份措施,借鉴失效模型故障分析(FMEA)的思想,本文提出了一种新的关于故障检测率的定义方法,并在此基础上提出了一种提高冗余备份单元的故障检测率的设计方法。     

一种提高协议测试效率的新方法

针对使用传统的方法提高协议测试效率存在的问题,从测试序列测试顺序的角度,首次引入了测试序列动态重排序的方法,对不同的错误情况,提出三种动态排序算法．讨论了测试序列动态重排序对测试效率产生的影响．实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进．     

小波分析在电控发动机故障诊断中的应用

为了探讨小波分析技术在电控发动机故障诊断中的应用，以电控汽油机转速传感器为例，采集了转速传感器的正常和异常信号，利用小波变换对信号波形进行了滤波和除噪，利用一维连续变换工具计算出正常和异常信号小波变换系数，并提取了故障信息特征参数。结果表明：转速信号的小波变换系数能够判断发动机的断缸故障；转速信号的小波分析结果能对比发动机各缸的工作性能。实践证明，利用小波分析对电控发动机进行故障诊断是切实可行的。     

地铁隧道土体参数敏感性分析与正交反演

以郑州地铁工程为依托,现场监测数据为依据,采用敏感分析和数值模拟相结合的研究方法进行地铁盾构隧道土体力学参数的反演分析.利用MATLAB神经网络工具箱计算平台,计算分析土体变形量与其对应的力学参数之间的非线性关系,构建BP神经网络的训练结构;以地表竖向监测位移为输入样本值,对土体力学参数进行位移反分析.研究结果表明:影响地表变形的主要土体力学参数敏感度依次为内摩擦角(φ)、弹性模量(E)、内聚力(C)、泊松比(μ).应用FLAC3D软件模拟分析地铁区间隧道盾构施工过程的力学特征,并将其成果作为反演分析的样本数集;杂填土层弹性模量E1为7.60 MPa,内摩擦角φ1为22.5°;粉土层弹性模量E2为19.68 MPa,内摩擦角φ2为27.7°;粉质黏土层弹性模量E3为12.98 MPa,内摩擦角φ3为19.5°.现场应用证明了该方法的有效合理性.     

南宁邕江大桥检测与病害分析

为了保证桥梁的安全，对现役桥梁进行检测就显得尤为重要．结合邕江大桥的检测情况，对大桥出现的病害加以分析，可以为以后邕江大桥评估与加固提供依据．最后结合病害分析对桥梁的设计和施工提出一些改进建议．     

基于行列奇偶校验和特征分析法的数字系统自诊断技术

提出一种用行列奇偶校验原理和特征压缩技术实现的数字电路板自诊断技术，讨论 了它对电路板上固定型故障的定位性能。此方案可准确定位电路板上单模块故障和位于同行 或同列的多模块故障，并可将其它多模块故障定位在一个较小的区间里。讨论了故障模块数目 的分布情况，从中可以看到单模块故障和双模块故障出现的概率在所有故障的出现概率中占 有很大比例，因而本方案具有较大的实用价值。     

桥式起重机主梁可靠性分析软件的设计

基于大型有限元分析软件ANSYS的可靠性分析子模块,以VC＋＋为软件开发平台,设计了一款更方便、更专业化的桥式起重机主梁可靠性分析软件.提出了桥式起重机主梁可靠性分析软件的架构,整个过程完成了对AN-SYS中APDL语句的封装以及对ANSYS核心程序的调用,解决了ANSYS中完成可靠性分析时界面不友好及低效的问题,也为桥式起重机主梁可靠性分析提供了一种可行的方法.     

贵州坝陵河大桥西锚碇区围岩稳定性分析

运用岩体质量评价、现场模型试验、极限平衡法和FLAC3D数值仿真试验多种方法结合,对贵州坝陵河大桥西锚碇区围岩稳定性进行了研究.岩体质量评价表明,锚碇区岩体较破碎、质量差;现场模型试验发现,过大的位移将导致结构不能正常使用,锚体后锚面圆拱顶点、矩形底边中点及其6 m范围内的围岩变形较大.运用极限平衡法对边坡8种可能的破坏位置进行验算表明,边坡基本稳定,最危险滑动面发生在基坑上部的强风化、弱风化带岩体中.FLAC3D数值试验表明,围岩可能发生拉剪破坏,破损区集中在锚塞体后部右上角等5个部位,锚碇上部岩体水平位移大,位移等高线近半椭圆形扩散.设计和施工过程中,应对塑性区及显著变形区内的岩体重点加固.     

斜拉桥抖振时域分析实用方法

基于模态综合理论提出一种斜拉桥抖振时域分析实用方法.在桥梁随机风场数值模拟的基础上,建立斜拉桥时域抖振分析计算模型.该方法简化了自激力时域化过程,并在计算中考虑了气动刚度、气动阻尼和气动耦合作用对结构响应的影响,提高了斜拉桥抖振时域分析的效率.通过对一座大跨斜拉桥的抖振时域分析,验证方法的正确性和可行性.     

基于相空间重构和独立分量分析的超声信号噪声消除

提出了一种新的基于相空间重构和独立分量分析的超声信号去噪方法.应用该方法处理了实际的试块超声检测信号,并与小波去噪的效果进行了比较.实验结果表明,该去噪方法的效果与小波去噪方法接近,其特色是通过超声信号和噪声信号的盲源分离实现噪声消除.该去噪方法与小波去噪方法相比具有使用简单容易、去噪效果好和自适应强等优点.     

边坡岩体力学参数反分析方法

为了提高数值计算结果的可靠度,基于正交设计、差分法和人工神经网络建立了新的边坡岩体力学参数反分析方法. 按照正交设计要求,选定反演参数的水平,确定数值模拟方案;用FLAC2D差分程序计算得出相应的神经网络分析样本;对RBF神经网络进行训练;利用现场监测位移,对某露天矿边坡岩体的力学参数进行神经网络反分析. 反分析结果与理论值的误差很小,满足精度要求,表明该反分析方法的可行性和精确性.     

一种安全协议的形式化验证方法

BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的安全协议。介绍BAN逻辑的产生、成分和分析步骤，指出BAN逻辑的缺陷，由此而产生的改进BAN逻辑和现状，并对BAN类逻辑作全面的回顾与展望，得出：BAN类逻辑仍然是密码协议分析和设计的主要工具，但理想化步骤是BAN类逻辑的致命缺陷的结论。展望了BAN类逻辑研究。对未来协议的形式化分析工作具有指导意义。