基于范畴论的对象模型归纳的研究.pdfVIP

清华大学学报(自然科学版)08／57 of 1998年第38卷 JournalTsinghuaUniversity(,SeiTeeh)第S2期第32～33页 基于范畴论的对象模型归纳研究 林涛，胡运发，陶晓鹏，刘惟一’ 复且大学计算机科学系．上海200433i f云南大学计算机科学系，昆明650091 文擅 奉上从甚十对挈属中{进行竹类归纳产生对象模型Ⅲ发．以扎畴论作为T其，给 出r对簟模型的代数语义1111释．并进{，r模糊推广，指iIjr人们4：解i突问题的过程中’与需 甍涉艘模糊领域．利用模糊理论中成熟的技术和方法时．H蟹摸糊时满足最人、城小完争 格条件，那么n解空问进}，的模型变换以：经典和模糊领域中足相互对戊着的．模糊领域中 产生的崔换性质在绛舆领域中均保掎4i变 美t词 对象模型．类范鼍{}．横糊类范畴，共自由关系 1引言 面向对象技术中的一个啦要发展疗向是对象模，诬。对模喇的描述引入模糊概念．远刖 模糊领域中的技术莆l方法加以调帮．使描述更进一步地接近真实世界。然后通过恰肖的方 法忽略掉一些无关紧要而义表达复杂的信息，使模型理想化。采Hj这种“综合门纳一蛔题 求解～具体解答”冉法得划的模刑比单纯地利Hj数学I：具进行抽象．通过建立形式模型弗 进行求解简单易行。人H】虽然{}往根据经验广泛采埘这一方法解决问题，但利用这种方法 的条件和正确性让明问题却’商没彳j得剑解决。 2相关工作概述 植物学分类是一个复杂的问题，其原冈是不同种属之间或多或少与其它对象存在公共 属性关联，而同种属的植物却义存以．着遗传和变异现象。文献fI7l从植物学分类出发，提 出了一种对象模砸的构建方法。步蝶如F：1)在对象集合中引入语义贴近度，将对象之 间的相互关联模糊化。2)根据对象之间的语义贴近度构造语义贴近度矩阵。3) 对 矩阵采Hj适当的闽值进行划分历+即可得到对象模删。 j．述方法中若不考虑语义贴近皮．每一个p1纳步骤实际蛙经典对象模型在不断地进行 jJ=1纳，表达以期不断地贴近客观实际，它们的外至正并没有改变，表达的仍是同一事物，而 最后得出的对象模型内涵冈为最符合挥观实际，所以认为得到r一个解答。 3对象模糊数据模型的代数语义解释 定义3．1 设(1正和(’五是两个粪理论，F(CT,，CL)是类问理论射，定义模糊类间 理论射为： 户((’7i，c1正)=Lj‘‘‘。‘’ 其中(1)￡是一个具有最人，擐小元的完全格L=(L，V，^)； (2)f7是所有从u到￡的映射的集台：{厂}，_：D’—÷三)； (3)若cr,=cL=(1T，jI!『J￡取最人无：E，(【1n=E，((1n。 林涛，等：基于范畴论的对象模型归纳研究 S∈P(CT,，C正)，T∈尹(C正，C五)。 定义3．2设cT,，C正，c正为三个类理论 则TAS∈户(cl，C五)。且对V^∈F(CTl，fE) r6， 龠囊3．1 以类理论作为对象，模糊类间理论射作为射并根据以上定义的模糊类间理 论射的复合运算形成了一个范畴CTh(R)，我们称之为模糊类范畴。 计算机世界中的问题空间和解空间均可由类范畴米描述，而建立模糊类范畴的目的是 为了使描述更贴近真实世界。模糊类范畴是类范畴的一种推J‘．它们两者之间必然存在着 密切的联系。以卜-本文j{j数学语言的形式描述了这阿个范畴之问的相互关系，并证明们两 者之间存在着正确的对应关系。(证明略) 4模型间的相互联系 定义4．1从类范畴到模糊类范畴定义如F一个射C。：CTh(R)—÷Crh(R)。其中： 象； (2)c。。：F(CTl，c疋)-ffF(Fo、。(c互)，t。。((?7；))c 龠置4．1上述定义的映射C。。是一个从类范畴剑模糊类范畴的函子。 龠曩4．2类范畴与模糊类范畴通过函子C，。构成，典￡】由范畴关系： (C。。，CTh(R)，CTh(R)) 龠曩4．3类范畴与模糊