【摘 要】
：
基于XSLT技术的SBML与其他生物建模语言之间的转换方法存在无法保证转换结果的确定性、语法正确性及不能满足模型转换的工业化需求等缺陷.针对以上问题,提出了利用图文法定义
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目（2006AA02Z344）, 国家自然科学基金项目（60671013）
论文部分内容阅读
基于XSLT技术的SBML与其他生物建模语言之间的转换方法存在无法保证转换结果的确定性、语法正确性及不能满足模型转换的工业化需求等缺陷.针对以上问题,提出了利用图文法定义SBML Schema及其他生物建模语言,并且利用Triple Graph Grammar构造SBML与其他建模语言之间的转换方法.在此基础上,提出了一种基于单路径尝试条件的转换算法,该算法具有多项式时间复杂性,能够保证转换目标对象的确定性与语法正确性,给出了相关证明,并且讨论了该条件在生物模型转换中的适用性.与传统方法相比,该方法利用可
其他文献
入侵检测日志数据具有数据量大、特征数目繁多以及连续型属性多的特点.传统的特征选择方法在处理连续型数据时要先进行离散化,这需要花费大量的预处理时间并且离散化过程可能
文章针对当前高职院校物联网专业发展现状，结合柳州职业技术学院目前专业发展现状，对高职物联网专业发展存在的问题提出具体解决对策。
现代操作系统的主要威胁来自网络,传统访问控制机制在这方面尚有不足.提出一种应用于操作系统的访问控制模型——STBAC,可以有效防御网络攻击,并保持较好的兼容性和易用性.即
目前针对执行时间限制严格的网格工作流资源调度与分配的研究工作已经取得了进展,然而这些工作没有考虑关键路径和非关键路径上任务执行时间的相对差异对资源分配算法产生的
文章针对目前高校信息数据管理一体化过程中存在的主要问题进行了分析,探讨了基于WEB服务的SOA技术架构的原理和规划设计,为高校信息系统的应用整合提出了解决方法,为校园数
文章通过温度梯度驯化得到了一株适用于工业中高温生产酒精的工程菌——Z.mobilis基因工程菌。对该工程菌株进行温度、发酵起始pH、接种量、发酵周期以及添加营养盐的优化试