基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

关于模n剩余类环

《近世代数》教材[1]中列举了大量的例子,其中最重要的就是整数环z的模n的剩余类环(z。,+,·)这类例子,全书有三十多处涉及到它。因此我们不仅要掌握理解这些例子,更重要的是通过学习这些例子熟悉了解相关的理论知识,从而达到举一反三,触类旁通的效果。下面谈三个问题。     

板材辊式矫直机辊数研究

本文根据弹塑性弯曲理论，应用迭代法计算了板材一次弯曲矫直时的弯曲力矩和相应的反弯曲率，计算给定方案下形成的残余曲率，给出了压下量与反弯曲率的数学表达式．对于一定的矫直精度要求，提出了上排工作辊集体倾斜调整的辊式矫直机辊数的计算方法．     

Fuzzy－AHP投入产出模型及其在地方电网理论电价研究中的应用

本文提出了应用Fuzzy-AHP编制投入产出表和建立投入产出模型的方法, 并用来研究地方电网理论电价问题, 以某县为例进行了验证, 结果表明方法和模型是合理可行的。     

鲁卡斯数列的概率性质

本文讨论了鲁卡斯数列的概率性质。     

n维立方体的棱面关系与杨辉三角的推广

本文证明了ｎ维立方体各维棱（面）数之总和等于３＾ｎ。并研究了它与杨辉三角的关系。     

浅析诈骗犯罪的定罪及处理

当行为人的诈骗行为触犯数个诈骗罪名时,该如何定罪处理,司法实践中存在较大争议.由于连续诈骗行为触犯数个罪名的,既非牵连犯,也非连续犯,而是典型的数罪,应当按照数罪并罚的原则对行为人定罪量刑.     

矩阵范数的界和方阵的ρ-条件数

本文给出了长方矩阵的p-范数及更广一类矩阵范数的上、下界又给出了方阵的p-条件数等于1的条件。(1≤p≤ ∞)。文[1]则是p=2的情况。前三节讨论p-条件数,第四节讨论长方矩阵范数的界。     

与组合数有关的一个不等式

建立了与组合数有关的新不等式:设n(n≥2)为自然数,λ＞0,则对k(k=1,2,…,n)满足n≥k λ-2,且x∈(0,1/(n 1))时,有Ckn-1(1/x-λ)(n/(1-x)-λ)k-1 Ckn(n/(1-x)-λ)k≥Ckn 1(n 1-λ)k.     

知识库中精确知识的判定算法

研究了知识库中挖掘它所包含的精确知识的方法，给出知识库的相关概念及精确知识的定义，讨论了一种在所定义的知识库中提取并判定精确知识的算法．