-
在结果中检索

检索结果分析

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

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
面向安全攸关系统中小概率事件的统计模型检测被引量：11
《软件学报》2015年第2期305-320,共16页杜德慧 程贝 刘静 
国家自然科学基金(61472140;61202104);上海市自然科学基金(14ZR1412500;13511503100)
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高...
关键词：统计模型检测 小概率事件 安全攸关系统 随机混成自动机 机器学习 
面向复杂随机系统的启发式统计模型检测方法
《计算机应用研究》2016年第10期3036-3040,共5页何佳 张敏 郭延楠 吕悦 
国家自然科学基金青年科学基金资助项目(61202105);国家自然科学基金资助项目(61361136002)
统计模型检测是一种高效的验证技术,常用于复杂的随机系统验证,如分布式算法等,而在超长路径上对性质进行验证时,其验证效率会急剧降低。为解决这个问题,提出一种启发式的统计模型检测算法。在对路径进行验证时,会查找帮助剪枝的最短前...
关键词：统计模型检测 复杂随机系统 超长路径 最短前缀 启发式算法 PRISM 
基于统计模型检测的Tc CBTC移动授权建模与分析
《控制工程》2023年第5期803-809,821,共8页林俊亭 闵晓琴 
国家自然科学基金资助项目(52162050,61763025);甘肃省自然科学基金资助项目(20JR5RA375)。
基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采...
关键词：随机混成自动机 统计模型检测 以车载为核心的列车运行控制 移动授权 
不确定环境下hCPS系统的形式化建模与动态验证被引量：2
《软件学报》2021年第7期1999-2015,共17页安冬冬 刘静 陈小红 孙海英 
国家重点研发计划(2019YFA0706404);国家自然科学基金(61972150);上海市知识服务平台(ZF1213);上海市科技计划(20ZR1416000);上海市青年科技英才杨帆计划(21YF1432900)。
随着科技的进步,新型复杂系统,例如人机物融合系统(human cyber-physical systems,简称hCPS),已与人类社会生活越来越密不可分.软件系统所处的信息空间与人们日常生活所处的物理空间日渐融合.物理空间内环境的复杂多变、时空数据的爆发...
关键词：人机物融合系统 机器学习 不确定性建模 形式化验证 统计模型检测 
基于SMC的模型预测控制性能验证方法研究被引量：1
《智慧电力》2020年第11期74-79,共6页袁武 曾山 
国家自然科学基金资助项目(U1833119)。
针对FCSMPC性能验证问题,引入了一种基于统计模型检测(SMC)的验证方法。以三相逆变器及其FCSMPC为例,完成了FCSMPC算法设计,并通过Simulink基准模型开展了仿真计算,并进行了实验。在UPPAAL SMC工具箱中,将系统建模为随机时间自动机网络...
关键词：有限集模型预测控制 控制性能 统计模型检测 逆变器 
随机混成系统稀有属性的统计模型检测方法
《软件学报》2022年第10期3717-3731,共15页房丙午 黄志球 谢健 
国家重点研发计划(2016YFB1000802,2018YFB1003902);高安全系统软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)研究项目(NJ2019006)。
统计模型检测,已成为随机混成系统安全性验证的重要方法.但对安全性要求较高的系统,其不安全事件和系统失效都是稀有事件.在这种情况下,统计模型检测很难采样到满足稀有属性的样本而变得不可行.针对该问题,提出了交叉熵迭代学习的统计...
关键词：随机混成系统 安全性 稀有属性 交叉熵迭代学习 统计模型检测 
基于两步判决的口语中非文字音频事件检测方法被引量：1
《华南理工大学学报（自然科学版）》2011年第2期20-25,31,共7页贺前华 李艳雄 李韬 张虹 杨继臣 
国家自然科学基金资助项目(60972132);广东省自然科学基金资助项目(10451064101004651;9351064101000003)
为了有效利用非文字音频事件进行会话语音的语义分析,在分析口语中频繁出现的音频事件特征差异的基础上,提出了一种基于两步判决的口语中非文字音频事件的检测方法.该方法利用音频事件的信号特征构造音频事件信号段,采用门限判决来检测...
关键词：非文字音频事件 门限判决 统计模型检测 口语语音 语音处理 
多核系统动态温度管理TAPE策略的形式化验证
《计算机科学》2017年第B11期542-546,551,共6页屈媛媛 洪玫 孙琳 
多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中。提出使用统计模型检测技术来验证多核系统中分布式DT...
关键词：动态温度管理策略 统计模型检测 多核系统 
一种面向CPS的自适应统计模型检测方法被引量：4
《软件学报》2017年第5期1128-1143,共16页杜德慧 昝慧 姜凯强 程贝 
国家自然科学基金(61472140;61170084);上海市自然科学基金(14ZR1412500)~~
随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model chec...
关键词：信息-物理融合系统 统计模型检测 抽象 学习 自适应性 
基于统计模型检测的DFT定量分析方法被引量：2
《系统工程与电子技术》2020年第2期480-488,共9页乔森 黄志球 王金永 宛伟健 
国家自然科学基金(61772270);国家重点研发计划(2016YFB1000802)资助课题
动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模...
关键词：随机混成自动机 统计模型检测 随机系统 动态故障树 安全性分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部