边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

关于湖南衡阳“11·3”特大火灾坍塌事故几个重要问题的研究

针对社会上对衡阳"11·3"事故提出的一些疑问或传言,根据参加此次事故搜救、调查工作所得的一些结论,论述了关于"11·3"特大事故灭火救援的几个问题,对"衡州大厦"的合法性及质量问题提出质疑,并从中得到几点启示.     

“九五”期间兵团中学教师继续教育研究

研究“九五”期间兵团中学教师继续教育培训的过程 ,探寻培训中存在的问题 ,梳理今后培训的基本思路 ,以切实提高培训的质量     

关于取绝对值的函数可微性的讨论

求绝对值函数的导数是高等数学的一个难点。本文证明了一个公式,能较全面地解决绝对值函数的求导问题。     

拖缆系统直线定常运动仿真计算

推导了一个三因次拖缆系统动力平衡运动方程式 ,采用中心差分方法数值离散拖缆系统动力平衡方程 .根据离散方程编制了拖缆系统直线定常运动程序 ,在设定拖缆尾端自由边界条件及拖点边界条件下 ,数值仿真计算 30m拖缆的阵形 .根据仿真计算讨论了拖缆的材料刚度、拖缆水中重量、拖点速度、水动力系数主要参数等对拖缆阵形的影响 .拖缆系统直线定常运动的仿真计算为拖缆系统设计可提供参考依据 ,同时通过该仿真计算及讨论 ,为拖缆系统非定常运动仿真计算奠定了基础     

子自仿射集的Hausdorff维数

设S1,S2 ,… ,SN 是Rn 上的N个仿射压缩映射 ,若Rn 的紧子集E满足E UNi =1 Si(E) ,则称E为子自仿射集 .作者在一定条件下得到了子自仿射集E的Hausdorff维数 .     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

投资消费模型中价值函数的基本性质

在有交易费的投资消费模型下,讨论了价值函数的一些基本性质,即给出了价值函数是有限连续和非减凹函数.     

磁悬浮列车滑模变结构控制器设计及实现

本文在建立磁悬浮线性模型基础上,设计变结构控制器,进行了仿真计算,并用模拟电路进行实验,给出了仿真和实验结果     

输入分机核心板的改造方案

提出关于输入分机两种电路的改造方案,即绝对值和正切函数发生器电路的工程实现方法,从而解决修理中备件替换问题．经实验证明,电路具有很高的精度,且容易实现．