部分实现理论及其在算法形式推导和证明中的应用
基本信息
批准号：68973040
项目类别：面上项目
资助金额：3.00
负责人：薛锦云
学科分类：
依托单位：江西师范大学
批准年份：1989
结题年份：1992
起止时间：1990-01-01 - 1992-12-31
项目状态： 已结题
项目参与者：黄育潜,高维俊,黄明和,邓少敏,宋群,李云清
关键词：
软件方法学算法形式
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于铁路客流分配的旅客列车开行方案调整方法
基于铁路客流分配的旅客列车开行方案调整方法
DOI：
发表时间：2021
2
新型树启发式搜索算法的机器人路径规划
新型树启发式搜索算法的机器人路径规划
DOI：10.3778/j.issn.1002-8331.1903-0411
发表时间：2020
3
"多对多"模式下GEO卫星在轨加注任务规划
"多对多"模式下GEO卫星在轨加注任务规划
DOI：10.19328/j.cnki.2096-8655.2022.02.002
发表时间：2022
4
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
5
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
DOI：10.13973/j.cnki.robot.210412
发表时间：2022
薛锦云的其他基金
批准号：69443001
批准年份：1994
资助金额：5.00
项目类别：专项基金项目
批准号：60273092
批准年份：2002
资助金额：22.00
项目类别：面上项目
批准号：61272075
批准年份：2012
资助金额：70.00
项目类别：面上项目
批准号：69983003
批准年份：1999
资助金额：13.00
项目类别：专项基金项目
批准号：60773054
批准年份：2007
资助金额：27.00
项目类别：面上项目
批准号：60573080
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：61472167
批准年份：2014
资助金额：82.00
项目类别：面上项目
批准号：69783006
批准年份：1997
资助金额：12.00
项目类别：专项基金项目
相似国自然基金
1
模糊逻辑形式系统的构造、判定及定理证明算法研究
批准号：60663002
批准年份：2006
负责人：王三民
学科分类：F0201
资助金额：7.00
项目类别：地区科学基金项目
2
半代数系统的高效求解算法及其在不等式机器证明中的应用
批准号：11271034
批准年份：2012
负责人：夏壁灿
学科分类：A0410
资助金额：50.00
项目类别：面上项目
3
哈希证明系统及其在公钥加密中的应用
批准号：61502484
批准年份：2015
负责人：贾仃仃
学科分类：F0206
资助金额：20.00
项目类别：青年科学基金项目
4
布尔可满足性问题的算法与其在电路复杂性下界证明中的应用
批准号：61702489
批准年份：2017
负责人：陈世腾
学科分类：F0201
资助金额：23.00
项目类别：青年科学基金项目