工程数学学报
工程數學學報
공정수학학보
CHINESE JOURNAL OF ENGINEERING MATHEMATICS
2003年
6期
116-120
,共5页
数据库%知识表示系统%模型%拓扑空间%粗糙集
數據庫%知識錶示繫統%模型%拓撲空間%粗糙集
수거고%지식표시계통%모형%탁복공간%조조집
利用模型论和拓扑学的方法,提出了基于笛卡尔积的知识表示系统和形式化多重数据库,讨论了模型与多重数据库之间的表示关系,利用滤子及其等价关系在模型论域,模型和模型超积上建立了拓扑结构,得到了粗糙逼近形式模型的一种拓扑方法.
利用模型論和拓撲學的方法,提齣瞭基于笛卡爾積的知識錶示繫統和形式化多重數據庫,討論瞭模型與多重數據庫之間的錶示關繫,利用濾子及其等價關繫在模型論域,模型和模型超積上建立瞭拓撲結構,得到瞭粗糙逼近形式模型的一種拓撲方法.
이용모형론화탁복학적방법,제출료기우적잡이적적지식표시계통화형식화다중수거고,토론료모형여다중수거고지간적표시관계,이용려자급기등개관계재모형론역,모형화모형초적상건립료탁복결구,득도료조조핍근형식모형적일충탁복방법.