孙吉贵
【姓名】 孙吉贵
【职称】 教授;
【研究领域】 计算机软件及计算机应用;自动化技术;数学;
【研究方向】 计算机软件、人工智能
【发表文献关键词】 有向连通图,有向强连通图的核,基础环,有向连通分支,地理信息系统,Rational统一过程,面向对象的分析与设计,UML,软件模型检测,谓词抽象,反例驱动的细化,管理信息系统,生成算法,二元约束满足问...
【工作单位】 吉林大学
【曾工作单位】 吉林大学;
【所在地域】 吉林长春
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/140 108 127 22 1468 24329
中国期刊全文数据库    共找到133篇
[1]殷明浩;周俊萍;孙吉贵;谷文祥;.求解QBF问题的启发式调查传播算法[J]软件学报.2011,(07)
[2]朱兴军;孙吉贵;张永刚;李莹;.一种新的基于完全独立相容性的预处理技术[J]自动化学报.2009,(01)
[3]周俊萍;殷明浩;谷文祥;孙吉贵;.部分可观察强规划中约减观察变量的研究[J]软件学报.2009,(02)
[4]张长胜;孙吉贵;欧阳丹彤;.一种自适应离散粒子群算法及其应用研究[J]电子学报.2009,(02)
[5]张长胜;孙吉贵;杨轻云;郑黎辉;.一种求解车间调度的混合算法[J]自动化学报.2009,(03)
[6]孙吉贵;行荣;卢欣华;韩霄松;.电子细胞Analog-Cell的并发机制[J]电子学报.2009,(04)
[7]孙吉贵;殷明浩;吕帅;.JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统[J]计算机研究与发展.2009,(04)
[8]张慧杰;孙吉贵;吕英华;吕楠;王远志;.一种新的基于发散度函数的地形模型简化方法[J]计算机学报.2009,(05)
[9]刘杰;孙吉贵;高振海;冯京津;.一种新的汽车乘员分类视觉检测算法[J]计算机工程.2009,(06)
[10]李莹;孙吉贵;吴瑕;朱兴军;.基于IMOM和IBOHM启发式策略的扩展规则算法[J]软件学报.2009,(06)
更多
中国重要会议全文数据库    共找到7篇
[1]田地;孟葳;刘金明;顾滨兵;孙吉贵;.吉林省旅游信息系统的设计与实现[A].增强自主创新能力 促进吉林经济发展——启明杯·吉林省第四届科学技术学术年会论文集（上册）.2006-10-13
[2]张永刚;孙吉贵;.有穷论域约束逻辑程序设计及其应用[A].全国第16届计算机科学与技术应用（CACIS）学术会议论文集.2004-08-01
[3]冯莎莎;张永刚;孙吉贵;.从C语言上机实验课中的几个问题谈起[A].2005全国计算机程序设计类课程教学研讨会论文集.2005-09-01
[4]赵丽丽;孙吉贵;.归纳逻辑程序设计综述[A].2005全国计算机程序设计类课程教学研讨会论文集.2005-09-01
[5]卢欣华;孙吉贵;.模拟细胞生命活动的电子细胞[A].2006年全国理论计算机科学学术年会论文集.2006-08-01
[6]李占山;王涛;孙吉贵;寇飞宏;.基于模型推理的系统修复与重用设计研究[A].2006年全国理论计算机科学学术年会论文集.2006-08-01
[7]张慧杰;孙吉贵;孙红光;罗娜;.一种基于聚类分析的Out-of-Core地形可视化算法[A].第十三届全国图象图形学学术会议论文集.2006-11-01
更多
承担国家科研项目    共找到4个
[1]孙吉贵;.扩展规则推理方法研究[A].吉林大学;.项目经费 31万元.2007-03-31.资助文献数 11 篇
[2]孙吉贵;.约束推理与约束程序[A].吉林大学;.项目经费 23万元.2004-03-31.资助文献数 91 篇
[3]孙吉贵;.非经典逻辑的自动推理[A].吉林大学;.项目经费 22万元.2002-03-31.资助文献数 80 篇
[4]孙吉贵;.约束推理与约束程序[A].吉林大学;.项目经费 15万元.2000-03-31.资助文献数 44 篇
更多