C++中继承机制的语义剖析

面向对象编程语言的语义是目前面向对象技术中研究的重点之一,而其中继承机制的语义研究尤为重要.文章主要分析了C++语言中公有派生、私有派生和对象成员的语义,并且给出了这些语义的联系和区别.特别指出的是,在对象成员和私有派生都可用的情况下,尽可能用对象成员实现.     

C＋＋中建立对象间消息连接的一种系统方法

用过C++进行过面向对象程序设计的用户都知道,程序中的对象很少单独存在。不考虑对象间的相互作用几乎是不可能的。所以,标识对象间的关系或建立对象间的消息连接是面向对象程序设计的一项重要任务。本文着重从C++程序设计的角度,提出一种建立对象间消息连接的实用方法。如果想详细了解面向对象程序设计技术,请参阅有关图书。大家都知道,对象是数据和方法的封装体。在C++中,它们分别表现为数据成员和成员函数。程序设计者通过执行对象的各种方法,来改变对象的状态(即改变对象的属性     

C＋＋语言的封装性

本文讨论了应用Ｃ＋＋语言进行程序设计时经常遇到的封装性问题，比较详细、系统地探讨了对象的私有成员、友元、取地址操作以及抽象与封装的关系。     

OOPSE——一种基于C^＋＋／Java的程序分析系统

面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用。面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发。尽管面向对象的软件开发方法具有很大优点,但也存在着一些问题。例如、语言的灵活性、描述能力和程序可靠性、功能之间难以统一,多态性和动态连使得运行时很难确定在给定的程序点对象的动态类型,封装与继承的矛盾,以及多继承机制复杂的语义等使得人工管理面向对象的软件开发过程变得困难,同时,这也会导致软件开发效率的降低。为此,人们纷纷研究各种类型的支持面向对象软件开发过程的工具和环境,其中最具代表性的有：由北京大学以杨芙清院士为首开发的“青鸟工程”工具,由贝尔实验室的Ｐrem Devanbu 和Laura Eaves共同开发的Ｇen^＋＋,由Danny B.Lange和Yuichi Nakamura共同开发的环境Ｐrogram Explorer等等。这些工具或环境的研制给面向对象的程序设计带来了极大的便利。为了探索新的软件分析支持工具和环境设计和开发的新思路、新方法,围绕面向对象程序设计工具和环境,我们重点研究开发了一种基于Ｃ^ /Java的程序分析系统－－ＯＯＰＳＥ,本文详细介绍了ＯＯＰＳＥ的设计思想,总体框架和实现技术。     

完善C＋＋的虚机制以增强其多态性

在如Ｃ＋＋等强类型面向对象语言中，因仅能通过继承结合虚函数来表达某些动态多态性，从而难以自然有效地描述给某一族类中的各个类都添加一些共同特性。文中提出了的真正虚基类和虚数据成员概念及相应的语言机制可用来方便地解决上述问题，同时又可消除Ｃ＋＋中虚函数与虚基类概念上的不一致，改进和完善强类型面向对象语言中的虚机制，增强其多态性方面的表达能力，并且在多数情况下可以安全、有效地代替受限类属机制和多继承，从     

在C^＋＋中实现多版本永久类

实现面向对象数据库(OODB)的一个方法是在现有的关系数据库中,加入一个对象服务器,使其具有面向对象的特征.     

动态C^＋＋对象的复用

机械设计目前已全面应用ＣＡＤ方法即借助电脑软件实现建模及修改等。为了利用Ｃ＋＋的类封装机制，人们常常开发基于Ｃ＾＋＋的高层面向对象语言来编制机械设计软件。带有虚拟函数或虚拟基类的Ｃ＾＋＋对象包含动态内存指针，这些指针超出创建它们程序生存期即告无效，但开发基于Ｃ＾＋＋的高层面向对象语言必须使用稳固对象。本文分析隐含指针问题并讨论实现对象转储的途径。     

青鸟II型系统面向对象语言CASE C＋＋的设计和实现

ＣＡＳＥ Ｃ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言。在青鸟Ⅱ型系统中，它是对象管理系统ＯＭＳ的操纵语言和所有集成工具的编程语言，同时也是支持最终用户的通用的编程语言。本文首先简要介绍了ＣＡＳＥ Ｃ＋＋的设计背景。然后，较详细地讨论了ＣＡＳＥ Ｃ＋＋中新引入的语言成份：永久对象；类定义的共享机制；永久对象间的关系描述－链和对     

VC＋＋下实现Socket编程方法

利用Socket编程是一类典型的网络通信程序,特别是在实时性要求比较高的项目中,Winsock编程方法是非常实用的。下面介绍在VC 6.0环境下开发 Winsock程序的方法。 这里并没有直接应用MFC提供的CSocket类,这是因为考虑到对于类而言,其成员函数调用必然是完全阻塞方式的,因此只能用于人工线程中。基于这种思想,可以在 CObject类基础上派生一个套接字类,其使用方式为阻塞方式,虽然增加了使用的条件,但可以保证其正常工作,而不会出现不加控制地使用CSocket对象带来的冲突现象。 下面首先将具体介绍有关的套接字类的定义,新创建的套     

DC＋＋：具有分布并行机制的C＋＋

ＤＣ＋＋是一种具有分布并行设施的面对向对象编程语言。它是由面向对象语言Ｃ＋＋向上兼容扩充得到的。本文介绍ＤＣ＋＋语言的设计与实现。     

并行任务动态派生的积极惰性化控制方法

本文给出了并行任务派生的理想状态，分析和研究了积极任务派生（ＥＴＤ）方法和惰性任务派生（ＬＴＤ）方法，指出了这两种方法所具有的局限性，提出了一种新的并行任务派生的积极惰性化方法（ＥＬＤＴ）及其算法．初步研究表明ＥＬＤＴ方法可安全有效地增大计算粒度，在由多个商售单处理器构成的小规模并行系统上ＥＬＤＴ算法有效地控制计算粒度和任务派生，使并行任务的派生近似达到理想状态．     

套代数上的[(m,n)]-导子

设[m]和[n]是任意固定的非零整数且[(m+n)(m-n)≠0],[AlgΝ]是一个套代数,[δ]是[AlgΝ]上的一个自映射。证明了如果对任意的算子[A,][B∈AlgΝ]有[mδ(AB)+nδ(BA)=mδ(A)B+mAδ(B)+nδ(B)A+nBδ(A)],则[δ]是一个导子。     

On computing the semi-sum of two integers

We derive a sound program for computing the semi-sum of two integers using only integer operators and without incurring overflow.     

类型一阶逻辑的理论证明探讨

类型一阶逻辑在传统的一阶逻辑上,引入了类型,它是多态多类逻辑程序设计语言的理论基础,对编译系统设计与实现的进一步发展具有重要意义。论文在类型一阶逻辑的理论层面进行了探讨,引入了基本简单导出的可靠性定理和等值符号的可替换性定理,并予以证明。通过这两个定理,可以简化类型一阶逻辑理论证明中的工作量,使得将来的理论研究更加方便。     

Finite derivation type for Rees matrix semigroups

This paper introduces the topological finiteness condition finite derivation type   (FDT) on the class of semigroups. This notion is naturally extended from the monoid case. With this new concept we are able to prove that if a Rees matrix semigroup M[S;I,J;P]$M[S;I,J;P]$ has FDT then the semigroup S$S$ also has FDT. Given a monoid S$S$ and a finitely presented Rees matrix semigroup M[S;I,J;P]$M[S;I,J;P]$ we prove that if the ideal of S$S$ generated by the entries of P$P$ has FDT, then so does M[S;I,J;P]$M[S;I,J;P]$. In particular, we show that, for a finitely presented completely simple semigroup M$M$, the Rees matrix semigroup M=M[S;I,J;P]$M=M[S;I,J;P]$ has FDT if and only if the group S$S$ has FDT.     

不完全微分PID算法在纯滞后系统中的应用

提出在PID算法中加入一阶惯性环节,通过不完全微分PID算法来改善干扰对系统的影响,用MATLAB仿真分析说明该算法在改善过程的动态性能方面具有良好的控制精度。     

基于数据库事务的不变式推导

作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中。通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关系,是软件维护过程中对系统的内部状态进行监控的重要方法之一。目前,在不变式推导领域,主要的方法和工具都是基于代码进行分析的,缺少与基于数据分析相关的研究和成果。为了解决这一问题,首先提出了基于数据的推导代数等式形式的不变式的算法,然后设计并实现了基于数据库事务的不变式推导的原型工具,最后通过相关实验分析和验证了原型工具的有效性。实验结果表明,原型工具有良好的推导准确率和运行性能,能够弥补现有工具和方法在基于数据的分析领域的不足。     

三个经典数学问题的形式化开发

计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。     

一种特殊的上下文无关文法及其语法分析

SAQ系统是一个进行软件规约获取、检验和复用的实验系统，其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法，则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去(这种描述方法称为朴素表示法),使得语法描述很累赘.为此，作者设计了一种特殊的上下文无关文法,它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化.用这种文法可以相对简洁地描述程序语言和自然语言等复杂概