【摘 要】
:
模式发现是计算生物学一个重要的研究方向,但目前的大部分算法还不能保证获得最优的模式。将模式发现问题转化成层次图的路径搜索问题,推导了针对三个序列片段相似性关系的判据,以其作为剪枝规则提出并实现了一种深度优先的穷举搜索算法:判据搜索算法(CriterionSearchAlgorithm,CRISA)。理论分析表明,对于绝大多数模式发现问题,CRISA具有多项式的计算时间复杂度和线性的空间复杂度。对仿
论文部分内容阅读
模式发现是计算生物学一个重要的研究方向,但目前的大部分算法还不能保证获得最优的模式。将模式发现问题转化成层次图的路径搜索问题,推导了针对三个序列片段相似性关系的判据,以其作为剪枝规则提出并实现了一种深度优先的穷举搜索算法:判据搜索算法(CriterionSearchAlgorithm,CRISA)。理论分析表明,对于绝大多数模式发现问题,CRISA具有多项式的计算时间复杂度和线性的空间复杂度。对仿真的和实际的DNA序列数据的测试表明,CRISA能够快速而完全地识别出序列中所有的模式,并且获得了优于其
其他文献
联合功率谱的高频成份对相关峰识别具有重要作用,实验中记录的联合功率谱随着频率的增加其强度迅速降低.为增强联合功率谱的高频成分,改善其调制程度,可对功率谱进行对数变换,从而有效保留更多的高频成份,压低零级衍射光斑,提高联合变换相关器的识别能力。
随着图像系统的广泛应用,对图像的稳定要求也越来越高.图像的运动和不稳定是常见的,往往是由于载体的运动引起的,为了达到图像稳定的目的,就需要对其运动进行描述,然后采用相应的算法进行补偿.给出了运动对图像清晰度的影响及像偏移的估算,并对数字电子图像稳定系统进行了简单阐述.
提出一种协同模式识别的不变性算法,利用协同模式识别的有势动力学理论,求取测试样本的仿射变换参数。通过原型模式对测试样本的自适应或原型模式对测试样本的同化,由序参量动力学演化过程得到正确的识别模式。此算法避免利用傅立叶等方法进行变换域的处理,而且更符合人的认知过程。仿真实验验证了算法的有效性和鲁棒性。
块方向图增强是指纹图像预处理过程中很关键的一个步骤。针对块方向图平滑计算过程中运算量过大的问题,文中提出了一种块方向图计算方法,引入矢量点积,通过若干步整数四则运算,较快速地得到块方向图。文中详细介绍了该方法的理论依据,通过程序仿真,对这种计算方法的效果进行了检验。
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可
针对1999年以来的研究,从足部疾病、步态分析、踝关节生物力学、跟骨应力分布、鞋垫对足底影响等方面的应用研究以及足部有限元建模方面进行综述。提出未来研究的重点。分析当前研究的困难和不足。指出困难在于足部结构的合理定义和适用的有限元方法,不足是缺乏多学科的协同工作和足部结构动态模拟时没有应用柔性多体系统动力学。
Aim:To synthesize and study the anti-diabetic activity of (RS)-2-ethoxy-3-{4-[2-(4-trifluoromethanesulfonyloxy-phenyl)-ethoxy]-phenyl}-propionic acid(compound Ⅰ).Methods:Compound Ⅰ was prepared in 6 s
提出一种改进的禁忌搜索(TS)—交叉禁忌搜索(CTS),并用于混合优化问题旅行商问题(TSP)的求解。CTS主要包括集中策略和分散策略。采用选择规律的改变促进移动的混合,集中策略增强了算法的局部搜索能力;分散策略是用于开辟新的搜索空间。在CTS中,采用遗传算法中的交叉算子作为分散策略,优解选择法作为集中策略。CTS、标准TS、带集中策略的TS和蚁群算法用于求解相同的TSP例子,所用例子都是来自TS
小世界社会网络模型是一种描述现实社会系统的理想模型,基于此模型,提出小世界社会网络中的信息传播模型。模型中,每个社会参与者都具有一个连续型参数来描述其对于信息的态度,正的态度对信息传播有正反馈作用,而负的态度对于信息传播有负反馈作用。同时,引入局部信息和全局信息概念用以描述社会参与者对于信息的获取能力。信息传播模型在不同随机度和规模的小世界社会网络上进行了计算仿真。仿真结果表明网络的拓扑结构和参与
给出并证明了多延迟中立型系统渐近稳定的充分条件;分析了用线性多步法求解多延迟中立型系统数值解的稳定性,基于Lagrange插值,证明了数值求解多延迟中立型系统的线性多步法渐近稳定的充分必要条件是它是A-稳定的。