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

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

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

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

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

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

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

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

面向对象技术在分布式实时操作系统中的应用

讨论一种实时对象模型,提出了在研制分布式实时操作系统的过程中,利用面向对象技术,实现进行调度模块和文件系统的上人体构想,并在ＬＩＮＵＸ操作系统上验证了其可行性。     

凸轮-连杆组合机构设计系统

将计算机辅助设计技术、网络技术与机构设计相结合,以组合机构的尺寸综合理论为基础,以机构最小尺寸为优化目标,采用Java作为开发语言,应用模块化的面向对象的设计方法,研制开发了凸轮-连杆组合机构网上设计系统.     

脑信息特征的评价分类方法

对脑信息处理的能力特征量和总体偏离度特征量进行了确定性评价分类.在分类数上,提出了common分类法,以一般人的特征作为分类基准,在common两边展开,以确定分类数.在分类边界上,提出了根据特征量的正态分布确定分类边界的方法.若特征量分布不是正态分布,则采用了博克斯和考克斯变换将其变为正态分布,最终得到能力特征量和总体偏离度特征量的分类规则.由于人的行为是脑信息处理在宏观上的表现,所以其研究成果可直接用来评价人的能力和行为特征.     

高校健身健美专家系统的设计和实现

为研究高校健身健美专家系统的设计和实现方法，探索有效的专家系统建造模型，采用．net编程技术，结合模糊技术、神经网络和面向对象等新技术的出现进行系统分析，构建了知识库及两套推理机，使用了自学习机制，提高了专家系统的运行效率。     

面向对象软件的度量方法

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

面向对象关系数据库在数字图书馆中的应用

对数字图书馆系统中复杂的数据类型组织和处理进行了探讨，并提出了一种运用面向对象思想对关系数据库系统进行扩充的面向对象关系数据库模型。