切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
学位论文
类间模糊继承的代数描述
类间模糊继承的代数描述
来源 :云南大学 | 被引量 : 0次 | 上传用户:Guihuaxuetu
【摘 要】
:
该文利用范畴论作为工具,对类间继承给出了相应的代数语义解释,然后将其扩展到模糊领域中,提出类间模糊继承的代数语义解释,从而达到客观世界与计算机世界之间语义解释的平滑
【作 者】
:
林涛
【机 构】
:
云南大学
【出 处】
:
云南大学
【发表日期】
:
1997年期
【关键词】
:
类范畴
模糊类继承
共自由函子
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文利用范畴论作为工具,对类间继承给出了相应的代数语义解释,然后将其扩展到模糊领域中,提出类间模糊继承的代数语义解释,从而达到客观世界与计算机世界之间语义解释的平滑过渡.并以此为基础,证明了在OO软件开发规范中一种类间继承关系调整方法的可行性与正确性.
其他文献
常微分方程初值问题的长时间计算
对常微分方程的初值问题:u=a(t)u+f(t),0
学位
常微分方程
初值问题
收敛性
稳定性
误差估计
一般线性群中的局部有限子群
学位
局剖有限群
一般线性群
极大条件
ZG-模
拉丁超立方体设计与部分因析设计的新进展
试验设计在现代科技和工程中起着越来越重要的作用。试验可以分为两大类:实体试验和计算机试验。传统的实体试验是在实验室或工厂进行的。由于计算机计算效率的迅猛发展,人们
学位
试验设计
定义对照子群
傅里叶多项式模型
拉丁超立方体设计
镜面对称
局部紧群的顺从性
学位
局部紧群
顺从性
Banach代数
n-顺从
对称群的抛物Kazhdan-Lusztig R-多项式的组合性质
1979年,代数学家、美国科学院院士D.Kazhdan和G.Lusztig在研究Coxeter群及其关联的Hecke代数的表示理论时创立了Kazhdan-Lusztig理论,这是代数学领域的一个重要进展。Kazhdan-L
学位
对称群
Coxeter群
抛物R-多项式
Kazhdan-Lusztig理论
Hecke代数
Bruhat偏序
岩土工程中的位移反演方法--用边界单元法进行正分析
学位
岩土工程
位移
反演方法
边界元
几类二阶微分系统正解的存在性
该文在整理,归纳有关二阶特征问题文献的基础上,用多种方法,研究了若干非线性特征值问题,获得了一些存在性结果.
学位
非线性特征
广义Gelfand模型
二阶微分系统
正解
面向C语言的中文图形界面可视化生成器的研究
该文是在UCDOS汉字系统环境下,利用UCDOS SDK提供的丰富、安全的C语言函数,运用目前流行的可视化和程序自动生成的理论,实现了全中文图形界面事件驱动C语言源程序的可视化自
学位
中文图形界面
C语言
可视化自动生成器
π-纯正半群上的同余
该文主要探讨π-纯正半群的性质,及其同余,主要是矩阵同余,和满足R-性质的π-纯正半群的纯正半群同余、强π-纯正半群S幂等元带E上的最小矩阵同余如果能扩充成半群S上的最小
学位
半群
同余
π-纯正半群
矩阵同余
静态投入产出模型的某些应用与变系数动态投入产出最优控制模型的研究
该文在对投入产出模型进行评述的基础上,运用规划论和现代控制论的原理与方法研究了投入产出在价格调整与投资策中的应用,并研究了一类具有变系数的动态投入产出最优控制模型
学位
动态投入产出
最优控制
最大值原理
变系数
哈密顿函数
均衡增长
与本文相关的学术论文