Decidability of Mean Value Calculus

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:yellow1989
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconservative extension of Duration Calculus (DC)[3], MVC increasesthe expressive power but keeps the properties of DC. In this paper wepresent decidability results of MVC. An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results of[4]and[5].
其他文献
目的分析心尖肥厚型心肌病的心电图特征并探讨其在临床诊断中的价值。方法分析31例经过心脏彩超证实的心尖肥厚型心肌病的心电图特征。结果31例均存在明显的心电图改变(100%)
目的分析我院儿童急性呼吸道感染的病原体分类及比例情况。方法 280例上呼吸道感染患儿取静脉血样,采用间接免疫荧光法检测诱发感染的病原菌情况。结果乙型流感病毒(FluB)是
目的分析高频超声诊断在诊断新生儿肾上腺出血中的应用价值。方法收集肾上腺出血新生儿10例,采用高频超声诊断,检测病灶及血供特点。结果本组10例肾上腺出血新生儿中,7例位于肾
目的探讨急性颅脑外伤患者血清中电解质及微量元素含量变化的临床价值。方法依据2011年3月-2012年12月我院40例急性颅脑外伤患者入院时格拉斯哥评分把患者分为轻中型组和重型
目的探讨超声和膀胱镜对膀胱癌的诊断及术前分期的临床价值。方法对64例术前同时做过超声检查及膀胱镜的患者资料进行分析,并与病理结果相比较。结果超声检查符合病理结果的
目的研究奥美拉唑溃疡性结肠炎的临床疗效。方法将96例溃疡性结肠炎患者随机分为两组各48例。对照组采用柳氮磺胺吡啶实施治疗,治疗组采用奥美拉唑实施治疗。结果治疗组患者溃
目的探讨高危型人乳头状瘤病毒(HPV)负荷量与细胞学结果为不典型鳞状上皮增生不除外高度上皮内病变(Atypicalsquamous cells not except high lesion,ASC-H)的病例中宫颈上皮
目的探讨人性化护理在多层CT检查中的应用效果。方法将我院2012年1-12月接受多层CT检查672例患者分为两组各336例,对照组采用常规护理方法,观察组采用人性化护理模式。比较两组
目的探讨中药超声雾化熏洗在痔术后切口愈合中的应用效果。方法将患有混合痔并已行手术治疗的患者200例分为两组。实验组采用中药超声雾化熏洗护理伤口,对照组采用中药坐浴,比
目的探讨磷酸肌酸钠外渗致新生儿皮肤损伤的处理方法。方法将2例磷酸肌酸钠外渗致新生儿皮肤损伤患儿对照,1例发生外渗后处理不及时,未采取积极有效的措施;另1例发生外渗后立