【摘 要】
：
TheDurationCalculus(abbreviatedDC)representsalogicalapproachtoformaldesignofreal-timesystems.DCisbasedonintervallOgic,andusestherealnumberstomodeltime,andBoolea
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
TheDurationCalculus(abbreviatedDC)representsalogicalapproachtoformaldesignofreal-timesystems.DCisbasedonintervallOgic,andusestherealnumberstomodeltime,andBoolean-valued(i.e.{0,1}-valued)functionsovertimetomodelstatesandeventsofreaLtimesystems.Thedurationo
TheDurationCalculus (abbreviatedDC) representsalogicalapproachtoformaldesignofreal-timesystems.DCisbasedonintervallOgic, andusestherealnumberstomodeltime, andBoolean-valued (i.e. {0,1} -valued) functionsovertimetomodelstatesandeventsofreaLtimesystems.Thedurationo
其他文献
目的评价健康志愿者对口服七竭止痛片的耐受性。方法 48例健康志愿受试者随机分为单次给药组4组(剂量分别为3,6,9,12片,每个试验组设安慰剂对照组2例)和多次给药组2组(剂量分
目的研究舒必利片在健康人体内的药动学过程。方法 24名健康男性志愿者单剂量口服100mg舒必利片后,以HPLC测定血浆中舒必利浓度,用3P97软件计算。结果舒必利药-时曲线符合一
海南省长卫留成6月27日在省委四届六次全会上作《关于〈中共海南省委关于加强投资环境建设若干问题的决定〉的起草说明》时表示,政府给投资者造成了重大损失的,要承担赔偿、
鲸既然是哺乳动物,用肺呼吸,在岸上搁浅后为什么会死?rn王企鹅答:因为太重了.它是胖死的.rn真不开玩笑,鲸鱼体重太重,在水里时靠水的浮力支撵,上岸之后没有水的浮力,身体承受
ＣＡＤ坐标数据如何转化为ＣＡＭ设备坐标数据，是国家８６３武汉邮电科学研究院ＣＭＳ开发中需要解决的重要问题。文章提出了线性变换原理的解决方案，并对线性变换原理方案进行了误差可行性分析。关键词
调节土壤生物活性从而调节养分循环的主要元素是碳和氮，决定覆盖作物残茬分解和养分释放的主要化学因子是碳、氮比（C／N）和植物所含木质素与另外一些碳水化合物的比率。牧草和豆科
1979年倡议,1984年大规模启动,历时长达31年始告竣工的《鲁迅大辞典》2009年12月由人民文学出版社正式出版。该书收录了9800多个词条,释文多达374万字,收罗齐备,内容广博,释
人们常说:“一年倒灌三年荒。”1997年11号台风正面袭击黄岩区,造成5万亩农田、果园受淹,2万亩晚稻绝收,死亡桔树30万株。但灾后我们充分利用降雨等淡水资源,因地制宜采取各
一、农业可持续发展与生态农业（一）对可持续发展的一般认识１可持续发展作为“解决环境与发展的唯一出路”已经成为大家的共识。１９９２年联合国环境与发展大会通过的《２１世纪议程》表明
我是一名农村中学的地理教师,面临新课程改革的推进和农村地理教学教县的贫乏,长期的农村生活让我认识到许多地理课堂教学可以就地取材,本文就是在这种背景下对在农村中学地