国家自然科学基金(60242002)
- 作品数：3 被引量：42H指数：1
- 相关作者：邓芳谷利泽高大永马华东张冬梅更多>>
- 相关机构：北京邮电大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- XML文档到数据库数据转换研究被引量：41
- 2004年
- 探讨了XML文档到数据库数据转换的方法,结合实例分别给出了基于XMLSchema的文档到关系数据库和对象-关系数据库转换的方法,可以在基于XML的数据交换和集成中得以应用.
- 邓芳
- 关键词：XML数据转换关系数据库对象-关系数据库
- 一种支持多节点协同实现图像融合的视频传感器网络体系结构
- 视频传感器网络的大数据量和方向性传感两个显著特点使其有别于其他传统的传感器网络。如何能量有效地利用多节点间协同工作处理网络中大数据量视频信息,成为当前亟待解决的技术难题之一。本文设计了一种基于多层结构扩展C/S模型的视频...
- 陶丹马华东
- 关键词：视频传感器网络体系结构图像融合
- 文献传递
- 一种基于代理签名的移动代理安全交易研究被引量：1
- 2007年
- 目前,移动代理在不可信环境中存在一个重要缺陷,即不能识别交易的有效性。文章提出了一个安全的未指定代理者的代理签名方案,它解决移动代理在不可信环境中的安全交易问题,新方案对客户和商家双方都具有身份的不可伪造性、不可否认性和交易信息的完整性等特点,实现了客户和商家之间公平交易。描述了新方案,给出了实际实现及应用,并对其安全性进行了分析。
- 邓芳谷利泽
- 关键词：代理签名移动代理安全交易
- 基于Uppaal的移动IPv6协议的模型检测
- 2005年
- 采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质:活性、移动性和平滑切换等进行了分析和检测.检测结果证明,移动IPv6协议在切换时存在丢包现象.通过分析丢包产生的原因,提出了移动IPv6实现平滑切换的理想时间约束条件,并在理想条件下重新验证了协议的性质.结合模型在理想约束条件下的检测结果指出了提高移动IPv6移动性能的设想.
- 张冬梅马华东高大永
- 关键词：移动性形式化描述
