《基于时间自动机的信息物理融合系统建模与验证》PDF+DOC

📙 相关资料

1. 《体系对抗条件下红外导引头探测系统建模与仿真》PDF+DOC 分析了红外导引头探测系统的设计要求，建立了仿真系统的体系结构，描述了各子模块的功能、组成、模型原理，最后在基于组件的一体化建模仿真环境(CISE)下给出了红外导引头探测系统的仿真实现。体现了实战要素对探测系统的影响，为体系对抗条件下红外导引头的建模仿真提供了参考。...
2. 《基于时间自动机的温室环境监控物联网系统建模》PDF+DOC 由于温室环境的复杂性，系统设计的不合理会直接导致数据的不确定和系统的不稳定。基于体系结构的物联网层次模型对物联网的实施具有指导意义，但是体系结构模型没有提供系统建模工具和模型验证的方法。基于时间自动机理论的建模与模型验证方法是一种对物联网系统建模的有效手段，能在系统设计时提高系统的稳定性，保证系统设......
3. 《基于UPPAAL的数据关联时序有限自动机模型验证》PDF+DOC 对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。...
4. 《分析模式在嵌入式系统建模中的应用研究》PDF+DOC 面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模，但它在嵌入式实时系统建模时存在模型重用性不高、概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题，针对这些问题，提出了对象分析模式与实时规范模式相结合的新思想，并给出了使用对象分析模式和实......
5. 《雷达信号处理系统的建模与仿真研究》PDF+DOC 文中针对雷达信号处理系统中的建模与仿真作了探索性研究，讨论了雷达系统建模与仿真的工作平台选择和软件库的规范.通过雷达杂波库的建立，研究了雷达信号处理系统中的软件库的建立方法，并以二维自适应信号处理系统为例，分析了系统建模与仿真的方法。...
6. 《TWS雷达数据处理系统建模与软件设计》PDF+DOC 根据边扫描边跟踪(TWS)雷达数据处理系统的技术特点，讨论了用微机实时完成雷达对多个目标的自动跟踪及目标航迹自动管理的途径，给出了建模方法及过程控制的有关准则。合理的模型与准则的选取，可以大大减少软件设计的工作量，文中对软件设计的特点也作了相应的介绍。...
7. 《基于Simulink的脉冲压缩雷达系统建模与仿真》PDF+DOC 利用计算机仿真技术的可控制性、可重复性、安全性、经济性、无破坏性等特点与优势进行仿真与效能评估，是当前和未来雷达与电子对抗领域研究中的重要手段。我们的工作是建立一个基于Simulink的雷达仿真模块库，当仿真某种雷达系统时，只要从模块库中取出所需要的模块，修改参数后将它们连接起来，就可以迅速的搭建成......
8. 《基于WSN的嵌入式操作系统HAA研究》PDF+DOC 研究了TinyOS操作系统的特点和体系结构，在此基础上对面向无线传感器网络的嵌入式操作系统的硬件抽象体系结构进行了深入分析和研究，并针对其实现机制中存在的问题，提出了改进策略，并给出了TinyOS下的实现机制，最后研究了面向WSN的嵌入式操作系统的组件注册模型。...
9. 《雷达预警探测系统组合建模研究》PDF+DOC 针对雷达预警探测系统具备“系统的系统”特性，对其可组合化建模研究已成为当前研究其内在规律的最新热点发展区。在对雷达预警探测系统问题域和仿真域中组合建模需求进行分析的基础上，重点提出了以MDA、UML、Web Servers、XML、形式化表示等建模技术为核心，由语言维和模型维构成的栅格状跨层次组合建......
10. 《一种新型的传感器WEB标准-传感器WEB整合框架》PDF+DOC 传感器网络有着广阔的应用前景，是目前的研究热点之一.但是由于传感器网络的异构性，将它们互联在一起，达到资源有效分配、共享的目的比较困难.SWE提出了解决该问题的有效方法，并且成为了事实上的工业标准.本文分析了SWE的产生背景，阐述了SWE的组件和体系结构，重点讨论了SWE的信息模型，分析和总结了SW......