换一批- 最近
- 已收藏
- 排序
- 筛选
- 65
- 47
- 36
- 1
- 1
- 21
- 9
- 9
- 5
- 5
- 64
- 59
- 57
- 57
- 42
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 主题词
- 外文期刊
- 文献类型
- 刊名
- 作者
- 主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【中文期刊】 朱维军 周清雷 等 《计算机学报》 2016年39卷12期 2578-2597页
【摘要】 该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3'-5'...
- 概要：
- 方法：
- 结论：
【中文期刊】 王艳钗 张会 等 《电子学报》 2016年44卷7期 1561-1566页
【摘要】 本文提出了一种利用DNA纳米金颗粒共聚体的自组装过程解决图论中一个NP完全问题—连通度问题的DNA计算方法，构建了解决图的连通度问题的三维DNA自组装计算模型。根据设计的算法，首先需要根据具体的图的连通度问题设计用于自组装的DNA纳米金颗粒...
- 概要：
- 方法：
- 结论：
【中文期刊】 佘辉 游自立 等 《科技通报》 2013年29卷4期 23-25页
【摘要】 自从Aldeman成功地实现了用DNA计算解决汉密尔顿路径问题,DNA分子的计算潜力得到了许多科学家的高度关注.本文提出一种可实现的高并行性自组装的逻辑运算模型.通过DNA互补配对的特性使计算分子自行识别组装,利用DNA内切酶等处理DNA产...
- 概要：
- 方法：
- 结论：
【学位论文】 作者：温锦达 导师：石晓龙 广州大学 计算机科学与技术 计算机技术（硕士） 2024年
【摘要】 随着摩尔定律的逐渐失效和信息处理需求的不断增长，传统的硅基计算机面临着越来越大的挑战。在这种背景下，科学家开始转向探索DNA计算作为一种全新的计算范式。DNA计算作为一种基于生物分子的计算方法，具有信息容量大、高并发能力等诸多优势，可应用于...
- 概要：
- 方法：
- 结论：
【学位论文】 作者：王雪 导师：韩友发 辽宁师范大学 数学 数学;基础数学（硕士） 2021年
【摘要】 本文重点研究的是DNA分子模型中的缠绕方程组的问题,通过有理缠绕的一些相关知识和酶如何在DNA链上作用并进行重组过程中建立了数学模型,此模型是一类有理缠绕方程,方程左边是未知缠绕的和的分子的N构造形式,右边是已知的二桥结，然后将有理缠绕的定...
- 概要：
- 方法：
- 结论：
【中文期刊】 郑琳 赵元 等 《天津中医药》 2025年42卷2期 246-252页ISTICCA
【摘要】 [目的]基于肠道菌群探究黄芪桂枝五物汤治疗少精子症的机制,并通过生精障碍动物实验进行初步验证.[方法]采用环磷酰胺造模小鼠生精障碍模型,研究黄芪桂枝五物汤对生精功能及肠道菌群的调节作用.实验随机选取10只昆明小鼠为正常组,连续7 d腹腔注射...
- 概要：
- 方法：
- 结论：
【学位论文】 作者：韩英杰 导师：周清雷 郑州大学 软件工程 软件工程（博士） 2020年
【摘要】 计算树逻辑（Computation Tree Logic，CTL）模型检测是形式化方法研究的热点，是保证系统正确性的重要手段之一。DNA计算是以DNA分子和生物酶为材料，以生化操作为计算手段的一种生物计算模式。开展CTL模型检测的DNA计算...
- 概要：
- 方法：
- 结论：
【学位论文】 作者：梁冰 导师：王胜科 中国海洋大学 软件工程 软件工程（硕士） 2018年
【摘要】 模型检测技术被图灵奖得主Clarke等人提出，它是一种可以自动的验证系统是否满足给定性质的技术。一方面，模型检测技术已经被广泛地应用到CPU设计验证、网络协议、安全协议验证、恶意软件检测等领域，并被美国国家航空航天局以及Intel、IBM、...
- 概要：
- 方法：
- 结论：
【学位论文】 作者：邢志宝 导师：蓝雯飞 中南民族大学 计算机科学与技术 计算机应用技术（硕士） 2016年
【摘要】 DNA计算自组装模型是一种DNA计算方式，它具有高度的并行性和自治性、海量的存储能力和编码的灵活性。本文正是利用DNA计算自组装模型的这些特性，解决二部图完美匹配问题和排课表问题。本文首先介绍了DNA自组装计算，并对DNA计算自组装数学模型...
- 概要：
- 方法：
- 结论：
加载中...
