| 一个实数上的计算模型URM |
| 其他题名 | Computation Model URM over Real Numbers
|
| 曹严明
|
| 专业 | 计算机软件(Computer software)
|
| 1993
|
| 学位授予单位 | 中国科学院软件研究所
|
| 学位 | 博士
|
| 学位授予地点 | 中国科学院软件研究所
|
| 关键词 | 计算模型
计算方法
实数
|
| 摘要 | 本论文提出了一个实数上的计算模型URM，并证明了它与无穷维BSS计算模型等价。URM模型较BSS模型有更清晰的表达。事实上，提出URM模型的主要目的之一就是为了化简BSS模型。同时URM模型的最大特点是程序与数据的分离，即算法独立与参数之外。作者认为这一特点对实数上的计算理论的研究极有帮助。本文还为每个URM机器配数，继而构造一个通用机。并引进把两个实数配成一个实数的配产函数，而把每个URM与一个非负实数相对应。在此基础上证明了R上相对的Padding引理和枚举定理。列举了URM通用机的两个应用。讨论了一个具体的配数函数，它是BSS－可计算函数的极限。 |
| 页数 | 32
|
| 语种 | 中文
|
| 内容类型 | 学位论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/7332
|
| 专题 | 中科院软件所_中科院软件所
|
推荐引用方式
GB/T 7714 |
曹严明. 一个实数上的计算模型URM[D]. 中国科学院软件研究所. 中国科学院软件研究所,1993.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论