具体领域软件的自动生成
基本信息
批准号：69983001
项目类别：专项基金项目
资助金额：13.00
负责人：张乃孝
学科分类：
依托单位：北京大学
批准年份：1999
结题年份：2002
起止时间：2000-01-01 - 2002-12-31
项目状态： 已结题
项目参与者：孙家肃,杨建生
关键词：
具体领域语言形式化方法软件自动生成
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
DOI：10.3969/j.issn.1002-0268.2020.03.007
发表时间：2020
2
气载放射性碘采样测量方法研究进展
气载放射性碘采样测量方法研究进展
DOI：
发表时间：2020
3
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
DOI：10.11999/JEIT210095
发表时间：2021
4
基于全模式全聚焦方法的裂纹超声成像定量检测
基于全模式全聚焦方法的裂纹超声成像定量检测
DOI：10.19650/j.cnki.cjsi.J2007019
发表时间：2021
5
基于混合优化方法的大口径主镜设计
基于混合优化方法的大口径主镜设计
DOI：10.3788/AOS202040.2212001
发表时间：2020
张乃孝的其他基金
批准号：60473056
批准年份：2004
资助金额：22.00
项目类别：面上项目
批准号：69683006
批准年份：1996
资助金额：11.00
项目类别：专项基金项目
批准号：60273001
批准年份：2002
资助金额：22.00
项目类别：面上项目
批准号：69283005
批准年份：1992
资助金额：7.00
项目类别：专项基金项目
相似国自然基金
1
程控交换软件自动生成系统的研究
批准号：68773040
批准年份：1987
负责人：郭肇德
学科分类：F0203
资助金额：1.80
项目类别：面上项目
2
基于领域知识的复杂产品行为模型自动生成方法研究
批准号：61672247
批准年份：2016
负责人：赵建军
学科分类：F0209
资助金额：62.00
项目类别：面上项目
3
六面体网格自动生成研究和软件开发
批准号：11172005
批准年份：2011
负责人：刘剑飞
学科分类：A0813
资助金额：68.00
项目类别：面上项目
4
XBRL领域本体的自动构建研究
批准号：71771104
批准年份：2017
负责人：潘定
学科分类：G0112
资助金额：47.00
项目类别：面上项目