您的位置： 专家智库 > >

晏荣杰

作品数：29 被引量：113H指数：6
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划苏州市科技计划项目(应用基础研究计划)更多>>
相关领域：自动化与计算机技术电子电信交通运输工程机械工程更多>>

合作作者

领域

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

主题

  • 13个网络
  • 12个计算机
  • 11个自动机
  • 10个形式化
  • 10个通信
  • 9个神经网
  • 9个神经网络
  • 8个调度
  • 8个时间自动机
  • 7个形式化方法
  • 7个一致性
  • 7个软件体系结构
  • 7个实时系统
  • 6个代码
  • 6个电力
  • 6个应用程序
  • 6个时序逻辑
  • 6个时序逻辑语言
  • 5个语义
  • 5个可达性

机构

  • 14个中国科学院软...
  • 7个华北电力大学
  • 5个苏州大学
  • 5个浙江大学
  • 5个中国科学院
  • 2个暨南大学
  • 2个杭州电子科技...
  • 2个重庆师范大学
  • 1个河北师范大学
  • 1个北京邮电大学
  • 1个复旦大学
  • 1个北京大学
  • 1个长沙电力学院
  • 1个东南大学
  • 1个福州大学
  • 1个河南经贸职业...
  • 1个南京大学
  • 1个杭州电子工业...
  • 1个华北电力学院
  • 1个重庆大学

资助

  • 20个国家自然科学...
  • 11个国家重点基础...
  • 10个国家高技术研...
  • 7个江苏省自然科...
  • 7个国家重点实验...
  • 6个国家科技重大...
  • 6个江苏省高校自...
  • 6个苏州市科技计...
  • 6个中央高校基本...
  • 5个“九五”国家...
  • 4个浙江省自然科...
  • 4个国家大学生创...
  • 4个国家电网公司...
  • 3个重庆市应用基...
  • 3个江苏省普通高...
  • 3个重庆市自然科...
  • 2个江苏省计算机...
  • 2个中央级公益性...
  • 2个国家教育部博...
  • 2个中国科学院计...

传媒

  • 10个计算机工程
  • 10个计算机科学
  • 9个计算机应用研...
  • 9个软件学报
  • 8个计算机工程与...
  • 7个计算机研究与...
  • 7个计算机应用
  • 6个通信学报
  • 6个电子学报
  • 5个计算机学报
  • 5个计算机工程与...
  • 5个计算机应用与...
  • 5个华北电力大学...
  • 5个浙江大学学报...
  • 4个微电子学与计...
  • 4个计算机系统应...
  • 4个计算机工程与...
  • 3个电力情报
  • 3个上海交通大学...
  • 3个重庆师范学院...

地区

  • 18个北京市
  • 5个江苏省
  • 5个浙江省
共 28 条 记 录，以下是 1-10
张广泉
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
发表作品相关人物供职机构所获资助研究领域
宋雨
供职机构：华北电力大学
研究主题：软件工程 软件开发 智能电网 面向对象 大数据
发表作品相关人物供职机构所获资助研究领域
朱雪阳
供职机构：中国科学院软件研究所
研究主题：XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
发表作品相关人物供职机构所获资助研究领域
张健
供职机构：中国科学院软件研究所
研究主题：仿真测试 软件测试 自动驾驶系统 测试数据 自动驾驶
发表作品相关人物供职机构所获资助研究领域
严俊
供职机构：中国科学院软件研究所
研究主题：ANDROID应用 ANDROID平台 ANDROID 软件测试 测试用例
发表作品相关人物供职机构所获资助研究领域
冯莉
供职机构：华北电力大学控制与计算机工程学院计算机系
研究主题：接口变异 软件复用 软件测试 异步电动机 非正弦供电
发表作品相关人物供职机构所获资助研究领域
徐雨波
供职机构：中国科学院软件研究所
研究主题：模型检测工具 实时系统 时间自动机 可达性 数据结构
发表作品相关人物供职机构所获资助研究领域
唐稚松
供职机构：中国科学院
研究主题：时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
发表作品相关人物供职机构所获资助研究领域
李广元
供职机构：中国科学院软件研究所
研究主题：实时系统 时序逻辑 线性时序逻辑 时间自动机 合约
发表作品相关人物供职机构所获资助研究领域
顾玉磊
供职机构：苏州大学
研究主题：调度 帕累托优化 词典 测试用例生成方法 标签
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0