R0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质，给出了一些特别的R0等式，并据此得到了真布尔元对R0代数分类的充要条件，为格上研究R0代数开辟了一个新的方向。     

一致与非一致复杂类的模型论性质

自从1965年J.Edmonds和A.Cobham提出P-NP问题以来已有30年的研究历史。目前环绕这个问题的大量学术论文和研究专著已使它发展成为计算机科学中最新和最活跃的研究领域之一,近年来,人们除了对由各种类型的图灵机确定的复杂类(如P,NP,PSPACE等)进行研究外,对一些用其他方法定义的非一致复杂类(如P/poly,P/log,NP/poly等)也越来越有兴趣,而且许     

组合合成阵的不可约性

本文讨论了布尔矩阵的组合合成的基本性质,用图论方法找出了２级组合合成阵为不可约的一些充分条件。     

基于多背景模型的海面运动目标检测

提出一种在反射光较强的条件下基于多背景模型的海面运动目标检测方法.使用基于统计模型的变化检测方法将被监控场景区分为海浪波动显著的背景区域和海浪波动不显著的背景区域;对这两种区域中的像素点分别以Weibull分布模型和Gauss分布模型建立背景模型;使用建立的背景模型检测海面的运动目标.实验结果表明,在海面反射光较强且波浪波动较大的情况下,用该方法可以比较准确地检测到海面的运动目标.     

混合加速寿命试验模型下威布尔分布参数的统计分析

在混合加速寿命试验模型（序进应力加速寿命试验和恒定应力加速寿命试验相结合）下，讨论了寿命分布为威布尔分布时的参数估计问题，给出了形状参数的逆矩估计以及加速系数的置信区间．并且随机模拟一组样本，验证了这个方法的有效性．     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

半正定复方阵的一些性质

研究了半正定复方阵的性质及行列式理论，取得了一些新的结果，推广和改进了Minkowski、Ky—Fan、Ostrowski—Taussky等著名行列式不等式，扩大了Minkowski不等式的指数范围，削弱了华罗庚不等式的条件．     

Bent函数偶侣与Bent互补函数偶族的构造方法

在提出一类新的类Bent函数——Bent互补函数偶族的概念基础上，进一步研究了Bent互补函数偶族的构造方法，通过提出Bent函数偶侣的概念，运用具有这种特殊关系的两个Bent互补函数偶族，采用递归的方法，可以用低维Bent互补函数偶族递归构造出高维Bent互补函数偶族，丰富了Bent互补函数偶族的构造方法，扩大了Bent互补函数偶族的可选取范围。     

关于行列有限方阵的对角化

给出了般域上行列有限无限方阵对角化（在等价意义下）问题的解答，对其中主要定理之一作了详细证明。     

置换行列式及其应用

在定义置换方阵的基础上，讨论了置换行列式的性质和若干应用