多精度整数高效模幂运算算法的研究

介绍了多精度整数求幂运算中的“滑动窗口”算法,并结合Montgomery约简算法．对“滑动窗口”算法进行了应用研究,分析了根据多精度整数的位数来确定相应的窗口大小。结果表明．采用这种组合的模幂运算算法具有十分高效的执行效率,4096位多精度整数的模幂计算大约需要1．5s,并可满足RSA的应用对密钥长度的安全需求。     

点空间分析--分维与均匀度

对有限空问内的点集定义了独占圆、独占线和独占球。通过对有限点集均匀性的研究,抽象出了均匀度的定义。对分形集定义了度量映射,度量映射产生的点集的均匀度与分维之间有换算关系,可以说均匀性与复杂性是密不可分的。均匀度是对点集格局的一种测度,它描述的是点集的空间关系,而不是点的“多少”,有限点集的均匀度可以取到[01]区间的任何实数,这是它与测度和分维的区别。本文得到两个有趣的常数：一位无限循环小数产生的点集的均匀度为0．1,随机格局的均匀度的数学期望为1／x=0．318。可见,均匀度将空间复杂性转移到了点集均匀性上,它为复杂性的研究打开了新的窗口。     

求解蛋白质折叠问题的拟人算法: 对PERM的改进

PERM(Pruned-Enriched-Rosenbluth Method)是目前文献中依格点模型求解蛋白质折叠问题的最高效算法. 给出了PERM算法的一种拟人解释, 对算法中的权重及预测值进行了拟人化的改进, 并对选择动作时不同情况下的权重计算公式进行了统一. 综合这些策略得到了改进的PERM算法——人口控制算法. 该算法在计算效率上有了明显的提高: 对当前文献中公认的最难的4个算例的计算都达到了最优解, 计算速度较PERM提高了几倍至几百倍. 对于这4个难例中的3个, 还找到了迄今为止文献中所没有的全新的最低能量构形.     

积分中值定理“中间点”的分析性质

讨论了积分中值定理中间点的单调性、连续性、可导性,给出了一组充分条件,并证明了三个相关定理．进一步完善了积分中值定理“中间点”的分析性质．     

图和补图的荫度猜想

点荫度是图论的重要概念之一,图的可平面性问题、有一个多世纪之悬案的四色猜想问题等也可从研究图的点荫度而寻找答案.这里得到一个结果"n阶图G,均有a(G)+a(Gc)≤1+[n/2]}这是一个仅解决一小部的猜想,作者彻底决解完.     

关于积分中值定理"中间点"的渐近性

给出了并证明了减弱条件的积分中值定理"中间点"的渐近性.     

多复变中Dp和H∝及βp空间的一些关系

在 Cⁿ中的单位球上, 讨论了Dirichlet 型空间D_p和广义Bloch空间β^q的相互包含关系以及D_p 和Hardy空间H^∝之间的点乘子,根据 p 的一些不同情形对M(H^∝, D_p ) 和 M( D_p , H^∝) 进行了刻划.     

分布式多点控制单元的模型与实现

针对集中式多点控制单元(MCU)存在的负载集中、扩展性差、规模受限和故障容错能力差等问题,提出了一种基于软件的分布式MCU模型,它采用组播和单播相结合的数据传输策略,支持跨网段的数据传输。同时,还分析了分布式MCU的群组交互能力和故障恢复机制。测试及实际应用表明：与集中式MCU相比,分布式MCU不仅可以有效地扩大群组交互的规模,而且在故障容忍及恢复方面也有明显改进。目前该模型已在多媒体同步实时授课系统Smart-RealClass中得到应用。     

模拟退火算法和推广的与时间无关的噪声算法

本文首先介绍了模拟退火算法,给出了它的物理和数学解释.另外首次对文献[5]中提出的推广的与时间无关的噪声算法(TINA)进行了严格的理论讨论,说明了当参数α>0 5时算法依概率收敛到一个全局极值点;而当α=0 5时,随机动力系统可能发生分支现象.     

基于实数连续性定理等价的新探讨

实数集关于极限的运算是封闭的 ,这就是实数的连续性 ;实数的连续性理论是构筑极限理论的重要基础 ;实数连续性定理虽然数学表现形式不同 ,但它们都描述了实数的连续性 ,它们彼此是等价的 ,即任意一个定理都是其它定理成立的充要条件 ,另辟蹊径对其等价性进行了新的探讨。