【摘 要】
：
仲萃豪同志《计算机程序的正确性能证明吗?》一文综述了国外对这一问题的进展并介绍了中国科学技术大学研究生冯玉琳在这方面具有一定创见性的研究成果。
Comrade Cher Zhai
论文部分内容阅读
仲萃豪同志《计算机程序的正确性能证明吗?》一文综述了国外对这一问题的进展并介绍了中国科学技术大学研究生冯玉琳在这方面具有一定创见性的研究成果。
Comrade Cher Zhaihao’s Proof of Correct Performance of Computer Programs? This article summarizes the progress made by foreign countries on this issue and introduces some achievements of Feng Yulin, a graduate student at China University of Science and Technology, who have some creative ideas in this field.
其他文献
摘要大型综合性医院内部建筑面积有限,车位资源紧缺,外部交通压力大,给院内交通造成很大压力,严重影响了医院内正常交通秩序和消防、急救通道的畅通。本文对医院停车管理工作开展思考,研究对策,探讨缓解停车难的办法。 关键词综合医院 车辆管理 交通管理 停车难 中图分类号:U491文献标识码:A 大型综合性医院一般地处市中心交通最繁忙的街区,内部建筑面积有限,车位资源紧缺,外部交通压力大,医院停车
本文介绍影响衍射光栅集光效率的几个因素。我们做了关于钻石刀安装角、刀尖角的选取和刻划的调整等方面的工作,并相应地注意了钻石刀、镀膜和刻槽的质量,刻制出了集光效率较
红楼梦研究历史悠久,对中国文化乃至世界文化的影响举足轻重.其众多译本中,由中国知名学者杨宪益及其夫人戴乃迭合译的A Dream of Red Mansions即和David Hawkes霍克斯翻译的
本文介绍的数字式扭矩仪由扭矩传感器和数字显示仪表组成,扭矩传感器是用磁电检测器检测扭轴的扭转变形的装置,数字显示仪表能对传感器输出的电信号进行处理,直接显示出扭矩
汪瑞(中国艺术研究院美术研究所副研究员):王老师,请您先简要谈一谈自己的教育和工作背景。就我了解,您最初所学专业是图书馆学,后来是怎样走上外国美术研究之路的?王端廷(中
摘要人类的存在和发展离不开一定的社会秩序与良好的治安关系,这是人类存在和发展的基本条件和重要保障,同时也是构建社会主义和谐社会的基础性工作和关键环节。 关键词有序化 协调 处置机制 中图分类号:D669文献标识码:A 1 有序化是现代社会秩序的核心理念 正因为社会秩序的存在,社会这一组织化的人类共同体才具有了保障人类存在和发展的以下两种功能:一是确立社会制度。社会制度即社会运行的规
徐翎(中国艺术研究院美术研究所副研究员):张老师,好久不见。这次《美术观察》[热点述评]选题约请名单里有您,我是自动要求对您访谈。想当年,我们的“世界历史课”是您上的。
光速的测定是物理学中最重要的问题之一.由于这个量的数值太大,在历史上最早测定光速的是用天文学的方法.随着实验技术的发展,特别是在信号的接收和时间的测量上发现了优良的
随着改革开放的不断深入和信息的发展，我国信息化发展水平和速度纵向比较，进步很大，信息的收集、加工与运用已成为企业一项重要工作内容。一、收集信息开发产品企业调整产品结构
首先是抓好了B股业务开展前的文件宣传贯彻工作。2月中下旬该支局在收到总局和相关部门的文件后，即迅速组织本市4家外汇经营行和证券经营机构进行了传达；3月初对各相关单位贯彻