【摘 要】
：
安全攸关反应式系统的核心要求是:必须在指定时间期限内完成对外部事件的检测和目标事件的响应,否则会产生灾难性的后果.随着安全攸关反应式系统对智能化需求的日益增加,将规
【机 构】
：
中国科学院软件研究所,中国科学院大学,南昌师范学院数学与计算机科学系
【基金项目】
：
国家自然科学基金(61562063)~~
论文部分内容阅读
安全攸关反应式系统的核心要求是:必须在指定时间期限内完成对外部事件的检测和目标事件的响应,否则会产生灾难性的后果.随着安全攸关反应式系统对智能化需求的日益增加,将规则推理应用于这类系统成为必然趋势.规则调度是保证规则推理硬实时约束的关键.为此,提出了一种基于图模型的实时规则调度方法(graphbasedreal-time rule scheduling,简称GBRRS).该方法对基于事件图的实时规则推理过程进行建模,提出了基于图的端到端推理任务模型,并给出了端到端推理任务的调度算法,保证了规则调度的安全性
其他文献
<正> 汉语拼音在新加坡与马来西亚两地使用的时间并不算长。前者于1970年开始,后者于1982年开始。这是指两地教育部采用汉语拼音作为教学用途的年限,至于民间使用汉语拼音的
风力发电系统为实现系统稳定和持续供电,必须配备合适的储能装置.因此提出以下设想:将风能首先转化为液压能,并以液压蓄能器作为储能装置.不但可以实现系统的稳定和持续供电,
使用番茄专用催熟剂在绿熟期和白熟期对番茄果实进行催熟处理，研究番茄专用催熟剂对番茄品质的影响。结果表明：与自然成熟的果实相比，番茄专用催熟剂对果实中VC、茄红素、TSS、
对薜荔中果胶和可溶多糖进行提取分离试验，结果表明，从薜荔果实的种子分离得到的果胶由鼠李糖、葡萄糖组成，可溶多糖组成中含有葡萄糖，果胶中有4部分不同的分子量，多糖中有2部分不
大数据时代,在实际应用中所面临的数据体量大幅增长,由于对数据进行详细标记的难度很大而且成本极高,弱标签数据已经成为了大数据时代所面临的主要数据。比例标签数据作为弱
针对当前中低压配电网一体化的发展趋势以及分布式电源的大量接入问题,为提高中低压配电网的运行效率和分布式电源的利用率,建立了一种基于中压主干线-支路-配电变压器-低压
目的:探讨多西他赛联合替吉奥对晚期胃癌患者癌胚抗原(CEA)、糖类抗原199(CA199)、肿瘤相关物质(TAM)水平及疗效的影响。方法:选取2016年1月-2017年8月宜兴市肿瘤医院收治的
以洞庭湖区24个气象站1952--2010年的平均气温资料为基础，利用气候倾向率、Mann-Kendall突变检验法和小波分析等方法，分析了洞庭湖区的气温变化特征。结果表明：洞庭湖区年平均、
随着农业现代化技术的发展,无土栽培技术已在蔬菜、花卉等园艺事业上蓬勃兴起。利用这项技术,革新了传统的农艺操作,不用土壤就可种植出产量高、品质好、无污染的作物。本装
荷兰有着“欧洲花园”的美称。郁金香给这个古老的临海低洼国披上了美丽的盛装。荷兰人爱花,无论贫富,家里都不能没有花。旅馆、餐厅等公共场所,鲜花更是不可缺少的装饰。荷