PROLOG语言

<正> Alain Colmeraver于1973年设计的一种程序设计语言叫作PROLOG。PROLOG表示用逻辑进行程序设计(programming in Logic)。目的是想设计一个处理逻辑推理问题的语言,使得程序员能够用逻辑来规定机器的任务,不象通常的程序设计那样来规定机器在什么时候作什么。这是语言设计方面的一种新尝试,也是PROLOG是主要的特点。它以程序好写、易读、语句种类少(仅三种)、数据与程序结构统一、文法简洁、表现力丰富、非过程性等特性。它的理论意义和使用价值已引起学术界的普通重视。PROLOG是一个用于符号计算方面的语言,尤其适于解决人工智能方面的问题。因此,深受人们的尝识。日本已把它作为第五代计算机的核心语言来研究和开发。     

PROLOG语言与BASIC的接口——PROLOG/BAS语言解释系统的实现

本文以在IBM-PC机上实现的PROLOG/BAS解释系统为例,介绍了通过设置内部谓词构造PROLOG与BASIC的接口这一方法,并给出了实例。     

基于VB语言网络数据中心提醒程序设计与实现

针对网络数据中心管理工作中涉及大量软件和数据端口维护等工作,现结合实际工作经历,采用基于Visual Basic面向对象编程语言开发网络数据中心提醒程序,解决了人工反复查阅软件版权期限及网络端口操作等问题,从而进一步提高网络数据中心管理效率,为实现网络数据中心自动化办公提供了良好解决方案.     

测量学与C语言程序设计一体化教学的探索

通过分析当前测量学与C语言程序设计教学中存在的问题,提出将两门课程进行一体化教学的设想,并进行初步实践。实践结果表明,将测量学与C语言程序设计进行一体化教学,对于提高学生学习兴趣、改善教学质量和培养学生的实际应用能力等具有明显的作用。提出的设想不仅对测绘工程学生的专业课教学和培养具有显著作用,同时为大多数理工科专业的专业课教学提供一定的参考和借鉴。     

DLT程序设计与应用

在近景摄影测量直接线性变换原理的基础上，加入附加条件建立附加有平行条件的直接线性变换函数模型，探讨了在解算过程中用数据探测法剔除粗差，用验后补偿的方法补偿系统误差的实现。鉴于非量测像机在近景摄影洲量中应用导致直接线性变换解法的重要性和实用性及数据量大、解算过程过于复杂的情况。用VC 编制了直接线性变换的解算程序，对其关键的方法和用法进行了说明。     

SAKAI平台下程序设计与开发课程混合式学习的研究与应用——以测绘工程"C语言程序设计"为例

C语言、C++等程序设计与开发课程是工科专业的必修课,此类课程知识琐碎、实践性强,单一的课堂加实验课的教学模式难以满足知识传授和技能学习的要求。随着网络技术的发展和SAKAI等课程管理软件的出现,在线学习成为学生自主学习的重要形式。本文结合测绘工程专业"C语言程序设计"课程的教学经验,分析了当前开发类课程教学模式的缺点,探讨了基于SAKAI的网络教学平台开展混合式学习的内涵及实现路径。实践表明,SAKAI平台辅助下的混合式学习将课堂教学和在线学习的优势相结合,丰富了师生互动的途径,增强了学生自主学习的积极性,改进了课程考核方式,教学效果良好。     

通用知识工程语言OPS5+

OPS语言系列是目前知识工程领域内强有力的、成熟的产生式语言系统。本文介绍的是OPS5的扩充版本OPS5+,着重介绍了它的特点和程序设计两方面的内容。文中所举例子是基于我们开发的中文OPS5+系统。     

PC—E500与微机间程序/数据相互通讯程序设计

本文编写了ＰＣ—Ｅ５００与微机之间的通讯程序，对程序中的变量及参数进行了说明；并给出了实现通讯的具体方法和注意事项，该程序对于实现测量数据的自动处理有一定的实用价值     

TBC辅助程序设计与实现

针对TBC软件输出的成果报告没有按照我国GPS测量规范作全面的统计分析和质量检核,还需要进行人工编辑,自动化能力较弱的缺陷,在TBC输出的数据文件基础上,设计了TBC辅助程序,并用VB.NET加以实现,解决了TBC输出的成果报告与我国GPS测量规范和测量习惯不一致的问题。     

高精地图的知识图谱表达

高精地图是自动驾驶的“传感器”,为自动驾驶提供必要的先验数据以及相应的超视距感知、校验定位、动态规划和决策控制。然而,高精地图数据供给与自动驾驶知识需求仍存在鸿沟,包括数据量大导致查询困难、数据关联弱导致语义理解和智能决策困难。知识图谱是将知识以图的结构表达出来,以描述实体及其关系,涉及实体抽取和关系抽取。为此,在高精地图数据基础上,引入知识图谱,提出高精地图知识图谱的构建方法,以架起地图数据供给与驾驶知识需求之间的桥梁,支撑高精地图数据到自动驾驶知识的转化。构建的知识图谱实例,一方面将高精地图海量数据采用图进行了二次表达,建立了类似于索引的结构;另一方面显式表达了面向自动驾驶需求的语义关系。实验结果表明,知识图谱能为高精地图的语义查询、知识推理和局部决策规划提供基础。所提出的方法能实现高精地图先验数据的语义结构化,推进高精地图由数据到信息到知识的跨越,为自动驾驶的落地贡献先验知识。     

基于XSL的地图知识表达

随着地图知识的不断积累以及地理数据在Internet中应用范围的不断扩大,越来越多的地图知识需要表达出来。XSL是一种基于XML的可扩展样式表语言,用于不同XML文档之间的相互转换。本文利用XSL表达地图知识,将地理标记语言GML转换为SVG,实现GML的符号化,完成GML的地图表达。并在实验基础上,分析了该方法的原理与优点。     

基于人工神经元网络的空间知识表达与推理方法研究

分析了智能决策支持系统的结构,通过比较指出了基于符号的知识表达与推理方法的不足,阐述了基于神经网络的知识表达与推理的方法,并认为神经网络方法可作为智能空间决策支持系统中符号方法的替代或补充,并通过实例验证了基于神经网络的不确定空间知识表达与推理的有效性.     

MCSs移出青藏高原规律的可视化表达与知识发现

为了客观揭示青藏高原上中尺度对流系统(Mesoscale Convective Systems,MCSs)的演变规律,尤其是它向东移出高原的条件,采用卫星红外影像运动目标计算机自动识别与跟踪技术,提取了高原上夏季MCSs的大小、强度、生命史、形状及分布等空间特征,并将MCSs的空间特征与青藏高原HLAFS资料相关联,建立了MCSs时空数据库.运用面向时空数据挖掘的相关分析法、关联规则及决策树法,求解MCSs东移传播出高原与其周边环境物理场之间的关系,进而建立了400 hPa和500 hPa两个层次上影响MCSs移出高原的环境物理场的可视化概略模型图.从模型图中发现:在400 hPa上,移出高原且方向向东的MCSs主要决定于等压面高度、散度和涡度场,等压面高度变化呈南北向;而在500 hPa上,等压面高度和K指数场是影响MC-Ss移出高原的主要因素,K指数变化呈西东走势.模型图初步揭示了MCSs移出青藏高原的规律.     

MCSs移出青藏高原规律的可视化表达与知识发现

为了客观揭示青藏高原上中尺度对流系统(Mesoscale Convective Systems，MCSs)的演变规律，尤其是它向东移出高原的条件，采用卫星红外影像运动目标计算机自动识别与跟踪技术，提取了高原上夏季MCSs的大小、强度、生命史、形状及分布等空间特征，并将MCSs的空间特征与青藏高原HLAFS资料相关联，建立了MCSs时空数据库。运用面向时空数据挖掘的相关分析法、关联规则及决策树法，求解MCSs东移传播出高原与其周边环境物理场之间的关系，进而建立了400hPa和500hPa两个层次上影响MCSs移出高原的环境物理场的可视化概略模型图。从模型图中发现：在400hPa上，移出高原且方向向东的MCSs主要决定于等压面高度、散度和涡度场，等压面高度变化呈南北向；而在500hPa上，等压面高度和K指数场是影响。MCSs移出高原的主要因素，K指数变化呈西东走势。模型图初步揭示了MCSs移出青藏高原的规律。     

IPL—一种图象处理语言

IPL是采用图象数据库技术实现管理图象数据的一种图象处理语言。文内介绍了它的一些基本概念与设计思想。并且对它的规则以及图象查询作了相应的描述。最后还给出了IPL中的图象处理运算。     

C语言程序设计中SCANF()函数的功能扩展——中西文并存的数据录入与编辑

本文主要介绍C语言应用程序在汉字操作系统下汉字输入、编辑等功能的处理方法。它扩展了C语言原有的功能函数SCANF()的功能,实现了更加灵活的处理方式并且解决了中西文并存的半个汉字的问题.     

面向实体的空间查询语言GSQL的表达与实现

GIS商业软件在进行空间查询时采取面向过程操作,这种方式的缺陷日益明显。因此,设计了一种面向问题表达的空间查询语言GSQL,在MAPGIS7.0面向实体的空间数据模型的基础上,制定了适合该模型的语法规则,具有面向实体的特点。详细论述GSQL面向实体的语法规则和查询结果的表达、GSQL的体系架构以及查询分析器的实现原理。该查询语言目前已经在MAPGIS7.0平台软件上实现,已证明确实可以解决面向过程操作方式带来的问题,以更加友好的方式与用户进行交互。