可满足性问题的三维DNA图结构算法

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:ChinaKing1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘 要 论文提出用三维图结构解决DNA分子计算问题,给出了解决3—SAT问题的方法。在所提出的方法中,算法所要求的步骤与公式中变量的数目相等。
  关键词 DNA计算 三维图结构 SAT问题 接触网络
  
  文章编号1002—8331—(2003)06—0003—02 文獻标识码A 中图分类号TPl8
  ,
其他文献
摘要介绍并分析在Intemet上传输语音数据的技术,主要介绍语音压缩的原理和其控件应用技术及用Delphi在网上开发语音传输程序的关键技术和技巧,并给出一程序实现的例程。  关键词 Intemet 音频压缩管理器 嵌套宇控件  文章编号1002—8331—(2002)24—0165—02 文献标识码A 中图分类号TP391.6
期刊
摘 要 文章从分布式多媒体应用端到端QoS控制的角度,首先介绍了QoS的定义和标准,而后分阶段、分层次地阐述了QoS的控制和管理框架,包括QoS控制机制的设计原则、QoS的描述、QoS控制和管理机制以及QoS的控制层次。  关键词 服务质量 端到端QoS控制 管理框架  文章编号1002—8331—(2002)24—0154—07 文献标识码A 中图分类号TP37
期刊
摘 要 文章介绍了863/CIMS国产数据库客户端软件OpenTools的Web报表应用开发与支撑框架,它以XML为报表数据和格式的描述及表现手段,以应用服务器为中心进行Web集成,并利用软件构件来搭建基于Web的报表应用,动态生成XML或HTML格式的报表。它充分结合了XML、构件和应用服务器技术的优势,既能提供企业级的数据库访问功能,又可以满足报表显示的需要,具有较大的重用粒度,能够有效地
期刊
摘 要 首先给出了一种面向对象的实视图模型——对象视图模型,可以在数据仓库中描述复杂对象,井有利于前端工具OLAP的实现。然后在此基础上提出了对象视图模型增量维护算法——OMVIMA,该算法能够有效地实现从数据源到数据仓库中对象(数据)的增量抽取和加载等维护工作。最后给出了算法的性能和效率分析,并通过应用实例证明了该算法比基于纯关系实视图的实现方法具有更高的效率。  关键词 增量维护 数据
期刊
摘 要 作为数据仓库的关键部件,支持数据抽取、清洗、转换和装载的工具集对任何数据仓库工程都是一个必不可少的成功因素。该文简单介绍了ETL技术,包括ETL的相关概念、ETL在数据仓库中的功能和重要地位以及现有的研究成果,然后重点介绍了ETL的具体设计和实现方法。  关键词 数据仓库 ETL 数据抽取 数据转换 数据清洗 数据装载  文章编号1002—8331—(2002)24—021
期刊
摘 要 主要介绍了在Delphi环境下如何开发工业测控软件的技巧和方法,结合电力机车硅机组均流均压测试软件设计的实例,叙述面向对象的程序设计方法和常用组件的应用。  关键词 I/O地址操作 通讯控件 TChart控件 动态连接库  文章编号1002—8331—(2002)24—0217—03 文献标识码A 中图分类号TP311.52
期刊
摘 要 根据插值理论,建立汽车毛重与所载货物净重之间的三次样条插值函数,用于预测汽车所载货物的净重,并在此基础上,实现了装船货物总量监测系统和智能验衡系统。  关键词 插值 样条 预测 汽车衡  文章编号1002—8331—(2002)24—0228—03 文献标识码A 中图分类号TPl8
期刊
摘 要 在线实时分布式系统应用于机器人是控制网络系统发展的一大趋势。文章开发了基于DCOM(DistributedComponent Object Model)技术和Internet技术的分布式机器人在线实时切割系统。实验结果表明该系统有良好的实时性和稳定性。  关键词 分布式系统 DCOM 机器人 在线控制 实时控制  文章编号1002-8331-(2002)24-0231-03
期刊
摘 要 XML在电子商务的两个重要方面起到重要作用:内容定义和信息交换。文章所提出的“虚拟购物Agent”模型充分利用了XML的这两大新特性,是对新的电子商务发展的有益探讨。该模型通过帮助用户搜索各种型号、价格的商品并代理用户提交订单,使得在用户方看来,整个Intemet就象一个单一的数据库,无须明确具体商家和相关服务站点,整个选购过程简单、明晰。并且有效地减少了服务器间的连接次数,优化网络特
期刊
摘 要 基于对线路平面扫描图产生几何畸变的分析,提出了用NE网格规整方法对大幅面线路平面图进行网格分割与几何畸变校正,并按照NE网格进行图块的拼接,实现了带状平面图的连续无缝显示。  关键词 线路平面图 图像处理 电子地图  文章编号1002—8331—(2002)24—0238—03 文献标识码A 中图分类号TP31
期刊