论文部分内容阅读
该文利用范畴论作为工具,对类间继承给出了相应的代数语义解释,然后将其扩展到模糊领域中,提出类间模糊继承的代数语义解释,从而达到客观世界与计算机世界之间语义解释的平滑过渡.并以此为基础,证明了在OO软件开发规范中一种类间继承关系调整方法的可行性与正确性.
类间模糊继承的代数描述
【摘 要】
：
该文利用范畴论作为工具,对类间继承给出了相应的代数语义解释,然后将其扩展到模糊领域中,提出类间模糊继承的代数语义解释,从而达到客观世界与计算机世界之间语义解释的平滑
【机 构】
：
云南大学
【出 处】
：
云南大学
【发表日期】
：
1997年期
其他文献
试验设计在现代科技和工程中起着越来越重要的作用。试验可以分为两大类:实体试验和计算机试验。传统的实体试验是在实验室或工厂进行的。由于计算机计算效率的迅猛发展，人们
1979年，代数学家、美国科学院院士D.Kazhdan和G.Lusztig在研究Coxeter群及其关联的Hecke代数的表示理论时创立了Kazhdan-Lusztig理论，这是代数学领域的一个重要进展。Kazhdan-L
该文是在UCDOS汉字系统环境下,利用UCDOS SDK提供的丰富、安全的C语言函数,运用目前流行的可视化和程序自动生成的理论,实现了全中文图形界面事件驱动C语言源程序的可视化自
该文主要探讨π-纯正半群的性质,及其同余,主要是矩阵同余,和满足R-性质的π-纯正半群的纯正半群同余、强π-纯正半群S幂等元带E上的最小矩阵同余如果能扩充成半群S上的最小