检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]电力传输与功率变换教育部重点实验室(上海交通大学电气系),上海市闵行区200240
出 处:《中国电机工程学报》2016年第6期1544-1551,共8页Proceedings of the CSEE
摘 要:智能用电网络是一个具备计算、通信、精确控制、远程协调和自治等功能的用户侧信息物理系统。文中在分析智能用电网络的数据采集和通信的主要需求基础上,结合信息物理系统理论,提出了基于时间驱动和事件驱动的多智能体数据采集和通信机制,建立了该机制的混合动态系统。利用线性时序逻辑描述了该系统的形式化规格,并利用符号化模型检测方法对该系统进行了可到达性分析。最后通过实验分析了该机制的通信实时性、吞吐量和网络规模,验证其适合低功耗、低成本、低通信速率、资源和功能高度有限的嵌入式物联网通讯环境。该机制可对用电设备进行毫秒级(100ms)追踪,相比较传统通信机制(1s间隔的被动轮询),其数据监测的频率上升了10倍,而信息吞吐量反而降低了90%以上,计算与控制核心设备的平均运行负荷降低了90%以上,网络规模约可扩大一个量级。Smart electric appliance network is one of the paradigms of customer-side cyber-physical system with five major functions, i.e. computing, communication, precise control, remote coordination and autonomous management. Primarily, this paper analysed the network's primary demand of data collection and communication. Based on concerning concept of cyber-physical system, a time-drive and event-drive multi-agent data collection and communication mechanism and corresponding hybrid dynamic system was then developed. The formal methodology of the system was described via linear temporal logic and the reachability analysis of the system was analysed by symbolic model checking. At last, an experiment aimed at proving the merit of the proposed mechanism was implemented. On the point of the Real-time performance, throughput and network size of the communication mechanism, the experiment demonstrates that the proposed mechanism is suitable for embedded networking condition with characteristics of low power dissipation, low-cost, low communication rate and limited feature. When compared with traditional communication mechanism, the proposed mechanism can increase 10 times of data monitoring frequency while reducing above 90% throughput, about 90% running pressure of core device and the network scale can be expanded at least one order of magnitude.
分 类 号:TM732[电气工程—电力系统及自动化]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.200