模归约算法表达式自动生成算法设计与实现

多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用。基于对模归约数学基础的分析,设计了模归约算法表达式自动生成算法,只要选择实现所需的字宽w和模多项式M(x)的系数,即可自动生成对应的模规约算法表达式,为模规约算法在密码编码学中的应用提供了基础。     

矩阵环上快速公钥密码算法的安全分析

分析适用于资源受限的计算环境的快速公钥密码算法的安全性非常重要。通过使用格归约算法,证明破解基于矩阵环的快速公钥密码算法的难度并不比整数分解问题更难,即给定整数分解神谕,存在多项式时间求解其等价私钥,并通过计算实验演示安全分析的正确性。     

实函数的归约性

本文才巴 Ker-IKO 文中实数归约性推广到实函数,讨论了推广后各种归约之间的关系。证明了两种递归实函数定义的等价性。引入了算子图灵机的概念,利用算子图灵机给出了 C[1,0]上的一个分层(不可解度的分层)。证明了该分层有一个子结构与(?)同构。     

一种应用于DIDS的实时自调整归约算法

根据归约与分布处理的思路,设计了用于分布式入侵检测系统节点的实时自调整归约算法,并在Java环境中实现.在实验平台上验证了算法的正确性并证明其有效性.实时自调整归约算法能让使用者根据实际环境改变算法参数,使归约效果、警报响应实时性和系统性能能同时接近最优,为设计高效、稳定的入侵检测系统提供了一条捷径.     

矩阵环上快速公钥密码算法的安全分析

分析适用于资源受限的计算环境的快速公钥密码算法的安全性非常重要。通过使用格归约算法,证明破解基于矩阵环的快速公钥密码算法的难度并不比整数分解问题更难,即给定整数分解神谕,存在多项式时间求解其等价私钥,并通过计算实验演示安全分析的正确性。     

3—状态特殊设备网络可靠度的计算

本文利用3－状态设备网络可靠度计算的分解定理，证明了度－2归约，并联归约和串联归约，在此基础上，给出了一系列特殊设备网络类可靠度的计算公式。     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

T-S模的直觉模糊群及其运算

在直觉模糊群定义的基础上,将算子"∧"与"∨"分别推广到T模和S模上,从而定义了关于T-S模的直觉模糊群,给出了其在对偶模意义下的等价定义,并且证明了一个直觉模糊集构成关于T-S模的直觉模糊群的几个等价命题.最后,研究了这种直觉模糊群的一些基本运算问题.     

一种改进的模逆算法与硬件实现

在公钥密码体系中,无论是RSA密码还是椭圆曲线密码,模逆运算都是非常关键的运算.模逆运算的前提是两数的最大公约数为1,否则结果是没有意义的.基于现有的二进制模逆算法的基础上提出了一种可以同时求最大公约数和进行模逆运算的算法,并且对算法进行优化,用VERILOG HDL语言进行硬件实现.通过功能仿真和FPGA验证,结果表明该设计可以正确进行32～1024 bit的大数模逆运算.该设计应用于一款汽车安全芯片的PKI模块,采用UMC 55 nm工艺进行流片,芯片面积为10 mm2,工作电压3.3 V,钟频率为200 MHz时,功耗约为30.2 mW.     

三I算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论.     

音频压缩中3种整数型MDCT变换的比较

为了快速计算整数型改进的离散余弦变换(IntMDCT),构造了基于提升变换、模变换以及无穷范数旋转变换的3种计算12点IntMDCT的算法.首先将12点MDCT转化为6点Ⅳ型离散余弦变换(DCT-Ⅳ),并将后者分解为7个Givens旋转变换的乘积;然后分别利用提升变换算法、模变换算法和无穷范数旋转变换算法实现Givens旋转变换的整数型近似计算;最后,对这3种算法在语音信号无损和有损压缩中的运行速度和计算精确度进行比较.实验结果表明,在这3种算法中,基于模变换的IntMDCT算法的运行速度最快;基于无穷范数旋转变换的IntMDCT算法的计算精度最高,并在有损音频压缩中获得的信噪比最高.     

模2n加与模2n-t加之间的相容性分析

就分配率、结合率两个方面分析模2n加运算和模2n-t加运算的相容性,并给出了分配率相等、结合率相等的概率.     

大数混合基表示及其基本运算

将大数采用混合基表示，对大数的加法，减法与比较运算给出相应的算法，并对加法机器上的乘法，除法，模运算以及求最大公因子的算法进行了移植。     

A New Fast Modular Arithmetic Method in Public Key Cryptography

0 IntroductionPublic key cryptosystemsolvedthe secure problemof keydistributionsoundlyinsymmetric cryptosystem[1],real-ized digital signature and message authentication successfullyin secureinformationsystem. However ,secure applications ofthemneed badly high-speedsoftware,hardware,andarithme-tic computation of large number .Furthermore,the secret ex-ponent cannot betoosmall[2]and operands should be 1 024 bitorlarger[3]whenthe securitylevel is set high.So,manylargeinteger modular multiplicatio…     

采用两次模运算的无直方图异常安全密写法

提出一种以像素对为基础的数字图像密写方法,该方法同时对像素灰度值和像素对的差值进行模运算（modulo gray-value modulo difference,简称MGMD）,在每一对像素中可嵌入的比特数取决于像素对差值的大小.基于待嵌入的数据和两次模运算的结果修改像素对,并维持其差值不变.MGMD密写不会引起像素直方图和像素差值直方图的异常,不仅避免了一些基于像素对的密写法如PVD和SM的安全漏洞,还能抵御针对常规LSB密写的RS分析和χ²分析.该方法的安全性得到实验的验证.     

一类高维随机矩阵置乱变换的周期

为了适合多媒体信息量庞大、存在数据冗余的特点,实施可证明安全、高效率的加密解密,使用了数论、近世代数、矩阵变换、算法分析等工具,对高维随机矩阵置乱变换的精确周期进行了研究。将实数域上线性代数的若干结果,推广到模素数有限域上,得到一类整数矩阵及其相关同余方程组之解的若干新性质;在此基础上将用于置乱的矩阵由2维扩展到任意高维,给出广泛一类高维随机整数矩阵A决定的置乱变换,在任意素数幂N=pr模数下,其周期T(A,N)的精确表达式,给出求精确周期算法的时间复杂度。结论可用于建立新型数字多媒体密码体制和信息隐藏体制,扩大其密钥空间,增加其安全性。     

信息系统相容性和属性约简理论

属性约简贯穿知识发现的整个过程,对知识发现的结果和精度都有很大影响.以信息理论为基础,提出了信息系统相容性和属性约简若干严格的数学概念,对信息系统的条件属性进行了严密的分类,且给出了一些判别法则,以及信息系统相容性判别算法和具有线性计算复杂度求极小属性约简的算法.     

基于绝热量子演化的量子状态转换方法

量子算法成功的标志体现为实现了正确的量子状态转换,这一过程主要通过适当的量子算符来实现。然而,事实证明寻找合适的量子算符是非常困难的。之前大多数研究主要采用机器学习的方法解决这一问题,这些算法与以酉量子操作为特征的量子电路模型有较大差距,也难以分析其在量子计算机上的实现。提出利用绝热量子演化实现量子状态的转换,与标准量子计算模型相比,量子状态的转换更加直接,也不用考虑算符的酉性,因此是在量子计算及量子通信中值得借鉴的量子状态转化方法。     

分块对称r循环算子的范数不等式

循环(块循环)算子是一类重要的算子,在量子计算、时间序列分析、压缩感知等科学与工程计算中有着广泛的应用。分块对称r循环(r反循环)算子的生成方式可以看作是将循环算子的生成方式取对称,并将副对角线以下的元素添加参数r或-r,r0。基于降阶思想,利用分块对称r循环矩阵的对角化性质和酉不变(弱酉不变)范数的性质,给出了分块对称r循环算子和分块对称r反循环算子由子块导出的算子范数和Schatten p–范数不等式和等式结果。     

模n高斯整数环的零因子图的中心集和半径

研究模n高斯整数环的零因子图的中心集和半径,得到模n高斯整数环的零因子图半径为0、1、2时的充要条件,同时对每一个正整数n,给出模n高斯整数环的零因子图的中心集。