基于领域复用的软插件库应用研究

目的研究基于领域复用的软插件的原理和实现模型。方法 结合基于领域复用的基本原则,对构造基于领域复用的软插件库的方法进行讨论,并以商用ＰＯＳ机软插件库有组织构造为例进行了具体说明。结果与结论基于领域复用的软插件比传统方法更有利于软件复用。     

Mach的面向对象的设备管理

目的为了设计和实现主式实时操作系统ＣＯＳＩＸ Ｖ２．０／ＲＴ平台,对Ｍａｃｈ３．０微内核的面向对象设备管理的源程序进行剖析。方法依据Ｍａｃｋ的Ｉ／Ｏ管理机制分析源程序,以并行接口为端口编写通讯驱动程序,并验证其正确性。结果 在分析的基础上,通过修改有关驱动程序的接口,实现了两台Ｍａｃｈ机或Ｍａｃｈ与基于ＤＯＳ机之间的通信。结论Ｍａｃｈ３．０采用端口和消息机制,Ｉ／Ｏ接口支持的设备驱动程序２独立于设     

CAD系统中面向对象用户界面的设计与研究

介绍铁路站场ＣＡＤ系统中面向对象用户界面的设计与研究,该系统用户界面的设计充分分考虑了铁路站场ＣＡＤ系统的特点和工程应用,采用面向对象的方法与技术,实现了一个高度图形化和交互式,适用于铁路站场设计工作需要的图用户界面。     

成组技术中面向对象的参数化模型

针对传统成组技术中的编码系统难以使用、编码不够精确和重用困难等问题,提出在成组技术中构造面向对象的参数化模型．该模型用类来描述零件簇,构成零件类的结构层次,生成零件描述的框架;用参数化方法从零件类实例化生成对象,以对象来表示具体的零件;查询时,以零件的特征和零件的具体参数来驱动,加速搜索的过程,并使结果更加精确;找到相同或相近零件对象后,在某个类层次上重用以前的设计．该模型的提出为成组技术的应用提供了新的途径．     

高等几何中的调和共轭

调和共轭是高等几何中最重要的概念之一,有关平面图形与二次曲线的许多重要概念和性质都与此密切相关。它是联系高等几何中各主要概念的一条主线。本文系统讨论调和共轭概念在高等几何中的重要应用。     

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

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

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

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

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

面向对象语义实体联系模型到应用程序体系结构描述语？…

本文提出并设计实现获取用户需求信息的工具－面向对象语义实体联系模型,同时研究此模型实现有的关技术;     

电站锅炉故障诊断系统的广义故障树知识表示方法

故障诊断知识表示是知识处理中最基本的一个问题,其目的在于把领域诊断专家的知识以一定的表达范式表示出来。针对电站锅炉的故障诊断问题,提出了面向对象基于框架、规则、模型与过程集成的广义故障树知识表示方法。它是在故障树的基础上,以诊断对象为中心,应用面向对象技术将多种单一的知识表示方法集成一种混合的表示形式,并给出电站锅炉系统广义故障树诊断对象描述实例。这种知识表示方法具有简洁、灵活、透明,且易于诊断推理的特点。