模块化PROLOG语言的设计与实现

PROLOG语言是基于一阶谓词逻辑的子集——HORN子句逻辑的程序设计语言,以其易于理解和易于书写,在当前正越来越受到重视。本文在分析基本PROLOG语言的基础上,参考有关的工作,设计了一种模块化的PROLOG语言M-PROLOG,并且实现了由Kowalski提出的证明性谓词demo,从而提供了元级推理与目标级推理的接口。最后,本文简单介绍了MPROLOG在Altos-986微机上实现解释系统A-SYSTEM的一些体会。     

贯穿模块化编码的C语言教学过程

针对C语言教学过程中的弊端,秉承工程教育理念,结合多年C语言教学经验,提出在C语言教学过程中贯彻模块化编码的思想,从课堂教学、知识点实验、实用项目的制作、模块化代码在线评测四个方面阐述教学实践中所采取的具体措施以及教学过程中所取得的成效。     

数据库过程语言解释器的设计与实现

本文主要介绍了作者参与开发数据库过程语言解释器,在解释器的设计中借鉴了Java虚拟机和.NETCLR的思想。结合作者的经验,对解释器系统的设计技术与实现方法进行了一定探讨。     

一种模块化的过程控制语言

针对车间级生产过程的自动控制，我们研制了小型的分布式计算机控制系统ＭｉｎｉＤＣＳ，为了便于应用软件的设计，为该系统设计了一种工程技术人员易于掌握的组态语言，称ＢＰＣ语言（Ｂｌｏｃｋ Ｐｒｏｃｅｓｓ Ｃｏｎｔｒｏｌ Ｌａｎｇｕａｇｅ）。本文介绍ＢＰＣ语言的设计及实现。     

逻辑语言剪枝算子的过程语义及其实现

论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Godel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。     

一种可以实现C语言过程评分的方法

C语言程序设计在评分过程中,大多数的考试系统只能按照结果评分,这就导致学生考试成绩要么满分要么零分,不能够真实反映学生的学习水平,利用正则表达式对C语言的程序进行知识点的过程评分,并通过预设输入值,让学生运行自己的程序,得出结果与预设结果值进行匹配,得出结果分,最终结合是否编译,得出总分。     

Modelica语言的过程式建模机制研究与实现

过程式建模是仿真的重要手段。本文通过比较过程式与陈述式两种建模方式,研究了Modelica语言的过程式建模特性,提出Modelica过程式建模机制的实现方案,解决了陈述式语言环境下时过程式模型的兼容问题及过程式模型方程的生成．并在多领域统一建模与仿真平台Mwork中得到了应用。     

模块化Prolog的研究与实现

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。     

本体模块化的研究与实现

将软件工程中模块化的思想引入本体知识库的构建过程中,将本体组织成多个本体模块的集成形式,这样不仅方便了本体的构建,更有利于本体知识库的共享、重用和维护.用模块化的方法构建了汽车驾驶培训领域本体,建立方法库,在本体模块间用查询方式实现模块间的通信.这样的开发经验可以推广到其他领域.     

面向上下文无关语言的信息提取模块化设计

为实现白盒测试的源文件信息提取，提出了通过Lex和Yacc对使用上下文无关文法定义的语言进行词法和语法分析，构建独立的信息提取模块的思想。在函数信息提取部分提出了块和级的概念，用语句结构和语句链表结构将函数定义信息表示出来。在类信息提取部分通过识别出类声明中的成员变量和成员函数的声明信息，建立成员链表结构；识别类声明信息，建立类结构。然后将这些结构信息存入数据库，以供后续模块使用，充分做到了模块独立性和可重用性。这样只需要设计不同的信息提取模块，就可以将目前已经实现的面向C／C＋＋语言的软件测试工具WBoxTool推广应用到其它面向上下文无关文法的语言。     

RP过程控制系统模块化设计方法

针对RP( rapid prototyping)过程的复杂性,提出一种RP过程控制系统的模块化设计方法.本方法将软件和硬件有机结合,激光加工运动控制模块独立设计,可嵌入不同的RP设备中,有效降低开发成本.系统引入了加工代码查错及图形预览算法,可减少成型失败次数,提高成型效率.大量的实例应用验证了本系统的可行性及稳定性.     

基于NetFPGA的模块化硬件路由器实现

NetFPGA是一种可重用的、模块化程度高的开放性硬件平台,可以根据需要实现多种网络应用。详细介绍在NetFPGA平台上,使用硬件实现模块化路由器的方法,设计实施了一系列实验对NetFPGA硬件路由器进行转发功能的验证以及路由性能的测试分析。实验结果验证了该方法的正确性及可行性,为模块化硬件路由器的实现提供了一种新的方法。     

HTML过滤器的分析与模块化实现

HTML过滤器是WAP网关平台系统的重要组成部分,其主要功能是实现HTML文档和WML文档之间的内容转换。该文分析了WML文档和HTML文档的相似与差异之处,并提出了一种模块化的HTML过滤器实现方案。     

PCA-BP算法模块化设计的编程实现

BP算法存在收敛性慢、逼近精度差等缺点。因此,在实际应用中往往需要对BP算法进行相应的改进。利用主元分析法(PCA)对数据样本预先进行降维处理,消除数据间的强耦合性,减少模型的复杂性,然后再作为BP的输入样本从而提高模型的解算速度。在此分析的基础上利用Visual Basic采用模块化的设计方法实现对PCA-BP算法的编程,使学习速率能够进行相应自调整和优化,以此来提高BP网络的泛化推广能力,并能够满足设定的误差精度从而达到现场实际运用需要的目的。     

Eiffel语言的实现

本文介绍 Eiffel 编译器的设计与实现以及核心运行环境的组织。     

高职C语言程序设计课程模块化教学探讨

针对提高高职C语言课程教学质量和教学效果．从内涵和必要性两方面对高职谏程模块化作系统性的分析,并将情境驱动作为动力之源有机地融入到模块化教学设计与实践之中。以计算机C语言课程为例,对该课程作具有现实情境驱动元素的模块化设计。     

算子式语言到过程语言的变换语义

算子式程序设计语言是一个有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言，如何编该类语言是一个应该研究的重要问题，过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程度向过程的转换，本文用模式匹配法，给出了算子式语言到ｗｈｉｌｅ程序的变换语义，给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础。     

FORTRAN语言对C语言过程的调用

在科学工程计算中,FORTRAN语言由于其简单适用而普遍受到重视。迄今为止,大部分工程计算仍用FORTRAN语言来实现。但是由于FORTRAN语言的设计是用于工程运算,因此在菜单制作、通讯、图形等方面存在着严重的不足,而这正是C语言的优势。本文给出FORTRAN语言与C语言共同实现菜单制作的例子。     

城市园林景观设计过程模块化信息融合模型

因传统的信息融合模型存在城市园林景观设计效率低的问题,基于遗传神经网络设计了新的城市园林景观设计过程模块化信息融合模型.在预处理传感器图像的基础上,利用有序数值序列创建数字高程模型.然后通过人工视差辅助机制获得立体正射影像对,结合蚁群算法生成三维园林景观.采用过程维和语境维描述园林设计规模和资源,搭建主体鲜明的模块化园...