程序功能的局限性与密码系统

• 作者: 赵永哲 赵焱 邢磊 黄声烈
• 来源期刊: 吉林大学学报(工学版)
• 学科: 工学
• 关键词: 计算机科学技术基础 问题空间 方案空间 可计算性(可判定性) 密码系统
• 年，卷（期）: 2004,（3）
• 页码范围: 507-511
• 页数: 5页
• 分类号: TP301.4
• 字数: 3366字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5497.2004.03.035

摘要

软件开发过程实际上是"问题空间"向"方案空间"的转换过程.根据"问题空间"和"方案空间"的特点,对它们的表示方法进行了抽象,并从一些有代表性的问题入手,对有关程序功能的局限性进行了分析和讨论.由得出的结论可知:无论程序设计语言如何进步,只要最终的实际计算机是基于图灵机模型,则程序的功能总具有局限性,即存在大量不可判定的程序.这从理论上说明了基于"不可计算性"的密码系统的可行性,并为此给出了一个设想方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄声烈	吉林大学计算机科学与技术学院	24	149	8.0	11.0
2	赵焱	吉林大学计算机科学与技术学院	8	89	3.0	8.0
3	赵永哲	吉林大学计算机科学与技术学院	29	115	8.0	9.0
4	邢磊	吉林大学计算机科学与技术学院	10	31	2.0	5.0