Institutional Repository
| 一个实数上的计算模型URM | |
| Alternative Title | Computation Model URM over Real Numbers |
| 曹严明 | |
| Major | 计算机软件(Computer software) |
| 1993 | |
| Degree Grantor | 中国科学院软件研究所 |
| Degree Level | 博士 |
| Place of Degree Grantor | 中国科学院软件研究所 |
| Keyword | 计算模型 计算方法 实数 |
| English Abstract | 本论文提出了一个实数上的计算模型URM，并证明了它与无穷维BSS计算模型等价。URM模型较BSS模型有更清晰的表达。事实上，提出URM模型的主要目的之一就是为了化简BSS模型。同时URM模型的最大特点是程序与数据的分离，即算法独立与参数之外。作者认为这一特点对实数上的计算理论的研究极有帮助。本文还为每个URM机器配数，继而构造一个通用机。并引进把两个实数配成一个实数的配产函数，而把每个URM与一个非负实数相对应。在此基础上证明了R上相对的Padding引理和枚举定理。列举了URM通用机的两个应用。讨论了一个具体的配数函数，它是BSS－可计算函数的极限。 |
| Pages | 32 |
| Language | 中文 |
| Content Type | 学位论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7332 |
| Collection | 中科院软件所_中科院软件所 |
| Recommended Citation GB/T 7714 | 曹严明. 一个实数上的计算模型URM[D]. 中国科学院软件研究所. 中国科学院软件研究所,1993. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| N89913.pdf（1249KB） | 限制开放 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment