-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=统计模型检验 "
共 条 记 录，以下是1-4

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
信息物理融合系统控制软件的统计模型检验被引量：4
《软件学报》2015年第2期380-389,共10页单黎君 周兴社 王宇英 赵雷 万丽景 乔磊 陈建新 
国家自然科学基金(61472327)
信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任...
关键词：形式化验证 统计模型检验 信息物理融合系统 多任务系统 
基于模型检验的分级调度系统参数生成方法被引量：2
《西北工业大学学报》2019年第6期1302-1309,共8页韩朴杰 翟正军 陆艳洪 李运喜 
国家自然科学基金(61601371);航空科学基金(2016ZD53035);中航产学研项目(cxy2013XGD14)资助
针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系...
关键词：综合模块化航电 分级调度 参数生成 时间自动机 统计模型检验 分布式遗传算法 
智能手机能耗多目标优化机制研究
《电子测量与仪器学报》2022年第3期241-250,共10页薛普俊 朱正伟 诸燕平 朱晨阳 
常州市重点研发计划(应用基础研究)(CJ20210123)项目资助
智能手机的网络请求导致其续航能力下降,合并转发技术可有效降低能耗,但设置最优的合并转发时间仍是技术发展的关键,通过大量人工实验解决该问题耗时耗力。因此,基于统计模型检验,使用工具UPPAAL-SMC,以概率时间自动机对安卓设备中用户...
关键词：合并转发 WiFi模块 统计模型检验 多目标优化 延迟时间 
ARINC653实时任务可调度性验证方法被引量：1
《单片机与嵌入式系统应用》2021年第4期15-20,共6页雷煜靓 胡宁 陈福 崔西宁 
国防基础科研项目资助(JCKY2016607B006);工信部民机科研(MJ-2017-S-39)。
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方...
关键词：ARINC653 可调度性 秒表时间自动机 统计模型检验 符号模型检验 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部