论文部分内容阅读
本文定义了程序语言的一种结构武时态语义,即将程序语言中的语句解释为时态逻辑中的公式,并使这种解释保持语言的结构。本文的续篇名为“程序推理”,将讨论在这种语义基础上的程序推理问题。
结构式时态语义
【摘 要】
：
本文定义了程序语言的一种结构武时态语义,即将程序语言中的语句解释为时态逻辑中的公式,并使这种解释保持语言的结构。本文的续篇名为“程序推理”,将讨论在这种语义基础上的程序推理问题。
【出 处】
：
计算机应用与软件
【发表日期】
：
1984年01期
其他文献
本文从较一般情况出发,提出了可瘪管定常流动突变的力学模型,导出了突变临界条件,分析了流体粘性、重力和外压轴向梯度的影响,讨论了几种简单情况。进而就其中的两种做了模型实验。结果表明,所得突变条件是合理的。
期刊
现代地图制图学跨界于几个科学领域,吸取了很多学科的成果与方法,空前地丰富了自己的内容,并逐渐成为很多学科探索规律与显示研究成果的手段。信息论、系统论、传输论等横断科学正受到地图工作者的重视,为我们从整体上探索地图制图学的规律提供了有效的工具,提出了地图信息传输的基础理论。这些进展与地图制图学的计量化、数字化的趋势共同形成了地图制图学的现代特征。可以认为地图制图已经发展成为一门综合性科学。作者建议用
期刊
本文提出了一腔双模矩形开口腔的近似理论,再用金属栅条来控制腔体内两个接近简并的模,使腔外物体只对其中一个模产生做扰(称该模为工作模),而对另一个模不产生微扰(称为参考模)。从理论上可以通过测量双模的谐振频率之差地f_1-f_2=△f及双模的有载Q值之差Q_(L_1)-Q_(L2)=△Q这两个参数来确定腔外物体的两个参数,例如,此物体的含水量及其温度。利用这个原理做出的微波检测设备(例如测湿设备)就
期刊
本文由四部分内容组成。首先提出了地图投影的第三类坐标变换问题,即B、yl、x,B、xl、y;第二、三部分分别讨论了第三类坐标变换的解析方法和数值方法;最后讨论了第三类坐标变换的直线插值方法。第三类坐标变换的提出和研究,不仅具有一定的实际意义,而且丰富了地图投影的研究内容。
期刊
图论在制图和数字地理信息的应用方面的讨论应该给予应有的关注。图论可以为线状要素的制图和数字信息应用提供数学模型。文章讨论了地理信息图的概念和它的数据结构。研究试验了最优路径、最短树、最大流等方面的原理与算法在道路图中的应用。
期刊
离子镀是真空蒸镀与溅射相结合的新工艺。本文着重讨论反应离子镀铟锡氧化物透明导电薄膜的物理特性跟铟锡蒸发物组分之关系,由此得出:反应离子镀工艺,只要恰当的选择蒸发物组分和充氧压,可以获得透光率和导电性能高的透明导电薄膜。
期刊
多年来深感国内缺少专门刊载计算机软件研究成果的学术刊物。《计算机应用与软件》杂志的诞生是值得庆贺的。八十年代是信息的年代。其主要标志是,第一,计算机与计算机网面向人人;第二,计算机化和计算机网化的服务行业面向人人;第三,在某种程度上人们的日常生活受到计算机的控制与管理。这就是说,计算机应用大普及,它渗透到整个社会的各个领域,渗透到人们的日常生活,从而,整个社会将有一个大的飞跃,进入到信息化社会。这
期刊
本文提出了在我国开发微型计算机企业管理系统的必要性和迫切性。作者并对开发微型计算机企业管理系统中的一些问题提出了个人的看法。这些问题是:分布式处理系统和局部网的开发,数据库的研制和应用,应用软件的开发,汉字系统和用户接口的设计以及系统的配套和服务。
期刊