国家自然科学基金(60671013)
- 作品数：3 被引量：8H指数：2
- 相关作者：王亚东任世军朱世佳季春光陶海军更多>>
- 相关机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 极大熵聚类算法的收敛性定理证明被引量：4
- 2010年
- 有关极大熵聚类算法收敛性的研究是理论研究的一个热点问题,有的学者认为迭代序列的极限点有可能不是目标函数的严格局部极值点.针对这个问题,文中用科学计算软件对相关文献中给出的例子进行了实验,说明该例子并不能否定极大熵聚类算法收敛性定理.最后,从理论上给出了极大熵聚类算法收敛性定理的一个证明.
- 任世军王亚东
- 关键词：不动点聚类算法
- 基于TGG的SBML与其他生物建模语言间的自动转换研究被引量：1
- 2011年
- 基于XSLT技术的SBML与其他生物建模语言之间的转换方法存在无法保证转换结果的确定性、语法正确性及不能满足模型转换的工业化需求等缺陷.针对以上问题,提出了利用图文法定义SBML Schema及其他生物建模语言,并且利用Triple Graph Grammar构造SBML与其他建模语言之间的转换方法.在此基础上,提出了一种基于单路径尝试条件的转换算法,该算法具有多项式时间复杂性,能够保证转换目标对象的确定性与语法正确性,给出了相关证明,并且讨论了该条件在生物模型转换中的适用性.与传统方法相比,该方法利用可视化方法实现转换,简化了定义过程;无需动态检查转换过程,只要转化规则正确即可保证转换结果正确;同时支持扩增传播以及模型间双向转换.最后,通过Petri网与SBML之间的转换例子证实了该算法的正确性与有效性.
- 朱世佳王亚东季春光陶海军
- 关键词：图文法XML
