论文部分内容阅读
针对实时系统在计算机系统应用中的重要性，采用形式化方法是保证实时系统软件开发正确性的一种重要途径，而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ／E的相关介绍，并利用XYZ／E的子语言XYZ／RBE与XYZ图描述了煤气炉实时控制问题。
基于时序逻辑语言XYZ／E的实时系统应用研究
【摘 要】
：
针对实时系统在计算机系统应用中的重要性，采用形式化方法是保证实时系统软件开发正确性的一种重要途径，而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给
【机 构】
：
重庆师范大学数学与计算机科学学院
【出 处】
：
重庆师范大学学报：自然科学版
【发表日期】
：
2006年3期
【基金项目】
：
重庆市教委科学技术研究项目（No.040803）,中国科学院计算机重点实验室开放科题（No.SYSKF3303）
其他文献
金薇是上海种都种业科技有限公司以自交系T106为母本、T185为父本杂交选育而成的F。代厚皮网纹甜瓜品种。2005年春季初配组合20个，2005年秋-2007年进行品种比较试验，其中T106xT
芋为天南星科芋属，别名芋艿、毛芋、芋头等。芋原产于印度东部和马来西亚等热带地区，在我国栽培历史悠久，主要在华南、西南和长江流域种植。芋喜温怕早，适宜在疏松肥沃的沙壤土中
【正】 相当于 person(人格)的拉丁语 persona 语源未必确定,但 person 的含义是明确的。第一,意味着演剧戴的假面;第二,意味着假面所表现的角色;第三,具有人格的意义。这是
目的探讨胸段食管癌术后复发、转移的临床特征，了解术后放疗的靶区。方法回顾性分析144例食管癌术后复发转移部位，应用最优尺度分析描述其分布与原发肿瘤部位关系。结果144例术
目的探讨经胃镜异物取出手术的临床护理方法。方法将自2011年10月至2012年12月在我院经胃镜异物取出手术的39例患者，对患者术中的临床护理措施进行分析。结果对经胃镜异物取出
【正】 阿拉伯哲学是公元800年到1300年间,在哈里发封建伊斯兰教国家(这些国家包括近东,中东、北非和西班牙诸国)的社会基础上产生的各种哲学流派的总称。说得精确一些,阿拉
目的观察Bipap联合舒利迭治疗重叠综合征的临床效果。方法选取近年来我院就诊的重叠综合征患者共66例作为观察对象，分为观察组和对照组两组。对照组采Bipap呼吸机进行治疗，观察
当今的蠕虫检测防御系统都是被动的检测防御系统，只能进行事后处理，不能检测和防御未知蠕虫。生物免疫系统是一个高度复杂的分布协调自适应系统。由于蠕虫具有生物病毒特征，所以
目的探讨肾病综合征临床护理。方法选择肾病综合征患者100例,分组就常规护理（对照组）与整体性护理干预（观察组）临床效果进行比较。结果观察组患者护理满意度优于对照组,焦虑程度