【摘 要】
:
OPS语言系列是目前知识工程领域内强有力的、成熟的产生式语言系统。本文介绍的是OPS5的扩充版本OPS5+,着重介绍了它的特点和程序设计两方面的内容。文中所举例子是基于我们开发的中文OPS5+系统。
论文部分内容阅读
OPS语言系列是目前知识工程领域内强有力的、成熟的产生式语言系统。本文介绍的是OPS5的扩充版本OPS5+,着重介绍了它的特点和程序设计两方面的内容。文中所举例子是基于我们开发的中文OPS5+系统。
其他文献
UNIX以设计简洁、功能齐全、易于移植等突出特点而蜚声计算机界。由于UNIX本身不限于哪一种硬件,是唯一能够在各种微、小、大甚至巨型机上运行的操作系统,因此受到极大重视和欢迎。近年来国外一些有影响的计算机工厂生产的计算机系统大都配有UNIX系统或它的变种(UNIX-like),在微型机上则更为突出。这是因为,随着VLSI技术的发展,系统硬件的性能愈来愈高,以致原来为8位和16位微处理器服务的MS-
近数年来,国外发展了几种以精密电子经纬仪和计算机硬软件组成的坐标测算系统,用于制造工业中大型(大到以百米计)制品的几何元素和有关参数的测定。其测定精度能达十分之几毫米,且能立刻获得测量结果。这就解决了大型产品检验中前所难以解决的问题。本文介绍其原理、测法和应用。
电磁波测距仪的加常数和乘常数这两个概念在使用中引起了混乱,不少人混淆了测距精度与仪器常数的概念,混淆了常数和误差的概念,因而掩饰了仪器检验中的错误,致使用户不能正确计算测距成果。文章澄清了测距精度和仪器常数的概念,笔者认为测距精度不能与仪器常数混为一谈。
本文对扫描电子显微测量(SEMP)的原理、方法进行了讨论,并利用酵母菌进行了试验,绘出了该酵母菌的等值线图,借助于等值线图,求得了酵母菌的表面积和体积。
常规大地测量仪器近年来又有新发展。水准仪的自动读数和自动记录产生了两种方式。激光脉冲测距仪的精度已提高到同相位式测距仪一样。电子经纬仪采用了动态测角系统。激光准直仪拓宽了应用为范围。
在使用经纬仪配合小平板仪施测大比例尺地形图时,由于二者架没的位置一般都相距一个L=1~2米的距离,这就产生了“偏心”问题。本文论证了只要以L的图上长度l为直径所作出的一个圆,就是实用的偏心修正图。它可以在小平板仪照准碎部点时,在照准仪直尺斜边所示方向线与该圆周线的交点处,直接用经纬仪测得的水平距离
随着微电子学和计算机技术的飞速发展,摄影测量已从模拟阶段进入解析阶段,并进一步向着数字摄影测量过渡。影象匹配是数字摄影测量中的重要课题,基于特征的影象匹配又是其中的重要环节。为此国内外有关学者作了大量的研究,取得了丰硕的成果。为促进该工作的深入,我刊组织了题为“基于特征的影象匹配”的专题讲座。其内容包括:兴趣点选择、边缘检测和基于特征的匹配算法等三方面。共分三讲,连续刊载,特告读者。——编者
控制网的平差连接,通常不考虑时间因素,采用静态方法处理。如果主附网测设时间间隔过长,点位随时间发生变化,就应引入坐标速率参数,采用动态模型进行连接。本文提出两种动态连接模型,导出了平差公式,讨论了实施这种模型的一些具体问题。
本文推导了在附有限制条件的条件平差中,顾及起始数据误差影响时,计算单位权中误差和平差值函数的方差的公式。给出了计算实例,并由此引出了其他平差模型的相应计算公式。
本文提出的EPAD图,是对日立公司开发的PAD图的进一步完善和扩充,这里主要介绍了EPAD图在数据描述和数据处理中的图形表示法,并提出了使EPAD图能直接为计算机所接收的设想。