您的位置： 专家智库 > >

国家自然科学基金(61202105)

作品数：3 被引量：7H指数：2
相关作者：张敏陈仪香潘海玉赵文明吕悦更多>>
相关机构：华东师范大学安徽工程大学杭州职业技术学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术理学更多>>

领域

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

主题

  • 5个教学
  • 4个形式化
  • 4个形式化验证
  • 4个自动机
  • 3个剩余格
  • 3个统计模型
  • 3个启发式算法
  • 3个前缀
  • 3个完备剩余格
  • 3个模糊逻辑
  • 3个PRISM
  • 2个代数
  • 2个蕴涵算子
  • 2个蕴涵算子族
  • 2个三I算法
  • 2个算子
  • 2个算子族
  • 2个区间值
  • 2个子族
  • 2个响应函数

机构

  • 6个华东师范大学
  • 2个陕西师范大学
  • 1个杭州职业技术...
  • 1个上海师范大学
  • 1个苏州大学
  • 1个教育部
  • 1个浙江理工大学
  • 1个安徽工程大学
  • 1个泰州学院
  • 1个徐州师范学院

资助

  • 6个国家自然科学...
  • 4个国家重点基础...
  • 3个安徽省自然科...
  • 3个上海市教育委...
  • 3个中央高校基本...
  • 2个国家高技术研...
  • 2个安徽省高校省...
  • 2个国家教育部博...
  • 1个青海省自然科...
  • 1个上海市科学技...
  • 1个上海市自然科...
  • 1个浙江省教育厅...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个浙江省科技厅...
  • 1个国家中长期科...
  • 1个教育部高等学...
  • 1个上海市教育发...
  • 1个上海市科学技...
  • 1个新世纪高等教...

传媒

  • 4个计算机应用研...
  • 3个科技通报
  • 3个模糊系统与数...
  • 3个计算机科学
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个控制理论与应...
  • 2个软件学报
  • 2个计算机工程与...
  • 2个山东大学学报...
  • 2个空间控制技术...
  • 2个中国系统工程...
  • 1个上海师范大学...
  • 1个江苏高教
  • 1个职业技术教育
  • 1个数学学报（中...
  • 1个数学进展
  • 1个电子学报
  • 1个计算机时代
  • 1个长江科学院院...

地区

  • 5个上海市
  • 1个浙江省
共 6 条 记 录，以下是 1-6
张敏
供职机构：华东师范大学
研究主题：研磨机 互模拟 钛酸 形式化描述 形式化验证
发表作品相关人物供职机构所获资助研究领域
吕悦
供职机构：华东师范大学
研究主题：混合式教学 啦啦操 教学效果 上线 PRISM
发表作品相关人物供职机构所获资助研究领域
潘海玉
供职机构：华东师范大学
研究主题：模糊推理 KRIPKE结构 模糊逻辑 计算树逻辑 三I算法
发表作品相关人物供职机构所获资助研究领域
陈仪香
供职机构：华东师范大学
研究主题：互模拟 DOMAIN理论 拓扑 拓扑学 程序设计语言
发表作品相关人物供职机构所获资助研究领域
赵文明
供职机构：杭州职业技术学院
研究主题：移动AGENT 高职教育 高职 CDIO 课程
发表作品相关人物供职机构所获资助研究领域
何佳
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：PRISM 前缀 启发式算法 统计模型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0