荣晓慧
- 作品数：12 被引量：13H指数：2
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家科技支撑计划国家科技基础条件平台建设计划更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 大规模设备协同中的时间建模与验证被引量：1
- 2012年
- 针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.
- 荣晓慧马世龙邓攀陈峰
- 基于适配的异构设备统一访问中间件被引量：2
- 2010年
- 针对地震前兆行业中设备访问方式异构、数据处理手段单一和管理困难的问题,提出基于适配的异构设备统一访问中间件。屏蔽设备的物理连接方式异构和设备通信协议异构,将异构设备转换为具有统一属性、命令集、数据结果集的虚拟设备,实现设备资源的远程统一访问和交互式管理。以典型测试场景为例验证了该方法的可行性。
- 邓攀荣晓慧陈峰刘允桢
- 关键词：协议适配远程监控
- 一种面向照明异构设备的资源代理器
- 一种面向照明异构设备的资源代理器，在虚拟设备资源的统一描述模型的基础上，为屏蔽设备的物理通讯协议异构和业务通信协议异构，采用分层的架构设计思想，将资源代理器自下而上设计为物理通讯协议适配器、业务通信协议适配器、任务执行调...
- 邓攀陈峰荣晓慧马世龙刘允桢刘洪宇姜鹏
- 文献传递
- 一种基于约束条件的服务选择方法被引量：1
- 2008年
- 照明控制系统的服务选择为工作流的研究提供了新的契机与挑战,基于约束条件的服务选择问题是一个典型的NP问题。利用遗传算法所具有的全局解空间搜索的特点,针对照明服务选择问题,提出基于遗传算法的照明系统服务选择方法,并根据照明系统的特点,改进了遗传算法的收敛性,通过分析实验结果证明该算法优于传统的服务选择算法。
- 姜鹏邓攀陈峰荣晓慧
- 关键词：遗传算法
- 一种基于元调度环的多集群作业调度方法
- 本发明提出了一种基于元调度环的多集群作业调度方法。该方法基于多集群间建立的元调度环，将用户提交到作业主节点的作业，由作业主节点通过发送添加作业的消息将作业添加到多个集群上、要执行作业的集群节点通过发送取消作业的消息并比较...
- 荣晓慧邓攀陈峰马世龙伊胜伟孙超赟于冰梁峰
- 文献传递
- 一种网络视频监控系统及其数据交换方法
- 本发明的目的在于提出一种网络视频监控系统及其数据交换方法，它通过在视频监控系统中设置视频编码服务器，完成视频数据的获取，通过设置视频数据分流服务器，实现视频数据分流，通过设置管理服务器实现对视频编码服务器和视频数据分流服...
- 陈峰邓攀荣晓慧马世龙刘洪宇刘允桢姜鹏
- 文献传递
- 一种面向照明异构设备的资源代理器
- 一种面向照明异构设备的资源代理器，在虚拟设备资源的统一描述模型的基础上，为屏蔽设备的物理通讯协议异构和业务通信协议异构，采用分层的架构设计思想，将资源代理器自下而上设计为物理通讯协议适配器、业务通信协议适配器、任务执行调...
- 邓攀陈峰荣晓慧马世龙刘允桢刘洪宇姜鹏
- 文献传递
- 设备协同技术及其系统软件研究综述被引量：7
- 2011年
- 设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控制的快捷性和协同的安全性.之后,归纳了大规模设备协同系统软件的体系结构,并分析了大规模设备协同中的三个关键技术.通过分析若干设备协同典型应用系统以及采用的技术方案,指出了目前研究的特点、优势和不足.同时本文分析了基础网络方案对设备协同系统软件的影响.最后指出了进一步的发展方向.
- 陈峰荣晓慧邓攀马世龙
- 大规模设备协同机制研究被引量：3
- 2011年
- 在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规模设备协同中两级任务协同机制的描述,并从理论上证明了该机制的正确性.并实现了大规模设备协同原型系统,通过在原型系统上进行模拟实验,验证了该协同机制能够满足设备协同中的大规模性和严格的时序约束.
- 荣晓慧陈峰邓攀马世龙
- 关键词：PI-演算
- 大规模设备协同中的时间建模与验证
- 针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点，提出了包含时间属性的大规模设备协同模型，该模型包含了设备操作时间和状态维持时间两种属性，通过在操作上附加时间属性实现了对设备操作时间的建模，通过在连接符上附加...
- 荣晓慧邓攀陈峰马世龙
- 文献传递
