论文部分内容阅读
本文提出了一种面向时象系统的系统定义方法。这种方法借助状态谓词来指称类的方法，用一种三元组演算来描述系统，在系统框架设计后能进行系统合理性的自动验证。与其它面向对象系统的描述方法相比，这种方法较为形式化，也有一定的实用性。
面向对象系统的一种系统定义方法
【摘 要】
：
本文提出了一种面向时象系统的系统定义方法。这种方法借助状态谓词来指称类的方法，用一种三元组演算来描述系统，在系统框架设计后能进行系统合理性的自动验证。与其它面向对象
【机 构】
：
上海交通大学计算机系,浙江师范大学计算中心
【出 处】
：
浙江师大学报(自然科学版)
【发表日期】
：
1994年04期
其他文献
目的通过对不同血清标记物组合早期诊断急性冠脉综合征的价值进行比较,探讨妊娠相关血浆蛋白-A(PAPP-A)在提高组合诊断效能方面的作用。方法检测急性冠脉综合征患者、急性冠
通往印度的新航路开辟后,葡萄牙人迅速在印度洋及邻近地区进行殖民扩张和掠夺,控制了印度洋贸易航线,形成了一个东方海洋殖民贸易帝国。随着其他欧洲列强的崛起,葡萄牙东方贸
<正>对于中药化学这门课程,如果备考时间在2个月以上,建议从化合物结构分类、特征性化合物结构记忆、常用鉴别反应及鉴别机理、分离方法、紫外红外图谱进行整理,通过其逻辑性
进入新世纪,日本中央教育审议会和文部科学省发布了《幼儿教育振兴计划》等三份文件。本文以这三份文件为主要根据,探讨当前日本幼儿教育改革的新动向,并总结它对我国幼儿教
目前，导电聚合物的制备及其电致变色性能研究是导电聚合物的主要研究方向之一。导电聚合物制备最常用的方法是电化学聚合法。聚（3,4-乙撑二氧噻吩）（PEDOT）是导电聚合物中应用较为
为研究糖原磷酸化酶基因多态性与长牡蛎（Crassostreagigas）生长和糖原含量的相关性，本研究对长牡蛎糖原磷酸化酶基因（Cg＋GPH）编码区单核苷酸多态性（SNPs）与来自5个家系322个长牡蛎个
单分散聚合物微球的制备及其自组装技术倍受人们关注，单分散聚合物微球的制备及应用为高分子科学的发展开辟了新的研究领域，而微球自组装技术为新材料的合成提供了一种有效的途
文章通过分析实验对咸味感知机理和不同减钠盐的技术原理进行探讨。并运用不同技术手段,评估中盐工程技术研究院有限公司健康产品研究所开发的3种不同类型的减钠食用盐的减钠
目的:探讨分析综合干预措施在重症监护室(ICU)多重耐药菌(MDRO)感染防控中的效果。方法:选取2015年11月1日~2016年6月30日作为综合干预前基础调查阶段,选取2016年7月1日~2017