论文部分内容阅读
线性时序逻辑语言XYZ／E在统一的语义框架下．能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述，也适于描述实时系统的模型和逐步求精过程．本文提出了一种基于构件的实时系统求精方法，并给出一个具体实例一电梯控制系统，采用XYZ／E语言描述了该系统的模型及其求精过程．
基于线性时序逻辑的实时系统建模与求精
【摘 要】
：
线性时序逻辑语言XYZ／E在统一的语义框架下．能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述，也适于描述实时系统的模型和逐步求精过程．本文提出了一种基于构件
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院计算机科学国家重点实验室,重庆师范大学数学与计算机科学学院
【出 处】
：
小型微型计算机系统
【发表日期】
：
2006年8期
【基金项目】
：
国家自然科学基金项目(60073020)资助;国家高技术研究发展计划“八六三”项目(2001AA113200)资助;中国科学院计算机科学国家重点实验室开放课题项目(SYSKF0303)资助;江苏省高校自然科学基金项目(05KJB520119)资助;重庆市教委科学技术研究项目(040803)资助.
其他文献
增强现实(AR)智能眼镜因具有小体积、轻重量、佩戴方便以及实时交互等特点,已成为全球科技产业中最受关注的热点领域之一。首先阐述了AR智能眼镜智能眼镜的光学显示技术方案,
人民监督员制度在全国的实践已初显成效。不过,这一尚在探索中的制度还有诸多的问题需要从法理上予以解答。其中,人民监督员监督意见的效力问题就是一个需要探讨回答的重要问
×××同学问:《第二次考试》塑造了两个感人至深的形象——陈伊玲和苏林教授。这两个人物,究竟谁是作品的主要人物? 答:关于谁是《第二次考试》的主要人物,历来
谷子在我国农牧结合区和牧区正在发展成为专用饲草作物,但对谷子饲草的生长发育和营养变化动态缺乏研究,对最佳刈割期不了解,影响了谷子饲草生产和产业发展。本研究以饲草谷
钳工实训课程是职业教育中一门培养学生钳工操作技能、技巧的课程,具有较强的实践性。由于钳工实训课程在高职各类专业中具有一定的普遍性特点,尤其是对于机械类、制造类以及
黄河流域生态保护和高质量发展国家战略,为黄河三角洲农业高新技术产业示范区(简称"黄三角农高区")的发展指明了方向。黄三角农高区必须准确把握盐碱地现代农业在黄河流域战
课程改革的深入和发展,需要我们着眼于世界教育发展的前沿,批判性地吸收和借鉴国外课程改革的优秀成果.<历史与社会>作为一门新兴课程,更需要我们对国外相关课程发展状况的了
鱼诗是祖国古诗苑中的一朵奇葩,其中有很多是名人咏名鱼的诗句,诗人将鱼糅进诗篇,鱼助诗韵,添色增辉;诗传鱼神,相映成趣,相得益彰,读来诗味隽永,妙趣横生。 鲥鱼是名贵食用