【摘 要】
:
严格实时系统行为的实时性要求具有不可更改性,非严格实时系统的实时性要求则具有延缓性、替代性以及可补偿性特征,现有的形式化规格说明语言多集中在对严格实时系统的研究,
【机 构】
:
佛山科学技术学院电子与信息工程学院
【基金项目】
:
广东省自然科学基金资助项目(10152800001000016),2011年佛山市科技发展专项基金资助项目(2011AA100061).
论文部分内容阅读
严格实时系统行为的实时性要求具有不可更改性,非严格实时系统的实时性要求则具有延缓性、替代性以及可补偿性特征,现有的形式化规格说明语言多集中在对严格实时系统的研究,对非严格实时系统的这些特征则缺乏描述能力.针对上述问题,使用一种Object-Z扩展语言来描述非严格实时系统,该方法采用扩展的Object-Z历史不变式表达责任策略,能有效地描述非严格实时系统中的缺省策略、补偿策略以及其他非严格实时策略.以会议系统为例,说明该方法能形式化描述非严格实时行为,具有较强的实用性.
其他文献
目的:研究分析急性心肌梗死心脏骤停患者进行院前急救的基本特点以及临床效果。方法:将我院50例急性心肌梗死心脏骤停患者按照双盲法分为治疗组(实施院前急救处理)和对照组(不实施
目的:分析病理诊断在乳腺癌保乳治疗中的应用价值。方法:选取我院30例采取手术治疗的乳腺癌患者的临床资料进行回顾性分析,结果:所有乳腺癌患者经过病理诊断后,主要包括浸润性非特
目的:探讨眩晕宁用于椎基底动脉供血不足性眩晕病症的治疗效果。方法:选取2013年1月-2015年6月在我院进行椎基底供血不足治疗的58例患者作为研究对象,将其随机分成观察组29例(眩
[摘要]本文从肢指期货的概念和功能入手,分析了我国发展股指期货的可行性,并针对目前中国發展本土股指期货所面临的主要问题提出了几点建议。 [关键词]股票市场 股指期货 市场交易制度
基于现代信息技术上的供应链管理成了企业提升能力和应对竞争的有效方法。而供应链管理软件的通用流程与企业本身运作的明规则与潜规则的冲突,就成为企业供应链管理中实现信
随着市场全球化和竞争的加剧,供应链成员要相互合作,缩小服务与客户需求之间的缝隙,形成无缝隙供应链。而无缝隙供应链的形成,关键在于对供应链中信息流的正确理解和系统结构的优化,以求标本兼治,从源头上减弱和消除供应链中存在的牛鞭效应。
目的:观察预混胰岛素不同使用次数在控制血糖及减少不良反应方面的差异。方法:对一例Ⅱ型糖尿病频发低血糖患者进行病例分析,找出频发低血糖原因并对症治疗,更改治疗方案。结果:将
平衡记分卡是企业战略管理的一项重要工具,它从四个不同的视角,把企业组织的使命和战略进行分解,转化为有形的目标和衡量指标,落实到具体的绩效考核指标中,从而保障了战略的实施。
目的观察益气补肾汤配合常规西药治疗冠心病劳力型心绞痛心肾虚寒型患者的疗效。方法将90例冠心病劳力型心绞痛心肾虚寒型患者随机分为2组,治疗组给予自拟益气补肾汤,每日1剂
目的观察手法结合正骨散外用治疗膝骨关节炎的短期疗效。方法将56例膝关节骨关节炎的患者按随机数字表法随机分为治疗组和对照组各28例,治疗组给予手法治疗及正骨散外用,对照