分享到:

从量子计算视角看计算观念变革

量子计算是遵循量子干涉、叠加及纠缠等量子力学规律来实现信息处理的一种全新计算模式。量子计算不仅表现出传  (本文共2页) 阅读全文>>

《哈尔滨科学技术大学科学报告会论文摘要汇编》1985年S1期
哈尔滨科学技术大学科学报告会论文摘要汇编

复杂性相对化研究中的若干结果

本文讨论了各种时、空资源有界的可计算函数类,诸如PF(确定的多项式时间有界可计算函数类)、NPF(非确定的多项式时间有界可计算函数类)和...  (本文共1页) 阅读全文>>

《上海交通大学学报》2012年04期
上海交通大学学报

基于可计算函数的C模型互模拟性质

针对嵌入可计算函数的C模型语法中没有Summation操作符,定义了Prime Process概念,并给出进程范式化过程以...  (本文共4页) 阅读全文>>

《小型微型计算机系统》2011年02期
小型微型计算机系统

可计算函数的程序理解方法

为满足大规模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.提出一种以可计算函数为基础的程序理解方法,最大...  (本文共4页) 阅读全文>>

《逻辑学研究》2018年02期
逻辑学研究

算法随机性与逼近元(英文)

本论文将会提出逼近元微分定理的能行化版本。我们证明了在实数集...  (本文共13页) 阅读全文>>