求解蛋白质折叠问题的拟人算法: 对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时,随机动力系统可能发生分支现象.     

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

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

关于泛函微分中值点渐近性的进一步讨论

本在赋范线性空间上讨论微分中值点的渐近性,利用泛函的微积分理论给出了f^(i)(x0)h^(i)=0,g^(i)(x0)h^(i)=0(i=1,2…n-1,j=1.2…m-1),f^(n)(x0)h^(n),g^(m)(x0)h^(m)都不存在时泛函微分中值点渐近性的估计式。