搜索到 篇“ PTOLEMY “的相关文章

相关作者

李仁发
作品数:671被引量:3,272H指数:24
供职机构:湖南大学
研究主题:无线传感器网络 嵌入式系统 计算机网络 体系结构 虚拟实验室
王瑞
作品数:69被引量:152H指数:7
供职机构:首都师范大学
研究主题:形式化验证 机器人 ROS 移动机器人 时间自动机
张西红
作品数:58被引量:175H指数:7
供职机构:中国人民解放军军械工程学院
研究主题:无线传感器网络 遗传算法 ATM网 传感器网络 数据融合
凌纯清
作品数:20被引量:19H指数:3
供职机构:湖南大学
研究主题:压电 二极管 整流器 开关 PTOLEMY
施智平
作品数:185被引量:625H指数:11
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 图像检索 定理证明器