一种新型的对象类型规范语言

本文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。     

对象类型作为对象和对象作为对象类型

对象类型作为对象和对象作为对象类型Ｏｂｊｅｃｔｔｙｐｅａｓｏｂｊｅｃｔｓ—ａｎｄｖｉｃｅｖｅｒｓ￥ＪａｍｅｓＯｄｅｌｌ正确的对象类型是对象这个事实是面向对象的一个基本概念。然而，大多数面向对象环境都不能很好地支持这个概念。但是这个概念对许多面向对象技...     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较     

对象类型的等价代换与规范化

本文讨论了面向对象数据库模式中对象类型的规范化，基于对象集合的等价提出了类型的一种范式、给出了将类型转换为范式的规则、并且证明了范式的唯一性及转换规则的完备性，本文工作在面向对象数据库设计标准化方面迈出了一步。     

基于关键类型的对象抽取工具的设计与实现

提出了一种新的基于子程序关键类型的对象抽取方法,使用该方法实现的对象抽取工具通过计算面向过程的C系统中各子程序参数的类型复杂度,找出每个子程序的关键类型,将子程序与关键类型打包,抽取出独立的对象。本文还提出了可以简化数据类型复杂度计算的类型系数概念,这些概念及方法对非面向对象系统的软件维护与代码重用技术的研究具有一定的参考价值。     

基于角色分类的子类型关系

事物分类的标准是一个由来已久的话题。文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类。使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了对象类型之间的子类型关系。     

面向对象的类型—子类型分析及推理规则

1 引言面向对象的方法中,对象是作为现实世界中事物的自然映射。为了表达事物的分类关系,在面向对象领域中引入类型的概念,同一类对象具有相同的类型,不同类对象属于不同的类型。另一方面,在面向对象的软件开发的早期阶段,我们可能只知道某个数据抽象的部分操作和行为,随着软件开发过程的进展,对原有的数据抽象又有了新的要求,必须增加新的操作,从而产生新的数据抽象。新的数据抽象可看成是由老的数据抽象精化而来,它们分别由两种类型来描述,这两种类型之间存在子类型关系,而且这种精化过程可以重复多次,从而形成一个层次的子类型结构,它反映了程序各部分的不同要求。以层次方式来设计类型可以控制设计错误的影响范围,把握设计过程以及对实现给予指导。另外,满足子类型关系的继承还可以实现软件的设计重用,往往重用设计比重用代码更有利于软件开发。所以,为了进一步表达事物分类关系的层次性,可以用对象     

面向对象方法中的类型概念

本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步的研究奠定了基础。     

分布式对象数据库系统中的对象管理策略

本文提出了分布式对象数据库系统中的对象迁移和对象调度的概念,对系统中的对象迁移策略和对象调度策略作了详细的研究和讨论。针对系统负载不平衡的问题,给出了对象迁移的动态调整模型和对象迁移时目标地址选择的判定条件及其相应算法。针对对象的调度,本文运用扩展的时间Petri网其调度策略作了模拟,给出了对象最优调度优调度策略的算法实现,事实证明面向对象的技术应用于分布式数据库系统不仅可以提高系统的性能、优化系统的结构、有助于在虚拟网上实现分布式数据库,而且具有一定的实用性。     

面向对象数据库类型继承关系的代数模型

本文将对象类型看做一种行为，而把子类型看做与这种行为相兼容的一种特化。基于这种想法，本文通过扩展有序代数提出一种类型与子类型之间继承关系的代数模型，根据运算是否完全兼容将子类型划分为完全子类型与不完全子类型，并且解决了由于类型继承导致运算重叠而引直起二义性问题。     

On simulation,subtyping and substitutability in sequential object systems

The aim of this article is to clarify the concepts of behavioural subtype and substitutability that are used to establish the safety of dynamic binding and run-time polymorphism in object-oriented programming. A new model of object behaviour is introduced and used to define the states of an object and the notion of object type. A notion of simulation between object behaviours is defined and a subtype relation between object types is derived from it. The syntax and structural operational semantics of an elementary OOPL is given, and the concepts of object and type substitutability are defined. It is shown formally that simulation is equivalent to object substitutability and that subtyping is equivalent to type substitutability.This research was supported by SERC grant GR/H16629.     

Modular specification and verification of object-oriented programs

A method for modular specification and verification using the ideas of subtype and normal type is presented. The method corresponds to informal techniques used by object-oriented programmers. The key idea is that objects of a subtype must behave like objects of that type's supertypes. An example program is used to show the reasoning problems that supertype abstraction may cause and how the method resolves them. Subtype polymorphism is addressed, and specification and verification update is discussed. A set of syntactic and semantic constraints on subtype relationships, which formalize the intuition that each object of a subtype must behave like some object of each of its supertypes, is examined. These constraints are the key to the soundness of the method. To state them precisely, a formal model of abstract type specifications is used     

一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。     

基于模糊加权相似度量的粗糙集数据补齐方法

目前基于粗糙集的数据补齐方法,大多都是通过计算决策信息系统中具有缺失值的对象与无缺失值的对象之间的相似性,选取相似性最大的对象的属性值来补齐缺失的数据。这类算法的问题在于：计算对象之间的相似性时所有条件属性对于决策属性的重要性是相同的,忽略了条件属性间的差异性。鉴于此,引入了模糊加权相似的概念,根据每个条件属性的重要性以及决策属性对条件属性的依赖度,计算对象间的相似性,提出基于模糊加权相似性度量的粗糙集数据补齐方法,并通过实例计算以及与现有算法的比较分析,说明了方法的有效性。     

基于平均互信息的混合条件属性聚类算法

混合条件属性参数间的距离值存在较大的差异,导致仅聚合距离数量级较大、较规律的数值条件属性对象,而忽视数量级较小、混沌,但类别特征更加明显的分类条件属性对象。提出了一种基于平均互信息的聚类算法。通过熵量化参数类别特性的大小,再根据熵的平均互信息计算方法衡量数据对象间类别的相同、相异特征量,统一数值和分类条件属性参数间距离的数量级,最后通过优化迭代自适应过程得到最终聚类结果。实验结果表明,该算法具有良好的聚类质量和自适应性。     

Alpha(1) adrenoceptor subtype selectivity. 3D-QSAR models for a new class of alpha(1) adrenoceptor antagonists derived from the novel antipsychotic sertindole

Receptor-binding affinities for the alpha(1) adrenoceptor subtypes alpha(1a), alpha(1b) and alpha(1d) for a series of 39 alpha(1) adrenoceptor antagonists derived from the antipsychotic sertindole are reported. The SAR of the compounds with respect to affinity for the alpha(1a), alpha(1b) and alpha(1d) adrenoceptor subtypes as well as affinity obtained by an alpha(1) assay (rat brain membranes) were investigated using a 3D-QSAR approach based on the GRID/GOLPE methodology. Good statistics (r(2)=0.91-0.96; q(2)=0.65-0.73) were obtained with the combination of the water (OH2) and methyl (C3) probes. The combination of steric repulsion and electrostatic attractions explain the affinities of the included molecules. The adrenergic alpha(1a) receptor seems to be more tolerant to large substituents in the area between the indole 5- and 6-positions compared to the adrenergic alpha(1b) and alpha(1d) receptor subtypes. There seems to be minor differences in the position of areas in the alpha(1b) receptor compared to alpha(1a) and alpha(1d) receptors where electrostatic interaction between the molecules and the receptor (OH2 probe) contribute to increased affinity. These observations may be used in the design of new subtype selective compounds. In addition, the model based on biological data from an alpha(1) assay (rat brain membranes) resembles the model for the alpha(1b) adrenoceptor subtype.     

形式概念分析中的对象概念与属性概念

为了进一步提高数据表示和数据挖掘的效率,对两类特殊概念即对象概念和属性概念进行了研究。分析了对象概念和属性概念与不可约元的关系,提出了对象概念和属性概念的识别算法;提出了以属性概念为递归终止条件的计算内涵缩减递归算法;研究了属性排序以及属性序列在规则提取中的应用。     

基于分形理论的声纳图像人造目标检测算法

声纳图像中人造目标的自动检测是当前水下探测领域需要重点解决的问题之一。传统的基于目标回波信号强度的检测方法在海底存在岩石等类似于水雷等人造目标的情况下,常会导致较高的虚警率。由于人造目标和自然背景之间的纹理特性的不同,自然背景一般具有较复杂的纹理,而人造目标形状规则、表面光滑、纹理简单。利用分形模型中分形维数特征、截距特征、分形拟合误差特征以及多尺度分形特征进行声纳图像人造目标检测,仿真实验表明基于分形的检测算法可较好地实现人造目标和自然背景的分离,从而为成像声纳水下探测技术的进一步发展奠定了基础。     

基于拓扑逼近的CAD模型局部结构检索

为了从大量CAD模型中检索出具有指定局部结构的模型,提出一种基于拓扑逼近的检索方法.根据建立的CAD模型上边界面的几何与拓扑信息表达模型,提出一种统一度量方法来计算检索对象与检索条件中不同类型边界面之间的相似度;利用基于广度优先搜索的图生成树算法得到检索对象与检索条件之间的初始边界匹配方案;提出拓扑逼近算法,并将初始边界匹配方案作为其输入条件搜索最佳边界匹配方案;在最佳边界匹配方案基础上计算检索对象与检索条件之间满足绝对误差限的相似度,实现CAD模型的局部结构检索.根据文中方法在UG平台上开发了CAD模型局部结构检索系统.实验结果表明,该方法能够有效地实现CAD模型局部结构检索,具有较好的精度和较高的效率.