您的位置: 专家智库 > >

吴传孙

作品数:9 被引量:53H指数:3
供职机构:江西师范大学更多>>
发文基金:国家重大基础研究前期研究专项国家自然科学基金江西省教育厅科学技术研究项目更多>>
相关领域:自动化与计算机技术经济管理文化科学社会学更多>>

领域

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

主题

  • 5个形式化
  • 5个形式化验证
  • 5个形式化验证技...
  • 5个软件模型
  • 5个软件模型检测
  • 5个时态逻辑
  • 5个PAR方法
  • 5个SLAM
  • 4个递归
  • 4个递归程序
  • 2个大位移
  • 2个大涡模拟
  • 1个大宛齐油田
  • 1个大王
  • 1个大网
  • 1个大网络
  • 1个大网膜
  • 1个大网膜包裹
  • 1个大网膜包肾术
  • 1个大网膜脂肪组...

机构

  • 5个江西师范大学
  • 5个江西省高性能...
  • 3个安徽医科大学
  • 3个东北大学
  • 3个广东药学院
  • 3个广东医学院
  • 3个广州医学院
  • 3个贵州大学
  • 3个贵州师范大学
  • 3个河北农业大学
  • 3个河北师范大学
  • 3个河海大学
  • 3个安徽理工大学
  • 2个安徽工业大学
  • 2个北方工业大学
  • 2个北方民族大学
  • 2个北京工商大学
  • 2个北京中医药大...
  • 2个长春理工大学
  • 1个安徽财贸职业...

作者

  • 5个揭安全
  • 5个吴传孙
  • 5个薛锦云
  • 5个化志章
  • 4个李云清
  • 2个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华

传媒

  • 3个分析化学
  • 3个化工科技
  • 3个植物生态学报
  • 3个林业科学
  • 3个生态学报
  • 3个心理学报
  • 3个计算机安全
  • 2个工业安全与环...
  • 2个人民论坛
  • 2个今日制造与升...
  • 2个IT经理世界
  • 2个商业时代
  • 2个中国科技论坛
  • 2个中国临床药理...
  • 2个中国药物依赖...
  • 2个医疗装备
  • 2个植物学通报
  • 2个传媒
  • 2个资源科学
  • 2个中国仪器仪表
5 条 记 录,以下是 1-5
国家自然科学基金(60273092)
基于PAR方法的算法设计形式化和自动化研究
相关领域:自动化与计算机技术 文化科学 兵器科学与技术
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目(2005-90)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重大基础研究前期研究专项
相关领域:理学 生物学 农业科学 天文地球 医药卫生
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目
相关领域:自动化与计算机技术 医药卫生 理学 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
共1页<1>
聚类工具0