逆向逻辑综合与功能测试建模

本文在分析时序电路故障检测试法存在难题的基础上,提出一种功能测试建模的新方法。具体内容包括:时序电路功能测试建模的要求;利用逆向逻辑综合方法完成同步时序电路测试的建模;以及异步时序电路功能测试建模的特点。这对时序电路功能测试序列的自动生成有重要意义,因为有了这样的模型,时序电路的自动测试生成可归结为图论算法问题。     

学生德,智,体综合量化考评的探索与实践

探索学生德智体综合量化考评的理论依据及具体算作法，其理论依据有四个：唯物辩证法的规律，行为科学理论，现代科学技术成果应用，数学和数学方法。德，体分别采用不同数学方法取得分值与智育分数一起，按２５％，１５％，６０％的权重进行考评，得出德智体综合量化考评结果，综合量化考证能激励学生积极向上，全面发展。     

企业产品市场适销性的定量评判

采用模糊数学原理，在对企业产品市场适销性分析的基础上，提出一套评判企业产品适销性定量与定性相结合的方法。并以儿童电子琴市场适销性进行验证。     

激光热源形成过程的定量描述

研究了热传导方程的通解，进而提出激光热源形成的微观机理和热源形成过程的三个理论计算式。对激光热效应的应用具有指导意义。     

B－ISDN与现有网络互连的研究

本文主要围绕Ｂ－ＩＳＤＮ与现有各种网络（如ＰＳＰＤＮ、ＰＳＴＮ、ＬＡＮ等）的互连问题展开讨论，并针对不同的应用场合提出了相应的互连解决方案。     

模态综合的交叉子结构方法

提出了一种称作“交叉综合法”的模态综合模型，在这种模型中，子结构的划分是彼此交叉重全的。在模态综合时，没有界面模式，全部以子结构的截尾构造基函数，以能量最小作为子结构的连接条件，用Rayleigh-Ritz法进行综合。由于全部采用了模态函数，可望达到较好的综合效果，本方法进行了几个例子的考证，并已将这种模型应用于复杂水工结构的模态分析。