大整数的素性测试软件

本文讨论了利用分圆域中分圆整数的Jacobi和进行大整数素性测试的原理与算法,给出了基于Adleman和Pomerance所发现后由Cohen和Lenstra改进的一种确定性方法而开发研制的素性测试软件。该软件已在IBM 486计算机上调试通过。其运行结果表明,本软件可以根据待测试整数的大小,选取适当的参数,对大整数进行快速素性测试。     

素性检测及其实现

本文在论述素性检测对于实现ＲＳＡ分开密钥密码体制重要意义的基础上，综述了素性检测的概率方法非概率方法，给出了笔者基于Ｍｉｌｌｅｒ－Ｔｒｂｏｖｉｃｈ所发现的一种确定性的方法而发研制出的素性检测子系统。该子系统的计算机运行结果表明，它至少可以快速生成２７５位十进制素数，这对于提高ＲＳＡ密码体制的安全强度有一定的现实意义。     

素性检测及其实现

本文在论述素性检测对于实现RSA分开密钥密码体制重要意义的基础上,综述了素性检测的概率方法以及非概率方法,给出了笔者基于Miller-Trbovich所发现的一种确定性的方法而开发研制出的素性检测子系统。该子系统的计算机运行结果表明,它至少可以快速生成275位十进制素数。这对于提高RSA密码体制的安全强度有一定的现实意义。     

Rabin密码算法的快速实现研究*

首先分析了利用MRC方法改进Rabin密码的解密算法,然后结合素性测试的优化策略和运算数与Visual C++6.0的特性,提出一种基于递归技术的快速素性测试方法。     

混沌振子弱信号能量检测方法

提出了一种Duffing弱信号能量检测方法.通过能量算法对不同状态下Duffing振子的频率分布特性进行分析,得到了一种基于瞬时频率的Duffing振子状态判别方法,并进一步给出了相变判别阈值的设定准则,且对检测算法的抗噪性和实时性进行了分析.仿真实验表明,该方法的计算量和实时性比传统相变判别算法有明显的改善,可满足强噪声背景下微弱信号的快速检测要求.     

智能卡中RSA密钥生成的比较与研究

研究了密钥生成的一般方法,即确定性素数判定和概率性素数判定方法,给出了利用Rabin M iller测试生成密钥对的算法实现。针对在智能IC卡中生成RSA密钥时所面临的实际问题,给出了最优的方案选择。测试结果表明,与目前国外同类RSA智能IC卡相比,其生成RSA密钥的时间较短。     

Jacobi和素性测定算法在PC上的实现

我们在ＰＣ机上实现了Ａｄｌｅｍａｎ－Ｐｏｍｅｒａｎｃｅ－Ｒｕｍｅｌｙ的Ｊａｃｏｂｉ和素性测定算法的Ｃｏｈｅｎ－Ｌｅｎｓｔｒａ版本，我们的Ｐａｓｃａｌ程序在４８６微机上对１０４位素数的严格素性证明在５分钟内完成。     

RSA算法的Java实现

网络服务的丰富,尤其是电子商务的发展,需要强健的密码技术确保安全可靠地传递信息。由于密码技术的敏感性,各国对其都有严格的控制。密码算法的工程实现对商业和军事都有着重要的意义。文章研究了加密强度高的RSA算法工程上实现的关键技术,包括随机数的产生及其随机性对算法安全性的影响,大整数的素性检测等。Java是一种应用广泛的跨平台网络编程语言,适合开发大型分布式系统,因而文中给出了RSA算法的一个Java实现,这对商业应用的开发有着重要的意义。     

雅克比矩阵近似更新的三维装配约束求解研究

提出了三维装配约束求解中雅克比矩阵近似更新的方法。该方法通过对 迭代过程中满秩以及行秩秩亏雅克比矩阵进行近似更新,提高了约束求解的效率。首先在非 线性迭代求解过程中添加雅克比矩阵及其逆矩阵近似更新的公式;然后给出使用近似更新公 式需要满足的限制条件;最后通过对奇异点扰动算法的描述介绍迭代求解过程中雅克比矩阵 发生行秩秩亏的处理办法。文中提出的策略与算法已在三维装配约束求解引擎CBABench 中实现,给出的实例表明本文提出的方法效果显著。     

基于图像的火焰稳定性判别方法研究

针对锅炉燃烧监控系统所采集的火焰动态图像,提出了一种基于在线模糊聚类算法的炉内火焰燃烧诊断方法。该方法分析了火焰图像的特点,提取了判别火焰稳定性的特征量,以提取的特征量作为在线模糊聚类算法的输入参数,分析燃烧图像的隶属度,给出判别标准对燃烧稳定性进行综合评估。将在线算法与离线算法进行比较,实验结果表明,在线算法比离线算法的准确率提高了5.3%,验证了算法的有效性。该方法对实现燃烧状态自动监测,保障锅炉安全运行具有重要意义。     

基于Miller-Rabin素性检测的多项式分解算法

通过将Miller-Rabin素性检测的思想拓展到多项式域，随机二分搜索可应用到多项式分解中。并以此为基础，分别针对有限域和代数数域改进了两种概率性算法。第一种算法在有限域上每次分解模素数的多项式的失败概率最多为1/4；第二种算法在代数数域上每次分解模素理想P的多项式的失败概率最多为1/2，当代数数域为偶数次扩展或者P|( p)满足 p为素数且4|p-1的形式时，失败概率至多为3/8。和原有算法相比较降低了失败概率。这两种算法都在分解之前进行了素性判断，这一特性可用于生成不可归约多项式。在讨论代数数域情况时，给出了完整的多项式运算的时间复杂证明，弥补了代数数域内多项式计算理论模型上的空白。     

Primality testing with fewer random bits

In the usual formulations of the Miller-Rabin and Solovay-Strassen primality testing algorithms for a numbern, the algorithm chooses candidatesx ₁,x ₂, ...,x _k uniformly and independently at random from _n , and tests if any is a witness to the compositeness ofn. For either algorithm, the probabilty that it errs is at most 2^–k .In this paper, we study the error probabilities of these algorithms when the candidates are instead chosen asx, x+1, ..., x+k–1, wherex is chosen uniformly at random from _n . We prove that fork=[1/2log₂ n], the error probability of the Miller-Rabin test is no more thann ^–1/2+o(1), which improves on the boundn ^–1/4+o(1) previously obtained by Bach. We prove similar bounds for the Solovay-Strassen test, but they are not quite as strong; in particular, we only obtain a bound ofn ^–1/2+o(1) if the number of distinct prime factors ofn iso(logn/loglogn).     

一种快速分解大整数的小因子的优化分解树OFT算法

分解大整数的小因子是解决IFP，DLP问题的诸多攻击方法中的重要运算模块．本文在目前分解大整数小因子算法的基础上，提出的优化分解树(Optimized Factorization Tree)算法，利用树型数据结构和相应的构造算法与回溯算法，配合以作者提出的分解表截支方法和优化分组策略，可以将分解大整数小因子的速度提高50％以上．该算法还可以为大整数素性判别做高效过滤，快速识别大部分合数．     

The composite character of the twenty-second Fermat number

A machine computation has been carried out to show that the twenty-second Fermat numberF ₂₂= +1 is composite.This work was done at the Brazilian Supercomputing Center (CESUP) operated by Universidade Federal do Rio Grande do Sul. The authors were partially supported by CNP_q.     

素性检测的并行计算

提出了一种基于Java的素性检测并行计算的结构和实现方法,就RMI系统、多线程同步、容错与负载均衡等关键技术进行了讨论,并给出了实验结果及分析。     

软件测试入门浅谈

文中结合自己软件测试入门阶段的体会介绍了识别测试需求、设计测试用例和执行测试用例,其中识别测试需求重点介绍主动获取需求、确认需求的优先级两方面,设计测试用例着重介绍了测试用例的基本格式、加强测试用例的评审和定义测试用例的执行顺序,执行测试用例主要介绍搭建软件测试环境,执行测试用例和更新测试用例几个方面。     

HC／HCT系列电路测试程序设计

目前，在整机系统上，HC／HCT类电路应用还十分广泛。严格测试电路的功能及交、直流参数十分必要。在多年测试实践基础上，文章提出了HC系列电路测试程序设计概要，对于一些关键测试技术亦作了较为详细地阐述。