论文部分内容阅读
对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征，本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为。进而可以通过逻辑演算对对象的行为进行推理。
对象行为约束的描述和推理
【摘 要】
：
对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征，本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为。进而可以通过逻辑演算对对象的行为进行推
【机 构】
：
中国科学技术大学计算机系,中国科学院软件研究所
【出 处】
：
中国科学技术大学学报
【发表日期】
：
1995年3期
【基金项目】
：
国家自然科学青年基金,中国科技大学青年基金
其他文献
“证明那些黑子们是错的，这对我来说很棒，我可以去网络舌战，但这些东西一点意义都没有。在这个赛季里，我有过低谷期，那时候我很失落。但最棒的事情是，无论是库里、格林，或是其他人，他
本统计期（8月3日-8月9日）指数出现震荡调整,但是个股依然精彩纷呈,周期股依然强势,还有养猪股忽然爆发,最后多只白酒股和伊利股份（600887）创历史新高。市场局部热点仍在,融资客积
目的探讨桑菊饮加减联合中药穴位贴敷治疗小儿风热咳嗽的临床效果。方法本次研究将78例来我院的小儿风热咳嗽患儿作为研究对象,研究时间节点为:开始于2018年01月,截止于2019
利用正丙醇锆受控水解方法制备ＹＳＺ粉。研究在正丙醇锆－硝酸钆－惭酰丙酮体系中，Ａｃａｃ／Ｚｒ（ｍｏｌ），Ｈ２Ｏ／Ｚｒ（ｍｏｌ）对正丙醇锆水解影响。采用ＴＧ－ＤＴＺ，ＸＲＤ，Ｒｍａｘｎ光谱，ＢＥＴ，ＴＥＭ等手段对ＹＳＺ粉体进行表征。
学习IoT软硬件最新技术的最好方法莫过于做一个有趣的东西。在这个项目中,我给孙子们做了一个远程控制模型船。在建造的过程中,孩子们不仅学到了技术,而且获得了很多的乐趣。
以某大学校区景点之一起污水预储库和氧塘作用的荷花池为例进行了水质调查，根据分析结果，讨论了水体污染的“富营养化”特征，讨论了污染源，生物作用，自净化作用，降水稀释作用等对水
以埕东油田主力油层Ng34层为研究对象,应用油藏数值模拟技术,利用测井二次精细解释每米8个数据点成果,对单井小层内部储层参数进行非均质再划分,建立了层内超精细三维非均质
顺丰控股（002352）公告称非公开发行股票采用询价方式定价，发行数量2．27亿股，发行价35．19元／股，募资总额80亿元。此次募资将全部用于深圳顺丰泰森控股（集团）、公司航材购置及飞行支持项
通过共沉淀工艺合成了陶瓷化合物Ｎｄ０．６７Ｂａ０．３３ＭｎＯ３。与传统的陶瓷烧结法相比，成相温度降低了４００℃。经Ｘ射线衍射分析表明，所得化合物为立方钙钛矿结构，共晶胞参数α＝３．８８３８Ａ。样品的四极法电阻率测试结果表明
运用高等数学中积分中值原理，对Ｈａｎｎａ－Ｇｉｆｆｏｒｄ提出的处理城市面源的“ＡＴＤＬ”手算模式进行了改进，提出了“积分中值法”的简单直接的算法，分别对考虑面源源高４ｍ和１０ｍ的情形进行了计算。结果表明：积分中值