您的位置: 专家智库 > >

长沙市科技计划项目(K1109020-11)

作品数:6 被引量:29H指数:3
相关作者:徐亮谭煌余建平刘宏更多>>
相关机构:湖南师范大学教育部更多>>
发文基金:长沙市科技计划项目湖南省重点学科建设项目国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 1个经济管理
  • 1个天文地球
  • 1个矿业工程
  • 1个电子电信
  • 1个电气工程
  • 1个建筑科学
  • 1个社会学
  • 1个文化科学

主题

  • 4个定理
  • 3个定理证明
  • 3个形式化
  • 3个自动化
  • 2个代理
  • 2个调度
  • 2个形式化方法
  • 2个形式化描述
  • 2个云计算
  • 2个自动化验证
  • 2个安全操作
  • 2个安全操作系统
  • 2个BLP
  • 2个BLP模型
  • 2个操作系
  • 2个操作系统
  • 1个电路
  • 1个电路设计
  • 1个电路设计方法
  • 1个电子商务

机构

  • 4个湖南师范大学
  • 4个教育部
  • 1个湖南大学

资助

  • 4个国家自然科学...
  • 4个湖南省科技计...
  • 4个长沙市科技计...
  • 4个湖南省教育厅...
  • 4个湖南省重点学...
  • 3个湖南省自然科...
  • 2个国家高技术研...
  • 1个福建省自然科...
  • 1个广东省自然科...
  • 1个湖南省软科学...
  • 1个湖南省教育厅...
  • 1个广东省教育部...
  • 1个国家教育部博...
  • 1个湖南省高等学...
  • 1个湖南省教育厅...
  • 1个湖南省普通高...
  • 1个湖南省重点科...
  • 1个茂名市科技计...

传媒

  • 4个计算机工程
  • 3个计算机工程与...
  • 3个计算机科学
  • 2个计算机工程与...
  • 2个湖南大学学报...
  • 2个计算机与现代...
  • 2个计算技术与自...
  • 2个电脑知识与技...
  • 1个计算机安全
  • 1个计算机光盘软...
  • 1个中小学信息技...
  • 1个系统工程理论...
  • 1个计算机研究与...
  • 1个通信学报
  • 1个湖南师范大学...
  • 1个湖南师范大学...
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个信息与控制
  • 1个小型微型计算...

地区

  • 4个湖南省
4 条 记 录,以下是 1-4
徐亮
供职机构:湖南师范大学数学与计算机科学学院
研究主题:BLP模型 安全操作系统 定理证明 SMT 触屏
发表作品相关人物供职机构所获资助研究领域
谭煌
供职机构:湖南师范大学数学与计算机科学学院
研究主题:执行引擎 WEB服务 距离函数 电子商务 BLP模型
发表作品相关人物供职机构所获资助研究领域
余建平
供职机构:湖南师范大学数学与计算机科学学院
研究主题:传感器网络 无线传感器网络 多目标优化 量子遗传算法 AGENT联盟
发表作品相关人物供职机构所获资助研究领域
刘宏
供职机构:湖南师范大学数学与计算机科学学院
研究主题:信息家电 家庭网关 IAIDL 嵌入式系统 IPSEC
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0