基于正极性或-符合展开的易测性网络

为提高数字电路的可测性，提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现，并给出了测试网络中所有单固定故障的通用测试集．该实现基于逻辑函数的正极性或-符合展开，网络的同或部分分别采用了串联和树形结构．为提高可测性，同或串的实现结构只需增加1个控制端及1个观察端，同或树的实现结构只需增加3个控制端及1个观察端．对于1个n变量的逻辑函数，两种实现结构下通用测试集的基数分别为（n＋4）和（n＋5）．这样短的通用测试集非常适合用内建自测试实现，从而有效地缩短测试时间．     

计算最小奇异组的一个精化调和 Lanczos双对角化方法

在很多实际应用中需要计算大规模矩阵的若干个最小奇异组.调和投影方法是计算内部特征对的常用方法,其原理可用于求解大规模奇异值分解问题.本文证明了,当投影空间足够好时,该方法得到的近似奇异值收敛,但近似奇异向量可能收敛很慢甚至不收敛.根据第二作者近年来提出的精化投影方法的原理,本文提出一种精化的调和Lanczos双对角化方法,证明了它的收敛性.然后将该方法与Sorensen提出的隐式重新启动技术相结合,开发出隐式重新启动的调和Lanczos双对角化算法(IRHLB)和隐式重新启动的精化调和Lanczos双对角化算法(IRRHLB).位移的合理选取是算法成功的关键之一,本文对精化算法提出了一种新的位移策略,称之为"精化调和位移".理论分析表明,精化调和位移比IRHLB中所用的调和位移要好,且可以廉价可靠地计算出来.数值实验表明,IRRHLB比IRHLB要显著优越,而且比目前常用的隐式重新启动的Lanczos双对角化方法(IRLB)和精化算法IRRLB更有效.     

不需加人工变量的两阶段法

A method is provided to achieve an initial basic feasible solution of a linear programming in this paper. This method dose not need introducing any artificial variable, but needs only solving an auxiliary linear programming. Compared with the traditional two-phase method, it has advantages of saving the memories and reducing the computational efforts.     

关于微分形式不变性的教学思考

为了帮助学生正确理解微分形式不变性的本质,主张教师应在相关教学中注重加强建立形式与内容之间的联系,深入阐释形式化符号表达的巧妙,并培养学生积极调用数学经验与数学直觉来解决有关问题.     

Markov-modulated风险模型中盈余过程零点数的分布

基于保险公司在首次破产后仍能继续运转的情形,讨论并得到了Markovmodulated风险模型中盈余过程零点数的分布.     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

广义多值拟变分包含的灵敏性分析

借助隐预解算子技巧来研究广义多值拟变分包含的灵敏性分析．所得结果改进、推广和统一了文献中的一些结果．     

具有两参数的椭圆型方程Robin问题解的渐近性态

讨论了一类具有双参数的椭圆型方程边值问题.引入伸长变量,构造了问题的形式渐近解.利用微分不等式理论,证明了边值问题渐近解的存在性和一致有效性.由解的结构指出,在两参数一定的情况下,相应问题的解只具有二个边界层.     

球形碗电荷分布问题的新解法

用反演法和分离变量法解决了球形碗上的电荷分布问题。