项重写技术及其在代数规范说明中的应用
基本信息
批准号：69173315
项目类别：面上项目
资助金额：3.00
负责人：陈意云
学科分类：
依托单位：中国科学技术大学
批准年份：1991
结题年份：1993
起止时间：1992-01-01 - 1993-12-31
项目状态： 已结题
项目参与者：马万里,张健,郭青,纪金龙
关键词：
***
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
DOI：https://doi.org/10.1016/j.cviu.2018.06.003
发表时间：2018
2
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
DOI：
发表时间：2021
3
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
DOI：doi: 10.31577/cai 2019 6 1301
发表时间：2019
4
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
DOI：10.3390/md17090519
发表时间：2019
5
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
DOI：10.1007/s10483-019-2532-8
发表时间：2019
陈意云的其他基金
批准号：60473068
批准年份：2004
资助金额：5.00
项目类别：面上项目
批准号：60673126
批准年份：2006
资助金额：25.00
项目类别：面上项目
批准号：61170018
批准年份：2011
资助金额：56.00
项目类别：面上项目
批准号：69773025
批准年份：1997
资助金额：10.00
项目类别：面上项目
批准号：60173049
批准年份：2001
资助金额：18.00
项目类别：面上项目
批准号：90718026
批准年份：2007
资助金额：50.00
项目类别：重大研究计划
批准号：69373016
批准年份：1993
资助金额：5.00
项目类别：面上项目
相似国自然基金
1
项重写系统等价性的形式自动证明
批准号：60273015
批准年份：2002
负责人：冯速
学科分类：F06
资助金额：20.00
项目类别：面上项目
2
基于重写归纳的推理技术及应用
批准号：69903004
批准年份：1999
负责人：邵志清
学科分类：F0203
资助金额：13.00
项目类别：青年科学基金项目
3
重写系统的基础理论及其在软件质量保障中的应用
批准号：61802259
批准年份：2018
负责人：刘嘉祥
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
4
基于双代数的对象行为规范及其应用研究
批准号：60673050
批准年份：2006
负责人：周晓聪
学科分类：F0201
资助金额：27.00
项目类别：面上项目