论文部分内容阅读
本文扩充了[1]的谓词演算系统。提出了基于时态逻辑公式演绎的程序设计方法,并以实例阐明了这方法的有效性和可行性。最后,从理论上证明了这一结果。
建立在时态逻辑公式演绎基础上的程序设计
【摘 要】
：
本文扩充了[1]的谓词演算系统。提出了基于时态逻辑公式演绎的程序设计方法,并以实例阐明了这方法的有效性和可行性。最后,从理论上证明了这一结果。
【机 构】
：
江西大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1989年01期
其他文献
本文立足于现实首先分析半导体照明中非成像光学的研宄现状,其次阐述LED光源的特性,最后对半导体照明中的非成像光学具体应用情况进行分析,并且提供一定的理论支持。
新中国初期我国面临着西方资本主义意识形态的强势渗透、苏联意识形态建设模式的制约、国民党反动残余势力的思想文化侵蚀和国内多元社会思潮的腐蚀与歪曲等社会主义意识形态
自从七十年代中期结构编辑技术问世以来,迅速得到了计算机软件界的重视,并取得了不少可喜的成果。进入八十年代以来,结构编辑技术更是硕果累累。如美国Cornell 大学的CPS 系统,Wiseonsin 大学C.N.Fischer 等人的Poe 系统,Carnegie-Mellon 大学的GNOME 系统等都已达到了较高的水平,并投入了教学应用。然而,即使是这些高水平的系统,作为软件开发工具来使用它的计
关于“歌曲与青年军人”的调查马传辉歌曲，是青年军人钟爱的伙伴。如果你有机会到部队基层单位小住几天，就会发现，那一座座绿色的军营，简直是一片片歌声的海洋。歌声，伴随他们走向
单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,
【正】 假如在青年面前只有唯一的一条就业道路,那么青年就用不着为了选择而煞费苦心,假如摆在青年面前的是几条、或者是几十条、上百条就业道路,那么,青年就不得不为选择而
农用型无人直升机喷药系统是农用型无人直升机关键技术,飞行控制精度、喷药系统性能、旋翼风场、环境因素等直接关系到农用型无人直升机性能.本文针对某型无人直升机设计了一
在数据库应用中常要求数据压缩存贮。所采用的压缩技术应当有较小的系统开销和期望的压缩效果。文章给出了一种用数据在hash 表的位置作为其编码来取代组织在文件中的该数据本身,以减少文件的数据存贮量的压缩方法。对于文件的域,满足域长较大并且域值个数小于总记录数,或者域长大于域值的平均长度时这种编码压缩方法有效;压缩的编码/解码成为对hash 表一次查找或直接访问的开销。文章也讨论了该方法作为一种数据库管