数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

4105发动机缸体铸件渣气孔成因分析及对策

对4105发动机缸机缸体铸件出现的批量渣气孔现象进行了分析.电镜分析和能谱分析表明渣气孔是渣致皮下气孔.其批量出现的原因主要是各种变化因素的不确定性已超出了工艺的承受能力,不能简单地认为是工艺不合理,为了证实分析结果,进行了试验验证,在此基础上提出了最大限度减少铸造缺陷的方法措施,很好地解决了生产中废品率高的问题.     

积分准则及检根法的等价定理

在常数项级数中，经常运用积分准则及检根法来判定正项级数的敛散性，而使用积分准则判定正项级数的敛散性，首先要判定无穷积分的敛散性，有时不太方便，因此，为了使正项级数敛散性的判定更加灵活，我们想直接用正项级数通项来判定其敛散性，所以，运用无穷小比较的方法给出了积分准则的等价定理；又根据lim(n→m)lnαn/n的符号给出了检根法的等价定理；并给予证明，从而使正项级数敛散性的判定更加灵活自如。     

∑∞ k=1Ak(t)一致收敛的判定和性质

借助矩阵范数和矩阵谱半径的概念,结合极限理论和数项级数的有关结论,给出了矩阵级数一致收敛的判定和性质.     

连续广义系统的渐近稳定性判据

通过Lyapunov方程Lyapunov函数广义诉渐近稳定性的判定的充必要条件利用此条件，可以较容易地判别一类连续广义系统的渐近稳定性问题。     

线性规划模型解的判定

从线性规划模型解的存在性分析，线性规划模型存在“有解”和“无解”两种情况．“有解”指有最优解，即有可能存在唯一最优解也有可能存在无穷多最优解；“无解”即无可行解或存在无界解(无最优解)．唯一最优解、无穷多最优解、无可行解和无界解的判定是线性规划模型求解过程的主要组成部分．     

混凝土无损检测技术的发展与应用

混凝土无损检测技术，是在不破坏结构构件的情况下，直接在结构物上测试，推断混凝土的强度及缺陷，介绍了混凝土无损检测技术的发展状况，展望了其缺陷检测的应用前景。     

控制光子的“半导体”——光子晶体

光子晶体是一种新型功能材料,其最基本的特征是具有光子频率带隙,频率落在带隙内的电磁波被禁止在光子晶体中传播。本文简述了光子晶体的基本性质和理论研究方法,介绍了光子晶体的制备,并对光子晶体的应用前景给予了简短的评述。     

浅谈"交通肇事罪"立法缺陷及完善

立法的缺陷导致司法实践中往往不能正确分析交通肇事行为人的主观心态和客观事实，不同地区适用法律的情况也不一致，影响了法律的威信，造成了比较严重的后果。为达到罪刑相适应的目的，只有通过立法，或通过修改刑法来加以解决并使之完善。     

计算机在焊接物理冶金中的应用

针对目前在焊接冶金中存在的问题——很少能定量的预测焊接质量，介绍了国内外焊接工作者在定量焊接物理冶金方面做的大量工作，特别是随着计算的应用，在焊接接头的性能预测、显微组织的预测及分析和焊接缺陷的预测及诊断方面取得了可喜的成果。