【摘 要】
：
1987年,Tom Head发表了一篇论文[3],引入拼接系统(splicing system)的概念作为限制酶与DNA(脱氧核糖核酸)作用、进行DNA重组的数学模型.更重要的是,他还证明正则语言中的一类
论文部分内容阅读
1987年,Tom Head发表了一篇论文[3],引入拼接系统(splicing system)的概念作为限制酶与DNA(脱氧核糖核酸)作用、进行DNA重组的数学模型.更重要的是,他还证明正则语言中的一类——严格局部可测语言,与拼接语言(由拼接系统产生的语言)的子类——持续拼接语言等价.这就架起了分子生物学的数学分析与计算机科学中形式语言理论之间的桥梁.近十几年,全世界生物学家收集的DNA、RNA(核糖核酸)、蛋白质氨基酸序列原始数据不断激增,靠人工来处理这样大量的数据显然力不从心,利用计算机处理这些数据成为必然.生物信息学——一门综合运用数学、计算机科学和生物学的各种工具,来阐明和理解大量数据所包含的生物学意义的新兴学科应运而生,飞速发展起来.生物信息的一个重要内容是序列分析.序列分析中常用的有列比对、神经网络等方法.把形式语言运用于序列分析,是一种新的尝试.日本学者曾把持续局部可测语言用于血红蛋白氨基酸序列的识别,取得很好的实验结果.我们探索把持续局部可测语言用于血红蛋白DNA序列的识别,也获得了不错的实验结果.
其他文献
并行处理系统中的可容错技术是当今计算机科学研究的热点之一，它是指在互连网络中某些处理器发生故障的情形下仍能保证网络中无故障的处理器之间进行可靠的信息传送(可靠是指
该文的目的是研究能够准确模拟不可压流体流动的格子Boltzmann模型以及其他相关的问题,包括热流动模型、非均匀网格模型以及LBM的边界处理方法,从而为流体运动的计算机仿真模
全文共分为五章,第一章简单介绍了VPN的概况,从功能和协议角度对其进行了阐述.第二章主要介绍了IPSec的基本原理.第三、四、五章是该文的重点.第三章提出了对VPN的各种实现方
B.Preneel等人将完全非线性函数(Bent函数)和满足严格雪崩准则的布尔函数(SAC函数)进行了推广,提出了k次扩散准则(PC(k))的布尔函数.由于扩散准则在密码学上,尤其是在分组密
近年来,随着计算机及互联网技术的不断发展,数以百万计千万计的计算机节点组成分布式协作系统网络,它们可以提供计算能力、可以提供资源。在这样一个规模巨大的分布式协作系
计算机集群系统的广泛应用，对作业管理系统产生了迫切的需求。国外一些大型研究机构和公司都将作业管理系统作为提高生产效率和资源利用率的一项技术保证，并面向实际需求开展了
近年来,互联网技术不断发展,网络攻击技术的发展也日新月异,攻击行为已经从零碎的小规模的攻击发展成为大规模的、分布式的攻击.这些大规模分布式攻击严重妨碍了计算机互联网
该文主要对面向对象软件中的类测试和类簇测试进行研究.首先研究类测试,重点在利用扩展的OSD图,产生有效的方法调用序列,来进行类内数据流的测试.接下来,考虑面向对象技术中
分布式实时系统，特别是安全关键应用领域的分布式实时系统，对实时性以及安全性都有严格的要求。随着当前国防科研以及军事应用等安全关键领域的应用对安全性的要求越来越高，安全
随着计算机及网络技术的飞速发展，信息技术带给人类的影响日益扩大，同时也使得计算机系统安全问题日渐突出而且情况也来越复杂。 操作系统安全是计算机系统安全的基础。本论