您的位置： 专家智库 > >

国家自然科学基金(60674004)

作品数：40 被引量：118H指数：7
相关作者：徐中伟喻钢杜军威陈邦兴梅萌更多>>
相关机构：同济大学上海大学青岛科技大学更多>>
发文基金：国家自然科学基金铁道部科技研究开发计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程电气工程自然科学总论更多>>

领域

  • 37个自动化与计算...
  • 14个交通运输工程
  • 10个电子电信
  • 7个环境科学与工...
  • 7个文化科学
  • 6个经济管理
  • 6个理学
  • 5个机械工程
  • 5个电气工程
  • 5个自然科学总论
  • 4个矿业工程
  • 4个建筑科学
  • 4个一般工业技术
  • 3个天文地球
  • 3个化学工程
  • 3个农业科学
  • 2个石油与天然气...
  • 2个艺术
  • 1个生物学
  • 1个冶金工程

主题

  • 15个网络
  • 14个安全苛求软件
  • 14个安全苛求系统
  • 13个故障树
  • 13个仿真
  • 13个安全性
  • 13个测试用例
  • 12个形式化
  • 11个软件测试
  • 11个铁路
  • 11个PETRI网
  • 10个通信
  • 10个联锁
  • 10个列控中心
  • 8个自动生成
  • 7个通信协议
  • 7个全通
  • 7个XML
  • 4个调度
  • 4个形式化方法

机构

  • 34个同济大学
  • 3个北京科技大学
  • 3个铁路产品质量...
  • 2个北京交通大学
  • 2个青岛科技大学
  • 2个江西师范大学
  • 2个教育部
  • 2个上海大学
  • 2个江西理工大学
  • 1个广东工业大学
  • 1个上海交通大学
  • 1个华东交通大学
  • 1个青岛化工学院
  • 1个上海铁道大学
  • 1个上海工程技术...
  • 1个中国安全生产...
  • 1个中国铁道科学...
  • 1个华北科技学院
  • 1个徐州师范大学
  • 1个江苏师范大学

资助

  • 39个国家自然科学...
  • 18个铁道部科技研...
  • 10个国家科技支撑...
  • 9个国家高技术研...
  • 5个“十一五”国...
  • 4个山东省自然科...
  • 4个铁道部科技基...
  • 3个国家重点基础...
  • 3个国家教育部博...
  • 3个上海市教育委...
  • 2个江西省自然科...
  • 2个中国博士后科...
  • 2个江西省教育厅...
  • 2个上海市高校选...
  • 2个教育部“新世...
  • 2个上海市科学技...
  • 2个中央高校基本...
  • 2个上海市教委科...
  • 1个国家科技攻关...
  • 1个国家软科学研...

传媒

  • 16个计算机工程
  • 13个计算机应用
  • 13个计算机工程与...
  • 11个计算机应用与...
  • 10个信息技术
  • 10个铁道学报
  • 7个同济大学学报...
  • 7个计算机应用研...
  • 7个计算机工程与...
  • 6个电子学报
  • 6个计算机工程与...
  • 6个小型微型计算...
  • 5个城市轨道交通...
  • 5个计算机仿真
  • 5个计算机技术与...
  • 4个佳木斯大学学...
  • 3个北京科技大学...
  • 3个机电一体化
  • 3个计算机学报
  • 3个武汉大学学报...

地区

  • 33个上海市
  • 3个北京市
  • 1个江苏省
  • 1个江西省
  • 1个山东省
共 39 条 记 录，以下是 1-10
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
喻钢
供职机构：上海大学
研究主题：BIM 隧道管片 管片 隧道 巡检
发表作品相关人物供职机构所获资助研究领域
杜军威
供职机构：青岛科技大学信息科学技术学院
研究主题：粗糙集 目标域 神经网络 故障树 PETRI网
发表作品相关人物供职机构所获资助研究领域
陈邦兴
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
梅萌
供职机构：同济大学电子与信息工程学院
研究主题：列车 跟驰 CBTC 移动闭塞系统 列控系统
发表作品相关人物供职机构所获资助研究领域
谭渊
供职机构：同济大学电子与信息工程学院
研究主题：安全通信协议 安全需求 扩展有限状态机 安全通信
发表作品相关人物供职机构所获资助研究领域
熊静
供职机构：上海工程技术大学航空运输学院
研究主题：机场 安全性 第四方物流 遗传算法 安全性测试
发表作品相关人物供职机构所获资助研究领域
胡天一
供职机构：同济大学电子与信息工程学院
研究主题：多处理器 实时调度算法 串口通信 车站列控中心 多线程
发表作品相关人物供职机构所获资助研究领域
杨世玉
供职机构：同济大学电子与信息工程学院
研究主题：有限状态机 XML 安全苛求系统 基于XML 测试用例生成算法
发表作品相关人物供职机构所获资助研究领域
李弋强
供职机构：同济大学电子与信息工程学院
研究主题：安全苛求系统 安全需求 可靠性分析 模块化 马尔科夫模型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共4页<1234>
聚类工具0