在扩展PROLOG中函数和面向对象的程序设计

论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合.     

结构化程序设计与面向对象程序设计的比较

从结构化程序设计与面向对象程序设计两种方法的特点、性能、设计思想三方面进行了比较，阐述了面向对象程序设计的优越性及开发步骤。     

面向对象程序设计和设计技术的分析

程序设计经历了从线性程序设计到结构化程序设计,然后发展到面向对象程序设计的过程,随着计算机和计算技术的发展,面向对象的程序设计应应用将越来越广泛,分析了结构化程序设计存在的问题和面向对象程序设计的方法,同时了面向对象程序设计的发展趋势。     

面向对象程序设计的软件工程特性

面向对象的程序设计是当今程序设计领域的三种主要程序设计范例之一,并已渗透到许多计算机应用领域。首先概述面向对象程序设计的基本概念,然后讨论面向对象程序设计的软件工程特性:包括可重用性、可扩充性、可维护性和高可靠性。由这些讨论,我们揭示出面向对象程序设计的语言特征与这些软件工程特性之间的内在联系。     

面向对象有限元程序设计——基本数据类

将面向对象的程序设计方法引入有限单元法程序设计,通过构建四个数据类、完整地封装了有限元基本数据,并为有限元程序构架的设计奠定了良好的基础。     

OOP技术在数据采集系统软件设计中的应用

面向对象程序设计（ＯＯＰ）是一种全新的程序设计技术，它不仅体现了结构化程序设计的全部特点，而且为程序员提供了一种新的分析和解决程序设计任务的方法。在进行上海宝钢钢管厂便携式数据采集示波系统软件设计时，采用ＯＯＰ技术进行了系统分析和程序设计，使得整个设计过程思路清晰，软件结构合理，性能可靠且维护十分容易，取得了良好的效果。     

面向对象的有限元程序研究

介绍了面向对象的程序设计方法和它与有限元程序相结合的原理和优点。运用C 语言。以单元类为例,描述了面向对象的有限元程序设计过程。并与传统的过程化FORTRAN语言的程序设计方法进行了分析比较,说明面向对象方法改善了有限元程序的维护性和扩充性,为开发工程计算程序提供了一种新途径。     

MS—ACCESS中面向对象程序设计技术的应用

根据 MS- ACCESS开发数据库系统中的面向对象程序设计技术 ,探讨了在 MS- ACCESS中对象的组成和功能 ,对象的属性和方法 ,对象的使用和程序设计方法 ,并给出示例说明     

《C++程序设计》课程教学改革与实践

《C++程序设计》课程是计算机专业培养学生程序设计能力的重要专业基础课程,课程重点培养学生面向对象程序设计的基本思想和方法。论述了《C++程序设计》课程教学改革中的一些经验和体会,实际运用中取得了较好的教学效果。     

专家系统工具HEST的设计与实现

本文介绍了一个基于元逻辑程序设计的专家系统工具HEST.它以逻辑为基础,用元级和目标级相结合的推理方法来实现的.它具有元级推理、模糊推理等机制,函数和面向对象程序设计风格,多种知识表示以及知识的吸收、调节、推理解释等知识库管理和交互功能,是一个良好的专家系统开发环境.     

逻辑程序设计语言HPROLOG1的控制策略

逻辑程序设计语言HPROLOG是一种类prolog语言,它将主要作为一种推理数据库的查询语言.HPROLOG1是HPROLOG的一个基本子集,它具有逻辑程序设计语言prolog的基本功能和特点.本文将主要介绍在实现逻辑程序设计语言HPROLOG1中所采用的一种合一算法,目标栈的回溯控制方式以及循环检测的有关理论及其算法.     

框架时序逻辑语言MSVL中面向对象机制的实现

针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计．基于正则形和正则图,给出了MSVL解释器的实现方案．并发访问共享资源的实例表明,MSVL比其他时序逻辑语言更接近高级语言,并且解释器的实现方案是切实可行的．     

归纳逻辑程序设计研究

在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景.指出：逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,在赞赏ILP优点的同时,也要看到ILP的不足之处.     

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域...     

Prolog语言的特点及其编程技术

本文论述了Ｐｒｏｌｏｇ 语言的语句结构、特点和编程技术, 并且给出了程序设计的实例。     

早期维特根斯坦对逻辑命题的思考及其意义

现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征：（1）逻辑命题是重言式;（2）逻辑命题假定对象和世界的存在;（3）逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。     

GNY逻辑系统可靠性分析

网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法,BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性。文章通过对GNY逻辑的可靠性分析,指出GNY逻辑是一个不可靠的认证逻辑系统。     

一种可重用的方面化特征模块的构建方法

针对互联网环境下存在丰富多样的软件资源,为了能够有效地重用已有的软件资源,需要对软件资源进行模块化,基于面向方面的编程思想的方面化特征模块为软件模块化,构建提供了1种新型的软件构建方法,该方法能够根据不同方面抽象出软件特征形成的具有相应特征的软件模型,封装成为可重用的AFM模块,利用逻辑程序语言描述方面接口,实现业务逻辑层面的软件重用,提高了软件重用的层次与范围．     

基于“活动记录”的面向对象软件开发实践

为了解决在面向对象软件开发中对象和关系数据之间的复杂映射问题,人们开创并积淀了很多方法,本文以“活动记录”（Active Record）这一新兴模式的实现为基础,探讨在解释性语言编程环境下面向对象的软件设计和开发实践过程。