基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

一种高速ADC静态参数的内建自测试结构

针对混合信号电路的测试问题,提出了一种内建自测试(BIST)结构,分析并给出了如何利用该结构来计算片上高速模数转换器(ADC)的静态参数.该方法利用三角波信号作为测试激励,采用码密度直方图分析方法快速计算ADC的各静态参数.根据改进测试算法所构造的BIST结构实现了芯片内只有ADC电路的可测性设计,而不需要用到片内集成DSP.内嵌的信号发生器能自动生成高频连续三角波测试信号,适合高速ADC的测试.该BIST结构硬件开销小,易于片上集成,仿真试验表明了该结构的有效性.     

Falsificationism Falsified

A conceptual analysis of falsificationism is performed, in which the central falsificationist thesis is divided into several components. Furthermore, an empirical study of falsification in science is reported, based on the 70 scientific contributions that were published as articles in Nature in 2000. Only one of these articles conformed to the falsificationist recipe for successful science, namely the falsification of a hypothesis that is more accessible to falsification than to verification. It is argued that falsificationism relies on an incorrect view of the nature of scientific inquiry and that it is, therefore, not a tenable research methodology.     

杨氏模量实验装置的比较研究

通过对静态拉伸法测钢丝杨氏模量的几种实验装置的结构、安装和调节及实验数据处理结果进行综合比较认为:从学生实验的角度出发,既要达到一定的实验精度又保证教学效果,装置一是其中最适合的一种.     

GPS/INS组合导航中的自适应滤波算法

研究了GPS/INS导航系统中的不确定噪声问题,给出了一种基于协方差匹配技术的自适应卡尔曼滤波算法,该法当测量噪声的协方差已知时可以自适应估计出系统噪声的协方差.它是在滤波过程中通过判定系统噪声的协方差是否发生了变化,若它发生了变化再估计出新的协方差,然后再按得到的噪声统计估计值计算新息序列的协方差阵,因此有效地提高了滤波结果的精度并消除了滤波发散现象.数字仿真表明效果良好.     

单侧检验中假设的提法研究

在单侧检验中,有时由于交换原假设与备择假设,会得到两个不同的假设检验结果.因此,先从理论上对检验结果进行分析,然后结合实例来阐述建立原假设和备择假设的一些方法.     

锥束射线倾斜扫描三维层析算法

对于板、壳构件的无损检测,提出一种锥束射线倾斜扫描数字层析方法.采用射线相对于构件长宽表面倾斜入射、构件绕旋转轴回转的扫描方式,以采集的二维数字投影序列重构出该扫描区域的断层图像,给出了锥束射线倾斜扫描二维投影数值模拟算法以及滤波反投影重建算法.该重建算法为FDK算法的推广,在倾斜角90°时,该算法即为FDK算法.实验结果表明,该方法能较好地解决该类结构的层析检测,但由于该重建方法属于不完全投影数据重建,存在着相邻层之间的图像“混迭”现象,使得厚度方向上的分辨力有所降低.     

基于模糊参数自适应PID的纸张张力控制系统

根据造纸过程中纸张张力的特点及控制要求,建立了控制系统的数学模型,提出了一种具有自适应能力的模糊PID控制器,分析了控制器的结构和规则.经理论分析和仿真实验证明,该控制器具有较强的克服动态干扰和消除静态余差的能力,是一种先进的纸张张力智能控制方法.     

电动机修理与测试

电动机在工作中会出现许多故障,如果不及时处理将会产生严重的生产事故.因此,对电动机出现的故障必须及时进行修理和测试.本文对电动机的修理、测试及常见故障分别进行了论述.     

远程教育网络测试系统的几个关键问题及解决方案

介绍了网络测试管理系统开发中的多媒体试题信息的存储解决方案，动态随机试卷的自动生成与评阅，学员测试信息的跟踪分析及应用等几个关键问题。