论文部分内容阅读
该文基于时序逻辑的观点建立了类和对象的形式化描述,并以理论计算机科学中的范畴论为基础,给出了类继承、类复合等概念的语义解释,主要研究了对象动态演变的时序行为.
类和对象的一种形式化描述
【摘 要】
：
该文基于时序逻辑的观点建立了类和对象的形式化描述,并以理论计算机科学中的范畴论为基础,给出了类继承、类复合等概念的语义解释,主要研究了对象动态演变的时序行为.
【机 构】
：
兰州大学
【出 处】
：
兰州大学
【发表日期】
：
1997年期
其他文献
理性预期理论对现代宏观经济学产生了极其深远的影响.论文从理性预期的基本假设和基本性质入手,首先就证券市场的动态变化特征进行了分析,并以证券市场的一般套利模型为例讨
随着网络储存服务的发展,越来越多的企业和个人选择把本地的复杂的数据管理事物外包给第三方服务器。为了保护外包数据的隐私一性,敏感数据上传之前通常先加密,要从海量的密
当霸权、话语垄断和社会控制被贴上“知识”标签的时候,社会制度系统开始主张以“知识”或“专业”权力来影响人类事务。当人们只能通过想象作为社会认同或信仰的基础,并以此
子群的性质对群结构有着重要的影响,通过对它们的研究可以获得关于原群结构的大量重要信息,1996昕,王燕鸣先生在[1]中给出了C-正规子群的概念,并用它对群的可解性,超可解性作
该文应用非线性泛函分析的拓扑度方法,不动点指数理论以及锥与半序方法来研究抽象的非线性算子的不动点的存在性,并把所得结果应用于积分方程,微分方程,及超线性问题,尤其应