二进制可辨矩阵空间复杂度的研究

二进制可辩矩阵是用二进制的方法对可辨矩阵的改进，针对二进制可辨矩阵的空间上存在不必要的开销，提出了一种可降低二进制可辨矩阵空间及时间开销的方法。把二进制可辨矩阵的建立和化简过程合成为一个过程，动态使用二进制可辨矩阵中的有用的信息，不保留其中的冗余信息，节省了空间；并且在行化简的比较运算过程中，自动生成一个偏序集，使每一行与最可能将其化简的行先比较，从而提高了行化简的命中率，节省了时间。最后给出了试验实例。     

基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

生成等价关系的性质

文章给出如何从二元关系出发,构造等价关系的某些方法,并讨论了它们的性质。     

基于时空混沌和小波域HVS模型的图像扩频水印

数字水印为数字媒体版权保护的有效方法。本文利用小波分析的优良性质,结合基于小波变换域中的视觉门限模型,选择在图像的较低频子带的重要系数中加入一定幅值的水印,水印为基于时空混沌的二值序列,它具有良好的随机性、不可见性和健壮性。检测时,根据水印图像提取的待测水印和水印序列的相似性来判断水印是否存在。模拟实骀结果表明,该方案具有良好的效果。     

21世纪的能本管理及其测评方法

依据能本管理理论，提出了能本管理有效性的二次相对测评方法。这种测评方法可以消除图客观条件的优劣而造成的影响，从而真正体现了由于能本管理而产生的经济效益。     

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

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

虹膜识别算法研究

为了提高虹膜识别的速度和准确性,提出一种新的虹膜图像均衡法：将直方图均衡法和局部对比度增强法结合起来调节图像动态范围、增强局部对比度,并利用平衡式零谱矩滤波器对预处理后的虹膜图像进行分解,提取更准确的虹膜纹理特征。整个虹膜识别过程小于1．3s,准确率97．25％。可用于个人身份识别中。     

二元最优自正交［15s+10,4］码的分类

自正交码是一类重要的纠错码,其中的特殊类型——自对偶码一直是研究的重点。研究二元域码长为n=15s 10(s≥0)的四维最优自正交码的特征,并且确定其完整分类。建立了最优[15s 10,4]自正交码的生成矩阵与两个线性方程组之间的联系,将确定最优[15s 10,4]自正交码的问题转化为求解线性方程组的问题。确定出所有最优[15s 10,4]自正交码的生成矩阵,并进一步得到互不等价的最优自正交码的完整分类,给出了互不等价且不含全零坐标的最优[15s 10,4]自正交码的生成矩阵和重量多项式。因此,二元域上最优[15s 10,4]自正交码的参数、结构特征和等价问题得到了完全解决。     

直观显示二叉树结构的算法

在数据结构课程的教学中,一般是通过遍历二叉树抽象地显示1棵二叉树结构,这样学生不容易理解.为此提出了在TC环境下实现的一种直观显示二叉树结构的算法,该算法可以帮助学生加深对二叉树的理解,且对于学生掌握二叉树的运用有极大帮助,同时也是对数据结构课程教学的改进与提高.