约束推理与约束程序
60473003
2004
F0201.计算机科学的基础理论
孙吉贵
面上项目
教授
吉林大学
23万元
约束推理;约束程序;程序语义;约束优化
2005-01-01到2007-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 求极小碰集的遗传算法 | 期刊论文 | 张楠，孙吉贵，赵相福，欧阳丹彤 |
| 2 | 一个基于本体主题的中文知识获取 | 期刊论文 | 车海燕，孙吉贵，荆涛，白曦 |
| 3 | Particle Swarm in Binary CSPs | 期刊论文 | Qingyun Yang, Jigui Sun, Juyan |
| 4 | WDM: A new efficient visualiza | 会议论文 | Qingyun Yang, Jigui Sun, Hong |
| 5 | 基于Tableau的定理机器证明系统T | 期刊论文 | 刘全，孙吉贵 |
| 6 | 最大度二元约束满足问题粒子群算 | 期刊论文 | 杨轻云，孙吉贵，张居阳 |
| 7 | 面向对象代数Petri网 | 期刊论文 | 潘洪军，孙吉贵 |
| 8 | Hyper tableaux: the third vers | 会议论文 | Shasha Feng, Jigui Sun, Xia Wu |
| 9 | 基于值序的二元约束满足问题粒子 | 期刊论文 | 杨轻云，孙吉贵，张居阳，王纯杰 |
| 10 | A Hybrid Discrete Particle Swa | 会议论文 | Qingyun Yang, Jigui Sun, Juyan |
| 11 | A Novel GA-LM Based Hybrid Alg | 会议论文 | Changsheng Zhang, Qiansheng Wa |
| 12 | A Study on Parallel Semantics | 会议论文 | Jigui Sun, Yong-gang Zhang |
| 13 | 半在线调度中约束求解算法研究 | 期刊论文 | 张居阳，孙吉贵，杨轻云 |
| 14 | 一种基于集合符号的自动推理扩展 | 期刊论文 | 刘全，伏玉琛，孙吉贵，崔志明， |
| 15 | Inference and Reformation in F | 会议论文 | Huawen Liu, JiGui Sun |
| 16 | 一种求解tableau等式合一问题的 | 期刊论文 | 刘全，孙吉贵，窦全胜 |
| 17 | 描述逻辑综述 | 期刊论文 | 石莲，孙吉贵 |
| 18 | Model net: a representation of | 期刊论文 | Changsong Qi, Jigui Sun |
| 19 | 多元约束混合搜索算法研究 | 期刊论文 | 孙吉贵，张居阳，陈尚伟 |
| 20 | 基于模糊对象的不精确需求建模 | 期刊论文 | 潘洪军，孙吉贵 |
| 21 | Analog-Cell：一种新的电子细胞 | 期刊论文 | 卢欣华，孙吉贵 |
| 22 | 用周期模型和近邻算法预测话务量 | 期刊论文 | 刘童，孙吉贵，张永刚，白洪涛 |
| 23 | 基于GIS的粮食管理预警决策支持 | 期刊论文 | 于海鸿，孙吉贵，李泽海，孙国 |
| 24 | 基于抽象－验证－细化范例的软件 | 期刊论文 | 刘吉锋，孙吉贵 |
| 25 | 汉语语音合成的研究进展 | 期刊论文 | 冯哲，孙吉贵，张长胜，王岩 |
| 26 | 层次化模糊Petri网：形式化定义 | 期刊论文 | 潘洪军，孙吉贵，亓常松 |
| 27 | A logic-based Branch and Bound | 期刊论文 | Juyang Zhang, Jigui Sun, Qingy |
| 28 | An Improved Concurrent Search | 会议论文 | Jian Gao, Jigui Sun, Yonggang |
| 29 | An Extension of Pawlak's Flow | 会议论文 | Jigui Sun, Huawen Liu Huijie Z |
| 30 | 基于决策树分类方法的粮食轮换决 | 期刊论文 | 于海鸿，孙吉贵，李泽海，孙国 |
| 31 | 大规模三维地形可视化算法研究进 | 期刊论文 | 张慧杰，孙吉贵，刘雪洁，李泽海 |
| 32 | 面向网络的实时飞行模拟系统模型 | 期刊论文 | 张长胜，孙吉贵，梁书斌，范玮 |
| 33 | Towards a Wrapper-Driven Ontol | 会议论文 | Xi Bai, Jigui Sun, Zehai Li, H |
| 34 | An Interpretation of Flow Grap | 会议论文 | Jigui Sun, Huawen Liu Changson |
| 35 | The Regulation of Gene Express | 会议论文 | Xinhua Lu, Jigui Sun,Ying Ren, |
| 36 | DH_FFP and RANK_FFP: Solving | 会议论文 | Jigui Sun, Tian Liang Qingyun |
| 37 | A Hybrid Discrete Particle Swa | 会议论文 | Qingyun Yang, Jigui Sun, Juyan |
| 38 | Particle Swarm Algorithm with | 期刊论文 | Yang Qingyun, Sun Jigui, Zhang |
| 39 | Reasoning about Centeris Parib | 会议论文 | Yong-gang Zhang, Jigui Sun |
| 40 | Solving Uncertain Markov Decis | 会议论文 | Shulin Cui, Jigui Sun Minghao |
| 41 | 一种求解粮食调运优化问题的两阶 | 期刊论文 | 于海鸿，孙吉贵，李泽海 |
| 42 | 基于核的有向强连通图计算机随机 | 期刊论文 | 顾滨兵，孙吉贵，杨焕，田地 |
| 43 | A multistage rule induction al | 期刊论文 | Jigui Sun, Huawen Liu, Changs |
| 44 | A Hybrid Particle Swarm Optimi | 会议论文 | Qingyun Yang, Jigui Sun, Juyan |
| 45 | An Extended RCSP Generating Mo | 会议论文 | Yonggang Zhang Jigui Sun， Jia |
| 46 | 一种基于最小冲突修补的动态约束 | 期刊论文 | 孙吉贵，高健，张永刚 |
| 47 | Model Composition in Multi dim | 会议论文 | Haihong Yu, Jigui Sun, Xia Wu, |
| 48 | 弧相容算法性能比较 | 期刊论文 | 徐均哲，孙吉贵，张永刚 |
| 49 | 参数化弧相容约束传播 | 期刊论文 | 高健，孙吉贵，张永刚，朱兴军 |
| 50 | Populating CRAB Ontology Using | 会议论文 | Lian Shi, Jigui Sun, Haiyan Ch |
| 51 | 基于约束人力资源配置系统的设计 | 期刊论文 | 姜珊珊，孙吉贵，白洪涛，蒋宇志 |
查看更多信息请先登录或注册
