切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种基于算盘的 —算盘机
一种基于算盘的 —算盘机
来源 :计算机科学 | 被引量 : 0次 | 上传用户:ak19820701
【摘 要】
:
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。
【作 者】
:
胡海星
宋方敏
【机 构】
:
南京大学计算机软件新技术国家重点实验室
【出 处】
:
计算机科学
【发表日期】
:
2004年1期
【关键词】
:
算盘机
递归函数
计算能力
极小化算子
计算模型
Computing . Abacus Machine
Recursive Function
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。
其他文献
新阳选煤厂二期煤泥水系统技术改造
分析了新阳选煤厂二期煤泥水系统存在的问题,并针对浮选入料跑粗,对分级浓缩旋流器组流程进行技术改造。实践证明,通过煤泥水系统的改造,浮选入料+1 mm质量分数由原来的10%以
期刊
煤泥水系统
跑粗
分级效果
coal slime treatment system
coarse slime leakage
classification ef
喷射式浮选机浸没式充气搅拌装置结构参数的试验
介绍了浸没式充气搅拌装置的结构,并与长喉管充气搅拌装置进行对比。通过浸没式充气搅拌装置结构参数的优化试验,确定了喉管内径、喉管长度及喉管出口至假底的距离3个参数。F
期刊
浸没式
充气搅拌装置
浮选机
充气性能
submergence
aeration mixing device
flotation machine
aera
煤泥水在线药剂添加——优化控制平台的设计
介绍了煤泥水在线药剂添加平台和工业现场分流实验系统的设计与构建。通过絮凝剂、凝聚剂添加平台实验,得出絮凝剂添加的控制模型为线性模型,凝聚剂的添加与煤泥水体系的电导率
期刊
煤泥水
分流
溢流
药剂添加
控制模型
slime water
split
overflow
reagent addition
control mod
捣固焦炉烟尘控制技术
为了解决捣固焦炉在装煤和出焦操作过程中产生大量烟尘的问题,通过对目前捣固焦炉烟尘治理技术中存在的一些问题进行分析,并结合某焦化厂技改工程的设计,从工程的基本情况、
期刊
捣固焦炉
装煤烟尘
除尘
控制
改造
tamping coke oven
dust from coaling
dedusting
control
HMDS高效煤用重介磁选机的应用
重点介绍了HMDS磁选机的磁系组成,采用钕铁硼与锶铁氧体2种物质作为磁系不仅提高了磁选机扫选区的磁场,而且解决了磁选机卸矿难的问题。论述了HMDS高效煤用重介磁选机在重介选
期刊
HMDS
重介磁选机
磁系
磁场强度
HMDS
dence medium magnetic separator
magnetic system
mag
蓝牙-家庭网络中服务调用的设计和实现
家庭网络是一种新兴的网络,面向普通家庭的特点决定了家庭网络对于服务调用的实现接口要求更简单更方便.蓝牙技术凭借良好的技术特点在家庭网络中有着广阔的应用前景,但是SIG
期刊
蓝牙技术
家庭网络
通信协议
服务调用机制
服务发现协议
Service calling
Home network
Bluetooth technology
X
XJX-T16型浮选机改造实践
针对回坡底煤矿选煤厂浮选系统存在的浮选机尾矿灰分低、药剂耗量大、中粗粒级煤泥处理能力差、液面不稳定、吸浆能力易受影响等问题,说明XJX-T16型浮选机的双偏摆式斜叶轮、
期刊
浮选机
粗颗粒
搅拌电机
功率
改造
国家能源局发布《煤炭工业发展“十二五”规划》
(2012-03-28)3月22日,国家能源局发布煤炭工业发展"十二五"规划。吴吟认为,在未来相当长的时期内,煤炭作为主体能源的地位不会改变,到2015年煤炭产量控制在39亿t,《规划》突出了
期刊
工业发展
煤炭
规划
能源
产量控制
标记迁移系统的组合可达性分析
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问
期刊
标记迁移系统
计算机辅助设计和验证
组合可达性分析
状态空间爆炸问题
观察等价
Labeled transition system
Computer-assi
对脑瘤患者手术前的心理护理
脑瘤手术是一种创伤较大的治疗方法,患者入院后,根据不同心理状态及表现,除完成常规护理外,必须进行心理护理,以保证病人正确认识疾病具有良好的心理状态,增强战胜疾病的信心,达到配
期刊
手术前
心理护理
不同心理状态
护理人员
脑瘤手术
生活护理
社会支持
恶性肿瘤
手术后遗症
老年患者
与本文相关的学术论文