基于安全灰箱演算的物联网移动性建模验证

来源 :华东理工大学学报(自然科学版) | 被引量 : 2次 | 上传用户:zm_627
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。
其他文献
卡尔曼滤波可有效解决电机参数变化对车窗防夹控制性能的影响。然而,由于观测噪声往往是未知并且随时间变化,这对基于卡尔曼滤波的车窗防夹控制系统性能有着重要的影响。本文
摘要:针对干扰有界的线性离散系统,提出了事件触发的鲁棒预测控制算法。首先,采用紧约束方法设计系统的鲁棒预测控制优化问题;然后,根据求解优化问题得到的一组最优控制律序列,为后
利用商品脂肪酶Novozym 435介导的对映选择性转酯反应催化拆分(R,S)-6-羟基-8-氯辛酸乙酯(ECHO),以合成(R)-α-硫辛酸的手性前体。对酶促拆分反应的条件进行了优化,确定了该酶的最适反
随着光电子技术的发展,以电荷耦合器件(CCD)作为信号接收元件的光电成像器件获得了日益广泛的应用。CCD器件的输出信号是模拟信号,夹杂着各种噪声和干扰。其中,白噪声和1/f噪声
主要研究了正交频分复用(OFDM)系统基于线性时变(LTV)模型的子载波间干扰(ICI)消除算法。在LTV模型中采用双重ICI消除算法可以达到比较好的性能,然而由于导频处的估计值准确度有限,
在苯乙烯-丙烯酸丁酯乳液聚合中,加入少量功能单体甲基丙烯酸(MAA)和甲基丙烯酸羟乙酯(HEMA)(两者的质量分数小于6.0%)参与共聚,采用差示扫描量热仪(DSC)、动态机械分析仪(DMA)以及旋转流变
为降低马钱子生物碱的释放速率,采用乳化-溶剂扩散法制备马钱子生物碱微囊,以载药量、包封率、外观形态等为考核指标,通过正交试验对制备工艺条件进行优化并考察其体外溶出性能
构建了以初沉池污水接种、铁氰化钾作为阴极液的典型H型无介体微生物燃料电池(MFC),考察了MFC在启动过程中的电化学行为。结果表明:在启动期间,MFC开路电压比闭路电压提前达到稳
在脑电信号的实时采集过程中,噪声伪迹会对采集到的脑电信号产生较大的畸变。利用Copula理论结合AR时间序列模型研究脑电信号与引起其畸变的噪声之间的相关性,设计并实现了基
为研究肾脏雄激素调节蛋白杂合启动子Kap147/HAGT-Kpn的细胞特异性,将HAGT-Kpn片段克隆到pGL3-Kap147载体质粒上,通过细胞转染和荧光素酶活性测定,证实Kap147/HAGT-Kpn杂合启动子