论文部分内容阅读
从弱硬实时系统定义出发,概述现有弱硬实时约束规范及其相互关系,提出了一种约束规范(m,p),与已有的约束规范作了严格性强弱的比较,并给予了证明;同时修正了Bernat提出的一个约束强弱比较的定理.
弱硬实时系统约束规范
【摘 要】
：
从弱硬实时系统定义出发,概述现有弱硬实时约束规范及其相互关系,提出了一种约束规范(m,p),与已有的约束规范作了严格性强弱的比较,并给予了证明;同时修正了Bernat提出的一个
【机 构】
：
浙江大学工业控制技术国家重点实验室,LORIA-TRIOCampusScientifique
【出 处】
：
软件学报
【发表日期】
：
2006年12期
【基金项目】
：
国家自然科学基金No.60603032;中法先进计划研究项目No.PRA SI03-02~~
其他文献
传统的插值算法由于低通滤波效应通常会使目标图像边缘模糊,难以得到满意的视觉效果.为了取得较好的图像缩放质量,提出一种基于三次拉格朗日插值的自适应图像缩放算法.该算法
气化器是LNG接收站关键工艺设备之一,而中间介质气化器又是很多接收站的首选,本文从工作原理、结构、传热、选材、强度计算及制造等方面对国内设计制造的首套大型LNG接收站中
目的:探讨75%酒精用于新生儿皮肤护理的治疗效果。方法:将82例新生儿随机分为两组,进行疗效观察。结果:观察组治疗效果明显优于对照组,P<0.01。结论:75%的酒精用于治疗新生儿
文化产业集群作为一种世界性发展潮流和趋势,是伴随着国际大都市功能结构的提升而逐渐成熟起来的。文化产业集群引领着国际大都市的发展,决定着城市经济的繁荣及其国际竞争力
<正>2015年10月15日,54集电视剧《琅琊榜》迎来了大结局,同时也引发了网友的一片热议。无论是演员演技,后期制作,剧本内容,还是服装道具,这部剧都是近年来少有的国产"良心剧"
目的了解艾滋病自愿求询者HIV感染情况。方法收集2009~2013年界首市5个艾滋病VCT咨询点8 294名求询者并接受HIV抗体检测资料,分析HIV感染水平,探讨不同特征求询者HIV抗体阳性
目的:乳酸杆菌广泛存在于人体黏膜表面,是构成菌群的重要细菌。但乳酸杆菌在体内的生理和病理作用尚不完全清楚。本研究通过检测胃炎组、肠化组和胃癌组胃黏膜乳酸杆菌的阳性
朗读作为高中语文教学的重要内容,它不仅是一种阅读方法,更是一种教学方法。《普通高中语文课程保标准(实验)》强调:语文课堂的核心任务是培养学生的言语能力,引导其感悟、品
目的：研究早期静脉注射人免疫球蛋白治疗对重症手足口病患儿的改善作用。方法：本次研究纳入的对象为2016年1-12月我院收治的重症手足口病患儿110例，采用抽签法分为对照组和研究
广告语言已经成为人们生活中的一个重要角色,不仅反映了语言系统的面貌,也体现了人类的思维方式。隐喻研究从修辞学到认知语言学的转向为隐喻的广告语言研究带来诸多启示。分