您的位置： 专家智库 > >

铁道部科技研究开发计划(2007X003)

作品数：10 被引量：33H指数：3
相关作者：徐中伟喻钢杨世玉李弋强梅萌更多>>
相关机构：同济大学上海大学更多>>
发文基金：铁道部科技研究开发计划国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

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

主题

  • 8个安全苛求系统
  • 7个有限状态机
  • 7个状态机
  • 7个故障树
  • 7个测试用例
  • 6个通信
  • 6个通信协议
  • 6个全通
  • 6个安全通信
  • 6个安全通信协议
  • 6个安全性
  • 5个软件测试
  • 5个网络
  • 5个列控中心
  • 5个安全评估
  • 4个动态故障树
  • 4个形式化
  • 4个基于XML
  • 4个仿真
  • 4个仿真系统

机构

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

资助

  • 12个国家自然科学...
  • 12个铁道部科技研...
  • 3个国家高技术研...
  • 3个国家科技支撑...
  • 2个铁道部科技基...
  • 1个江西省科技攻...
  • 1个山东省自然科...
  • 1个江西省教育厅...
  • 1个上海市高校选...
  • 1个“十一五”国...
  • 1个广东省科技厅...
  • 1个上海市科委重...
  • 1个上海市科学技...

传媒

  • 7个计算机工程
  • 6个计算机应用
  • 6个计算机工程与...
  • 5个计算机应用与...
  • 4个计算机应用研...
  • 3个城市轨道交通...
  • 3个电子学报
  • 3个系统仿真学报
  • 3个铁道学报
  • 2个机电一体化
  • 2个佳木斯大学学...
  • 2个武汉大学学报...
  • 2个计算机工程与...
  • 2个同济大学学报...
  • 2个计算机仿真
  • 2个计算机工程与...
  • 2个铁路计算机应...
  • 2个中国铁道科学
  • 2个铁路通信信号...
  • 2个计算机技术与...

地区

  • 12个上海市
共 12 条 记 录，以下是 1-10
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
喻钢
供职机构：上海大学
研究主题：BIM 管片 隧道管片 隧道 巡检
发表作品相关人物供职机构所获资助研究领域
李弋强
供职机构：同济大学电子与信息工程学院
研究主题：安全苛求系统 安全需求 可靠性分析 模块化 马尔科夫模型
发表作品相关人物供职机构所获资助研究领域
杨世玉
供职机构：同济大学电子与信息工程学院
研究主题：有限状态机 XML 安全苛求系统 基于XML 测试用例生成算法
发表作品相关人物供职机构所获资助研究领域
梅萌
供职机构：同济大学电子与信息工程学院
研究主题：列车 CBTC 跟驰 移动闭塞系统 列控系统
发表作品相关人物供职机构所获资助研究领域
谭渊
供职机构：同济大学电子与信息工程学院
研究主题：安全通信协议 安全需求 扩展有限状态机 安全通信
发表作品相关人物供职机构所获资助研究领域
吴剑
供职机构：同济大学电子与信息工程学院
研究主题：安全苛求系统 可靠性分析 模块化 马尔科夫模型 动态故障树
发表作品相关人物供职机构所获资助研究领域
张盛
供职机构：同济大学电子与信息工程学院
研究主题：有限状态机 测试用例生成算法 测试用例 黑盒测试 列控中心
发表作品相关人物供职机构所获资助研究领域
何欢
供职机构：同济大学电子与信息工程学院
研究主题：XML 安全苛求系统 基于XML 有限状态机
发表作品相关人物供职机构所获资助研究领域
朱海宏
供职机构：同济大学电子与信息工程学院信息与控制工程系
研究主题：贝叶斯网络 安全性 高铁 概率安全评估 故障树
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0