检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《工程数学学报》2003年第6期116-120,共5页Chinese Journal of Engineering Mathematics
基 金:国家863基金资助项目(2001AAll3182).
摘 要:利用模型论和拓扑学的方法,提出了基于笛卡尔积的知识表示系统和形式化多重数据库,讨论了模型与多重数据库之间的表示关系,利用滤子及其等价关系在模型论域,模型和模型超积上建立了拓扑结构,得到了粗糙逼近形式模型的一种拓扑方法。Themethodsofmodeltheoryandtopologyareusedtoobtainamodelrepresentationofmultipledatabasesbasedon Descartesproduct.Fi1terandequivalencerelationarealsousedtoobtaintopologicalstructureonmodeluniverse ,modelset andmodelultra productsothatatopologicalmethodisderivedtoobtainPawlakapproximateoperators .
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程] O236[自动化与计算机技术—控制科学与工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117