您的位置： 专家智库 > >

中国博士后科学基金(20090450389)

作品数：12 被引量：50H指数：4
相关作者：骆翔宇彭现美轩爱成沙宗鲁苏开乐更多>>
相关机构：桂林电子科技大学清华大学安徽财经大学更多>>
发文基金：中国博士后科学基金国家自然科学基金广西青年科学基金更多>>
相关领域：自动化与计算机技术医药卫生自然科学总论政治法律更多>>

领域

  • 9个自动化与计算...
  • 5个理学
  • 4个经济管理
  • 4个电子电信
  • 2个交通运输工程
  • 2个社会学
  • 2个文化科学
  • 2个自然科学总论
  • 1个哲学宗教
  • 1个化学工程
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个机械工程
  • 1个动力工程及工...
  • 1个建筑科学
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个农业科学
  • 1个一般工业技术
  • 1个政治法律

主题

  • 9个WEB服务
  • 8个时态认知逻辑
  • 6个形式化
  • 6个自动机
  • 5个形式化方法
  • 5个智能体
  • 5个智能体系统
  • 4个定理
  • 4个定理证明
  • 4个有界模型检测
  • 4个时间自动机
  • 4个特征交互
  • 3个电子商务
  • 3个电子政务
  • 3个动态图
  • 3个多项式
  • 3个组合WEB服...
  • 2个递推
  • 2个递推公式
  • 2个电子交易

机构

  • 6个桂林电子科技...
  • 3个清华大学
  • 3个中山大学
  • 1个安徽财经大学
  • 1个北京大学
  • 1个电子科技大学
  • 1个桂林电子工业...
  • 1个国防科学技术...
  • 1个南京大学
  • 1个华侨大学
  • 1个河南科技大学
  • 1个安徽财贸学院
  • 1个深圳大学
  • 1个教育部
  • 1个汕头大学
  • 1个浙江师范大学
  • 1个中国人民大学
  • 1个中国社会科学...
  • 1个中国社会科学...

资助

  • 10个中国博士后科...
  • 9个国家自然科学...
  • 8个广西青年科学...
  • 6个广西研究生教...
  • 5个广西壮族自治...
  • 4个国家重点基础...
  • 4个国家杰出青年...
  • 4个广西省自然科...
  • 3个广东省自然科...
  • 3个广西研究生教...
  • 3个中央高校基本...
  • 2个广东省科技攻...
  • 2个国家高技术研...
  • 2个教育部留学回...
  • 2个国家科技重大...
  • 2个博士科研启动...
  • 2个德国研究基金
  • 1个福建省自然科...
  • 1个国防科技技术...
  • 1个国家科技支撑...

传媒

  • 9个计算机科学
  • 7个计算机工程与...
  • 6个计算机应用研...
  • 6个小型微型计算...
  • 5个计算机学报
  • 5个计算机应用
  • 4个计算机研究与...
  • 4个计算机工程
  • 4个微电子学与计...
  • 3个计算机工程与...
  • 3个中山大学学报...
  • 3个软件学报
  • 3个计算机工程与...
  • 2个模式识别与人...
  • 2个通信学报
  • 2个南京大学学报...
  • 2个计算机应用与...
  • 2个计算机辅助设...
  • 2个计算机与现代...
  • 2个桂林电子科技...

地区

  • 5个广西
  • 1个安徽省
  • 1个北京市
  • 1个四川省
  • 1个福建省
  • 1个浙江省
共 10 条 记 录，以下是 1-10
骆翔宇
供职机构：华侨大学计算机科学与技术学院
研究主题：WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
发表作品相关人物供职机构所获资助研究领域
彭现美
供职机构：安徽财经大学
研究主题：农村 艾滋病 新型农村合作医疗 农民 农民参与
发表作品相关人物供职机构所获资助研究领域
沙宗鲁
供职机构：桂林电子科技大学计算机科学与工程学院
研究主题：软件水印 WEB服务 逆序数 软件水印算法 时间自动机
发表作品相关人物供职机构所获资助研究领域
轩爱成
供职机构：桂林电子科技大学计算机科学与工程学院
研究主题：WEB服务 软件水印 时间自动机 逆序数 软件水印算法
发表作品相关人物供职机构所获资助研究领域
董荣胜
供职机构：桂林电子科技大学
研究主题：决策图 无线传感器网络 MDD 原子性 计算思维
发表作品相关人物供职机构所获资助研究领域
苏开乐
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
顾明
供职机构：清华大学
研究主题：计算机设备 领域知识 存储介质 漏洞 WEB服务
发表作品相关人物供职机构所获资助研究领域
谭征
供职机构：桂林电子科技大学
研究主题：WEB服务组合 特征交互 BPEL WEB服务 状态转换图
发表作品相关人物供职机构所获资助研究领域
陈艳
供职机构：桂林电子科技大学计算机科学与工程学院
研究主题：WEB服务 多智能体系统 时态认知逻辑 WEBGIS研究 WEB_SERVICE
发表作品相关人物供职机构所获资助研究领域
吴立军
供职机构：电子科技大学计算机科学与工程学院
研究主题：形式化方法 时态 时态认知逻辑 EMD 符号模型检测
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0