检索结果-维普期刊中文期刊服务平台

基于DNA计算的线性时序逻辑模型检测方法被引量：4: 1; 作者朱维军周清雷张钦宪《计算机学报》 EI CSCD 北大核心 2016年第12期2578-2597,共20页; 该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi... 展开更多; 关键词模型检测脱氧核糖核酸线性时序逻辑粘贴自动机有穷状态自动机 dna计算; 在线阅读下载PDF 职称材料

基于粘贴DNA计算模型的分子逻辑与门的实现被引量：2: 2; 作者黄布毅王延峰崔光照《计算机工程与应用》 CSCD 北大核心 2005年第24期112-114,159,共4页; 理论上来说,基于DNA的分子逻辑门是DNA计算机体系结构的产生基础和DNA计算机实现技术的硬件基础。文章提出了一种新的基于粘贴DNA计算模型的分子逻辑与门的实现方法。在此方法中,逻辑门、输入信号和输出信号是DNA分子。可以实现DNA类型... 展开更多; 关键词计算粘贴模型分子逻辑与门; 在线阅读下载PDF 职称材料

基于DNA计算的计算树逻辑模型检测方法研究进展被引量：4: 3; 作者韩英杰周清雷朱维军《计算机科学》 CSCD 北大核心 2019年第11期25-31,共7页; 计算树逻辑(CTL)模型检测是保证系统正确性和可靠性的重要手段,但严峻的时空复杂性问题制约着CTL模型检测在工业界的应用。DNA计算的大规模并行性和DNA分子巨大的存储密度为解决CTL模型检测的时空复杂性问题提供了新思路。文中介绍了基... 展开更多; 关键词模型检测计算树逻辑 dna分子分子计算; 在线阅读下载PDF 职称材料

线性时序逻辑公式Xp模型检测的DNA计算方法被引量：2: 4; 作者韩英杰朱维军 +2 位作者焦林枫刘洋周清雷《小型微型计算机系统》 CSCD 北大核心 2017年第3期553-558,共6页; 突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式 Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA... 展开更多; 关键词模型检测线性时序逻辑 dna计算粘贴自动机; 在线阅读下载PDF 职称材料

粘贴DNA计算模型的几种分子逻辑门的实现被引量：2: 5; 作者王延峰崔光照《计算机工程与应用》 CSCD 北大核心 2006年第1期31-33,46,共4页; 理论上来说,基于DNA的分子逻辑门是DNA计算机体系结构的产生基础和DNA计算机实现技术的硬件基础。在这篇论文中,我们在先前提出的基于粘贴DNA计算模型的分子逻辑与门的实现方法的基础上,进一步提出了基于粘贴DNA计算模型的分子逻辑或门... 展开更多; 关键词 dna计算粘贴模型分子逻辑或门分子逻辑非门分子逻辑与非门; 在线阅读下载PDF 职称材料

发夹结构在建立DNA计算机中的应用: 6; 作者陈瑞林兆骥《计算机工程与应用》 CSCD 北大核心 2005年第5期40-41,134,共3页; 文章在分子信标作为底物的情况下,用含有发夹茎环结构的核酶建构非门、与门和异或门。; 关键词发夹结构分子信标 dna计算机逻辑门; 在线阅读下载PDF 职称材料

DNA自组装模型的几种分子逻辑门的计算: 7; 作者单静怡唐静静殷志祥《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第2期176-179,共4页; 分子逻辑门是DNA计算机的重要单元,也是实现运算法则的基本条件。文章以DNA自组装模型为基础,构造了特殊的环状DNA序列。通过将分子信标作为输入信号,或者对输入信号进行相应的标记,实现了与非门、或非门和异或门3种常见复合逻辑门的构... 展开更多; 关键词 dna自组装模型环状dna结构逻辑门分子信标 dna计算; 在线阅读下载PDF 职称材料

基于DNA和限制性核酸内切酶的基本逻辑门设计被引量：1: 8; 作者柳娟谢文彬 +1 位作者汪改英汤敏丽《电子与信息学报》 EI CSCD 北大核心 2020年第6期1332-1339,共8页; 由于DNA分子具有特异性、高并行性、微小性等天然特性,在信息处理过程中展现出了强大的并行计算能力和数据存储能力。该文研究将具有特异性识别功能的限制性核酸内切酶引入DNA链置换反应中,作为DNA电路的输入,通过控制立足点的生成和移... 展开更多; 关键词分子逻辑计算 dna链置换限制性核酸内切酶基本逻辑门; 在线阅读下载PDF 职称材料

题名基于DNA计算的线性时序逻辑模型检测方法被引量：4: 1; 作者朱维军周清雷张钦宪; 机构郑州大学信息工程学院郑州大学基础医学院; 出处《计算机学报》 EI CSCD 北大核心 2016年第12期2578-2597,共20页; 基金国家自然科学基金(61250007 U1204608 +5 种基金 U1304606 61373043 61572444) 中国博士后科学基金(2012M511588 2015M572120) 河南省高等学校青年骨干教师资助计划(2014GGJS-001)资助~~; 文摘该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码,从而获得实现公式的粘贴自动机;其次,使用5′-3′型单链DNA分子对系统模型进行编码,从而获得粘贴自动机的输入字符串;最后,对表征粘贴自动机的DNA单链分子和表征输入字符串的DNA单链分子实施一系列生化反应,即可判定系统是否满足公式.分子生物学仿真实验结果表明:给出的DNA编码序列能达到99.9%的碱基配对正确率,且新方法成功地对所有4种LTL基本公式与5种LTL常见公式实施了检测;与之对照,已有的方法只能有效检测1种LTL基本公式与0种LTL常见公式.在此基础上,对本实验给出的DNA编码方案直接作位数扩展即可拥有对任意给定LTL一般公式的(理论)检测能力.; 关键词模型检测脱氧核糖核酸线性时序逻辑粘贴自动机有穷状态自动机 dna计算; Keywords model checking deoxyribonucleic acid linear temporal logic sticker automata finite state automata dna computing; 分类号 TP301 [自动化与计算机技术—计算机系统结构] TP384 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于粘贴DNA计算模型的分子逻辑与门的实现被引量：2: 2; 作者黄布毅王延峰崔光照; 机构华中科技大学控制科学与工程系郑州轻工业学院电气信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2005年第24期112-114,159,共4页; 基金国家自然科学基金(编号:60174047 60103021) 国家博士点基金资助; 文摘理论上来说,基于DNA的分子逻辑门是DNA计算机体系结构的产生基础和DNA计算机实现技术的硬件基础。文章提出了一种新的基于粘贴DNA计算模型的分子逻辑与门的实现方法。在此方法中,逻辑门、输入信号和输出信号是DNA分子。可以实现DNA类型的逻辑门操作。需要使用包括聚合酶链反应(DNA)、琼脂糖凝胶电泳、探针的标记与检测等标准的生物工程技术。这些技术集成于DNA芯片中可用于DNA计算机的研制。; 关键词计算粘贴模型分子逻辑与门; Keywords dna computing,sticker model,molecular logic and gate; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于DNA计算的计算树逻辑模型检测方法研究进展被引量：4: 3; 作者韩英杰周清雷朱维军; 机构郑州大学信息工程学院; 出处《计算机科学》 CSCD 北大核心 2019年第11期25-31,共7页; 基金国家自然科学基金项目(61572444)资助; 文摘计算树逻辑(CTL)模型检测是保证系统正确性和可靠性的重要手段,但严峻的时空复杂性问题制约着CTL模型检测在工业界的应用。DNA计算的大规模并行性和DNA分子巨大的存储密度为解决CTL模型检测的时空复杂性问题提供了新思路。文中介绍了基于DNA计算的CTL模型检测的背景,并概述了基于DNA计算的CTL模型检测方法的基本原理。从检测能力的提升、自治化程度的提升和相关问题的解决这3个方面综述了方法的研究进展。在方法检测能力的提升方面,分3个层次综述了研究进展,即从只能检测单个CTL基本公式到能够检测一般公式,从只能检测带未来时间算子的CTL公式到能够检测带过去时间算子的CTL公式,从只能检测CTL公式到能够检测线性时序逻辑、投影时序逻辑和区间时序逻辑公式,表明了方法的检测能力在公式数量和种类上均有大幅提升;在方法自治化程度的提升方面,综述了从基于无记忆过滤模型的人工操作的非自治方法到基于粘贴自动机的分子自治下的自治方法的研究进展,表明基于DNA计算的CTL模型检测方法已实现高度自治化;在相关问题的解决方面,阐述了提升DNA分子特异性杂交有效性预测的效率和构建CTL公式的DNA表示等的研究进展。最后,指出了基于DNA计算的CTL模型检测在研究新方法、构建专用的DNA计算模型和扩展应用领域等方面的研究趋势。; 关键词模型检测计算树逻辑 dna分子分子计算; Keywords model checking Computation tree logic dna molecules molecular computing; 分类号 TP301 [自动化与计算机技术—计算机系统结构] TP384 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名线性时序逻辑公式Xp模型检测的DNA计算方法被引量：2: 4; 作者韩英杰朱维军焦林枫刘洋周清雷; 机构郑州大学信息工程学院; 出处《小型微型计算机系统》 CSCD 北大核心 2017年第3期553-558,共6页; 基金国家自然科学基金项目(61572444)资助河南省科技厅基础与前沿技术研究项目(152300410055)资助; 文摘突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式 Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA计算的模型检测算法,仿真实验结果表明其可行性和正确性,DNA计算框架下的LTL模型检测算法得到了扩充和完善,DNA计算已解决的问题库也进一步丰富了.; 关键词模型检测线性时序逻辑 dna计算粘贴自动机; Keywords model checking linear temporal logic （ LTL ） dna computing sticker automata; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名粘贴DNA计算模型的几种分子逻辑门的实现被引量：2: 5; 作者王延峰崔光照; 机构华中科技大学控制科学与工程系郑州轻工业学院电气信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2006年第1期31-33,46,共4页; 基金国家自然科学基金资助项目(编号:60573190 30370356 +2 种基金 60574041) 0211050900); 文摘理论上来说,基于DNA的分子逻辑门是DNA计算机体系结构的产生基础和DNA计算机实现技术的硬件基础。在这篇论文中,我们在先前提出的基于粘贴DNA计算模型的分子逻辑与门的实现方法的基础上,进一步提出了基于粘贴DNA计算模型的分子逻辑或门和与非门的实现方法。与先前方法类似,逻辑门、输入信号和输出信号是DNA分子。可以实现OR,NOT和NAND类型的逻辑门操作。需要使用包括聚合酶链反应(PCR),琼脂糖凝胶电泳,探针的标记与检测等生物工程技术。这些技术集成于DNA芯片中可用于DNA计算机的研制。; 关键词 dna计算粘贴模型分子逻辑或门分子逻辑非门分子逻辑与非门; Keywords dna computlng,sticker model,molecular logic OR gate,molecular logic NOT gate,molecular logic Nand gate; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名发夹结构在建立DNA计算机中的应用: 6; 作者陈瑞林兆骥; 机构华中科技大学控制科学与工程系生物分子计算机研究所; 出处《计算机工程与应用》 CSCD 北大核心 2005年第5期40-41,134,共3页; 基金图家自然科学基金资助(编号:30370356); 文摘文章在分子信标作为底物的情况下,用含有发夹茎环结构的核酶建构非门、与门和异或门。; 关键词发夹结构分子信标 dna计算机逻辑门; Keywords hairpin structure,molecular beacons,dna computer,logic gates; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名DNA自组装模型的几种分子逻辑门的计算: 7; 作者单静怡唐静静殷志祥; 机构安徽理工大学理学院; 出处《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第2期176-179,共4页; 基金国家自然科学基金资助项目(61170172 61073102); 文摘分子逻辑门是DNA计算机的重要单元,也是实现运算法则的基本条件。文章以DNA自组装模型为基础,构造了特殊的环状DNA序列。通过将分子信标作为输入信号,或者对输入信号进行相应的标记,实现了与非门、或非门和异或门3种常见复合逻辑门的构造。在结果读取中,用检测荧光强度的方法来判断逻辑真值。反应后溶液中有荧光出现时,表示逻辑值为1;反应溶液中没有荧光出现时,表示逻辑值为0。在整个实验过程中,只需要对DNA序列进行相应的设计,可减少因为反应复杂、反应步骤繁多引起的误差。该模型操作简单,灵敏度高,为分子逻辑计算的实现提供了新的思路。; 关键词 dna自组装模型环状dna结构逻辑门分子信标 dna计算; Keywords dna self-assembly model circular dna structure logic gate molecular beacon dna computing; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于DNA和限制性核酸内切酶的基本逻辑门设计被引量：1: 8; 作者柳娟谢文彬汪改英汤敏丽; 机构厦门大学航空航天学院厦门大学信息学院厦门大学深圳研究院; 出处《电子与信息学报》 EI CSCD 北大核心 2020年第6期1332-1339,共8页; 基金国家自然科学基金(61772441,61872309) 国家重点研发计划政府间专项(2017YFE0130600)。; 文摘由于DNA分子具有特异性、高并行性、微小性等天然特性,在信息处理过程中展现出了强大的并行计算能力和数据存储能力。该文研究将具有特异性识别功能的限制性核酸内切酶引入DNA链置换反应中,作为DNA电路的输入,通过控制立足点的生成和移除设计了是门、非门和与门3种基本逻辑门。采用Visual DSD对逻辑模型进行模拟仿真,并通过凝胶电泳实验验证设计。与以往的分子逻辑门比较,该设计反应迅速,操作简便,具有良好的扩展性,为大规模电路的设计提供了可能性。; 关键词分子逻辑计算 dna链置换限制性核酸内切酶基本逻辑门; Keywords molecular logic computation dna strand displacement Restriction endonuclease Basic logic gates; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于DNA计算的线性时序逻辑模型检测方法	朱维军周清雷张钦宪	《计算机学报》 EI CSCD 北大核心	2016	4	在线阅读下载PDF 职称材料
2	基于粘贴DNA计算模型的分子逻辑与门的实现	黄布毅王延峰崔光照	《计算机工程与应用》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
3	基于DNA计算的计算树逻辑模型检测方法研究进展	韩英杰周清雷朱维军	《计算机科学》 CSCD 北大核心	2019	4	在线阅读下载PDF 职称材料
4	线性时序逻辑公式Xp模型检测的DNA计算方法	韩英杰朱维军焦林枫刘洋周清雷	《小型微型计算机系统》 CSCD 北大核心	2017	2	在线阅读下载PDF 职称材料
5	粘贴DNA计算模型的几种分子逻辑门的实现	王延峰崔光照	《计算机工程与应用》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	发夹结构在建立DNA计算机中的应用	陈瑞林兆骥	《计算机工程与应用》 CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
7	DNA自组装模型的几种分子逻辑门的计算	单静怡唐静静殷志祥	《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
8	基于DNA和限制性核酸内切酶的基本逻辑门设计	柳娟谢文彬汪改英汤敏丽	《电子与信息学报》 EI CSCD 北大核心	2020	1	在线阅读下载PDF 职称材料