汪芳
- 作品数:7 被引量:49H指数:1
- 供职机构:中国联合网络通信集团有限公司更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术建筑科学更多>>
- 容错的网络声明式程序
- 2012年
- 介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
- 汪芳Stephane GRUMBACH
- 关键词:语法语义容错性
- 朝向全局式的声明式传感器网络开发模式被引量:1
- 2012年
- 探讨一种全局式的声明式传感器网络开发模式,将全局式的声明式网络程序编译为分布式程序,再交给网络节点的虚拟机执行.因此,开发者只需声明网络全局的功能,而无须处理网络的分布式计算过程以及底层细节.
- 汪芳张云勇
- 关键词:传感器网络语言查询
- 物联网组网方法及设备
- 本发明提供物联网组网方法及设备。该方法包含:获取物联网全局式声明式语言程序,其包含用于定义物联网全局功能的全局式声明式规则语句,全局式声明式规则语句包含分别包含至少一个谓词的规则头和规则体;指定各谓词的持有变量;若判断获...
- 汪芳张云勇房秉毅
- 文献传递
- 基于云服务的车载音视频播放方法及云计算中心
- 本发明提供一种基于云服务的车载音视频播放方法及云计算中心,其中,方法包括云服务管理单元接收携车载音视频终端发送的带有音视频ID的音视频播放请求;根据所述音视频播放请求对存储有音视频数据的云服务数据库进行查询,以获取与所述...
- 童晓渝张云勇汪芳房秉毅
- 文献传递
- 物联网、云计算构建智慧城市信息系统被引量:48
- 2011年
- 随着物联网、云计算等技术的发展,城市信息化的发展趋势是构建智慧、协同的城市信息系统。文章首先定义智慧城市及其关键能力,分析物联网和云计算等关键技术,进而提出智慧城市的总体框架,给出智慧城市信息系统网络拓扑及其各层的功能技术架构,最后提出智慧城市建设技术发展和政策环境等方面的建议。
- 汪芳张云勇房秉毅徐雷魏进武
- 关键词:智慧城市物联网云计算
- 物联网组网方法及设备
- 本发明提供物联网组网方法及设备。该方法包含:获取物联网全局式声明式语言程序,其包含用于定义物联网全局功能的全局式声明式规则语句,全局式声明式规则语句包含分别包含至少一个谓词的规则头和规则体;指定各谓词的持有变量;若判断获...
- 汪芳张云勇房秉毅
- 文献传递
- 基于云服务的车载音视频播放方法及云计算中心
- 本发明提供一种基于云服务的车载音视频播放方法及云计算中心,其中,方法包括云服务管理单元接收携车载音视频终端发送的带有音视频ID的音视频播放请求;根据所述音视频播放请求对存储有音视频数据的云服务数据库进行查询,以获取与所述...
- 童晓渝张云勇汪芳房秉毅
- 文献传递