您的位置： 专家智库 > >

江苏省自然科学基金(BK2011281)

作品数：15 被引量：44H指数：4
相关作者：张广泉戎玫晏荣杰朱雪阳祝义更多>>
相关机构：苏州大学中国科学院软件研究所暨南大学更多>>
发文基金：江苏省自然科学基金苏州市科技计划项目(应用基础研究计划)国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 23个自动化与计算...
  • 11个电子电信
  • 11个文化科学
  • 6个经济管理
  • 6个建筑科学
  • 4个理学
  • 3个机械工程
  • 3个交通运输工程
  • 2个天文地球
  • 2个电气工程
  • 2个轻工技术与工...
  • 2个航空宇航科学...
  • 2个环境科学与工...
  • 2个一般工业技术
  • 1个石油与天然气...
  • 1个动力工程及工...
  • 1个医药卫生
  • 1个农业科学
  • 1个军事
  • 1个艺术

主题

  • 14个自动机
  • 14个WEB服务
  • 13个WEB服务组...
  • 12个CPS
  • 11个形式化
  • 9个信息物理融合...
  • 9个软件体系结构
  • 9个体系结构
  • 9个网络
  • 8个形式化方法
  • 8个有限自动机
  • 7个软件开发
  • 7个时间自动机
  • 6个调度
  • 6个端口
  • 6个用户
  • 5个形式化验证
  • 4个动态软件体系...
  • 4个形式化描述
  • 4个业务流

机构

  • 20个苏州大学
  • 6个中国科学院软...
  • 4个重庆师范大学
  • 3个暨南大学
  • 2个南京航空航天...
  • 2个中国科学院
  • 2个苏州技师学院
  • 1个福州大学
  • 1个河南经贸职业...
  • 1个南京大学
  • 1个厦门大学
  • 1个重庆大学
  • 1个重庆师范学院
  • 1个中北大学
  • 1个重庆工商大学...
  • 1个苏州农业职业...
  • 1个华北电力大学
  • 1个徐州师范大学
  • 1个江苏师范大学
  • 1个云南广播电视...

资助

  • 23个江苏省自然科...
  • 18个苏州市科技计...
  • 15个国家自然科学...
  • 14个江苏省普通高...
  • 13个国家重点实验...
  • 13个江苏省高校自...
  • 9个江苏省高等学...
  • 6个国家高技术研...
  • 6个国家大学生创...
  • 6个重庆市教育委...
  • 6个重庆市自然科...
  • 5个国家重点基础...
  • 4个重庆市应用基...
  • 3个江苏省计算机...
  • 3个国家教育部博...
  • 3个中国航空科学...
  • 3个中国科学院计...
  • 2个中国博士后科...
  • 2个江苏省博士后...
  • 2个江苏省现代教...

传媒

  • 15个计算机科学
  • 8个电子学报
  • 6个计算机研究与...
  • 6个计算机应用
  • 6个计算机工程与...
  • 6个计算机与数字...
  • 6个苏州大学学报...
  • 6个计算机科学与...
  • 5个通信学报
  • 5个计算机应用研...
  • 5个软件学报
  • 5个苏州大学学报...
  • 5个南通大学学报...
  • 4个计算机工程与...
  • 4个重庆师范学院...
  • 3个计算机工程
  • 3个计算机应用与...
  • 3个微电子学与计...
  • 3个科学技术与工...
  • 3个科技信息

地区

  • 20个江苏省
  • 2个北京市
  • 1个重庆市
共 23 条 记 录，以下是 1-10
张广泉
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
发表作品相关人物供职机构所获资助研究领域
戎玫
供职机构：苏州大学
研究主题：WEB服务组合 软件体系结构 UML XYZ/ADL CPS
发表作品相关人物供职机构所获资助研究领域
朱雪阳
供职机构：中国科学院软件研究所
研究主题：XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
发表作品相关人物供职机构所获资助研究领域
晏荣杰
供职机构：中国科学院软件研究所
研究主题：软件复用 软件体系结构 仿真测试 自动驾驶系统 软件工程
发表作品相关人物供职机构所获资助研究领域
邵玉珍
供职机构：苏州大学
研究主题：CPS 监视器 基于统计 自动机 通信端口
发表作品相关人物供职机构所获资助研究领域
李烨静
供职机构：苏州大学
研究主题：CPS 监视器 基于统计 自动机 通信端口
发表作品相关人物供职机构所获资助研究领域
祝义
供职机构：江苏师范大学
研究主题：软件体系结构 进程代数 实时系统 基于UML CPS
发表作品相关人物供职机构所获资助研究领域
石慧娟
供职机构：苏州大学计算机科学与技术学院
研究主题：WEB服务组合 XYZ/ADL WEB服务 时间自动机 CTL
发表作品相关人物供职机构所获资助研究领域
狄浩军
供职机构：苏州大学计算机科学与技术学院
研究主题：WEB服务组合 数据属性 CTL UPPAAL 自动机
发表作品相关人物供职机构所获资助研究领域
陈名才
供职机构：苏州大学
研究主题：CPS 基于统计 统计模型 监视器 自动机
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0