复杂对象标识文法及演算

面向对象数据库及其信息系统研究的难点之一是缺乏形式化的概念和理论基础。根据复杂对象数据表示的常用结构,本文提出了用标识文法来表示复杂对象及其数据。给出了相应文法与对象的部分演算规则。引入标识文法有利于实际系统的计算机表示对象     

网页文本中部分关系知识的获取与验证

重点研究了如何从大规模W eb网页文本中获取一种特殊的知识——部分关系知识(M ereo log ical know ledge)。介绍了部分关系知识的6种不同形式,在此基础上自动和半自动地获取这些部分关系知识的文法模式,建立文法模式库;然后基于文法模式获取例句来抽取准概念并进行局部验证;利用基于图论的方法构造部分整体图,将所有准概念从全局的角度进行分析验证。实验结果证明了该方法的可行性。     

从绝响到转型：近现代“文法”概念与“文法学”

“文法”从古代传统的文章作法这一内涵演变至近现代汉语语法的一个术语,无不与晚清至“五四”时期的社会危机、西学东渐、文体变革等相关。晚清古文大家的努力,虽在一定程度上推迟了古文的谢幕,但始终无法挽回古文文法退隐的结局。近现代西学的冲击更是加速了“文法”概念的转型,白话文取代文言文并成为“国语”之后,指向语法的“文法”内涵趋于定型,并引导了汉语文法学科的确立。追溯中国古代至近现代“文法”的发生、发展和转型轨迹,对把握“文法”的文章技法、语词文法的双重概念十分重要。     

关于Fuzzy语言的隶属度问题

讨论由Ｆｕｚｚｙ文法和Ｆｕｚｚｙ自动机生成的Ｆｕｚｚｙ语言的隶属度问题,引入了概率和乘积型Ｆｕｚｚｙ文法与自动机的概念,并证明了概率和乘积型Ｆｕｚｚｙ文法与自动机的关系。     

广义形式语言及其拓扑

在泛系理论的框架下,引入广义形式语言——泛语及其文法——泛系文法。通常,文法与它所产生的语言仅仅是松驰地联系在一起,为此需要定义一些考虑到生成过程的结构的文法等价概念,而拓扑的观点正好提供了比较文法与语言的一种可能性。本文详细地讨论了引入泛语上的拓扑途径。     

随机正则文法的相似

对于给定的随机正则文法G_s是否存在着一个真正随机正则文法G_s,使得L(G_s)=L(G_s),若存在,又如何求出G_s?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_s求G_s的方法,而且还包括判断这样的G_s是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_s总有一个与之相似的真正随机正则文法G_s,其中相似系数由G_s本身唯一决定。     

基于属性文法的本体形式化描述方法及其应用

在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体的语义;设计一种属性求值器的构造方法,在此基础上实现基于语义的信息检索模型;将基于XML(extensible Markup Language)的本体元数据模型作为属性求值器处理的对象,提供相应的文档类型定义(DTD:Document Type Definition)以指导XML文档的创建;结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度;通过改变产生式、属性及属性求值规则可扩充此方法.     

随机正则文法的相似

对于给定的随机正则文法G_8是否存在着一个真正随机正则文法G_8,使得L(G_8)=L(G_8),若存在,又如何求出G_8?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_8求G_(?)的方法,而且还包括判断这样的G_8是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_8总有一个与之相似的真正随机正则文法G_8,其中相似系数由G_8本身唯一决定。     

浅析面向对象分析中对象的识别

本重点介绍了对象的概念、面向对象分析技术中标识潜在对象的方法、利用coad和yourdon分析法筛选潜在对象的技术等。同时结合实例进行了剖析。     

CORBA环境中分布式构件的构造

提出了一个基于CORBA的构件式的分布式系统构造模型。对于分布式构件和基于构件的分布式软件系统,均可用基于属性文法的软件构架描述语言进行形式化定义。通过例子描述了将基于属性文法的软件构架映射为CORBA对象的方法,同时还讨论了如何在CORBA环境中实现基于属性文法的软件构架的有关问题。     

复杂对象模式的规范化设计

该文给出了复杂对象模式的规范化设计。复杂对象模式的规范化设计不仅是将对象组合到相关联的关系中，而且要选择一个能很好地表示对象间的语义关系的结构。首先，基于对象间的语间关系，定义对象依赖；然后定义对象范式－－规范化对象模式树和规范化对象模式森林，并且讨论对象范式的特性，指出规范化对象模式森林是所要求的复杂对象模式的结构；最后给出了导出规范化对象模式森林的MIMI算法。     

形式背景中属性特征与对象特征的完备定义

形式背景是形式概念分析理论中的一个重要元素,是用于表达和记录对象与属性之间二元关系的数据载体;形式背景中属性间的关系、对象间的关系是非常重要的关系,由此表现出来的属性的特征、对象的特征非常值得研究.本文目的是给出形式背景中属性特征与对象特征的完备数学定义及其性质,为偏序结构理论的研究奠定坚实的基础.     

地理信息系统中的对象代数

在一般空间数据库中同时使用关系代数和图象代数给查询优化带来困难．本文提出一种合并的对象代数以支持地理信息系统中的复杂查询．代数的基础是规范化的面向对象的空间数据模型，该模型将图象代数操作与空间物体属性一起集成于物体基元的定义中．最后讨论了基于对象代数上的查询优化．     

大数据偏序结构生成原理

形式概念分析是一种强有力的数据分析和可视化工具,自提出至今已被应用到数据挖掘、知识发现等领域.但由于概念间复杂的关系使得概念格中的连线错综复杂,尤其是在处理大的形式背景时显得尤为混乱.形式背景中所包含的属性间关系、对象间关系以及对象一属性关系是形式背景的本质关系,本文在人类认知事物哲学原理的指导下,构建了以描述属性间关系和区分对象为基本目的的偏序结构图,并描述了其构建方法.该种图形层次分明、结构清晰,不存在线的交叉连接,具有比较好的可视化效果,尤其计算方法简单,存在应用到大数据的潜能,为大数据数据分析和知识发现提供了一种潜在工具.     

虚拟现实开发工具中几何对象的表示及存储

提出并设计一种可描述多部件复合物体的3D几何模型及存储结构,供虚拟现实开发工具（SVRT）使用。用具有层次结构和多级坐标系统的边界表示法描述几何对象,用二叉树数据结构进行存储,并用VC＋＋和OpenGL实现。这种几何模型和存储结构能较精确地描述物体的几何形状及表面属性,易于存取和绘制。解决了单部件模型无法实现复杂行为的问题,满足SVRT系统的要求。也可供其他虚拟现实系统使用。     

基于几何元素的具有影像纹理的三维空间数据模型

基于对城市三维地理信息系统中复杂对象进行描述 ,以及三维空间查询和影像纹理真实化表达的需要 ,将空间现象抽象为点对象、线对象、面对象、体对象、数字地面模型和栅格影像 6类。基于点、直线段和面片 3类几何元素 ,建立了具有真实影像纹理的三维地理信息系统的空间数据模型 ,并给出了其数据存储结构。理论分析表明 ,该模型不仅可以表达规则对象 ,也可以表达非规则对象 ,同时还可以依据模型中隐含定义的几何元素之间的拓扑关系 ,方便地推求空间对象之间的空间关系。相对于矢量栅格集成的数据模型而言 ,该模型把三维几何建模矢量数据和影像纹理栅格数据分开存储 ,可以方便地在关系数据库中予以实现 ,同时 ,采用基于面片几何元素的形式很容易实现空间面对象或体对象的不同侧面的影像纹理贴加。     

一种高性能的对象表示机制

针对当前OODB存储技术存在的问题，提出了一种对象存储结构方案，使用多个同步对象缓冲区(SBO)，使得在对象访问时，避免对象内外存格式的转换，提高查询处理的速度和支持应用程序的高效执行。同时提供了实现应用制导的对象存储结构的基础。     

对象管理在面向对象数据库中的应用研究

为解决面向对象在对象数据库中的管理问题, 描述了面向对象的数据库管理系统（OODBMS： Object Oriented Data Base Management System)的基本概念及其实现过程, 给出了该系统的数据模型、 系统结构及其各系统模块的实现方法。该系统引入面向对象的概念和方法, 以传统关系数据库存储结构为底层, 提出面向对象数据库的数据模型, 使其支持数据类型类层关系和继承性, 具有复杂对象管理和版本管理等能力。同时详述了数据定义(DDL： DataDefinitionLanguage)、 数据操纵(DML：Data Manipulation Language)、 对象缓冲区管理以及查询模块处理和版本管理等子系统的实现过程和方法, 并给出该系统在工程数据库图形图像管理中的应用。该系统可对非格式化的数据进行有效的管理。     

模糊形式概念分析与模糊概念格

针对在许多应用领域中,大多数信息都是复杂的、不确定的,而传统的形式概念分析不能表达这些模糊的、不确定的信息问题,介绍了将Zadeh的模糊数学理论与形式概念分析理论相结合所形成的模糊形式概念分析理论.给出并证明了在模糊形式背景下对象集合及属性集合的一些结论.建立了在模糊形式背景下的模糊概念格并证明了该模糊概念格仍然是一个完备格.最后用实例说明了这种模糊概念格的构造方法.     

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.