您的位置： 专家智库 > >

铁道部科技基金(2009X002-A)

作品数：3 被引量：17H指数：3
相关作者：徐中伟万勇兵梅萌李盼李智伟更多>>
相关机构：同济大学教育部更多>>
发文基金：国家自然科学基金铁道部科技基金国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 5个自动化与计算...
  • 3个电子电信
  • 2个机械工程
  • 2个交通运输工程
  • 2个自然科学总论
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个理学

主题

  • 5个形式化
  • 4个形式化语义
  • 4个元模型
  • 4个状态机
  • 4个架构
  • 4个ASM
  • 4个抽象状态机
  • 3个形式化验证
  • 3个软件测试
  • 3个软件开发
  • 3个组件
  • 3个组件架构
  • 3个面向服务架构
  • 3个服务架构
  • 3个服务组件
  • 3个服务组件架构
  • 3个安全苛求软件
  • 3个SOA架构
  • 2个单类支持向量...
  • 2个道岔

机构

  • 5个同济大学
  • 2个教育部
  • 1个广东工业大学
  • 1个青岛科技大学
  • 1个江西师范大学
  • 1个铁路产品质量...

资助

  • 5个国家自然科学...
  • 5个铁道部科技基...
  • 3个国家科技支撑...
  • 3个铁道部科技研...
  • 2个国家高技术研...
  • 1个山东省自然科...
  • 1个江西省教育厅...
  • 1个广东省科技厅...
  • 1个上海市科学技...

传媒

  • 5个计算机应用研...
  • 3个电子学报
  • 3个系统仿真学报
  • 3个计算机工程与...
  • 3个科协论坛（下...
  • 2个机电一体化
  • 2个城市轨道交通...
  • 2个武汉大学学报...
  • 2个计算机工程
  • 2个计算机应用与...
  • 2个计算机仿真
  • 2个铁道学报
  • 2个铁路计算机应...
  • 2个中国铁道科学
  • 2个计算机科学
  • 2个铁路通信信号...
  • 2个计算机技术与...
  • 2个计算机科学与...
  • 2个2010年第...
  • 2个中国自动化学...

地区

  • 5个上海市
共 5 条 记 录，以下是 1-5
徐中伟
供职机构：同济大学
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
万勇兵
供职机构：同济大学电子与信息工程学院
研究主题：SIP 身份认证技术 身份认证 智能卡 VOIP
发表作品相关人物供职机构所获资助研究领域
梅萌
供职机构：同济大学电子与信息工程学院
研究主题：列车 CBTC 跟驰 移动闭塞系统 列控系统
发表作品相关人物供职机构所获资助研究领域
李智伟
供职机构：同济大学电子与信息工程学院
研究主题：抽象状态机 ASM 形式化语义 元模型 SOA架构
发表作品相关人物供职机构所获资助研究领域
李盼
供职机构：同济大学电子与信息工程学院
研究主题：抽象状态机 ASM 形式化语义 元模型 SOA架构
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0