期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
ROS中XML-RPC协议实现的形式化验证 被引量：4
1
作者 贾娟娟 施智平 +2 位作者 关永 李勇坚 魏洪兴 《小型微型计算机系统》 CSCD 北大核心 2015年第12期2629-2633,共5页
XML-RPC协议是ROS节点通讯的核心调用机制,其实现的正确性关乎整个系统的顺利运行.使用模型检测和定理证明结合的方法对ROS系统中的XML-RPC协议进行验证.首先使用CBMC模型检测工具逐个验证协议源代码的函数,然后对模型检测不能全面验证... XML-RPC协议是ROS节点通讯的核心调用机制,其实现的正确性关乎整个系统的顺利运行.使用模型检测和定理证明结合的方法对ROS系统中的XML-RPC协议进行验证.首先使用CBMC模型检测工具逐个验证协议源代码的函数,然后对模型检测不能全面验证的循环结构使用霍尔逻辑建立模型并在Isabelle/HOL定理证明器中验证.本文的工作结合两种形式化方法的优点,既克服了定理证明人工干预过多、工作量繁杂的问题,又避免了模型检测中出现状态爆炸的问题. 展开更多
关键词 ROS系统 xml-rpc协议 有界模型检测 定理证明 CBMC
在线阅读 下载PDF
基于XML-RPC和PHP5的WEB服务的研究与实现
2
作者 徐辉 《福建电脑》 2005年第10期46-47,共2页
Web服务是一个提供某种功能的程序代码,用来实现不同Web服务器的应用程序之间的交互。本文针对XML-RPC协议和PHP5脚本语言,研究其Web服务的原理和实现技术。这对于利用PHP5开发Web服务应用,有很好的参考价值。
关键词 WEB服务 XML xml-rpc协议 PHP5 xml-rpc WEB服务 WEB服务器 应用程序 程序代码 脚本语言
在线阅读 下载PDF
在线环保远程视频取证系统
3
作者 黄海平 袁仲良 《计算机系统应用》 2018年第12期47-55,共9页
针对目前环保监管部门对排污企业不达标排放取证难的问题,提出了一种在线环保远程视频取证系统的实现方法.该方法通过流媒体分发技术、XML-RPC协议票据身份安全认证技术以及在ADSL网络环境条件下的音视频流优化技术,实现环保监管部门远... 针对目前环保监管部门对排污企业不达标排放取证难的问题,提出了一种在线环保远程视频取证系统的实现方法.该方法通过流媒体分发技术、XML-RPC协议票据身份安全认证技术以及在ADSL网络环境条件下的音视频流优化技术,实现环保监管部门远程对排污企业排污情况的实时视频监控和历史视频取证.通过本项目研发的Web视频控件,结合污染源在线监测系统,组成一个综合性的在线环保远程视频取证系统,为环保监管部门更好地对排污企业管理以及排污取证提供了一个便捷的管理平台. 展开更多
关键词 视频取证 视频服务节点 流媒体技术 xml-rpc协议 票据验证
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部