您的位置： 专家智库 > >

江西省科技计划项目(20123BBE50106)

作品数：2 被引量：0H指数：0
相关作者：罗敏方琳更多>>
相关机构：江西省计算技术研究所江西警察学院更多>>
发文基金：江西省科技计划项目更多>>
相关领域：自动化与计算机技术经济管理更多>>

领域

  • 2个自动化与计算...
  • 1个经济管理
  • 1个交通运输工程

主题

  • 2个认证性
  • 1个电脑
  • 1个定理
  • 1个定理证明
  • 1个动态环境
  • 1个多尺度
  • 1个多时段
  • 1个心智
  • 1个心智模型
  • 1个心智状态
  • 1个信息安全
  • 1个形成期
  • 1个形式化
  • 1个形式化方法
  • 1个形式化分析
  • 1个形式化验证
  • 1个移动终端
  • 1个萤火虫算法
  • 1个优化控制
  • 1个掌上电脑

机构

  • 1个海南科技职业...
  • 1个江西警察学院
  • 1个江西省计算技...

资助

  • 2个江西省科技计...
  • 1个国家科技支撑...
  • 1个国家自然科学...
  • 1个江西省科技攻...
  • 1个江西省自然科...
  • 1个江西省教育厅...
  • 1个江西省研究生...
  • 1个江西省教育厅...

传媒

  • 2个计算机与现代...
  • 1个企业经济
  • 1个计算机工程与...
  • 1个江西科学
  • 1个传感技术学报
  • 1个华东交通大学...
  • 1个第七届（20...

地区

  • 2个江西省
共 2 条 记 录，以下是 1-2
罗敏
供职机构：江西省计算技术研究所
研究主题：安全协议 形式化方法 RFID 形式化分析 逻辑推理
发表作品相关人物供职机构所获资助研究领域
方琳
供职机构：江西警察学院
研究主题：SPIN SET协议 认证性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0