您的位置： 专家智库 > >

浙江省自然科学基金(Y1100191)

作品数：20 被引量：49H指数：5
相关作者：欧阳丹彤王晓宇赵剑张立明赵相福更多>>
相关机构：吉林大学浙江师范大学教育部更多>>
发文基金：浙江省自然科学基金国家自然科学基金吉林省科技发展计划基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 27个自动化与计算...
  • 17个文化科学
  • 9个经济管理
  • 9个机械工程
  • 9个电子电信
  • 9个理学
  • 7个天文地球
  • 7个交通运输工程
  • 7个医药卫生
  • 4个生物学
  • 4个轻工技术与工...
  • 4个农业科学
  • 3个哲学宗教
  • 3个社会学
  • 2个矿业工程
  • 2个石油与天然气...
  • 2个金属学及工艺
  • 2个建筑科学
  • 2个政治法律
  • 2个自然科学总论

主题

  • 19个人工智能
  • 17个网络
  • 14个课程
  • 12个离散事件系统
  • 12个计算机
  • 10个等价
  • 10个自动机
  • 10个可诊断性
  • 9个等价性
  • 9个等价性验证
  • 8个电路
  • 8个系统模型
  • 8个矩阵
  • 7个学科
  • 7个约束满足问题
  • 6个多目标
  • 5个点对应
  • 5个多核
  • 5个远程
  • 4个电子细胞

机构

  • 25个吉林大学
  • 7个教育部
  • 3个吉林财经大学
  • 2个长春税务学院
  • 2个浙江师范大学
  • 2个湖北工程学院
  • 1个长春大学
  • 1个爱尔兰国立大...
  • 1个电子科技大学
  • 1个东北师范大学
  • 1个吉林师范大学
  • 1个中国石油天然...
  • 1个中山大学
  • 1个重庆理工大学
  • 1个中国科学院研...
  • 1个中国科学院软...

资助

  • 27个国家自然科学...
  • 27个浙江省自然科...
  • 26个吉林省科技发...
  • 21个国家教育部博...
  • 13个吉林省自然科...
  • 11个国家高技术研...
  • 11个教育部“新世...
  • 9个中国博士后科...
  • 7个中央高校基本...
  • 6个吉林省杰出青...
  • 6个教育部重点实...
  • 5个吉林省教育厅...
  • 4个国家留学基金
  • 4个吉林省教育厅...
  • 4个博士科研启动...
  • 4个吉林省教育科...
  • 4个吉林省教育厅...
  • 4个吉林省青年科...
  • 3个内蒙古自治区...
  • 3个吉林省教育厅...

传媒

  • 19个计算机科学
  • 18个吉林大学学报...
  • 17个吉林大学学报...
  • 14个软件学报
  • 13个计算机研究与...
  • 12个吉林大学学报...
  • 11个电子学报
  • 10个计算机学报
  • 9个计算机教育
  • 7个仪器仪表学报
  • 6个计算机集成制...
  • 6个通信学报
  • 6个计算机工程与...
  • 6个湖南大学学报...
  • 5个广西师范大学...
  • 5个第四届中国A...
  • 4个计算机工程
  • 4个计算机科学与...
  • 3个模式识别与人...
  • 3个计算机应用研...

地区

  • 24个吉林省
  • 2个浙江省
  • 1个北京市
共 27 条 记 录，以下是 1-10
欧阳丹彤
供职机构：吉林大学计算机科学与技术学院
研究主题：基于模型诊断 人工智能 离散事件系统 本体 集合枚举树
发表作品相关人物供职机构所获资助研究领域
王晓宇
供职机构：吉林大学
研究主题：离散事件系统 人工智能 可诊断性 基于模型诊断 玉米
发表作品相关人物供职机构所获资助研究领域
赵剑
供职机构：长春大学计算机科学技术学院
研究主题：人工智能 故障诊断 基于模型诊断 计算机科学与技术 区块链
发表作品相关人物供职机构所获资助研究领域
张立明
供职机构：吉林大学计算机科学与技术学院
研究主题：基于模型诊断 集合枚举树 人工智能 求解器 数字电路测试
发表作品相关人物供职机构所获资助研究领域
赵相福
供职机构：浙江师范大学数理与信息工程学院
研究主题：基于模型诊断 离散事件系统 集合枚举树 冲突集 可诊断性
发表作品相关人物供职机构所获资助研究领域
郭劲松
供职机构：吉林大学
研究主题：人工智能 约束满足问题 冲突集 基于模型诊断 矩阵计算
发表作品相关人物供职机构所获资助研究领域
曾海林
供职机构：吉林大学
研究主题：等价性验证 LABVIEW VERILOG SMT 形式化验证
发表作品相关人物供职机构所获资助研究领域
吕帅
供职机构：吉林大学
研究主题：规划方法 知识编译 可满足性 公理 命题逻辑
发表作品相关人物供职机构所获资助研究领域
魏唯
供职机构：吉林大学公共计算机教学与研究中心
研究主题：启发式搜索 规划方法 多目标 路标 爬山
发表作品相关人物供职机构所获资助研究领域
王肖
供职机构：浙江师范大学数理与信息工程学院
研究主题：候选 故障诊断 单调性 CH S-T
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0