边界扫描测试信息压缩算法

为了解决 IEEE 1 1 49.1边界扫描测试优化生成问题 ,提出了一种新型的测试矩阵压缩算法。该算法首先应用被测试电路板的结构信息构造有限制的短路故障模型 ,然后以有限制的短路故障模型为基础对测试矩阵进行压缩处理 ,尽可能剔除测试矩阵中的无效测试信息 ,从而达到测试优化生成的目的。理论分析及实验验证表明 ,该算法能够获得紧凑性指标相当优化的测试矩阵 ,实现较高的测试信息压缩率     

自由旋涡气动窗口非对称喷管的设计

对于高能激光器来说 ,晶体材料输出窗口因吸收致热而无法正常工作。自由旋涡气动窗口利用超音速自由旋涡来密封低压的激光腔。本文提出了确定气动窗口所需自由旋涡气动特性的过程 ,讨论了特征线方法在非对称超音速喷管设计中的应用 ,该喷管被用来产生自由旋涡流动。     

平板翼流体动力边界积分多重网格计算

讨论了平板翼流体动力边界积分法多重网格计算模型,给出了残差计算格式和函数修正值计算公式,推导出与步长无关的环量多重网格计算公式.计算结果表明,利用多重网格方法加快了收敛速度,其数值计算的流体动力与试验值吻合.     

阅读心理研究和阅读辅导

阅读是人们社会活动中不可缺少的一种自由活动．是人们汲取知识的手段和认识周围世界的途径之一，也是学习各科知识的基础。阅读心理是指读者在图书馆阅读文献资料时的感觉、知觉、思维、情绪等的表象，是阅读心理反映的复杂过程。     

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

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

静态电磁场数值分析方法比较

从有限差分法、有限元法、边界元法和模拟电荷法这四种典型数值分析方法出发,简要介绍了静电场数值分析的原理。比较了各种算法与其适用范围的差异,并对其进展进行分析。最后,总结了目前静电电磁场数值分析方法研究中需要解决的问题。     

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。     

巴以冲突探源之三：犹太人定居点问题

巴以争端中同样棘手的问题之一是犹太人定居问题。犹太人定居点的存在已有100多年的历史,而现在所说的定居点主要是指以色列在其公认边界外建立的定居点。本文的定居点仅限于探讨以色列在加沙地带、约旦河西岸(含东耶路撒冷)建立的定居点。     

“经济自由”与“自由经济”辨析——理想与政策

自由主义的实践历史 ,是从争取宗教自由开始 ,继而争取政治自由 ,直到近代和现代 ,却转移集中争取经济自由。“经济自由”虽然是个极重要的课题 ,但是一般论著却把目标 (理想 )性的经济自由混淆作手段 (方法 )性的自由经济 (制度 )。相应地 ,一般论者也把“经济自由主义”错误地狭限于“放任 (自由 )经济制度”以满足一小撮人的经济自由。再者 ,本文认为高寿昌先生早在 6 0年代在外地发表的《经济的自由主义》一文很具卓见和勇气 ,现在试图运用 (广义 )逻辑学把它精确化 ,特别是严格区分“经济自由”与“自由经济(制度 )” ,以显示逻辑分析的重大实用价值