逻辑程序模块化的研究与实现

模块化结构是当今智能语言或工具系统商品化和标准化的一个重要部分。我们在ＧＫＤ－Ｐｒｏｌｏｇ的基础上，设计并实现了一个模块化Ｐｒｏｌｏｇ系统。它同时引入了模块和执行环境的概念，并提供了对这些概念的直接支持，使Ｐｒｏｌｏｇ更适于知识的表示和操作。本文主要研究了Ｐｒｏｌｏｇ模块系统的概念和理论，描述了系统的组织结构，并结合两种实现模块机制的方法介绍了本文的主要实现技术，最后给出了我们引入的模块操作原语。     

一种人机交互式故障诊断专家系统的Prolog实现

本文介绍了以人机交互方式进行故障诊断的Prolog实现方法。主要内容有人机交互式故障诊断专家系统的基本结构,知识获取及知识的表示方法,系统的推理机制,知识库维护等。该系统由于采用模块式结构,并且全部信息用中文显示,因此操作使用非常方便。     

Prolog代码GKD—CDB库的实现算法

在编译型Prolog系统中,Prolog数据库在概念上可看成由两部分组成:源程序库和代码库。由于Prolog包含数据库操作内部谓词,代码库中的代码应该是可修改的。GKD-CDB是我们在VAX-11/780上用C语言实现的一个Prolog代码库。本文论述了其实现算法。     

支持智能体的通信原语库系统的研究与实现*

GKD)—APS是我们基于面向智能体程序设计范例(AOP)设计并实现的一个支持智能体相关概念及智能体间消息通信的Prolog解释器．它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通信等概念，并提供了对这些概念的直接支持．GKD—APS为实现多智能体间的知识通信和合作运行，构造多智能体系统提供了基础，有效地支持了分布式知识系统的研究和开发．     

“提高Turbo Prolog设计效率的几种方法”一文的补充

本刊1991年10期刊登了朱云龙等“提高Turbo Prolog设计效率的几种方法”一文,介绍了在Turbo Prolog程序设计中降低栈需求,节省内存空间的几种方法。这几种方法都是挺好的,能够较大地提高程序设计的效率,作为对该文的补充,笔者再介绍几种提高Turbo Prolog设计效率的方法,供读者参考。一、节省内存的方法 1.去掉不必要的定义和采用覆盖技术,使程序模块化,把不再使用的模块调出。由于PROLOG支持模块结构,实现起来也是很方便的。 2.使用尾部递归定义。尾部递归定义是:如果定义某关系的规则中仅有一个递归规则,且该规则满足:     

基于J2EE的在线考试系统的设计与实现

在线考试系统是实现无纸化、网络化知识评测的实用性系统,该系统不仅节省人力、物力、财力,而且使考试变得规范、科学、简单。基于J2EE平台开发在线考试系统,系统分为3大模块,即:学生在线考试模块、教师管理模块和系统管理模块,通过模块化设计实现在线考试功能。     

GKD—PROLOG／SUN模块系统的设计与实现

模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。     

基于Java的计算机辅助学习系统设计

本文给出了一个基于Java的计算机辅助学习系统的设计。系统核心是一个存放知识模块的知识库。用户通过知识库中结构化知识模块存放的链接地址对知识库中相关的非结构化知识模块进行访问;在人机界面上,系统集成有相关知识的目录结构和查询、上传、下载、浏览等操作并通过FTP传输来实现文集文件传输,最终达到使学生抓住知识要点实现知识的共享来提高学习效率的目的。本文从FTP服务器的架设和JDBC编程等方面进行分析,全面描述了整个系统的结构、运行过程和最终结果。     

硬件逻辑设计的知识库专家系统

本文作者开发了一个设计CMOS电路的知识库专家系统。该系统使用occam高级程序设计语言写的并发算法。该项课题作为日本第五代计算机系统(FGCS)的一个组成部分。本系统的目的是把设计者的专业识知送入计算机并有效地使用,支撑一个从技术指标开始到完成CMOS电路的整个过程。Prolog语言被选为实现工具和知识表示语言。本文举例说明用于系统的知识,特别强调功能设计阶段,这个阶段很大程度上依赖于设计者的专业知识。本文也描述了如何用Prolog语言表达知识和如何建立推理机制。在构成本系统时,对Prolog语言作为新一代CAD系统的实现语言作出估价。     

A320 模拟机遮光板的模块化设计与实现

提出了一种模拟机遮光板的模块化设计方法。该方法在归类系统功能的基础上,通过适当降低操作板与控制板模块间的相对依赖性连接,实现功能与结构的分离、模块的再分割以及数据在各模块间的通信,进而达到独立功能模块设计的目的。进一步,以模块间的通信为例,设计了独立的通信模块,通过加入斯密特触发器而有效抑制了由于通信乱码而致死机的频繁发生。在实际应用中,通过操作实验,证实了该模块化设计方法可大大提高模拟机遮光板通信的可靠性; 同时该方法也可用于模拟机前头顶板和中央操纵台的设计中。     

基于C/S模式的软件工程网络教学系统设计与实现

针对于软件工程专业设计基于C/S模式的网络教学系统包括课件、题库与操作实践3部分组成。系统设计将教学内容模块化,划分为课件模块、实时互动教学模块、题库模块、资源下载模块和学习交流模块,内容包含有文字资料、视频资料和图片资料,采用C/S模式,以网页的形式展现在系统前台。该系统不仅能够实现学生点播学习、教师远程实时授课、师生在线互动等功能,并且能够为学生提供在线阶段性知识掌握情况测评,为师生打造了良好的网络学习环境。     

基于模块化设计方法实现FPGA动态部分重构

介绍了Xilinx FPGA的配置原理和FPGA模块化设计流程以及划分重构模块的原则.通过一个实例介绍了采用模块化设计方法实现Virtex-E FPGA动态部分重构的过程,能使重构模块在系统运行时改变其逻辑功能,而固定模块逻辑功能不中断,同时器件的重构时间大大减少.     

保护控制模块化配置工具软件设计

保护控制模块化配置工具软件PCS-CC用于配置嵌入式保护控制装置的程序,工具面向研发人员、工程人员、用户,以装置为配置管理节点,提供整个变电站的配置方案、显示和操作.工具提供功能丰富的保护控制元件库,实现装置的图形化和模块化组态,并可形成装置驱动包,下载到装置运行,具备在线浏览调试功能.工具用图形化模块化的方式完成嵌入式装置程序组态和逻辑编程,提高了研发和工程实施效率,方便了用户的功能扩展.介绍了模块化配置工具软件的概念、功能、操作场景和主要模块的设计与实现.     

交互式面向对象的Prolog程序设计

本文给出 PC Prolog 的规范模块 CONSULT 及其相应的数据结构,可用作简单交互式面向对象 Prolog 系统的内核。该系统最初是为 CAD/CAM 的应用而设计的,但也可用于许多与复杂层次数据结构有关的领城。     

一个基于关系数据库的Prolog系统

本文提出了一个基于关系数据库的Prolog系统,目的是使Prolog这个强有力的程序语言具有处理检索问题的能力,以适应于演绎和检索的共同需要.这个系统已在IBM-PC上初步实现.本文着重阐述了这种一体化系统在理论上及实际应用中的价值,系统的设计特点及其实现.     

高校食堂网上订餐系统

网上订餐系统采用软件构件化的开发方式,使系统结构分层,业务与实现分离,逻辑与数据分离;以统一的服务接口规范为核心,使用开放标准。系统实现了对信息数据的浏览、查询、编辑和管理等基本数据库操作,采用了模块化设计方法,根据用户的需求及程序的应用与维护的易用性,将各个部分置于不同的模块当中,方便了程序的扩展与维护。     

矿用蓄电池电动机车PLC程序模块化设计

针对PLC程序的模块化需求问题,介绍了一种蓄电池电动机车控制系统PLC程序的模块化设计方法,给出了蓄电池电动机车的工作过程及其控制系统的硬件结构和软件流程,并以行车功能块和可视化模块为例,详细介绍了蓄电池电动机车控制系统PLC程序的模块化设计实现。与传统的PLC编程方法相比,模块化编程思想使程序结构清晰,功能独立,编写简单,有利于整个控制系统的开发和调试。     

锂电池性能检测系统的设计与实现

为满足锂电池批量化和模块化的检测需求,同时实现检测过程远程控制的目的,设计了一种两层分布式控制结构的锂电池性能检测系统。运用模块化的设计思想构建系统,包括上位机部分、以STM32处理器为核心的控制模块及外围电路、锂电池充放电控制模块、信号采集模块等。通过上位机操作,能够实现恒压充电、恒流充电、恒流放电等多种检测工步。测试表明:系统运行良好,便于集中控制和管理;现场检测单元具有较好的扩展性和维护性。     

大规模定制下基于本体的服务产品配置研究*

为了研究服务产品大规模定制的实现,探讨了服务产品大规模定制的实现机理和关键技术,指出模块化设计对服务产品族及服务产品平台的重要性。在服务产品模块化设计的基础上,为了提高服务产品配置知识的共享性和重用性,提出了一般服务产品配置的模型和概念,结构化了服务产品配置的构件和模块,建立了服务产品配置本体。采用网络本体语言OWL形式化服务产品配置的结构知识,采用语义网规则语言SWRL编码服务产品配置的约束知识,并分别映射到JESS推理系统的知识库和规则库中,使用JESS推理机执行推理过程,产生配置结果。为说明该方法的     

基于PCI总线的多功能可定制数据采集系统

为满足航空电子总线数据采集系统的通用性和多功能性,设计了基于PCI总线的多功能可定制数据采集系统;研究了相关总线板卡的驱动函数;采用自顶向下和模块化的方法设计了数据采集系统的系统运行管理模块、数据采集显示模块、数据分析处理模块和记录数据管理模块;使用了多线程、多视图、双缓存和Teechart控件等关键技术.设计实现的数...