函数-规约混合语言的设计和实现
基本信息
批准号：69683001
项目类别：专项基金项目
资助金额：14.00
负责人：孙永强
学科分类：
依托单位：上海交通大学
批准年份：1996
结题年份：1999
起止时间：1997-01-01 - 1999-12-31
项目状态： 已结题
项目参与者：孙永强,林凯,陆朝俊,沈理,邵志清
关键词：
重写系统混合语言规范化技术
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
涡度相关技术及其在陆地生态系统通量研究中的应用
涡度相关技术及其在陆地生态系统通量研究中的应用
DOI：10.17521/cjpe.2019.0351
发表时间：2020
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
孙永强的其他基金
批准号：69073326
批准年份：1990
资助金额：3.00
项目类别：面上项目
批准号：68676015
批准年份：1986
资助金额：2.50
项目类别：面上项目
批准号：69373021
批准年份：1993
资助金额：6.00
项目类别：面上项目
批准号：68783001
批准年份：1987
资助金额：5.00
项目类别：专项基金项目
批准号：69783001
批准年份：1997
资助金额：12.00
项目类别：专项基金项目
批准号：69183304
批准年份：1991
资助金额：4.50
项目类别：专项基金项目
批准号：69473021
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：71201118
批准年份：2012
资助金额：19.00
项目类别：青年科学基金项目
批准号：60073033
批准年份：2000
资助金额：15.00
项目类别：面上项目
相似国自然基金
1
函数语言的并行实现技术研究
批准号：69373021
批准年份：1993
负责人：孙永强
学科分类：F0203
资助金额：6.00
项目类别：面上项目
2
基于自然语言理解和深度学习的类库规约的自动生成研究
批准号：61802166
批准年份：2018
负责人：翟娟
学科分类：F0203
资助金额：27.00
项目类别：青年科学基金项目
3
基于规约语言的领域软件形式化程度度量方法研究
批准号：61472160
批准年份：2014
负责人：包铁
学科分类：F0203
资助金额：80.00
项目类别：面上项目
4
约束数据库的模式设计、查询语言和实现技术
批准号：69773012
批准年份：1997
负责人：施伯乐
学科分类：F0202
资助金额：12.00
项目类别：面上项目