形式规约的获取研究
基本信息
批准号：69383001
项目类别：专项基金项目
资助金额：6.00
负责人：董韫美
学科分类：
依托单位：中国科学院软件研究所
批准年份：1993
结题年份：1995
起止时间：1994-01-01 - 1995-12-31
项目状态： 已结题
项目参与者：李开德,胡永千,邹维,陈海明
关键词：
规约获取软件知识表达与复用机器学习
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
2
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
3
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
4
服务经济时代新动能将由技术和服务共同驱动
服务经济时代新动能将由技术和服务共同驱动
DOI：10.19474/j.cnki.10-1156/f.001172
发表时间：2017
5
基于协同表示的图嵌入鉴别分析在人脸识别中的应用
基于协同表示的图嵌入鉴别分析在人脸识别中的应用
DOI：10.3724/sp.j.1089.2022.19009
发表时间：2022
董韫美的其他基金
批准号：68673024
批准年份：1986
资助金额：4.00
项目类别：面上项目
批准号：69073337
批准年份：1990
资助金额：5.00
项目类别：面上项目
批准号：69673018
批准年份：1996
资助金额：14.00
项目类别：面上项目
批准号：60273023
批准年份：2002
资助金额：24.00
项目类别：面上项目
批准号：69873042
批准年份：1998
资助金额：14.00
项目类别：面上项目
相似国自然基金
1
形式化软件规约Radl获取、验证与确认方法研究
批准号：61363012
批准年份：2013
负责人：王昌晶
学科分类：F0201
资助金额：45.00
项目类别：地区科学基金项目
2
基于场景规约的Web Service组合行为获取与验证研究
批准号：60673125
批准年份：2006
负责人：李宣东
学科分类：F0203
资助金额：22.00
项目类别：面上项目
3
符合工业标准的多核隔离内核形式规约与安全验证技术
批准号：61872016
批准年份：2018
负责人：赵永望
学科分类：F0201
资助金额：64.00
项目类别：面上项目
4
基于规约语言的领域软件形式化程度度量方法研究
批准号：61472160
批准年份：2014
负责人：包铁
学科分类：F0203
资助金额：80.00
项目类别：面上项目