Morita 型稳定等价下的不变量

设k是一个代数闭域,A和B是两个有限维k－代数.本文证明了如下结果：若A和B是Morita型稳定等价,则二者的复杂度是相同的;若A和B是相伴型稳定等价,则二者的τ-复杂度和τ－1－复杂度是相同的.     

描述逻辑ALC基于RBox的推理

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.     

基于最小闭球的多类支持向量机

针对多类分类问题中样本数量分布不均衡和测试速度较慢两种情况,本文提出了两个基于闭球的二叉树多类支持向量机算法：MEB-MCSVM-1和MEB—MCSVM-2．算法利用最小闭球来协调样本数量间的不均衡性,利用球心进行最远距离聚类或最近-最远距离聚类,构建二叉树结构,使二又树的每个节点代表】个二类支持向量机．为了检验所提算法的有效性,本文从需要训练的SVM个数、训练时间和测试时间三个方面对五种算法1-v-1,1-v-r,MEB-MCS—VM-0,MEB-MCSVM-1和MEB—MCSVM-2进行了比较分析,结果表明本文所提方法对解决多类分类问题中样本数目不均匀和测试速度较慢这两种情况有明显的优势,实用性更强．     

GF(q)上pn-周期序列的k错线性复杂度

周期序列的错误线性复杂度是度量密钥流稳定性的一个重要指标.首先改写GF(q)上pⁿ周期序列的k错线性复杂度快速算法,给出其m紧错线性复杂度的快速算法;然后研究相应k错线性复杂度的误差向量,得到计算误差向量的算法,即在此误差向量下,可以实现原始序列的k错线性复杂度.其中p为奇素数,q是模p2的一个本原根.     

一种用于卫星有效载荷的抗干扰技术

在现代卫星通信中,有效载荷功能集成化对各模块的硬件资源消耗量提出了更高的要求,而传统频域抗干扰技术资源消耗量较大. 鉴于快速傅里叶变换(fast Fourier transform, FFT)是频域抗干扰的核心部分,提出改进的FFT实现技术,对每级FFT运算结果进行自适应截位. 该方法较常规FFT算法结构节省了大量的硬件资源,
并提高了信号频谱的动态范围,以较少的硬件资源实现了更强的抗干扰能力. 该技术已成功应用于卫星导航系统的星间链路抗干扰通信,效果良好,在当代电子信息对抗领域中亦有广阔的应用前景.     

一种因子化的稀疏矩阵转置算法

在定义了二元组结构的基础上,对稀疏矩阵中非零元素的行、列坐标值进行因子化,以此实现了一种新的稀疏矩阵压缩存储结构.并在应用该压缩存储结构的基础上,提出了一种稀疏矩阵转置操作的改进算法.该算法较传统算法而言,在时间复杂度不变的前提下将空间复杂度降低了30％.     

基于万进制数组的大整数乘法的算法设计

大整数在要求高精度的应用中非常有用.在计算机数据加密技术中,常会遇到大整数的算术运算问题.为此,文章分析了大整数乘法的算法,提出了一种符号位与数值分开,万进制数组存储大整数并加以处理的算法.然后在java开发平台上测试,验证了该算法的正确性及运算的效率.     

广义隐马尔可夫模型的快速前向后向算法

动态贝叶斯网络是解决非线性动态系统不确定性推理问题的一个重要工具。通过对改进前向后向算法计算方式的改变,提出了一种快速前向后向算法。不仅从理论上推导了快速前向算法、快速后向算法,并且将这两种算法结合推导出快速前向后向算法。由复杂度分析可知,提出算法的复杂度较低,仿真实验验证了快速推理算法的正确性和推理的高效性。     

基于神经网络的降质图像恢复

以基于离散Hopfield神经网络的图像恢复模型为基础,研究基于神经网络解决降质图像恢复问题. 从Toeplitz循环矩阵和模拟退火算法等二个方面对该算法进行改进,使时间复杂度和空间复杂度大大降低,同时提高了图像的恢复效果. 实验表明,改进算法对于降质图像恢复是有效的,比传统的逆滤波、维纳滤波方法具有更好的峰值信噪比.     

基于随机哈希签名模式的可信捐赠监督方案

通过修改随机数的选取方式,对 RMX随机哈希签名算法进行强化,使算法不需要假定签名者是诚实的. 基于该强化算法设计了2个可信的捐赠监督方案.当捐赠人愿意透露捐赠数额时,可构建出一个精确捐赠监督方案,任意2名捐赠人可通过比较彼此得到的捐赠总数来判断慈善机构是否公布出正确的捐赠总数.当捐赠人不方便透露捐款数额时,利用强化后的RMX签名算法和百万富翁问题设计了一个模糊捐赠监督方案,捐赠人同样可以监督慈善机构.分析结果表明,慈善机构作假和恶意捐赠人诬陷慈善机构的计算复杂度均为O(2n/2),其中n表示方案中使用的哈希函数输出散列值的长度.当n>160 bit时,方案在现有计算能力下是足够安全的.