您的位置： 专家智库 > >

国家自然科学基金(61075002)

作品数：11 被引量：39H指数：4
相关作者：徐中伟万勇兵喻钢郭婧陈邦兴更多>>
相关机构：同济大学铁路产品质量监督检验中心上海工程技术大学更多>>
发文基金：国家自然科学基金国家科技支撑计划铁道部科技基金更多>>
相关领域：自动化与计算机技术交通运输工程电子电信更多>>

领域

  • 22个自动化与计算...
  • 11个电子电信
  • 8个交通运输工程
  • 5个机械工程
  • 5个环境科学与工...
  • 5个文化科学
  • 4个经济管理
  • 3个理学
  • 2个电气工程
  • 2个建筑科学
  • 2个自然科学总论
  • 1个天文地球
  • 1个化学工程
  • 1个石油与天然气...
  • 1个轻工技术与工...
  • 1个航空宇航科学...
  • 1个农业科学
  • 1个一般工业技术
  • 1个社会学

主题

  • 16个形式化
  • 13个仿真
  • 10个安全苛求系统
  • 9个网络
  • 8个软件测试
  • 8个铁路
  • 8个安全性
  • 7个列控系统
  • 7个仿真系统
  • 6个列控中心
  • 6个架构
  • 6个教学
  • 6个仿真测试
  • 6个仿真测试平台
  • 6个高速铁路
  • 5个形式化方法
  • 5个通信
  • 5个状态机
  • 4个形式化语义
  • 4个元模型

机构

  • 19个同济大学
  • 3个江西师范大学
  • 2个青岛科技大学
  • 2个教育部
  • 2个铁路产品质量...
  • 1个广东工业大学
  • 1个九江学院
  • 1个海南师范大学
  • 1个青岛化工学院
  • 1个上海大学
  • 1个上海工程技术...

资助

  • 22个国家自然科学...
  • 13个国家科技支撑...
  • 11个铁道部科技研...
  • 8个国家高技术研...
  • 6个铁道部科技基...
  • 4个“十一五”国...
  • 2个山东省自然科...
  • 2个上海市高校选...
  • 1个国家重点基础...
  • 1个海南省教育厅...
  • 1个江西省科技攻...
  • 1个山东省优秀中...
  • 1个上海市自然科...
  • 1个江西省教育厅...
  • 1个海南省自然科...
  • 1个广东省科技厅...
  • 1个国际科技合作...
  • 1个国家教育部博...
  • 1个海南省教育厅...
  • 1个海南省哲学社...

传媒

  • 13个计算机应用与...
  • 8个计算机工程
  • 8个计算机工程与...
  • 7个铁道学报
  • 6个城市轨道交通...
  • 6个电子学报
  • 6个计算机应用
  • 6个计算机工程与...
  • 5个计算机应用研...
  • 4个佳木斯大学学...
  • 4个计算机工程与...
  • 4个同济大学学报...
  • 4个系统仿真学报
  • 4个科协论坛（下...
  • 3个机电一体化
  • 3个合肥工业大学...
  • 3个现代计算机
  • 3个高技术通讯
  • 3个计算机仿真
  • 3个计算机与现代...

地区

  • 19个上海市
  • 1个江西省
  • 1个山东省
  • 1个海南省
共 22 条 记 录，以下是 1-10
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
郭婧
供职机构：同济大学电子与信息工程学院
研究主题：并发性 形式化方法 精化 实时性 博弈
发表作品相关人物供职机构所获资助研究领域
喻钢
供职机构：上海大学
研究主题：BIM 隧道管片 管片 隧道 巡检
发表作品相关人物供职机构所获资助研究领域
万勇兵
供职机构：同济大学电子与信息工程学院
研究主题：SIP 身份认证技术 身份认证 智能卡 VOIP
发表作品相关人物供职机构所获资助研究领域
李丽梅
供职机构：九江学院图书馆
研究主题：信息资源 信息服务 教育技术 图书馆 随书光盘
发表作品相关人物供职机构所获资助研究领域
熊静
供职机构：上海工程技术大学航空运输学院
研究主题：机场 安全性 遗传算法 第四方物流 安全性测试
发表作品相关人物供职机构所获资助研究领域
陈邦兴
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
张元玲
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
夏志翔
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
朱麟
供职机构：同济大学电子与信息工程学院
研究主题：HLA CBTC 基于HLA 扩展性 协同性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0