约束归纳逻辑程序设计的研究
基本信息
批准号：69883001
项目类别：专项基金项目
资助金额：12.00
负责人：刘椿年
学科分类：
依托单位：北京工业大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：朱青,石嘉明,景维玲,边嘉耕,夏珊珊,苗占禄,钟宁燕
关键词：
归纳逻辑程序设计约束逻辑程序设计
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
DOI：10.19596/j.cnki.1001-246x.8419
发表时间：2022
2
Himawari-8/AHI红外光谱资料降水信号识别与反演初步应用研究
Himawari-8/AHI红外光谱资料降水信号识别与反演初步应用研究
DOI：
发表时间：2020
3
基于概率-区间混合模型的汽车乘员约束系统可靠性优化设计
基于概率-区间混合模型的汽车乘员约束系统可靠性优化设计
DOI：10.13465/j.cnki.jvs.2021.20.030
发表时间：2021
4
7075高强铝合金管约束混凝土柱轴压承载力计算
7075高强铝合金管约束混凝土柱轴压承载力计算
DOI：10.13204/j.gyjzG19120618
发表时间：2020
5
面向加工时间可控的柔性作业车间节能调度问题建模
面向加工时间可控的柔性作业车间节能调度问题建模
DOI：10.13196/j.cims.2019.05.004
发表时间：2019
刘椿年的其他基金
批准号：68973039
批准年份：1989
资助金额：4.00
项目类别：面上项目
批准号：60173014
批准年份：2001
资助金额：19.00
项目类别：面上项目
批准号：69273015
批准年份：1992
资助金额：6.00
项目类别：面上项目
批准号：69473016
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：69673022
批准年份：1996
资助金额：8.00
项目类别：面上项目
相似国自然基金
1
约束/归纳逻辑程序设计中的软计算研究
批准号：60173014
批准年份：2001
负责人：刘椿年
学科分类：F0203
资助金额：19.00
项目类别：面上项目
2
基于归纳逻辑程序设计的本体学习方法
批准号：60873153
批准年份：2008
负责人：高志强
学科分类：F0211
资助金额：28.00
项目类别：面上项目
3
基于高阶逻辑的归纳逻辑程序设计学习算法及其应用研究
批准号：61300098
批准年份：2013
负责人：李艳娟
学科分类：F0605
资助金额：25.00
项目类别：青年科学基金项目
4
约束推理与约束程序
批准号：60073039
批准年份：2000
负责人：孙吉贵
学科分类：F0201
资助金额：15.00
项目类别：面上项目