您的位置： 专家智库 > >

张一民

作品数：3 被引量：1H指数：1
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金高等学校骨干教师资助计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 1篇一阶逻辑
  • 1篇约束程序设计
  • 1篇生成器
  • 1篇线性规划
  • 1篇基于逻辑
  • 1篇SAT
  • 1篇SAT算法
  • 1篇程序设计

机构

  • 3篇吉林大学

作者

  • 3篇张一民
  • 2篇孙吉贵
  • 1篇于海鸿
  • 1篇景沈艳
  • 1篇李泽海
  • 1篇林海
  • 1篇欧阳丹彤
  • 1篇李占山
  • 1篇白洪涛
  • 1篇刘云翔
  • 1篇姜英新
  • 1篇赵春宇
  • 1篇张永刚
  • 1篇曹晓威
  • 1篇杨凤杰
  • 1篇张居阳

传媒

  • 1篇吉林大学学报...

年份

  • 2篇2004
  • 1篇2002
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一阶逻辑模型生成器的实现被引量：1
2004年
介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法,在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤.并对实现的模型生成器与MACE进行了对比测试与结果分析.
张一民孙吉贵
关键词：SAT生成器
约束程序设计
孙吉贵欧阳丹彤杨凤杰李占山张永刚于海鸿张一民李泽海刘云翔张居阳赵春宇景沈艳曹晓威姜英新白洪涛林海
运用了约束程序设计的思想和各类优化技术，同时把人工智能和运筹学算法有机结合起来，以求达到较高的问题求解效率和速度。对约束逻辑程序的语义，多重论域上的大规模的约束问题求解理论与算法，约束推理与诊断推理和嵌入到过程约言的约束...
关键词：
关键词：约束程序设计线性规划
基于逻辑的模型生成技术研究
该文先介绍了解决SAT问题的基本方法,以及一些新方法、新技术,对两种传统的算法进行了比较和简单的分析;为了扩大求解问题的规模,对命题推理器进行了改进,实现了一个并行的SAT算法,并对其性能进行了测试.命题推理器的应用一直...
张一民
关键词：SAT算法
文献传递
全选 清除 导出
共1页<1>
聚类工具0