进位保留阵列乘法器的一种内建自测试

对进位保留阵列乘法器提出了一种内建自测试方案。设计实现了采用累加器生成测试序列和压缩响应,并提出了一种改进的测试向量生成方法。分析与实验结果表明,该方案能实现非冗余固定型故障的完全覆盖。由于乘法器在数据通路中常伴有累加器,该方案通过对已有累加器的复用,作为测试序列生成和响应压缩,减少了硬件占用和系统性能占用,同时具有测试向量少、故障覆盖率高的特点。     

基于自由二元判决图转换的可测性优化方法

提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢ－ＤＤ表达形式，然后用切换单元来替换ＦＢＤＤ中的节点，以形成易测的多级网络，再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性设计方法相比，这种方法适用于任意电路，特别是规模较大、不能用两级逻辑表达的电路     

基于总线观测的微机故障诊断专家系统研究

采用与或树、产生式规则和ＤＢＭＳ相结合的知识表示方法建立专家系统。论述了基于总线观测的知识获取与诊断方法，提出了基于总线观测的可测性分析方法和故障信息的相关性分析方法。该方法为总线测试信息的有效性及故障搜索策略的生成与优化提供了分析和判断依据，使系统有较高的推理效率和诊断分辨率。     

电成像测井仪器中ADC-BIST测试方法研究及实现

模拟/数字转换器(ADC)是构成混合信号电路系统的基本器件。针对ADC测试中存在的问题,该文提出了一种新颖的使用斜坡信号作为测试激励的ADC内建自测试输出分析方法,相对于直方图分析方法,具有更短的测试时间,并且硬件资源开销较小。该方法除了可以测试ADC的差分非线性和积分非线性等静态参数,还可检测ADC的漏码特性。该文给出了两种完整的ADC内建自测试实现结构,可用于不同配置的混合信号电路系统。实验结果证明了所提出方法的有效性。     

论牛顿的近代科学精神

在近代早期的科学活动中并行着物理-数学潮流和经验-实验潮流。牛顿在科学实践中统一了这两种潮流,从而形成了自己的实验哲学思想。牛顿在从事数学研究的同时,逐渐确立了与自己的物理学研究相一致的科学实验观念。牛顿坚定的基于实验的确定性追求,其意图在于彻底抛弃以往自然哲学和自然科学研究中的形而上学思辨倾向,也在于做出可检验的达到在数学上精确化的科学理论表述。这种追求,既是一种知识观意义上的根本变革,更是一种在方法论意义上对他的近代科学前辈方法论精神的扬弃。     

证实抑或证伪?——经验科学证实的困难与证伪的局限

经验科学借助于归纳的逻辑从单称陈述推理全称陈述的真理性,是不可靠的;同样也无法从一个特称陈述为真,证伪一个全称陈述.事实上,经验科学不可能产生对理论的最终证实或否证.科学陈述的客观性在于它们能被主体间相互检验,其科学性是命题的可检验性即经验的科学的系统必须有可能被经验反驳.证明一个理论是科学的,在于表明这个理论是可错的,它接受被否弃.科学的规则不保护科学中的任何陈述不被证伪,使科学是并永远保持是一个探索.     

波普尔的实在论

一般来说,实在论的含义比较模糊,但实在能通过真理、可检验性等概念在语义学中得到严格的规定。波普尔并没有很好地理解塔尔斯基的真理定义和语义学方法,他的第三世界理论建立在一些语义学概念的误用之上。实际上,从波普尔确认的哲学前提出发,语义学要求他应该是“内部实在论”者,而形而上学实在论却是他所信奉的先验教条。     

组合电路门时滞故障的可测性分析

根据时滞故障测试的特点,定义了一种门时滞故障的可测性测度（即上升沿和下降沿门时滞故障的可控制性和可观测性）,并提出了相应的计算方法,为基于门时滞故障的电路可测性论计提供了理论依据。     

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

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