共查询到20条相似文献,搜索用时 140 毫秒
1.
论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合. 相似文献
2.
从结构化程序设计与面向对象程序设计两种方法的特点、性能、设计思想三方面进行了比较,阐述了面向对象程序设计的优越性及开发步骤。 相似文献
3.
程序设计经历了从线性程序设计到结构化程序设计,然后发展到面向对象程序设计的过程,随着计算机和计算技术的发展,面向对象的程序设计应应用将越来越广泛,分析了结构化程序设计存在的问题和面向对象程序设计的方法,同时了面向对象程序设计的发展趋势。 相似文献
4.
张绍民 《沈阳理工大学学报》1993,(1)
面向对象的程序设计是当今程序设计领域的三种主要程序设计范例之一,并已渗透到许多计算机应用领域。首先概述面向对象程序设计的基本概念,然后讨论面向对象程序设计的软件工程特性:包括可重用性、可扩充性、可维护性和高可靠性。由这些讨论,我们揭示出面向对象程序设计的语言特征与这些软件工程特性之间的内在联系。 相似文献
5.
面向对象程序设计(OOP)是一种全新的程序设计技术,它不仅体现了结构化程序设计的全部特点,而且为程序员提供了一种新的分析和解决程序设计任务的方法。在进行上海宝钢钢管厂便携式数据采集示波系统软件设计时,采用OOP技术进行了系统分析和程序设计,使得整个设计过程思路清晰,软件结构合理,性能可靠且维护十分容易,取得了良好的效果。 相似文献
6.
面向对象有限元程序设计——基本数据类 总被引:5,自引:4,他引:1
将面向对象的程序设计方法引入有限单元法程序设计,通过构建四个数据类、完整地封装了有限元基本数据,并为有限元程序构架的设计奠定了良好的基础。 相似文献
7.
面向对象的有限元程序研究 总被引:3,自引:0,他引:3
陈秀铜 《湖南工业职业技术学院学报》2005,5(1):12-14
介绍了面向对象的程序设计方法和它与有限元程序相结合的原理和优点。运用C 语言。以单元类为例,描述了面向对象的有限元程序设计过程。并与传统的过程化FORTRAN语言的程序设计方法进行了分析比较,说明面向对象方法改善了有限元程序的维护性和扩充性,为开发工程计算程序提供了一种新途径。 相似文献
8.
根据 MS- ACCESS开发数据库系统中的面向对象程序设计技术 ,探讨了在 MS- ACCESS中对象的组成和功能 ,对象的属性和方法 ,对象的使用和程序设计方法 ,并给出示例说明 相似文献
9.
牟学鹏 《承德石油高等专科学校学报》2011,13(1):60-62
《C++程序设计》课程是计算机专业培养学生程序设计能力的重要专业基础课程,课程重点培养学生面向对象程序设计的基本思想和方法。论述了《C++程序设计》课程教学改革中的一些经验和体会,实际运用中取得了较好的教学效果。 相似文献
10.
黄远林 《武汉钢铁学院学报》1995,18(1):92-96
本文首先介绍面向对象程序设计的基本概念,然后深入剖析这种新的程序设计方法和传统设计方法之间的联系和区别,最后介绍面向对象程序设计的一般原则。 相似文献
11.
黄智生 《哈尔滨工程大学学报》1986,(3)
逻辑程序设计语言HPROLOG是一种类prolog语言,它将主要作为一种推理数据库的查询语言.HPROLOG1是HPROLOG的一个基本子集,它具有逻辑程序设计语言prolog的基本功能和特点.本文将主要介绍在实现逻辑程序设计语言HPROLOG1中所采用的一种合一算法,目标栈的回溯控制方式以及循环检测的有关理论及其算法. 相似文献
12.
针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解释器的实现方案.并发访问共享资源的实例表明,MSVL比其他时序逻辑语言更接近高级语言,并且解释器的实现方案是切实可行的. 相似文献
13.
陈晶晶 《重庆理工大学学报(自然科学版)》2013,(10):5-9,18
在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景.指出:逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,在赞赏ILP优点的同时,也要看到ILP的不足之处. 相似文献
14.
面向对象的时序逻辑语言 总被引:2,自引:0,他引:2
针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。 相似文献
15.
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域... 相似文献
16.
17.
现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征:(1)逻辑命题是重言式;(2)逻辑命题假定对象和世界的存在;(3)逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。 相似文献
18.
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法,BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性。文章通过对GNY逻辑的可靠性分析,指出GNY逻辑是一个不可靠的认证逻辑系统。 相似文献
19.
针对互联网环境下存在丰富多样的软件资源,为了能够有效地重用已有的软件资源,需要对软件资源进行模块化,基于面向方面的编程思想的方面化特征模块为软件模块化,构建提供了1种新型的软件构建方法,该方法能够根据不同方面抽象出软件特征形成的具有相应特征的软件模型,封装成为可重用的AFM模块,利用逻辑程序语言描述方面接口,实现业务逻辑层面的软件重用,提高了软件重用的层次与范围. 相似文献
20.
程序异常是程序运行中不可避免的现象,处理程序异常的一种主要手段是进行预防性程序设计.本文在应用实例的基础上,对一般程序中出现的异常现象及异常处理机制、步骤、策略等进行了分析探讨. 相似文献