【摘 要】
：
XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications
【机 构】
：
中国科学院软件所计算机科学开放研究实验室!北京100080,中国科学院软件所计算机科学开放研究实验室!北京100080
论文部分内容阅读
XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the specification and implementation of software systems are very convenient. A specification and an implementation of the Steam Boiler Control Specification Problem in XYZ/E is presented in this paper. A visual user interface is also implemented.
XYZ / E is a temporal logic system as well as a programming language. The temporal logic language XYZ / E can both have high level and low level specifications in the same framework, so that the specification and implementation of software systems are very convenient. A specification and an implementation of the Steam Boiler Control Specification Problem in XYZ / E is presented in this paper. A visual user interface is also implemented.
其他文献
我国高等职业教育的大发展开始于上世纪90年代末,至2006年全国独立设置的高等职业院校已达1000余家,在校生规模已达到全国高校生总人数的50%以上。占据了高等教育的半壁江山
那天张馆长将我叫到他的办公室：“咱馆的老刘是文物修复方面的专家，但是他年龄到点后就办理了退休手续，我想将他返聘回来，所以，想请你亲自去他家里请一下他。”我问：“若返聘老刘，我们馆会给他什么待遇呢？”张馆长说：“至少会给他双工资！”听馆长给的条件还可以，我就立即去了老刘家…… 第二天一早，我再次来到张馆长办公室：“我昨天去请老刘了，可是他对双工资什么的根本不感兴趣。他说，他和文物已经打了四十多年交
重新定义豪华 全新梅赛德斯-奔馳S级轿车在外观设计上采用了十分大胆的设计手法，和上一代车型相比拥有尺寸更大的进气格栅，让整车看起来气势十足。 内饰的设计思路源自豪华游艇，中控台采用了分层式设计，巨大的AR-HUD抬头显示系统充满未来感，液晶仪表更会呈现出“裸眼3D效果”。中控采用了全新的MUBX人机交互系统，集成了指纹识别、人脸识别、语音识别等高科技功能。 凭借智能科技与豪华氛围的完美融合，
肿瘤干细胞是指在肿瘤中组织少量存在的一群具有自我更新和分化潜能的肿瘤细胞。先后急性髓性白血病、乳腺癌、脑癌、肠癌、黑色素瘤等多种肿瘤中发现了肿瘤干细胞，该细胞亚群
全新奥迪Q7集全然焕新的设计美学、全场景驾控实力、与唤醒全感官的科技体验于一身.rn八角形镀铬中网搭配磨砂银饰板的保险杠、肌肉感十足的轮眉搭配超大的轮毂、地平线尾灯
我们常听到“个性”这个词。因为现代社会越来越多的东西需要体现人性化的设计，这就意味着社会需要的是有鲜明个性，有创新能力的人才。那么如何来培养有个性的创新人才呢？多年的
针对PLC控制系统 ,分析了各种干扰方式。从电源处理、接地、输入 /输出等方面提出了一系列抗干扰措施。
For PLC control system, analyzed a variety of interference meth
目的:急性高原疾病,通常又称为急性高山病(AMS),是在急进高原人群中常见和多发的一类疾病,其病因是由于急速进入高海拔的低氧环境所造成的人体多组织器官的病理性损伤和功能
鼻咽癌(nasophatyngeal carcinoma,NPC)是我国华南地区常见恶性肿瘤之一。广东、广西、湖南、福建等南方各地发病率较高,占鼻咽部恶性肿瘤的92％(1)。NPC的病理类型:(1).非角化
纯正美式豪华SUV 林肯冒险家是一款极富美感的车型，具备坚实可靠、耐性强的特点。它秉承了林肯家族最新的“静谧之旅”设计语言，星辉式前格栅两侧是晶钻式自適应LED矩阵大灯，配合下方银色贯穿饰条和圆润饱满的前脸轮廓，看起来十分霸气和硬朗。车身侧面线条饱满，贯穿式LED尾灯及哑光银色护板让整车充满运动气息。 该车首次采用了悬浮式多媒体/空调按键面板，并以烤漆饰板和镀铬元素进行装饰。新车全系搭载2.0