|
|
题目：
雅宝题库答案：
****此区域为收费内容**** 需支付 1 知识币后可查看，1币=0.01元查看答案
雅宝题库解析：
随着物联网中的RFID、传感技术等核心技术的不断完善以及广泛应用，物联网成为继计算机、互联网之后，世界信息产业的第三次浪潮。设备作为物联网上一种最为重要的资源，其更深入的智能化、更全面的互联互通和更透彻的感知是现今物联网领域发展的重点。作为物联网领域的核心支撑技术之一的设备协同技术，成为应用、实施和部署物联网的过程中需要解决的重要题目，也是促使物联网从概念走向应用的关键。设备协同的研究涉及了众多热点题目，如设备协同系统软件体系结构、设备抽象与接入、设备协同流程建模语言、设备协同流程执行机制及设备协同性评估等方面。根据设备协同的生命周期，可将这些题目划分为设备协同建立时题目和设备协同运行时题目。由于设备协同流程的建立作为设备协同工作生命周期的起源而凸显重要，因而本文对设备协同建立阶段的关键题目：设备协同系统建模、设备协同流程形式化和协同流程分析与验证展开研究，主要工作与贡献如下：(1) 研究设备协同系统建模题目，提出了基于DC-PI演算的设备协同系统建模方法。基于形式化模型的设备协同系统是进行设备协同流程正确性和需求可满足性分析与验证的重要前提。针对传统描述模型中忽略语义相似的设备行为的功能区别、忽略对设备运行状态及生命周期特征的管理以及忽略用户对设备协同中非功能属性需求的刻画等题目，本文在PI演算的基础上扩展了状态和价格信息，提出了一种DC-PI演算（Device Collaboration PI-Calculus）并分析了其语义和性质。在此基础上，给出了基于DC-PI演算的设备协同系统建模方法，实现了对系统行为、状态和非功能属性的灵活抽象与管理，有效地简化了设备协同系统及其业务逻辑的建模和验证。(2) 研究设备协同流程形式化题目，提出了基于DC-PI演算的设备协同流程及其执行的形式化描述方法。如何精确刻画设备协同过程中的内部行为、交互过程和状态及价格变化是大规模设备协同技术需要解决的重要题目。本文基于DC-PI演算对设备协同流程及其执行进行了形式化语义描述，对设备协同过程中的关键特性及操作进行明确定义，严格给出设备操作的执行顺序和相互之间交互的精确执行语义，提供一个统一的底层形式化语义平台，为实现需求驱动的形式化验证方法以及发现设备协同流程中潜在的隐含题目奠定了重要的基础。(3) 研究设备协同流程分析与验证题目，提出了需求驱动的设备协同流程分析与验证方法。如何分析和保证设备协同流程运行的正确性和可行性是实现大规模设备协同系统中的一项必要且困难的任务。本文采用DC-PI演算对设备协同流程的运行环境进行建模，将用户的需求刻画在协同流程执行的上下文中，从流程结构验证、语义约束验证和业务逻辑验证三个方面对其进行需求可满足性的形式化分析与验证，从而完成需求驱动的设备协同流程的形式化分析与验证，确保整个设备协同流程运行可靠、用户既定需求得以满足。论文的研究成果已应用于上海世博公园区域管理系统中，验证了本文研究成果的有效性。 |
上一篇：我国住房公积金制度有效性题目研究下一篇：青少年网络犯罪的原因及预防对策
|
发表于 2024-2-5 12:23:39
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
QQ登录
