本文基于软件工程和知识工程的观点,讨论了人工智能领域中专家系统的分析、设计、编码调试、评价和维护等问题。知识系统的研制给软件工程提出了许多新问题。
自从七十年代中期结构编辑技术问世以来,迅速得到了计算机软件界的重视,并取得了不少可喜的成果。进入八十年代以来,结构编辑技术更是硕果累累。如美国Cornell 大学的CPS 系统,Wiseonsin 大学C.N.Fischer 等人的Poe 系统,Carnegie-Mellon 大学的GNOME 系统等都已达到了较高的水平,并投入了教学应用。然而,即使是这些高水平的系统,作为软件开发工具来使用它的计
关于“歌曲与青年军人”的调查马传辉歌曲,是青年军人钟爱的伙伴。如果你有机会到部队基层单位小住几天,就会发现,那一座座绿色的军营,简直是一片片歌声的海洋。歌声,伴随他们走向
单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,
【正】 假如在青年面前只有唯一的一条就业道路,那么青年就用不着为了选择而煞费苦心,假如摆在青年面前的是几条、或者是几十条、上百条就业道路,那么,青年就不得不为选择而
农用型无人直升机喷药系统是农用型无人直升机关键技术,飞行控制精度、喷药系统性能、旋翼风场、环境因素等直接关系到农用型无人直升机性能.本文针对某型无人直升机设计了一
在数据库应用中常要求数据压缩存贮。所采用的压缩技术应当有较小的系统开销和期望的压缩效果。文章给出了一种用数据在hash 表的位置作为其编码来取代组织在文件中的该数据本身,以减少文件的数据存贮量的压缩方法。对于文件的域,满足域长较大并且域值个数小于总记录数,或者域长大于域值的平均长度时这种编码压缩方法有效;压缩的编码/解码成为对hash 表一次查找或直接访问的开销。文章也讨论了该方法作为一种数据库管
本文扩充了[1]的谓词演算系统。提出了基于时态逻辑公式演绎的程序设计方法,并以实例阐明了这方法的有效性和可行性。最后,从理论上证明了这一结果。
本文通过在SIEMENS7570·C计算机上调试、运行,研究出了弹塑性有限元分析的一种新算法——修正弦线模量法。在充分考虑SAP5程序的计算速度、计算精度、内存分配以及前后