主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于DNA计算模型的计算树逻辑模型检测算法研究  CNKI文献

计算树逻辑(Computation Tree Logic,CTL)模型检测是形式化方法研究的热点,是保证系统正确性的重要手段之一。DNA计算是以DNA分子和生物酶为材料,以生化操作为计算手段的一种生物计算模...

韩英杰 导师:周清雷 郑州大学 2020-05-01 博士论文

关键词: 计算树逻辑 / 模型检测 / DNA计算 / Adleman模型

下载(40)| 被引(0)

基于DNA计算计算树逻辑模型检测方法研究进展  CNKI文献

计算树逻辑(CTL)模型检测是保证系统正确性和可靠性的重要手段,但严峻的时空复杂性问题制约着CTL模型检测在工业界的应用。DNA计算的大规模并行性和DNA分子巨大的存储密度为解决CTL模型检测的时空复...

韩英杰 周清雷... 计算机科学》 2019年11期 期刊

关键词: 模型检测 / 计算树逻辑 / DNA分子 / 分子计算

下载(112)| 被引(0)

线性时序逻辑公式Xp模型检测的DNA计算方法  CNKI文献

突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式 Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有...

韩英杰 朱维军... 《小型微型计算机系统》 2017年03期 期刊

关键词: 模型检测 / 线性时序逻辑 / DNA计算 / 粘贴自动机

下载(67)| 被引(4)

DNA为载体的线性时序逻辑模型检测  CNKI文献

线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线...

朱维军 周清雷... 《电子学报》 2016年06期 期刊

关键词: 模型检测 / 脱氧核糖核酸 / 线性时序逻辑 / 粘贴自动机

下载(132)| 被引(9)

基于混沌系统的图像加密算法的设计与实现  CNKI文献

当今,伴随着智能设备、物联网以及高清多媒体设备的快速发展,我们生活中绝大多数信息的传输,如文档、音频、视频等,特别是图像信息的传输都要严重的依赖于网络。图像具有形象生动、简单、直观等优点,已经发展成为我们...

杨康 导师:柴秀丽 河南大学 2016-06-01 硕士论文

关键词: 图像加密 / 超混沌 / 置乱 / 扩散

下载(225)| 被引(3)

基于DNA计算的线性时序逻辑模型检测方法  CNKI文献

该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链...

朱维军 周清雷... 计算机学报》 2016年12期 期刊

关键词: 模型检测 / 脱氧核糖核酸 / 线性时序逻辑 / 粘贴自动机

下载(264)| 被引(7)

基于DNA计算的CTL模型检测方法研究  CNKI文献

模型检测由图灵奖得主Clarke教授等人提出,是一种能够自动验证系统是否满足指定性质的技术,并且在系统不满足性质时提供反例,被广泛地应用于硬件验证、网络协议验证、安全协议验证、软件验证等领域,取得了令人瞩目的成...

李永亮 导师:周清雷 郑州大学 2015-05-01 硕士论文

关键词: 模型检测 / 计算树逻辑 / DNA / 计算

下载(78)| 被引(1)

基于粘贴系统的WATSON-CRICK自动机与文法  CNKI文献

本论利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在Watson-Crick自动机的基础上定义了基于粘贴系统的Watson-Crick自动机及其正则文法,并证明了基于...

王安平 导师:汤建钢 伊犁师范学院 2013-06-01 硕士论文

关键词: DNA计算 / 粘贴系统 / Watson-Crick自动机 / Watson-Crick正则文法

下载(16)| 被引(0)

几类NP-完全问题的DNA计算模型与计算DNA数学模...  CNKI文献

DNA计算是以DNA分子和生化反应为基础的一种新型计算方法。DNA计算的巨大并行性与高度存储能力,吸引了许多来自不同领域学者的关注。到目前为止,已经有许多成果证明了DNA计算的可行性,...

聂晓艳 导师:汤建钢 伊犁师范学院 2013-06-01 硕士论文

关键词: DNA计算 / DNA粘贴模型 / DNA粘贴系统 / NP-完全问题

下载(78)| 被引(1)

基于DNA序列和自组装的图像加密研究  CNKI文献

随着互联网的迅猛发展,通过网络传递图像信息已经变得十分普遍。因为这种传递方式不仅不受地域地限制,而且高效快速,同时还可以节约大量的费用。但是由于网络自身存在的协议、系统等方面的缺陷,人们在享受网络传递带来...

周士华 导师:魏小鹏 大连理工大学 2013-03-01 博士论文

关键词: 图像加密 / DNA序列 / DNA元胞自动机 / DNA自组装

下载(986)| 被引(14)

基于粘贴系统的Watson-Crick正则文法及自动机  CNKI文献

通过介绍DNA计算中的相关知识,利用DNA语言和粘贴模型及粘贴系统构造Watson-Crick正则文法,简单介绍了Watson-Crick自动机.

赵洋 汤建钢 《伊犁师范学院学报(自然科学版)》 2012年01期 期刊

关键词: DNA计算 / 粘贴系统 / 文法

下载(31)| 被引(1)

利用DNA长度编码实现分子计算  CNKI文献

随着科学技术的发展,计算机的运算速度越来越快。但是在现有的计算模式下仍有不能仅依靠速度的增加而能有效解决的计算问题。这类问题随着其规模简单地扩大可抵消掉计算速度增长的优势,因而单...

乔柱 导师:游自立 电子科技大学 2010-04-22 硕士论文

关键词: DNA计算 / 粘贴模型 / 分子计算 / DNA重组

下载(84)| 被引(1)

能读出转移路径的分子自动机模型  CNKI文献

分子自动机模拟电子计算机是DNA计算领域内的重要内容,该文在对已有的模型进行分析的基础上,提出了模拟有穷自动机分子自动机模型.在能读出转移路径的分子自动机模型中,巧妙...

王小艳 《德州学院学报》 2010年02期 期刊

关键词: 分子自动机 / 模拟 / 子自动机

下载(21)| 被引(0)

基于DNA下推自动机二进制减法和乘法的实现  CNKI文献

提出了基于DNA下推自动机二进制减法和乘法的实现方法.一位二进制借位减法,是通过预先构造好的DNA下推自动机模型在一个试管中以该模型的运行方式自动完成运算.m位二进制借位减法,是在一位二...

程珍 黄玉芳... 计算机学报》 2009年12期 期刊

关键词: DNA下推自动机 / 借位减法 / 乘法 / 移位操作

下载(173)| 被引(2)

基于Langton参数的一维DNA元胞自动机的涌现~#...  CNKI文献

通过引入DNA元胞自动机的概念,利用总和规则研究基于Langton参数的半径为3的一维DNA元胞自动机,得到了W olfram的4个等级.结果表明,随着参数λ的不同,DNA元胞自动机展现出不同的...

王慧敏 闫广武... 《吉林大学学报(理学版)》 2009年05期 期刊

关键词: 一维DNA元胞自动机 / Wolfram等级 / Langton参数 / 总和规则

下载(128)| 被引(0)

基于DNA计算分子下推自动机(英文)  CNKI文献

DNA分子计算的工作原理是对生物系统进行编码,以生物化学反应为基础,利用生物技术实现生物系统的状态转移来推进计算过程.2001年以色列的Yaakov Benenson等人在基于DNA计算的发卡模型实现了具有状态...

张征 刘洁... 计算机学报》 2008年12期 期刊

关键词: 分子下推自动机 / DNA计算

下载(151)| 被引(2)

基因定位方法的创新与DNA自动机硬件的研究  CNKI文献

基因分型,统计分析和基因功能研究是现代遗传学研究中的三个核心组成部分。这三个部分顺序衔接,成为揭开遗传疾病致病机制的重要手段。本文对这三个部分的研究方法做出细致的分析并针对存在的问题提出改进方法。首先,...

陈鹏 导师:贺林 上海交通大学 2008-12-05 博士论文

关键词: 基因定位 / 连锁分析 / 等位基因特异性PCR / 纳米金

下载(210)| 被引(2)

基于粘贴系统的DNA计算模型问题研究  CNKI文献

自从Adleman博士1994年成功地给出用DNA计算方法求解有向图的Hamilton有向路问题以来,关于DNA计算DNA计算机的研究开始飞速的发展,无论在理论研究上,还是实验方式的研究上都取得了很大的进展。 ...

王伟 导师:殷志祥 安徽理工大学 2008-06-04 硕士论文

关键词: DNA计算 / 粘贴系统 / 有向哈密顿路

下载(111)| 被引(0)

基于人工生命的电子细胞模型研究  CNKI文献

人工生命是计算机科学新的发展方向之一,电子细胞模型的建立与研究是人工生命重要的研究方向。电子细胞在计算机上模拟再现真实细胞的结构和物质组成,用于探索并最终发现细胞生命活动的新规律。现有电子细...

卢欣华 导师:孙吉贵 吉林大学 2008-04-01 博士论文

关键词: 人工生命 / 电子细胞 / 虚拟细胞 / 基因表达

下载(660)| 被引(4)

用于信息加密的分子自动机的编码研究  CNKI文献

利用DNA计算的方法构造的分子自动机是一种纳米尺度的计算机构,它能在纳米尺度进行高度并行的逻辑、推理等运算,从而实现自动机的功能,是一种DNA计算和纳米计算的新模型。由于有...

张征 刘洁 《微计算机信息》 2007年36期 期刊

关键词: 分子自动机 / 信息加密 / DNA计算

下载(58)| 被引(2)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状