【摘 要】
：
扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件
【基金项目】
：
国家自然科学基金资助项目(61472279).
论文部分内容阅读
扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时
其他文献
发展中的内蒙古啤酒厂（封面说明）内蒙古啤酒厂是内蒙古自治区规模最大的现代化啤酒生产企业之一，设计能力为年产啤酒三万，屯，经几年技改挖潜，已达年生产能力五万。屯。占地面积为十
买黄金识辩真伪鉴别真保黄金的方法，可概括为５个字，即：试、比、看、识、算．试，就是试重量．金比铜的比重大．用手掂量相同体积的首饰，重者为金．轻者是铜．比．就是比硬度．金比铜硬度小．如用铜钥
消费者疑假买假胜诉经营者知假卖假败诉案情担任《消费者权益保护法》主要起草人的著名民法专家何山分别于１９９６年４月２４日和５月１０日两次在某商行购买落款为“卅三年暮春悲鸿写”及“悲鸿
我国产品质量分析及其遏制对策王瑞君假冒伪劣产品已经成为社会的一大公害，如何从根本上遏制和治理是人们关注的焦点……近几年，我国的市场经济有了很大发展，但也出现了一些问题
什么是欺诈消费者行为本刊记者丁卯为制止经营者提供商品或者服务中，采取虚假或其他不正当手段欺骗、误导消费者，使消费者的合法权益受到损害的行为，国家有关部门列举出如下欺诈
对卧式金属罐容量计量中磕碰变形的处理方法闫双民（呼盟计量检定测试所）卧式金属罐在油库中应用非常广泛。在大型油库中常用于储存和计量一些较少的不同品种的油料。而在小型油
环境监测机构计量认证的前期工作要点任铁军（内蒙古自治区环境监测中心站）迄今，自治区已有１５个环境监测站通过计是认证．占全区总数的２８％．还有３９个站等待认证。回顾环保计量认证工作，我们发现多数已认证单位都感到计量认证的准备工作的内容多、头绪乱、进度慢...
质量监督离不开相互密切配合戴宝玉（张家口市标准计量局）在机关工作，经常看文件、写材料．“配”这个字，近来用得多起来．如‘配合经济大合唱”应“配套改革’，由此，要“政策配套”等等
内蒙古自治区组织机构代码管理信息数据军已投入使用内蒙古自治区组织机构代码管理信息数据库的建设是根据国务院国发［１９８９」７５号文件精神和内蒙古自治区人民政府内政办发［１９９２ｊ３０号文件的部
对短型热电偶温度计检定的探讨白晓军（哲盟技术监督局）我们在工作中经常遇见短型热电偶，测温范围一般在０—４００’＞Ｃ。如塑料制品机上的温度调解器，其一次感温元件长度大约在１００ｍｍ左右，在热电偶