图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

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

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

损伤断裂图型演化的统计描述

本文采用动力学演化与随机跃迁并存的模型,研究损伤断裂图型的演化规律。根据演化的终态,损伤演化可分为整体稳定(GS)和演化引起剧变(EIC)两种模式,后者联系于断裂现象。本文引入统计描述,并指出,即使微损伤的连接规律是确定性的,无序介质中断裂的出现亦应以概率分布函数描写。     

关于模n剩余类环

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

同步时序电路转换符设计法

本文通过应用转换符法，可以方便地设计中各种状态的同步时序电路。     

障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

Erds 等人的一个定理的新证明

本文给出定理:“在2n—1个整数中,必有n 个数,它们的和被n 整除”的一个新的证明,它无需先讨论n 为素数。     

An Improved S-Random Interleaver Design for Turbo Code Based on Chaos Model

A new method to design interleaver based on Henon chaos model is presented. The designed interleaver is with rather random behavior. Experimental results show that the proposed S-henon interleaver make a magnitude of im provement in bit error rate （BER） performance by 0.4 dB compared with the S-random interleaver for AWGN channel respectively. The S-henon interleaver may be adapted to 3G mobile communication systems.