您的位置： 专家智库 > >

朱兴军

作品数：11 被引量：43H指数：4
供职机构：吉林大学更多>>
发文基金：国家自然科学基金吉林省青年科研基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术交通运输工程机械工程更多>>

合作作者

领域

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

主题

  • 10个产品配置
  • 10个产品配置器
  • 9个人工智能
  • 8个约束满足问题
  • 8个相容性
  • 7个定理
  • 7个定理证明
  • 7个搜索
  • 6个等价
  • 5个等价性
  • 5个等价性验证
  • 4个点对应
  • 4个电路
  • 4个定理机器证明
  • 4个知识编译
  • 4个描述逻辑
  • 3个等词
  • 3个等价类
  • 3个调拨
  • 3个动态约束满足

机构

  • 16个吉林大学
  • 4个教育部
  • 1个东北大学
  • 1个复旦大学
  • 1个长春工程学院

资助

  • 14个国家自然科学...
  • 11个国家教育部博...
  • 10个吉林省科技发...
  • 8个吉林省自然科...
  • 8个教育部“新世...
  • 7个国家高技术研...
  • 7个吉林省杰出青...
  • 7个吉林省青年科...
  • 5个中央高校基本...
  • 4个浙江省自然科...
  • 3个中国博士后科...
  • 3个教育部重点实...
  • 2个高等学校骨干...
  • 2个吉林大学青年...
  • 2个江苏省高校自...
  • 1个吉林大学研究...
  • 1个高等学校国家...
  • 1个国家科技支撑...
  • 1个国家留学基金
  • 1个国家重点基础...

传媒

  • 10个吉林大学学报...
  • 9个计算机研究与...
  • 9个吉林大学学报...
  • 9个吉林大学学报...
  • 8个软件学报
  • 7个计算机科学
  • 6个计算机学报
  • 6个计算机教育
  • 5个电子学报
  • 5个计算机应用研...
  • 5个小型微型计算...
  • 4个自动化学报
  • 4个通信学报
  • 4个计算机工程与...
  • 4个计算机工程
  • 3个广西师范大学...
  • 3个东北大学学报...
  • 3个计算机科学与...
  • 3个2005中国...
  • 2个计算机集成制...

地区

  • 15个吉林省
  • 1个辽宁省
共 16 条 记 录，以下是 1-10
孙吉贵
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
发表作品相关人物供职机构所获资助研究领域
张永刚
供职机构：吉林大学计算机科学与技术学院
研究主题：约束满足问题 弧相容 人工智能 相容性 自适应
发表作品相关人物供职机构所获资助研究领域
李莹
供职机构：吉林大学计算机科学与技术学院
研究主题：命题逻辑 约束满足问题 定理机器证明 规划方法 可满足性
发表作品相关人物供职机构所获资助研究领域
高健
供职机构：吉林大学计算机科学与技术学院
研究主题：弧相容 约束满足问题 禁忌搜索 动态约束满足 参数化
发表作品相关人物供职机构所获资助研究领域
吴瑕
供职机构：吉林大学
研究主题：命题逻辑 人工智能 模态逻辑 定理证明 定理机器证明
发表作品相关人物供职机构所获资助研究领域
李占山
供职机构：吉林大学计算机科学与技术学院
研究主题：约束满足问题 人工智能 弧相容 产品配置器 特征选择算法
发表作品相关人物供职机构所获资助研究领域
李河
供职机构：吉林大学软件学院
研究主题：产能预测 含气储层 深部 程序设计 内存映射文件
发表作品相关人物供职机构所获资助研究领域
于海鸿
供职机构：吉林大学计算机科学与技术学院
研究主题：决策支持系统 联机分析处理 库存管理 决策支持 决策树
发表作品相关人物供职机构所获资助研究领域
张长胜
供职机构：东北大学
研究主题：粒子群算法 SAT问题 遗传算法 云计算 PSO
发表作品相关人物供职机构所获资助研究领域
高健
供职机构：吉林大学
研究主题：可控震源 相关噪声 脉冲编码 地震记录 地震数值模拟
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0