程序规范的形成理论和技术
基本信息
批准号：69433031
项目类别：重点项目
资助金额：30.00
负责人：李未
学科分类：
依托单位：北京航空航天大学
批准年份：1994
结题年份：1997
起止时间：1995-01-01 - 1997-12-31
项目状态： 已结题
项目参与者：龙翔
关键词：
极限可满足性问题实用解程序规范
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
2
我国哮喘病患者可避免住院现状分析
我国哮喘病患者可避免住院现状分析
DOI：
发表时间：2020
3
基于可拓设计的产品个性化定制方法
基于可拓设计的产品个性化定制方法
DOI：10.13196/j.cims.2020.10.006
发表时间：2020
4
基于FA-BAS-ELM的海洋油气管道外腐蚀速率预测
基于FA-BAS-ELM的海洋油气管道外腐蚀速率预测
DOI：10.16265/j.cnki.issn1003-3033.2022.02.014
发表时间：2022
5
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
李未的其他基金
批准号：60473084
批准年份：2004
资助金额：22.00
项目类别：面上项目
批准号：69973006
批准年份：1999
资助金额：40.00
项目类别：面上项目
批准号：69283002
批准年份：1992
资助金额：6.00
项目类别：专项基金项目
批准号：41471401
批准年份：2014
资助金额：85.00
项目类别：面上项目
批准号：69683002
批准年份：1996
资助金额：12.00
项目类别：专项基金项目
批准号：68873021
批准年份：1988
资助金额：6.00
项目类别：面上项目
批准号：90104008
批准年份：2001
资助金额：30.00
项目类别：重大研究计划
批准号：40801200
批准年份：2008
资助金额：19.00
项目类别：青年科学基金项目
批准号：69433030
批准年份：1994
资助金额：50.00
项目类别：重点项目
相似国自然基金
1
程序规范到程序生成的面向对象理论及实现方法
批准号：69433032
批准年份：1994
负责人：冯玉琳
学科分类：F02
资助金额：20.00
项目类别：重点项目
2
面向网络规范的演化程序开发理论与方法
批准号：61370219
批准年份：2013
负责人：李廉
学科分类：F0207
资助金额：73.00
项目类别：面上项目
3
泛型程序的规范和验证问题研究
批准号：61063003
批准年份：2010
负责人：丁志义
学科分类：F0203
资助金额：23.00
项目类别：地区科学基金项目
4
面向对象程序的形式化规范与验证
批准号：61100061
批准年份：2011
负责人：王淑灵
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目