您的位置： 专家智库 > 资助详情>国家高技术研究发展计划(2007AA01Z189)

国家高技术研究发展计划(2007AA01Z189)

作品数：4 被引量：4H指数：1
相关作者：马艳芳陈仪香张敏李海芬汤银才更多>>
相关机构：华东师范大学淮北师范大学更多>>
发文基金：国家高技术研究发展计划国家自然科学基金安徽省高校省级自然科学研究项目更多>>
相关领域：自动化与计算机技术理学更多>>
人物
机构

领域

  • 5个理学
  • 4个自动化与计算...
  • 2个经济管理
  • 2个电子电信
  • 2个文化科学
  • 2个自然科学总论
  • 1个哲学宗教
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个电气工程
  • 1个水利工程
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个社会学
  • 1个语言文字
  • 1个文学
  • 1个艺术
  • 1个历史地理

主题

  • 3个形式化
  • 3个形式化描述
  • 3个英文
  • 3个语义
  • 3个数学
  • 2个代数
  • 2个调度
  • 2个调度算法
  • 2个信任
  • 2个信任关系
  • 2个形式化验证
  • 1个大学生
  • 1个大学生思想
  • 1个大学生思想政...
  • 1个代码
  • 1个代数格
  • 1个代数结构
  • 1个代数理论
  • 1个导师
  • 1个道德

机构

  • 5个华东师范大学
  • 3个上海师范大学
  • 1个安徽农业大学
  • 1个苏州大学
  • 1个教育部
  • 1个陕西师范大学
  • 1个淮北师范大学
  • 1个徐州师范学院

资助

  • 5个国家高技术研...
  • 5个国家自然科学...
  • 4个安徽省高校省...
  • 4个上海市教育委...
  • 3个安徽省自然科...
  • 3个上海市教育发...
  • 3个中央高校基本...
  • 2个国家重点基础...
  • 2个安徽省高等学...
  • 2个国家教育部博...
  • 1个福建省自然科...
  • 1个国家社会科学...
  • 1个河南省科技攻...
  • 1个宁夏回族自治...
  • 1个上海市高等学...
  • 1个上海市科学技...
  • 1个上海市自然科...
  • 1个浙江省自然科...
  • 1个福建省教育厅...
  • 1个上海市高校选...

传媒

  • 3个上海师范大学...
  • 3个模糊系统与数...
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个山东大学学报...
  • 2个科技通报
  • 2个系统科学与数...
  • 2个数学的实践与...
  • 2个计算机工程
  • 2个计算机应用研...
  • 2个软件学报
  • 2个计算机工程与...
  • 2个工程数学学报
  • 2个计算机科学
  • 2个空间控制技术...
  • 2个2011年第...
  • 2个中国系统工程...
  • 2个中国系统工程...
  • 1个华东师范大学...
  • 1个江苏高教

地区

  • 4个上海市
  • 1个安徽省
共 5 条 记 录，以下是 1-5
马艳芳
供职机构：淮北师范大学计算机科学与技术学院
研究主题：进程代数 形式化 互模拟 形式化描述 离散数学
发表作品相关人物供职机构所获资助研究领域
陈仪香
供职机构：华东师范大学
研究主题：互模拟 DOMAIN理论 拓扑 拓扑学 程序设计语言
发表作品相关人物供职机构所获资助研究领域
张敏
供职机构：华东师范大学
研究主题：钛酸 研磨机 互模拟 形式化描述 形式化验证
发表作品相关人物供职机构所获资助研究领域
李海芬
供职机构：华东师范大学金融与统计学院
研究主题：PARETO分布 GIBBS抽样 BAYES方法 贝叶斯分析 恒加寿命试验
发表作品相关人物供职机构所获资助研究领域
汤银才
供职机构：华东师范大学
研究主题：WEIBULL分布 GIBBS抽样 BAYES估计 贝叶斯分析 恒加试验
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0