强类型面向对象程序设计语言——Toop

本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。     

面向对象语言自然类型检查方法

针对面向对象技术中由于多态等机制导致的类型不安全问题,提出一种解决方案－自然类型检查。该方法对面向对象程序设计中的变量进行类型安全检查,发现由多态、强制类型转换等机制引入的不安全因素,保证程序的正确执行。以Java为描述语言,详细介绍了该方法,并与传统的类型检查进行了比较。     

一种静态分析成员调用方法的研究

在面向对象程序设计中 ,成员调用的静态分析是指在编译阶段确定调用成员函数指针或引用的类型。本文在分析C + +对象模型的基础上 ,对与静态分析相关的三种类型转换的成员调用方法进行了研究 ,针对已有分析方法的不足 ,给出一种新的静态分析成员调用的方法———转型分析法。为优化编译器 ,程序理解提供了一种切实可行的方法。     

面向对象语言中方法的动态结合的实现

本给出了面向对象语言中类和方法名快速动态结合的一种方法。同时给出了利用SPOOL抽象机语言来实现用方法名进行动态结合的过程。     

面向对象语言中继承机制的讨论及选择继承机制

继承是解决软件可重用问题的有效途径。本文从软件可重用性观点出发，讨论了面向对象中的继承机制，就继承实现中的不足作了较深入的讨论，为此提出了选择继承机制，并将其和全盘继承机制作了全面的比较，给出了选择继承在类中的描述步骤。     

面向对象语言中方法的动态结合的实现

本文给出了面向对象语言中类和方法名快速动态结合的一种方法 ,同时给出了利用 SPOOL抽象机语言来实现用方法名进行动态结合的过程     

面向对象数据库语言OL-4的设计

介绍了面向对象数据库系统Daemon4／1的语言系统OL-4的设计和主要特色。OL-4是具有对象库查询和管理的嵌入LISP的面向对象程序设计语言．其持色包括对象的基本模型、继承模式、语言的基本设施以及和库结合后的新机制。OL-4是一种较为完善和功能强大的程序设计语言。     

面向对象式语言中支持约束的方法及实现技术

给出一种在对象式语言中有效地支持约束的方法及其实现技术 .应用这种具有约束描述机制的面向对象语言进行开发 ,可以较好地结合对象式和约束式这两种程序设计的优势 ,从而增强语言的描述能力和问题求解能力 ,具有更广泛的应用领域     

面向对象环境中继承性的研究

本文分析了继承性的重要性之后,讨论了显式化关系的继承性,并分析了继承异常现象出现的原因和较好的解决方案。     

一个面向对象的查询语言实例

从支持面向对象，可表达能力，支持集合和可用性等四个方面来说明一个查询语言。每个方面用查询判别式的例子以精确，清晰的旬符号方式进行了说明。     

平衡的相关免疫函数的一种构造方法

首先讨论resilient函数,推广了文献[1]的一个结论,从而得到了一种构造平衡的相关免疫函数的方法     

AN APPROACH TO LANGUAGE ACQUISITION IN CHILDREN

Through the studying of the process of language acquisition in children, analysis of the three main theories on language acquisition in children and the discussion of communicative competence, this thesis holds that all the three main theories,including Chomsky's,have their limitations and also that Chomsky fails to give sufficient attention to the environmental factors involved in the development of commptence.     

为院校编制课程表的人工智能方法

编制课程表是一个问题求解过程,而该问题是一个约束满足问题。本文由人工排课过程中提取的两个概念(排课准则及课程结构)推导出排课知识中的规则及约束集。人工排课步骤中所使用的各种经验方法,可以用人工智能中的分级规划及回溯等试探性控制策略予以阐明。所以,人工排课过程可以用一个产生式系统给以完整的描述,并在微型计算机上用一个人工智能应用软件实现这个系统。     

面向对象的程序语言的概念在Simula,Smalltalk及C++中的应用

面向对象的方法是下一代语言中最有前途的方法之。面向对象的程序语言介绍了程序语言领域中许多新概念以及有用的概念。在这篇文章中,研究了三种主要的ＯＯＰＬｓ：Ｓｉｍｕｌａ,Ｓｍａｌｌｔａｌｋ和Ｃ＋＋,Ｓｉｍｕｌａ是最早的ＯＯＰＬ．（ｏｖｅｒｌｏａｄｉｎｇ）等都是Ｓｍａｌｌｔａｌｋ对ＯＯＰＬｓ的发展所做的贡献。Ｃ＋＋是第一个被广泛采用的ＯＯＰＬ,是因为Ｃ＋＋是Ｃ语言的高级形式,而Ｃ语言又是目前最通用的程序     

关于最小欧拉定向的算法

给出了无向边集是支撑树的混合图为欧拉图的充要条件，在此基础上，结合Guan和Pulleyblank算法，给出了另外一种求解最小欧拉定向的算法。     

一种判断是否存在固定模的方法

本文考虑时不变线性多变量系统的分散控制问题.引入了分散控制下可控可观子空间的概念,并得出系统没有分散固定模的充要条件是可控可观子空间为全空间的结果,因此给出一种不用直接求固定模而可判断固定模是否存在的判据.     

四川省森林旅游资源可持续发展对策探讨

本文分析了森林旅游的发展历史、作用和四川省森林旅游资源的概况、存在问题 ,并探讨了其持续发展的原则与对策     

模拟集成滤波器非线性失真分析的一种方法

提出一种基于等效小参量法的分析模拟集成滤波器非线性失真特性的算法. 这种算法利用节点电位法或回路电流法建立非线性微分方程,采用等效小参量法进行非线性分析. 阐述了这种算法的原理和基本元件(Schaumann元件)的非线性特性,并给出了典型实际电路的分析结果.