统计模型检测相关论文
随着科技的进步,新型复杂系统,例如人机物融合系统(human cyber-physical systems,简称hCPS),已与人类社会生活越来越密不可分.软......
信息物理融合系统(Cyber physical Systems,简称CPS)是软件和硬件设备紧密联系、相互影响相互作用的新一代智能系统。随着自动化、......
统计模型检测是一种高效的验证技术，常用于复杂的随机系统验证，如分布式算法等，而在超长路径上对性质进行验证时，其验证效率会急剧降低......
多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的......
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检......
随着科技的进步,新型复杂系统例如人机物融合系统(Human Cyber-Physical Systems,HCPS)已经与人类社会生活越来越密不可分。软件系......
随着计算机与物理环境的交互日益密切,信息-物理融合系统（cyber-physical system,简称CPS）在健康医疗、航空电子、智能建筑等领域具......
针对FCSMPC性能验证问题,引入了一种基于统计模型检测(SMC)的验证方法。以三相逆变器及其FCSMPC为例,完成了FCSMPC算法设计,并通过......
为了有效利用非文字音频事件进行会话语音的语义分析,在分析口语中频繁出现的音频事件特征差异的基础上,提出了一种基于两步判决的......
随着嵌入式技术、计算机技术和网络技术的不断发展，以及硬件产品性能和数据处理能力的不断提升，物联网技术得到快速发展。在此背景之......
信息物理融合系统(Cyber Physical Systems, CPS)是一种更关注计算机与物理环境交互和协作的高级嵌入式系统,自2006年此概念被提出......
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生......
信息物理融合系统(Cyber Physical Systems,CPS)是一种高级嵌入式系统,它将数字计算系统与物理过程结合起来,更关注计算机与物理环......
随着网络技术的成熟,加速了各类网络设施、应用和服务的发展,如移动互联网、云计算等。它们渗透进了人们生活的方方面面。越来越多......
