论文部分内容阅读
本文以在IBM-PC机上实现的PROLOG/BAS解释系统为例,介绍了通过设置内部谓词构造PROLOG与BASIC的接口这一方法,并给出了实例。
PROLOG语言与BASIC的接口——PROLOG/BAS语言解释系统的实现
【摘 要】
：
本文以在IBM-PC机上实现的PROLOG/BAS解释系统为例,介绍了通过设置内部谓词构造PROLOG与BASIC的接口这一方法,并给出了实例。
【出 处】
：
武测科技
【发表日期】
：
1986年02期
其他文献
以国家文件的方式论及改善全国人口分布状况的途径,最初是在1975年拟定的苏联人口分布总规划中提出的。从那时起它经过一系列的协调和检验。同时很多作者整理的基本资料也都取得积极的结果:1982年制定的人口分布总规划被认为是计划前的基础文件。 1983年人口分布总规划具有本质上全新的特点,它反映出:在实行向集约型国民经济增长过渡的形势下对苏联社会经济增长性质和前景的认识达到的新阶段;解决人口分布进一步发
期刊
一九七九年,测量世界各主要工业国家的技术创新水平的指数出现了,这一指数是通过测量研究与开发的花费、研究许可的购买和出售、登记的专利数量、科研工作者的数量以及最终产品的增值得到的。指数值如下:美国100,西德56,日本50,法国38,英国26。用同样的指标去衡量,六十年代日本的指数值最低,日本的研究活动似乎不能与其战后的工业发展相提并论。虽然应指出,西方的研究与开发项目多与国防费用有
期刊
《美国、加拿大地理系指南》是一本工具书,由美国地理系家协会编辑出版,自1968/1969年度初版问世以来,每年增订一次,1985/1986年度即第18版,现已出版。本书原名美、加大学地理研究部指南,第18版介绍了两国所有高等学校地理系概况。计美国大学179所,其中设研究部培养硕士研究生的133所,授予博士学位的53所;
期刊
本文综述了线性方程组的制约性,扼要地讨论了条件数及其有关的计算公式,列举了算例。在此基础上,介绍了在测量数据处理中病态线性方程组的几种解法:直交加边法,阻尼最小二乘法及奇异值分解法。通过算例证实了这些方法的优越性。它们用于电算时,尤为有效。
期刊
1985年12月27日,由我校电仪系、工测系及大地系、生产技术处分别研制的微机通讯系统COMTOOL 1-2-3和pc-1500计算机28KB RAM的扩充和程序固化科研成果在我校由湖北省教育委员会主持通过鉴定。 COMTOOL 1-2-3(Communication TooL)是用于IBM-PC、Apple、pc-1500机之间的通讯系统,由三个软件和相应硬件接口组成。该系统可在三机间互相传递B
期刊
方差分析可以用来检验测量成果中是否有显著的系统误差。本文认为,在应用方差分析检验三角网的测角误差时,只能检验出某个或某些三角形各个测回(或“测套”)的闭合差之间是否有显著的系统误差,或检验出复测三角网各期闭合差是否有显著的系统误差;但不可能检验出在三角网中经测站平差之后的方向或角度是否有显著的系统误差,因而,也不能根据方差分析的检验结果得出“三角测量的测角误差主要来自系统误差”的结论。
期刊
本文对AGA-600激光测距离仪容易出现5米粗差的问题,进行了探讨。分析了5米粗差产生的原因,在解释内光路预置原理的基础上,提出了一个防止5米粗差的简单方法,此方法简单易行,不增加原有的观测步骤。
期刊
由我校名誉校长、著名科学家王之卓教授承担的国家重点科研项目“全数字自动化测图系统”取得突破性进展,其核心部分“数字自动化测图系统软件包(Softuare for DigitalAutomatic Mapping System,简称SODAMS)”研制成功,在1985年12月16～17日由国家测绘局在武汉测绘科技大学主持召开的评审会上受到了与会者好评。出席评审会的代表一致认为,SODAMS系统在自动
期刊
本文主要讨论三角测量水平角观测误差的检验问题,认为应该用多种统计检验的方法来检验水平角观测值中是否有系统误差。检验结果表明,在一般情况下,Ⅱ等全面网的水平角观测误差主要是偶然误差,而系统误差不是显著的。同时,本文还对几种计算三角测量方向(或角度)中误差的方法进行了讨论。
期刊