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

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

基于非线性规划的指数自回归模型的辨识

讨论了指数自回归模型的辨识问题，证明了该模型最小二乘估计的目标函数的非凸性，并给出了使该函数为凸的条件，最后给出了辨识该模型的算法及该算法的收敛性，并以数值例子加以说明。     

双纽线曲线在底板巷道设计中应用的研究

通过理论分析，用地纽线拟合煤体与采空区交界和下方底板岩层内支承压力分布，分析巷道受采动影响的程度。作为巷道设计的依据。     

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

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

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

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

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

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

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

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