您的位置： 专家智库 > >

国家高技术研究发展计划(2006AA01Z433)

作品数：9 被引量：30H指数：3
相关作者：徐宁周雁舟罗芳刘雪峰刘文清更多>>
相关机构：解放军信息工程大学中国科学技术大学中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划中国人民解放军总装备部预研基金更多>>
相关领域：自动化与计算机技术经济管理更多>>

领域

  • 5个自动化与计算...
  • 2个化学工程
  • 2个兵器科学与技...
  • 1个经济管理
  • 1个哲学宗教
  • 1个生物学
  • 1个天文地球
  • 1个矿业工程
  • 1个石油与天然气...
  • 1个冶金工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个动力工程及工...
  • 1个电子电信
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个航空宇航科学...

主题

  • 5个形式化
  • 5个访问控制
  • 4个形式化验证
  • 4个可信计算
  • 4个基于UML
  • 4个UML
  • 4个操作系
  • 4个操作系统
  • 3个虚拟机
  • 3个状态机
  • 3个网络
  • 3个安全操作
  • 3个安全操作系统
  • 3个安全策略模型
  • 2个代码
  • 2个可信平台模块
  • 1个大温差
  • 1个大涡模拟
  • 1个大信号
  • 1个大型飞机

机构

  • 4个中国科学技术...
  • 4个中国科学院软...
  • 3个解放军信息工...
  • 3个中国科学院研...
  • 3个国家工程研究...
  • 2个贵州大学
  • 1个安徽工业大学
  • 1个北京跟踪与通...
  • 1个北京工商大学
  • 1个北京航空工程...
  • 1个北京应用物理...
  • 1个长春理工大学
  • 1个长治学院
  • 1个成都电子机械...
  • 1个成都理工大学
  • 1个大连工业大学
  • 1个东北财经大学
  • 1个东北大学
  • 1个东北轻合金有...
  • 1个福建经济管理...

作者

  • 3个张阳
  • 3个程亮
  • 2个冯登国
  • 1个丁君
  • 1个丁奕
  • 1个丁彪
  • 1个万敏
  • 1个万正权
  • 1个严胜利
  • 1个于小红
  • 1个于强
  • 1个于海平
  • 1个于雪媛
  • 1个付明杰
  • 1个付锦
  • 1个任智斌
  • 1个何子述
  • 1个何延春
  • 1个何望云
  • 1个余莹

传媒

  • 4个计算机研究与...
  • 4个计算机学报
  • 3个小型微型计算...
  • 3个计算机工程与...
  • 2个计算机安全
  • 1个分析化学
  • 1个光机电信息
  • 1个工业安全与环...
  • 1个中国仪器仪表
  • 1个现代化工
  • 1个信息系统工程
  • 1个化工管理
  • 1个世界华人消化...
  • 1个塑料
  • 1个系统工程与电...
  • 1个安全与电磁兼...
  • 1个计算机集成制...
  • 1个北京科技大学...
  • 1个粉末冶金技术
  • 1个化工新型材料
共 5 条 记 录，以下是 1-5
中国人民解放军总装备部预研基金
相关领域：自动化与计算机技术 电子电信 航空宇航科学技术 理学 一般工业技术
相关作品相关人物相关机构相关资助相关领域
中国人民解放军总装备部预研基金(9140A16040206JB5203)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2007AA01Z465)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2007AA01Z414)
相关领域：自动化与计算机技术 化学工程
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2007AA01Z475)
相关领域：自动化与计算机技术 兵器科学与技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0