论文部分内容阅读
本文显示广义的图灵模型(GTM)通过特殊的映射函数和并行的同时读、写算子,能够在多项式时间求解NP完全的满足性问题(SAT)。示例说明了方法的新颖性。
一种基于分子计算的广义图灵模型
【摘 要】
：
本文显示广义的图灵模型(GTM)通过特殊的映射函数和并行的同时读、写算子,能够在多项式时间求解NP完全的满足性问题(SAT)。示例说明了方法的新颖性。
【机 构】
：
北京邮电大学计算机科学与技术学院,北京,100876 清华大学计算机科学与技术系,北京,10008
【出 处】
：
2006中国计算机学会体系结构专委会学术年会
【发表日期】
：
2006年7期
其他文献
本文在介绍超细晶粒钢特点的基础上,分析了超细晶粒钢的激光焊接性,总结了目前超细晶粒激光焊接存在的问题,以及国内外研究现状,并预测了超细晶粒钢的激光焊接研究方向及发展趋势.
CO2气体保护焊近年来在我国得到了广泛应用,结合在煤气柜安装工程中CO2气体保护焊的应用情况,介绍该焊接方法的特点,以及采取的工艺措施.以达到有效控制焊接变形的目的,使焊接质量和生产效率都得到大幅度的提高.
在各种工艺方法的焊工培训中,电焊工操作技能的提高是整个培训中的关键.要从培训的组织、管理、教学和思想教育给予保证.要使培训过的电焊工有稳定的操作技能,并有一定的工艺水平来指导生产和良好的职业道德来保证生产,才是焊工培训的最佳效果.
本文介绍了本公司近两年重大建筑钢结构工程项目开展的焊接工艺评定,通过对近80项焊评试验与经验教训的总结,发现了一些问题,从而提出一些改进意见与建议,供交流及修订"规程"时参考.
本文对比分析了JB4708、GB50236、、SHJ509、SY/T0452、JGJ81六种焊接标准各自特点及相互差异,综合分析认为JB4708-2000内容较详尽,评定规则科学.涉及JGJ81标准钢结构产品,使用JGJ81标准进行焊评.
本文研发了一组适用于钢结构焊接的GDC型全位置焊接机器人.该型焊接机器人具有在线焊缝轨迹示教、在线全位置焊接参数示教、离线焊接参数设置等智能控制手段,可适应不规则焊缝的轨迹跟踪,实现多层多道焊及全位置焊的自动化焊接,并可灵活方便地完成多台焊接机器人的焊接参数设置.GDC-1型焊接机器人已成功应用于"奥运鸟巢工程"现场焊接,可在建筑钢结构焊接工程中推广应用.
本文针对轨道交通自动售检票AFC(Automatic Fare Collection)系统中央和车站计算机系统中数据库元数据信息的中文语义描述及其应用研究提出一种基于元数据映射的中文语义描述机制。通过该机制可以避免不同开发商对票务和设备状态数据结构的不同定义描述,方便AFC运营管理人员以行业习惯用语理解和分析AFC系统的票务和设备状态数据。在输入中文语义描述过程中,引入统计度量规范重新定义数据字段
本文通过研究典型集群系统存储空间和数据分布的特点,分析了其动态扩展中的弊端,并提出了一种数据重构机制。该机制将指定设备上的数据按一定规律迁移到其他设备上,并在文件属性中加入新的标识变量来标识文件经历的扩展次数,通过一个索引表项来记录标识变量对应的(即发生扩展前后)环境特征。通过分析阐明该机制能有效消除重构前后访问文件时可能产生的混乱,使元数据信息在扩展前后逻辑上保持一致。