王能超
- 作品数：115 被引量：433H指数：14
- 供职机构：华中科技大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学生物学电子电信更多>>
- 离散Ter变换的快速算法被引量：6
- 2004年
- 本文研究了第 ( 2 ,0 )类离散 Walsh-Haar类变换即离散 Ter变换的快速算法 .
- 卢力施保昌王能超
- 模拟的概念、计算及在自动机最小化上的应用
- 2007年
- 对B櫣chi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系,延迟模拟关系和公平模拟关系的概念,算法进行了比较,并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。
- 徐正权袁志斌王能超
- 关键词：自动机最小化
- 创建neighbor-joining进化树的快速算法(英文)被引量：5
- 2006年
- 为了改善Saitou和Nei提出的neighbor-joining进化树算法(SN)及Studier和Keppler的改进算法(SK),降低计算的时间复杂度,设计了一种快速算法.该算法涉及3种技术第一,引入一个线性数组A[N],用于存储距离矩阵每一行的值,以减少许多重复计算;第二,A[i]的值在算法开始时全部计算,在迭代步中间只进行更新3个变化的值;第三,设计了一个紧凑的公式用于计算OTUs之间的边长,并对该公式进行了证明.实验结果表明随着节点数的增多,该算法比SN算法快几十倍到上百倍,比SK算法快2倍以上;在一台桌面计算机上,该算法能在3min左右创建具有2000个节点的进化树.以空间换时间,减少最内层循环的计算量是设计多重循环算法的基本思路.
- 陈宁涛王能超施保昌
- 关键词：进化树
- J-TEXT上等离子体电流调制对撕裂模不稳定性的影响
- 等离子体电流调制能够成功抑制住撕裂模不稳定性，缓解等离子体破裂，调制过程中，正弦波调制电流的频率和幅度对调制的效果会有影响，大幅度、低频率抑制致果好，调制过程中，可观侧到等离子体电流密度分布、电子密度分布剖面的变化，等离...
- 谢舒嘉丁永华张明王丛伟王能超潘垣
- 关键词：托卡马克等离子体电流调制撕裂模
- 基于自回避搜索遗传算法的蛋白质折叠研究被引量：2
- 2005年
- 利用生物信息学方法,对蛋白质折叠过程进行研究,建立蛋白质折叠自回避搜索的遗传算法模型,通过计算机模拟,对较短序列进行检测,以探究蛋白质折叠的过程。实证研究表明,此算法产生了效果较好的蛋白质折叠构象。但对于长序列,自回避路径折叠搜索计算时间将呈指数增长。为了更真实地模拟蛋白质折叠过程,进一步探讨了并行遗传算法模型,该模型充分体现序列折叠时的并行性与自组织性,使它适用于较长序列的折叠,折叠过程不会因为序列长度的增加而快速增大模拟的复杂度,且符合生命的演化规律。
- 王仲君王能超毛黎明
- 关键词：蛋白质折叠遗传算法
- 基于K-模拟的抽象
- 2007年
- 尽管近年来模型检测取得了很大的进步,但是对于大系统的验证能力依然有限。在众多的状态减少和压缩技术中,抽象技术是最有效的方法之一。本文给出了基于K-模拟的抽象的高效算法,并证明了在线性时序逻辑框架下抽象的可靠性和完备性。
- 袁志斌徐正权王能超
- 关键词：线性时序逻辑
- 一种稳健的公开数字图像水印技术被引量：4
- 2001年
- 提出一种稳健的公开图像水印技术。随机选取若干象素点及其邻域 ,通过量化象素与邻域的均值之差来隐藏水印信息。实验表明 ,该方法简单、高效、安全性能好 ,且具有较好的不可感知性 。
- 张军王能超
- 关键词：数字图像JPEG水印算法图像处理
- 强磁场下电子束注入约束装置
- 本实用新型公开了一种强磁场下电子束注入约束装置，该装置包括负极板，正极板，阴极，以及第一、第二阱极板；负极板与正极板相对并与磁场方向平行放置，用于在加正负电压后形成漂移电场区；第一、第二阱极板板板沿磁场方向相对放置，用于...
- 丁永华金海王能超岑义顺
- 文献传递
- 生物多序列比对的并行算法
- 本文研究了Gusfield提出的星型比对模型的串行算法,进行了空间和时间上的改进,基于cluster结构的某并行机提出了一种并行算法,并对大量基因数据进行了测试,结果表明对于大规模的多序列比对,算法能达到较高的加速比.
- 陈宁涛王能超施保昌
- 关键词：生物序列基因分析计算机数学
- 文献传递
- 数字图像的自适应公开水印技术被引量：39
- 2002年
- 该文提出一种以灰度层图案作水印的自适应公开水印 (public waterm arking)技术 .这种技术在不可感知性和稳健性等方面面临着更大的挑战 ,而探索图像新的稳定特征并结合人类视觉系统 (HVS)的性质来设计水印算法正是克服这一难题的有效途径 .为此 ,该文分析了一种新的变换域——多小波 (m ultiwavelet)域系数的特征 ,并将基于单小波域的人眼噪声敏感性模型推广到多小波域 .在此基础上 ,先将灰度层图案水印分解为二值位图平面 ,然后自适应地将各个位图平面嵌入多小波变换域中 .实验结果表明 ,该文方法对多种图像处理具有很好的稳健性 ,其性能优于文献上的相近方法 .
- 张军王能超
- 关键词：数字图像自适应水印技术公开水印多小波
