部分实现理论及其在算法形式推导和证明中的应用
基本信息
批准号：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：10.19596/j.cnki.1001-246x.8419
发表时间：2022
2
物联网中区块链技术的应用与挑战
物联网中区块链技术的应用与挑战
DOI：10.3969/j.issn.0255-8297.2020.01.002
发表时间：2020
3
一种改进的多目标正余弦优化算法
一种改进的多目标正余弦优化算法
DOI：
发表时间：2019
4
一种加权距离连续K中心选址问题求解方法
一种加权距离连续K中心选址问题求解方法
DOI：
发表时间：2020
5
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
DOI：10.11887/j.cn.202101019
发表时间：2021
薛锦云的其他基金
批准号：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
项目类别：青年科学基金项目