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

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

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

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

面向对象式软件的结构开发及其可复用性分析

该文讨论了面向对象式软件的特性、结构,进而提出了面向对象式软件的开发策略,论述了面向对象式软件的可复用性.     

基于事件交互图树模型的GUI测试技术

针对目前GUI（graphical user interface,图形化用户界面）软件测试存在的复杂性和低效性问题,提出一种事件交互图树模型．将结构操作事件和系统交互事件相分离,建立组件树图和事件交互图模型,给出详细的GUI软件建模方法,并根据该模型设计测试覆盖率标准和测试用例生成方法,最后应用到实际系统中取得良好效果,大大提高了GUI测试的质量和效率．     

数字电路测试中的关键技术研究

随着数字电路的广泛应用．电路的测试与故障诊断已成为其设计与生产过程的重要组成部分。讨论了电路的测试及故障诊断中的一些问题．主要包括故障模型、故障仿真、故障压缩及可测试性度量与测试矢量生成算法（ATPG）,并研究了电路测试技术的发展趋势．     

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

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

基于面向对象技术的软件代理模型研究

介绍了 Agent技术的基本概念和面向对象技术的特性 ,并将这两项技术应用于软件模型规划中 ,设计了一种基于面向对象的软件代理模型     

一种有效评估桥接故障的IDDQ可测试性分析算法

鉴于传统的可测试性分析算法不能处理重汇聚扇出问题,该文提出了一种有效的评估电路桥接故障可测试性的IDDQ可测试性分析算法.这种算法是基于给电路中每个门施加基本矢量集的概率进行的.开始在原始输入端采用单值标记,通过电路分级和从原始输入端传播标记集可识别重汇聚扇出门,然后采用反向蕴含过程计算重汇聚门基本矢量的概率值,进行重汇聚扇出点的评价.实验结果表明这种算法可获得较精确的可测试性分析结果.     

基于频率比-随机森林模型的滑坡易发性评价

本文以陕西省洋县为研究区,通过搜集资料、实地调查获得研究区滑坡分布状况。结合研究区地质环境特征与前人研究经验,初步选取海拔、坡度、坡向、地形起伏度、曲率、距水系距离、距道路距离、降雨量及岩土体类型,共九种滑坡影响因子展开滑坡易发性研究。首先,采用皮尔森相关系数法对各因子间的相关性进行分析。其次,按照70/30的比例将滑坡数据随机划分为模型训练集与模型验证集。然后,采用模型训练集对频率比模型(FR)、随机森林模型(RF)及两者的耦合模型(FR-RF)进行训练,利用模型验证集对模型训练结果进行检验,并绘制ROC曲线。最后,利用验证后的模型绘制研究区滑坡易发性分区图。结果表明：(1)所选取的9个滑坡影响因子是相互独立的;(2)本研究所采用的三个模型均表现良好,其中FR-RF模型预测准确度最高(0.901),其次为RF模型(0.863),最后为FR(0.833);(3)本研究所绘制的滑坡易发性分区图可为当地政府制定土地利用规划、预防滑坡等方案提供参考借鉴。     

面向对象软件的类测试策略的研究

面向对象软件的基本单位是类,类的正确性是整个软件正确运行的基础,所以对类进行充分严格的测试至关重要。采用面向对象的思想来测试面向对象的软件,为测试用例的生成提供了通用的接口,提高了测试代码的可复用性,为面向对象软件的充分测试奠定了基础。     

构件可测试性模型研究与应用

本文分析了目前军队构件化软件开发的实际情况，在已有的工作基础上，提出了一个对构件可测试性进行度量的五边形法则，该方法能够直观地体现被测构件的可测试性指标数值，能够让构件开发者清楚地了解构件存在的缺陷，指导开发人员设计出高可测试性的构件。针对笔者的实际测试项目，通过先后几次的实验数据表明五边形法则可以有效地提高构件可测试性，并得到了开发方及测试人员的认可。     

构件可测试性模型研究与应用

本文分析了目前军队构件化软件开发的实际情况，在已有的工作基础上，提出了一个对构件可测试性进行度量的五边形法则，该方法能够直观地体现被测构件的可测试性指标数值，能够让构件开发者清楚地了解构件存在的缺陷，指导开发人员设计出高可测试性的构件。针对笔者的实际测试项目，通过先后几次的实验数据表明五边形法则可以有效地提高构件可测试性，并得到了开发方及测试人员的认可。     

基于图论的网络控制系统动态调度策略研究

针对网络资源的有限性对网络控制系统性能所产生的影响问题,研究了一种基于图论的动态调度策略.通过引入图论思想,以获取被控对象与控制器之间网络的最短路径,从而优化系统的带宽分配;并进一步利用EDF调度算法,有效处理动态网络环境下资源利用,降低网络诱导时延和数据流量,保证系统的通信性能;最后,通过实例仿真验证了理论的有效性和正确性.     

基于可测性分析的高层次寄存器分配算法

为了提高综合后电路的可测性,提出了一种面向电路可测性的寄存器分配方案.该方案首先从已调度的数据流图着手,建立了一种可用于高层次综合的行为级可测性分析方法:对算子模块的门级实现进行门级可测性分析,并进而抽象出算子的行为级可控性/可观性值;在数据流图中,逐级计算出各节点变量的行为级可测性指标;然后按照最大改善可测性指标的原则,进行寄存器分配.在标准电路上的实验表明,除了较小的面积开销外,电路的可测性优于所对照的其他2种方法.     

图论法在基于混合网格的油藏数值模拟软件设计中的应用

在油藏数值模拟中 ,井模型的选取直接影响整个计算结果。充分考虑了井附近的渗流特征 ,建立了更符合井区域渗流规律的井模型。将图论理论应用于油藏数值模拟软件的设计中 ,使计算变得迅捷 ,有效地实现了对复杂形状网格的管理。根据图论网格管理系统的特点 ,采用全隐式和IMPES相结合的数值算法 ,编制了油藏数值模拟软件。简单算例的计算结果表明 ,采用新井模型的油藏数值模拟软件 ,其计算结果比传统的数模软件更能准确合理地反映井底流压的变化。     

基于图论的青海公路网鲁棒性研究

针对青海公路的实际情况构建了基于图论的青海公路网,提出了重要节点、重要路段的评估方法并确定了重要节点、重要路段TOP10。对重要节点和路段分别进行了蓄意攻击仿真实验,并随机选取相同数量的节点和路段进行了随机攻击仿真实验,对比结果验证了评估方法的有效性,由此得出了增强整个路网鲁棒性的方法。     

基于图论的水库群洪水预报调度系统集成研究

水库群洪水预报调度系统集成管理将是今后重要的研究方向，为此利用图论分析方法，把水库群概化成一张有向图，运用邻接表、邻接矩阵和关联矩阵进行拓扑分析解决了水库群的集成问题．并以图论为基础，利用方案关联表进行方案的拓扑分析，降低了方案管理的复杂性，便于用户使用与管理．实际应用表明，基于图论设计开发的水库群洪水预报调度系统具有较好的通用性、可扩展性与易维护性．     

基于模糊随机概率理论的可靠度分析模型

应用模糊随机概率理论，提出了考虑随机性和模糊性影响的结构可靠度分析统一模型－模糊随机模型；并给出了各种条件下结构可靠度分析表达式。研究表明，采用模糊随机模型作为各种情况下结构可靠性分析的统一数学模型更为科学合理、更符合工程实际。模糊随机模型和传统的随机模型是相容的，而且后者是前者的特例。     

利用组合马尔可夫模型的非监督图像分割方法

提出了一种基于边缘辅助的组合马尔可夫随机场模型(E-CMRF),并应用于非监督图像分割.在传统的马尔可夫标号场(MRF)基础上引入边缘二值随机场,二者相互作用构成组合随机场.该模型使用期望最大(EM)算法对待分割图像完成参数估计,并运用动态能量权值提高收敛速度.最后根据贝叶斯定理将图像分割问题转化为最大后验概率的求取,运用改进的Metropolis采样算法求得最大后验概率解.实验结果证明,该分割方法不需要人工给出先验信息,在具备抗噪性等特点的同时提高了分割精度.     

图论课程的教学感悟

本文主要针对华北科技学院开设的图论及其应用课程,研究在教学中避免图论理论的抽象难懂性的办法,阐明了在教学中案例教学的应用,简化这门课程理论难度。并指出图论在一些专业中的切实应用,注重和专业知识的衔接,结合教学经验,为提升学生学习兴趣,提升我校图论及其应用课程的教学质量提出解决方案。