论文部分内容阅读
利用模型论和拓扑学的方法,提出了基于笛卡尔积的知识表示系统和形式化多重数据库,讨论了模型与多重数据库之间的表示关系,利用滤子及其等价关系在模型论域,模型和模型超积上建立了拓扑结构,得到了粗糙逼近形式模型的一种拓扑方法.
基于多重数据库的模型表示与拓扑性质
【摘 要】
：
利用模型论和拓扑学的方法,提出了基于笛卡尔积的知识表示系统和形式化多重数据库,讨论了模型与多重数据库之间的表示关系,利用滤子及其等价关系在模型论域,模型和模型超积上
【机 构】
：
西安交通大学理学院
【出 处】
：
工程数学学报
【发表日期】
：
2003年6期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
给出了求解自变量含有类型变量的线性回归模型的树方法.它是一个非参数方法.讨论了修剪树对参数估计和预测的影响,给出了通过修剪树提高参数估计和预测精度的充要条件.
目的探讨2型糖尿病患者血清脂蛋白(a)[Lp(a)]水平及其与冠心病的关系.方法选择90例2型糖尿病及68例健康对照者测定其血清Lp(a)、总胆固醇(TC)、甘油三酯(TG)、高密度脂蛋白胆
研究了有序Banach空间积-微分方程初值问题解的存在性,利用一个新建立的积分-微分不等式及单调迭代方法,获得了新的解的存在性结果.
三阴乳腺癌是乳腺癌中雌激素受体、孕激素受体及人表皮生长因子受体-2(HER-2)表达均为阴性的一种特殊亚型。因其具有强侵袭性和异质性,内分泌治疗不敏感,抗HER-2基因的分子靶
1病例报告患者,男性,65岁,因左侧肢体不自主运动1 d入院,患者1 d前活动时突感头晕,无视物旋转和恶心、呕吐,无耳鸣,随即出现左侧肢体不自主运动,上肢投弹样动作,下肢向外侧甩
本文建立了多孔介质中具有吸附效应的反应扩散问题的数学模型，讨论了广义解的存在唯一性问题，证明了广义解对行波解的渐进收敛性质。
本文结合美国及中国数学建模比赛试题及其解法，从背景、建立模型、模型求解以及模型分析等方面对数学建模进行了探讨。
利用了单调迭代法讨论了一阶脉冲泛函微分方程的周期边值问题解的存在性,改进了He Zhimin和Ge Weigao(1999, Applied Math comput)文的条件.