信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够 ...
/dl/211234.html
标签: 信息 物理 融合 系统 控制 软件 统计 模型 检验理融合系统 多任务系统
上传时间: 2022-09-12
上传用户:dgnd9999
高等数学内容matlab实现,非常的全,希望对大家有!
/dl/211798.html
上传时间: 2022-09-18
上传用户:流浪的沙
在小波图像处理中,通常利用HH 子带来估计高斯白噪声方差,目前流行的估计方法是由Donoho和Johnstone提出的(简称DJ法),但是该方法给出的估计值通常都偏大.针对这一点,该文将他们的方法结合双随机小波系数模型,提出了一种新的、递归的方差估计方法.在已由Donoho的方法获得噪声方差估计的粗略估计的情况下,新方法利用统计 ...
/dl/211803.html
上传时间: 2022-09-18
上传用户:抬脚的猫
针对云平台中同驻虚拟机间共享物理资源,一些恶意用户通过探测、分析共享资源的信息来隐蔽获取其他用户的私密信息,进而可能引发侧通道攻击潜在威胁的问题,提出了一种基于云模型的同驻虚拟机侧通道攻击威胁度量方法。该方法在分析同驻虚拟机侧通道攻击特征的基础上,利用云模型在多属性决策不确定性转换及模糊性与随机性评估上 ...
/dl/212565.html
标签: 模型 虚拟 通道 攻击 威胁 度量 方法模型 威胁度量方法
上传时间: 2022-09-26
上传用户:volansguo
基于能力导向的数学建模课程教学设计这是一份非常不错的资料,欢迎下载,希望对您有帮助!
/dl/212687.html
标签: 数学建模
上传时间: 2022-09-28
上传用户:2112
针对目前电力系统的信息整合需求,设计基于Web services的电力系统多层分布式信息整合模型。该模型可以跨越不同企业数据源、应用体系和开发语言的界限,以服务的形式封装数据和应用并对外发布,供用户调
/dl/201207.html
标签: services
上传时间: 2021-01-01
上传用户:zoudayu23
该文提出一个有效的基于径向基函数神经网络的模型和状态数据融合的汽轮发电机智能估计方法。文中阐述了其网络结构、学习算法、特征提取及综合决策方法。该模型同时利用了故障样本及专家经验知识,并通过不断
/dl/201266.html
标签: 模型
上传时间: 2021-01-01
上传用户:15035965452
对于pH 中和过程的控制,由于其本身具有严重的非线性特性,因而对于此过程的控制十分困难。鉴于此,本文提出了Hammerstein 系统非线性预测控制方法,并应用仿真和试验的方法分别实现了对pH 中和非
/dl/201286.html
标签: Hammerstein 模型 非线性
上传时间: 2021-01-01
上传用户:zhangly
本文在对灵活片组划分(FMO)和不对等保护(UEP) 研究的基础上,提出一个基于 FMO 的不对等保护模型。此模型先定义每个宏块的重要性,然后基于此重要性对图像进行片组划分,再用前向纠错(FEC)对片
/dl/201320.html
标签: 学术论文
上传时间: 2021-01-01
上传用户:guyahui1234
本文提出了一种能量节约型无线传感器网络管理模型,弥补了当前大多数无线传感器网络管理模型未考虑节点能量的缺陷。目前大多数无线传感器网络管理模型由于未考虑各节点能量因素,采用各节点间相互报告管理信
/dl/201432.html
上传时间: 2021-01-02
上传用户:simplord