结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

面向对象软件的度量方法

对于估算传统应用程序的规模和工作量，人们已经作了很多的研究。但对于面向对象软件的度量方法的研究还不是很多，本文将讨论面向对象软件的度量方法：以类的属性和方法为基础度量软件规模的OOFP方法和以功能、对象间交流的信息以及通过继承的重用来度量规模的POPs方法。     

对当今艺术设计的思考

设计是一门服务性的大众艺术,已经成为了我们生活的必需,而且人们对设计的要求和看法日趋成熟,作为设计者应该随势而动,重新审视自己,总结设计里程中的得与失.文章从设计的属性入手,重新诠释了设计以人为本,设计为社会服务的精神实质.     

ObjectARX技术在电网CAD中的应用

介绍了面向对象的设计思想和对象的抽象机理在电网CAD（PWCAD）系统中的应用以及ObjectARX编程技术。通过分析电网结构的知识特点入手，阐述了通过利用AutoCAD核心数据库的开放结构和ObjectARX提供的基类及类的继承、派生机制定义电力系统专业对象的过程，以及建模系统的数据交换技术，并给出了电力系统中元件类的具体定义方法，由此建立了PWCAD的对象模型。实现了电网CAD与外部数据库之间的数据交换，即图形数据库的一体化。     

空气水两相段塞流的跟踪模拟及试验研究

分析了前人提出的段塞跟踪模拟方法的优缺点 ,根据液塞头部的加速压降和入口液塞长度分布特征对段塞跟踪模型进行了改进。采用面向对象技术 ,实现了水平和倾斜管道段塞流的跟踪模拟 ,并与多相流试验环道的空气水试验数据进行了对比。模拟结果表明 ,当不考虑加速压降时 ,用跟踪模型预测的压降低于实测值 ;当考虑加速压降时 ,用跟踪模型预测的压降高于实测值。在管道上固定位置测出的压力信号符合正态分布 ,管道上某一固定点处液塞头部和尾部的速度分布也符合正态分布。当不考虑气泡尾波作用时 ,液塞长度沿管线增长较慢 ,分布形状无变化 ;但是考虑气泡尾波作用时 ,在入口附近液塞长度平均值增长较快 ,统计分布沿管轴向呈对数正态分布。     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

速生阶段第2代杉木林养分循环的动态模拟

根据第2代杉木人工林小集水区径流场定位观测的数据资料，利用分室法建立生物地球化学循环的数学模型，并对15％和30％两种间伐强度的模拟结果进行了分析．结果表明，第2代杉木林生态系统中除土壤分室外，其余各分室养分的贮存量呈逐年增加的趋势；与对照相比，两种经营措施对地下部分养分库影响不大，对地上部分养分库影响较大．15％和30％的强度间伐后，生态系统内地上部分养分积累量恢复到间伐前的水平，分别需要6a和9a的时间。     

一类平面三次多项式系统的赤道极限环分支

研究了一类平面三次多项式系统赤道极限环分支问题,给出了易于计算的系统赤道环量的代数递推公式.同时,计算了一类三次系统的前6个赤道环量,得到了系统在赤道邻域的可积性条件及在赤道附近存在5个极限环的系数条件,给出了一个平面三次系统在赤道附近分支出5个极限环的计算实例,并在不构造Poincare环域的情况下,指出了极限环存在的位置.     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

专家系统开发工具中表知识的处理及实现

提出了一种专家系统开发工具处理表知识的方法．该方法结合了面向对象的思想，能够处理用户按照一定的语法规范输入的表知识，而且还能获取和处理Access及SQL Server数据库中的表知识，以简便的方式实现了与多种数据库的接口．以一个专家系统开发工具ESP为例，从数据结构和算法上具体介绍了这种表知识处理方式的实现．