-
题名基于质粒的DNA计算模型研究
被引量：9
- 1
-
-
作者
张连珍
刘光武
许进
-
机构
华中科技大学控制科学与工程系系统科学研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第4期51-52,232,共3页
-
基金
国家自然科学基金资助(编号:60103021)
湖北省自然科学基金资助
博士点基金资助
-
文摘
论文给出了一种基于环状质粒DNA计算的新方法,这种计算质粒包含一个特殊的插入DNA序列片断,每个片断定位在匹配的限制性内切位点,通过剪切和粘贴实现计算过程。论文同时给出了生物计算模型和相关的数学描述,这种模式的计算有待进一步研究。
-
关键词
DNA计算
生物计算
质粒
-
Keywords
DNA computing,Biomolecular computing,Plasmid
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名赋权型自动机的不同模型研究
被引量：1
- 2
-
-
作者
刘光武
石晓龙
许进
-
机构
华中科技大学控制科学与工程系系统科学研究所
Research Group on Mathematical Linguistics Rovira I Virgili University
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第11期1-3,189,共4页
-
基金
国家自然科学基金资助项目(编号:60373089
30370356)
-
文摘
自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,有穷状态自动机是正则语言的识别机器,通常分为确定型与非确定型两种模型,其识别语言的能力是等价的。赋权自动机是另一类重要的自动机模型,自动机的每条转移规则和状态可以赋以某一代数结构上的某一数值,从而可以计算输入字符串的权值。任何有穷状态自动机都可以视为一特殊赋权自动机,因此赋权自动机功能更强大,应用更为广泛。
-
关键词
自动机
赋权自动机
理论计算机
形式语言
-
Keywords
automata,weighted automata, theoretical computer science, formal languages
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名论数字化城市下的信息资源管理
被引量：1
- 3
-
-
作者
李崇明
丁烈云
-
机构
华中科技大学控制科学与工程系系统科学研究所
-
出处
《科技进步与对策》
北大核心
2002年第9期36-38,共3页
-
文摘
城市信息化是实现数字城市的关键,如何对信息资源进行管理就成为数字化城市的首要问题。通过分析数字城市及信息资源的一些特点,对数字化城市下的信息资源管理提出几点建议。
-
关键词
信息资源管理
城市信息化
数字城市
信息资源配置
-
Keywords
digital city
information resources
management
-
分类号
F294
[经济管理—国民经济]
G203
[文化科学—传播学]
-
-
题名可满足性问题的三维DNA图结构算法
- 4
-
-
作者
刘光武
刘文斌
-
机构
华中科技大学控制科学与工程系系统科学研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第6期3-4,18,共3页
-
基金
国家自然科学基金项目(编号:60103021)
-
文摘
论文提出用三维图结构解决DNA分子计算问题,给出了解决3-SAT问题的方法。在所提出的方法中,算法所要求的步骤与公式中变量的数目相等。
-
关键词
可满足性问题
三维DNA图结构算法
DNA计算
三维图结构
NP完全问题
SAT问题
-
Keywords
DNA computing,three dimensional graph structure,SAT problem,contact network
-
分类号
O22
[理学—运筹学与控制论]
TP301.6
[自动化与计算机技术—计算机系统结构]
-
