论文部分内容阅读
该文针对离散事件系统的状态复杂性和同步并发等动态特性,从软件设计和规范证明的角度,提出一种基于代数规范的形式逻辑和面向对象软构件设计思想的形式化建模方法,讨论了形式化面向对象技术在DES的建模、规范与证明中的实现和应用.
形式化面向对象建模、规范、证明与应用
【摘 要】
：
该文针对离散事件系统的状态复杂性和同步并发等动态特性,从软件设计和规范证明的角度,提出一种基于代数规范的形式逻辑和面向对象软构件设计思想的形式化建模方法,讨论了形
【机 构】
：
上海交通大学
【出 处】
：
上海交通大学
【发表日期】
：
2000年期
其他文献
该课题主要研究了网络技术在校园网中的应用,它的设计与实现技术为一般校园网的升级提供了一种可行方案.该文通过对国内外最新的计算机网络技术如快速以太网、ATM网技术、千
该文对如何建立邮件档案管理信息系统来海量存储邮局邮件业务档案,使一定容量的存储体能够存储更多的邮件档案,并实现邮件档案的快速查询进行了深入的分析和研究.该文阐明了
图像中的物体识别是计算机视觉领域中的一个核心任务。它是很多计算机视觉应用的基础，对人类视觉系统的深层理解具有重要作用。物体识别通常分为两个基本问题，即物体的分类和检
脑卒中(俗称:脑中风)是一种严重威胁老龄人健康的脑血液循环障碍性疾病,约四分之三的患者因脑部神经受损而患有不同程度的肢体运动障碍,给患者带来沉重的精神痛苦和生活不便,
该项论文是总装备部"九五"重点予研研究课题之一.它从鱼雷开口系统发展需求出发,将仿真理论和计算机风络技术相结合,构建了鱼雷武器开口分布仿真系统.首次采用分布交互仿真技
该文在已有的基于知识和基于模型的两类故障检测与诊断方法的基础上,通过对两类方法优、缺点的分析,发现两类方法在故障诊断上具有明显的互站性,.基于此,提出了将两类方法综
模糊控制器是一种仿人智能控制器，它模拟人类思维，采用人类语言信息，所以模糊控制器容易理解、设计简单、维护也方便。模糊控制器基于包含模糊信息的控制规则，所构成的控制系统比
随着中国国内经济的高速增长,城市交通问题越来越成为一个突出的社会问题;而高速公路交通也必将逐渐成为制约经济发展、影响人民生活的瓶颈问题.尽管目前国内大部分高速公路
终端适配器TA的功能就是使现有的非ISDN标准终端例如模拟话机、G3传真机、PC机能够在ISDN上运行,为用户在现有终端上提供ISDN业务.该文以作者参与终端适配器TA的研制和开发的
该文系统地研究了广义对称正则长波方程(组)的谱方法及与之相关的一类分布参数系统的控制问题.研究人员用Fourier谱方法考虑了一类广义对称正则长波方程的周期初值问 题.该文