搜索结果: 1-6 共查到“知识库 电子科学与技术 DNA”相关记录6条 . 查询时间(0.25 秒)
以DNA为载体的线性时序逻辑模型检测
模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机
2016/12/29
线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动...
甲基对钌配合物与DNA相互作用的瞬态发光特性的影响
超快激光与光电子学 瞬态发光 钌配合物
2009/8/13
采用时间分辩的发光光谱技术，测量了新合成的钌配合物［Ru(phen)2(7CH3dppz)］2+与小牛胸腺DNA相互作用的瞬态发光动力学过程，并与以往研究的配合物［Ru(phen)2(dppz)］2+和［Ru(phen)2(dppx)］2+的瞬态发光特性进行对比，更全面地研究了甲基对钌配合物与DNA相互作用的瞬态发光特性的影响.［Ru(phen)2(7CH3dppz)］2+的结构介于［Ru...
光刻及离子束蚀刻技术制作DNA芯片模版
芯片模版 离子束蚀刻 光刻
2009/2/20
采用光刻及离子束蚀刻技术制作面阵石英DNA芯片模版，利用扫描电子显微镜（SEM）和表面轮廓仪测试了所制石英DNA芯片模版的表面微结构形貌特征，分析了所制石英DNA芯片模版出现图形畸变的原因。所用工艺为在其它衬底材料表面制作更大规模及具有复杂结构的大面阵DNA芯片模版奠定了基础。
基于4模数集的并行DNA算术运算
DNA计算 剩余数制 逻辑与算术运算
2013/4/25
在DNA算术运算中引入4模数集剩余数制,以减少运算中的进位影响,实现并行运算,降低算法的复杂度,同时有利于简化DNA编码。首先分析剩余数制的基本原理以及计算模型,然后给出整数模表示的DNA编码方案与并行DNA算术运算的算法,最后讨论DNA剩余算术运算的算法与编码复杂度。
自组装DNA计算在解决NP问题，尤其是破译密码系统方面，具有传统计算机无法比拟的优势。采用DNA分子瓦编码信息，借助于分子瓦之间的粘性末端进行自组装，给出了乘法运算的实现方案。在此基础上，通过引入非确定性的指派分子瓦，提出了一种用自组装DNA计算破译RSA公钥密码系统的非确定性算法。通过创建数以亿计的参与计算的DNA分子瓦，在DNA计算能力允许的范围内，该算法可以并行地测试每个可能的因子，以高概率...
The formation of CdS and CoS2 nanoparticles along the DNA strands have been studied. The systems DNA-Cdl2 and DNA-CoCl2 have been investigated in the solid state in order to form DNA-MX2 complex salts...