【摘 要】
：
软件开发过程实际上是'问题空间'向'方案空间'的转换过程.根据'问题空间'和'方案空间'的特点,对它们的表示方法进行了抽象,并从一些有代表
论文部分内容阅读
软件开发过程实际上是'问题空间'向'方案空间'的转换过程.根据'问题空间'和'方案空间'的特点,对它们的表示方法进行了抽象,并从一些有代表性的问题入手,对有关程序功能的局限性进行了分析和讨论.由得出的结论可知:无论程序设计语言如何进步,只要最终的实际计算机是基于图灵机模型,则程序的功能总具有局限性,即存在大量不可判定的程序.这从理论上说明了基于'不可计算性'的密码系统的可行性,并为此给出了一个设想方案.
其他文献
美籍华裔物理学家杨振宁教授，由于他在非阿贝尔规范场理论方面的奠基性工作，荣获富兰春式奖章和１９９５年鲍威尔奖。文章简要介绍非阿贝尔规范场理论及其在物理学发展中的重要地位。
阐述了电加载机械传动实验台的构成，加载的试验原理及试验台的使用方法，并附有ＺＬ－２５两级圆柱斜齿轮速器效率的测定结果。
据央视报道,青岛胶州湾大桥未完工便通车,护栏螺栓成摆设。有报道称,根据设计方案,南京南站公交站不是首末场站,不建公交站房,其他配套也很少。遭暴雨侵袭,换乘大厅部分地段
2013年贵阳雷达开始大修,为此省局将新列装的我省第一部724XD雷达架设在贵阳市修文县。并由贵阳雷达站人员值守观测维护,在架设、安装及运行维护过程中,发现对该雷达需具备一
马中经贸总商会秘书长兼环绿棕合有限公司董事经理林恒毅11月16日在比利时布鲁塞尔举行的国际青商世界大会上脱颖而出，击败中国香港和苏格兰的候选人，赢得“2011年国际青商创意
<正>笨狼和他的爸爸妈妈笨狼和他的朋友们ISBN:9787501602308汤素兰著定价:24.00出版时间:2010.01读者年龄段:12岁以下儿童内容简介:天天出版社2010年1月重力推出"汤素兰童话
在离散多频音调制原理的基础上分析了研究了比特分配算法，利用该算法，在数学用户环路上用计算机仿真方法测定了接收信噪比曲巴不得 出了比特分配和功率分配的结果。
赏析提要：作品内容好,诸多名家专家称赞,入选南京台城碑林,先后4次出版,百度百科收入相关词条。2003年9月28日,艺兰斋在南京五星级金陵饭店举行林散之草书专场拍卖会,拍卖林散
目的探讨“掀盖式”切取髂骨松质骨在自体植骨术中应用的方法及价值。方法回顾性分析2004年7月至2008年12月我科采用“掀盖式”切取髂骨松质骨供自体植骨睁61例患者的病例资
目的探讨血清胱抑素C（Cys C）对糖尿病早期肾损害的意义。方法采用全自动生化仪,以免疫比浊法测定37例糖尿病微量清蛋白尿（MAU）患者、36例糖尿病无MAU患者和42例健康对照者血清Cys