Cramér型大偏差问题的一点注记

本文在较为一般的假设条件下,就精确计分(exact scores)讨论了简单线性秩统计量的Cramér型大偏差问题,在区间[0,p(N)N~(1/9)]内得到了大偏差结果。     

关于右单纯右可消的半群

设S是一个右单纯、右可消的半群。本文讨论了S中方程ax=b的解集合的基数,证明了:对于S中任意的元素a、b、c和d,方程ax=b与cx=d的解集合有相同的基数。并且S成群的一个充分必要条件是S中存在一对元素a与b,使方程ax=b在S中只有有限个解.     

阻尼振动的振幅

本文探讨了阻尼振动的振幅与简谐振动的振幅在性质上是根本不同的,从而澄清了阻尼振动的振幅既不是恒定值也不是位移的极大值。     

简谐振动的定义

简谐振动的定义方法至少有4种,本文分析了每个定义所覆盖的振动范围,指出了最妥当的定义方法。     

2－连通简单MCD图边数的一个新的下界

设Ｇ是具有ｎ个顶点的２－连通简单ＭＣＤ图，ｆ２（ｎ）表示Ｇ的边数．本文证明了当ｎ≥８时，其中ｘｍ＝ｕｍ－２ｕｍ－５，ｕｍ是Ｆｉｂｏｎａｃｃｉ数．     

正则半群上的完全单半群同余

研究了正则半群上的完全单半群同余,给出了这类同余的若干等价刻画,证明了≤*是任意正则半群上的最小完全单半群同余,(≤∪≤-1)t是任意局部逆半群上的最小完全单半群同余,是任意逆半群上的最小群同余.     

细胞凋亡与肿瘤及其引起的哲学思考

简述了细胞凋亡研究的发展历史,联系现代科技革命与马克思主义理论,从哲学的角度对其进行了以下几方面的论述:1)科学假说在细胞凋亡研究中具有不可替代的作用;2)现代科学技术为探索自然奥秘提供了强有力的手段;3)科学的进步离不开科学思维的创造力;4)矛盾是事物发展的动力。     

复杂网络中简单路径搜索算法及其应用研究

将复杂网络理论应用于制造业中的产品族零部件关系领域,构建了产品族零部件关系网络.为进一步深入研究零部件关系网络,需要搜索零部件关系网络中的简单路径.提出了一种有向无环网络中任意两节点间所有简单路径的通用搜索算法.编制程序实现了该算法,对算法效率进行了分析.将算法应用于产品族零部件关系网络,对零部件关系网络进行了分析,对算法进行了验证.     

基于简化差别矩阵的属性约简算法

为降低基于修正差别矩阵的属性约简算法的时间复杂度和空间复杂度,首先给出了简化差别矩阵的定义,并证明了该矩阵所包含的信息量与修正差别矩阵的信息量等价.其次设计了一个高效的求U/C的算法,其时间复杂度被降为O∑|C|i=1|ki||U|.然后分析了基于修正差别矩阵的属性约简算法的不足,并使用上述高效求U/C的算法,设计了一个基于简化差别矩阵的属性约简算法,证明了该新算法的时间复杂度和空间复杂度分别被降为maxO(|C|2(|Up′os||U/C|)),O∑|C|i=1|ki||U|和max{O|C|(|Up′os||U/C|)),O(|U|)}.最后用一实例说明了新算法的高效性.     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。