【摘 要】
：
该文以面向对象数据库[7,8,9]中的问题为背景,采用了代数语义学、范畴论和模型论[2]等的理论与方法为工具,在面向对象数据库模型(OODB)的形式化基础上,研究了数据模型[5,11,1
论文部分内容阅读
该文以面向对象数据库[7,8,9]中的问题为背景,采用了代数语义学、范畴论和模型论[2]等的理论与方法为工具,在面向对象数据库模型(OODB)的形式化基础上,研究了数据模型[5,11,15],相容性,封装性,及继承性[16]的形式定义,提出了OODB上的一种子类型关系≤,得到了一些关于对象,类型,类继承关系的结论.
其他文献
本文主要研究生物动力系统的动力学行为，对两种不同的具有时空交互作用的槲寄生与鸟群模型的稳定性、渐近播速问题及行波解问题进行了详细的研究. 我们研究的第一个模型是
该文主要是对系统中的数学模型进行研究,并给出其实现算法,目的在于解决命题信息和成卷知识的获取和表示问题,各章内容如下:第一章结合试题库系统的研制状况,阐述了选题的根
该论文在一定程度上,解释了一些重要的生物组织的生物结构,如:能量和遗传信息的携带者蛋白质.第一部分,同时运用二种方法,求出蛋白质分子生物链孤子解稳定存在的临界温度,很
该文介绍了一个交通路线优化系统的设计过程.该系统面向实际需要,主要用于为具有不同乘车价值观的乘客提供符合要求的公共汽车行车路线,从而增加公众对公交系统的信任度,缓解
本文我们研究n维空间Rn上的广义变分不等式GVIP(F,g)问题，在F,g均为连续可微函数条件下，研究D-gap函数Hαβ的最小值序列和稳定序列的关系.本文共分为四部分: 第一章是绪论，
随着凝血生化反应研究的不断发展,运用数学模型对于凝血级联反应的研究也在不断的深化.Peter Baumann等人于1989年运用缺因子实验方法对凝血动力学进行分析.获得不同因子缺
本文主要研究了食饵具有mate-finding Allee效应的比率依赖的捕食-食饵系统的动力学行为. 对于与空间无关的常微分系统，我们用爆破法(blow-up method)详细分析了高阶奇点，即