您的位置: 专家智库 > >

江苏省高校自然科学研究项目(05KJB520119)

作品数:48 被引量:149H指数:8
相关作者:张广泉戎玫杨敬中陈冬火陆公正更多>>
相关机构:苏州大学暨南大学重庆师范大学更多>>
发文基金:江苏省高校自然科学研究项目重庆市自然科学基金国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术天文地球更多>>

领域

  • 14个自动化与计算...
  • 11个天文地球
  • 10个文化科学
  • 9个经济管理
  • 9个机械工程
  • 8个轻工技术与工...
  • 8个环境科学与工...
  • 7个哲学宗教
  • 7个生物学
  • 7个化学工程
  • 7个矿业工程
  • 7个石油与天然气...
  • 7个金属学及工艺
  • 7个动力工程及工...
  • 7个电子电信
  • 7个电气工程
  • 7个建筑科学
  • 7个水利工程
  • 7个交通运输工程
  • 7个航空宇航科学...

主题

  • 12个形式化
  • 12个实时系统
  • 12个体系结构
  • 12个统一建模
  • 12个统一建模语言
  • 11个形式化描述
  • 11个软件体系结构
  • 11个软件系统
  • 11个时序逻辑
  • 11个顺序图
  • 11个自动机
  • 11个组件
  • 10个形式化方法
  • 10个形式化描述方...
  • 10个形式化语义
  • 10个映射
  • 10个时间自动机
  • 10个状态图
  • 9个图书
  • 7个映射方法

机构

  • 14个苏州大学
  • 13个暨南大学
  • 12个重庆师范大学
  • 10个徐州师范大学
  • 10个中国科学院软...
  • 7个河北农业大学
  • 7个河海大学
  • 7个大连理工大学
  • 7个复旦大学
  • 7个广西师范学院
  • 6个安徽工业大学
  • 6个北京工商大学
  • 6个长春理工大学
  • 6个成都理工大学
  • 6个成都中医药大...
  • 6个川北医学院
  • 5个北方工业大学
  • 5个北京应用物理...
  • 4个北京航空工程...
  • 4个北京印刷学院

作者

  • 14个张广泉
  • 12个戎玫
  • 10个黄正宝
  • 9个祝义
  • 8个杨敬中
  • 8个陆公正
  • 7个林苗
  • 7个黄志球
  • 6个刘俭云
  • 6个张玲红
  • 4个丁卫平
  • 4个万敏
  • 4个佘轩
  • 4个傅跃先
  • 3个丁亮
  • 3个万生鹏
  • 3个万能
  • 3个严青松
  • 2个万志强
  • 2个万敏

传媒

  • 12个计算机工程与...
  • 12个计算机科学
  • 12个重庆师范大学...
  • 11个小型微型计算...
  • 11个计算机工程与...
  • 10个微电子学与计...
  • 10个计算机应用
  • 10个苏州大学学报...
  • 7个环境工程
  • 7个华东师范大学...
  • 6个中国科技论坛
  • 6个资源科学
  • 6个生态学报
  • 6个计算机安全
  • 6个植物营养与肥...
  • 6个塑料
  • 6个系统工程与电...
  • 5个商业时代
  • 5个计算机光盘软...
  • 4个全面腐蚀控制
14 条 记 录,以下是 1-10
重庆市自然科学基金
相关领域:医药卫生 自动化与计算机技术 理学 电子电信 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重点实验室开放基金
相关领域:理学 自动化与计算机技术 天文地球 电子电信 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重点实验室开放基金(SYSKF0303)
软件体系结构求精及其验证技术研究
相关领域:自动化与计算机技术 文化科学 天文地球
相关作品相关人物相关机构相关资助相关领域
重庆市教育委员会科学技术研究项目
相关领域:自动化与计算机技术 电子电信 经济管理 理学 医药卫生
相关作品相关人物相关机构相关资助相关领域
重庆市教育委员会科学技术研究项目(040803)
相关领域:自动化与计算机技术 文化科学 天文地球 机械工程
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60073020)
相关领域:自动化与计算机技术 文化科学 天文地球 机械工程 经济管理
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
重庆市自然科学基金(CSTC2006BB2259)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
重庆市自然科学基金(2006BB2259)
相关领域:自动化与计算机技术 轻工技术与工程 天文地球 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
重庆市自然科学基金(CSTC)
相关领域:医药卫生 理学 自动化与计算机技术 农业科学 建筑科学
相关作品相关人物相关机构相关资助相关领域
共2页<12>
聚类工具0