基于 DNA 自组装的全错位排列问题模型

针对全错位排列这类NP 完全问题,提出了一种基于DNA 自组装的全错位排列问题计算模型。该模型利用了DNA分子间的自组装能力,在具体操作时只用到凝胶电泳技术,在一定程度上减少了实验误差。     

基于并行群体模拟退火算法的蛋白质折叠研究

蛋白质折叠研究对于揭示蛋白结构和功能关系,进而了解相关疾病的致病机理意义重大。蛋白质折叠已被证明是 NP-完全问题。本文针对蛋白质折叠研究中的能量最小化问题,提出了一种新的并行群体模拟退火算法（Parallel Group Simulated Annealing,PGSA）及其改进型算法（PGSA_1/K)。该算法使用了降温因子加速收敛精度,并采用 MPI 消息传递并行编程技术加快蛋白质结构空间搜索以及能量最小化寻找速度。以 Met_Enkephalin 蛋白为对象的计算机模拟仿真结果表明,我们提出的算法及其改进型有很好的扩展性,可以高效搜索蛋白结构空间,从而找到相关蛋白的最小能量结构。     

可满足问题的分子信标计算模型(英文)

分子信标（Molecular Beacon）是一种发夹状的荧光探针,它可以特异地和那些与分子信标的环（Loop）互补的核酸靶序列杂交,具有单个碱基错配的检测能力．肽核酸（Peptide Nucleic Acid）是人工合成的核酸（DNA）的类似物．PNA骨架为酰胺键,与DNA补链杂交更稳定,可以阻止聚合酶延伸反应．文中将可满足问题的约束变量编码于分子信标的环部识别区,通过分子信标与使得给定范式为真的变量的PNA补链杂交,再利用PNA链可以阻止聚合酶延伸反应的性质,用限制性内切酶EcoRI降解对应于非解的分子信标,最后通过加热表面使分子信标构形发生变化,产生荧光读解．提出的可满足问题的分子信标计算模型具有可靠性高、无需观察和记录计算的中间结果、读解简单等优点．     

信息与计算科学专业实践教学体系的探索与优化

信息与计算科学专业是联系数学与信息科学的一门新兴专业,目前很多学校开设了这个专业,很多学校已具有较完善的理论课程,但实践教学体系尚不完善,对学生的创新能力培养非常不利。我们经过多年的积淀,并结合专业培养目标,对信息与计算科学专业的实践教学体系进行探索与优化。     

μC/OS-Ⅱ实时操作系统中任务延时的研究与改进

通过介绍μC/OS-Ⅱ实时操作系统中的任务延时功能,分析了系统中的任务延时的优缺点.针对任务延时占用处理器时间与任务总数有关和扫描各个任务占用大量处理器时间的问题,对操作系统中的任务延时机制进行改进.改进后的操作系统在基于第二代Cortex-M3内核的LPC1768处理器上测试,通过软件仿真,得出此方法可以提高系统的实...     

微流控制系统在DNA计算中的应用

DNA计算系统以人工合成或自然存在的DNA分子作为信息存储的媒介,通过分子生物工程技术例如PCR、凝胶电泳、酶反应实现计算过程。文章简要介绍了DNA计算的原理、特点及研究概况,从对DNA及蛋白质分子的操控及检测两个方面详细分析了微流控制系统在DNA计算中的应用。研究了生物芯片在集成DNA计算系统中的作用,随着可集成的功能通用化、结构三维化生物芯片系统的出现,基于生物芯片的DNA计算系统将可能成为DNA计算机的一种重要实现途径。     

蛋白质结构预测方法的研究进展

目前,在蛋白质结构预测方面,人们努力发展新的方法,该文主要介绍了蛋白质结构预测的方法和进展。详细地综述了几种方法,并简单地介绍了蛋白质结构预测的几个不同阶段,并提出了在蛋白质结构预测方面存在的一些困难。     

无K3图的Hamilton性

本文证明了：如果Ｇ是２连通图，且Ｇ不含同构于Ｋ２，Ｐ４＾＋，Ｄ的导出子图，则Ｇ是Ｈａｍｉｌｔｏｎ图或奇数阶完全二部图。