《基于UPPAAL的数据关联时序有限自动机模型验证》PDF+DOC

📙 相关资料

1. 《基于实体交互模型巷道瓦斯监测WSNs的可用性检验》PDF+DOC 若煤矿瓦斯监测WSNs(Wireless Sensor Networks)系统的功能设计忽略了被监测实体的交互行为，会造成WSNs本身可靠而被监测实体的安全不满足情况，这在生产安全中是非常危险的。为检验WSNs监测系统功能设计的可靠性和可用性，利用时间自动机模型检验方法建立WSNs监测系统模型，检验......
2. 《基于时间自动机的信息物理融合系统建模与验证》PDF+DOC 信息物理融合系统的建模和验证是当前研究的一个热点。本文通过分析信息物理融合系统的体系结构，利用时间自动机为建模工具，将该结构中的各个组件分别进行建模，以表现它们的分布性和实时性。这些时间自动机组成一个网络模型，用于刻划整个系统之间的并发通信和协作过程。最后，提出一组该系统要满足的性质(包括时间约束)......
3. 《数据融合系统的时序有限自动机模型及性能分析方法》PDF+DOC 数据融合系统的各种算法是当前研究的热点问题，但缺乏有效数学工具对数据融合系统进行描述和分析.本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为.同时，给出了建立时序有限自动机模型和数据融合系统的正确性和实时性分析......
4. 《基于时间自动机的温室环境监控物联网系统建模》PDF+DOC 由于温室环境的复杂性，系统设计的不合理会直接导致数据的不确定和系统的不稳定。基于体系结构的物联网层次模型对物联网的实施具有指导意义，但是体系结构模型没有提供系统建模工具和模型验证的方法。基于时间自动机理论的建模与模型验证方法是一种对物联网系统建模的有效手段，能在系统设计时提高系统的稳定性，保证系统设......
5. 《道口管理系统多参数的形式化建模与验证》PDF+DOC 铁路平交道口作为铁路安全的瓶颈，其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车，对于双线双向接车没有给出详细的规范。为了丰富实际流程，基于道口管理规范，探讨双线双向道口连续接车的问题，同时考虑道口接车作业流程中存在的异常，提出流程方案。分析系统环境属性、功能......
6. 《基于时间自动机的工业控制系统网络安全风险分析》PDF+DOC 随着工业控制系统开放性增强，大量工业控制协议漏洞暴露在互联网上，造成了工业控制系统安全风险急剧上升。文章针对工业控制系统中最常用的Modbus协议，以典型灌装环节为例，提出了一种基于时间自动机的工业控制系统网络安全分析方法，并对针对Modbus协议的中间人攻击进行了形式化分析和验证。首先结合灌装生产......
7. 《基于交叉定位的多传感器多机动目标跟踪》PDF+DOC 交叉定位的思想可以用来简化数据关联 ，实现状态估计。但在杂波或多目标的环境中 ，定位法会产生大量虚假目标。通过分析传感器数目的选择 ，来限定虚假目标生成的概率。提出了一种基于HMM(HiddenMarkovModel)的全邻似然估计跟踪算法。该算法采用观测 -航迹关联 ，具有相对简单的多项式复杂度。......
8. 《基于贝叶斯推理的目标跟踪》PDF+DOC 该文描述了基于贝叶斯推理的目标跟踪算法，可应用于非线性、非高斯系统中。介绍了贝叶斯跟踪基本概念。讨论了单目标跟踪算法及在不考虑数据关联、考虑数据关联两种情况下的多目标跟踪算法。给出了每种跟踪算法应满足的假设条件及其递归方程。最后，简要介绍了在工程中应用的具体算法。...
9. 《基于数据关联规则的动态称重传感器布局》PDF+DOC 动态称重是汽车在高速路行驶中获取汽车真实轴重的有效方法。本文介绍了压电传感器的原理以及简化的动态称重模型。在使用压电传感器的基础上，应用时序步进法对多个压电传感器进行布置，并对布置进行局部调整，来达到较为合理的目标。应用数据关联规则的方法，选取两个较好的布置来进行仿真实验，用Gass-newton法......
10. 《软件学报2007年第18卷总目次》PDF+DOC 第1期一种扩展了价格信息的时间Petri网……………………刘显明李师贤李文军潘理(1)时间约束Petri网及其可调度性分析与验证…………………………宋巍窦万春刘茜萍(11) Petri网共享PP-型子网合成性质分析……………………………夏传良焦莉陆维明(22) Godel n值命题逻辑中命题的α-真......