基于入演算、组合逻辑和图归约技术的函数式语言系统
基本信息
批准号：69073329
项目类别：面上项目
资助金额：3.00
负责人：杨祥金
学科分类：
依托单位：东南大学
批准年份：1990
结题年份：1993
起止时间：1991-01-01 - 1993-12-31
项目状态： 已结题
项目参与者：唐立评,朱一清,蒲安健
关键词：
组合逻辑入演算高阶纯粹的函数式语言
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
2
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
3
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
DOI：10.11999/JEIT210095
发表时间：2021
4
基于余量谐波平衡的两质点动力学系统振动频率与响应分析
基于余量谐波平衡的两质点动力学系统振动频率与响应分析
DOI：10.6052/1672⁃6553⁃2017⁃059
发表时间：2018
5
多源数据驱动CNN-GRU模型的公交客流量分类预测
多源数据驱动CNN-GRU模型的公交客流量分类预测
DOI：10.19818/j.cnki.1671-1637.2021.05.022
发表时间：2021
杨祥金的其他基金
相似国自然基金
1
逻辑式语言中非线性约束求解技术与系统的研究
批准号：69673022
批准年份：1996
负责人：刘椿年
学科分类：F0203
资助金额：8.00
项目类别：面上项目
2
面向自然语言处理的逻辑语义表达与演算模型研究
批准号：60173025
批准年份：2001
负责人：王惠临
学科分类：F0211
资助金额：18.00
项目类别：面上项目
3
证明网络图归约优化系统的研制
批准号：69573037
批准年份：1995
负责人：王驹
学科分类：F0201
资助金额：6.00
项目类别：面上项目
4
图视式编程语言的基础研究
批准号：69173342
批准年份：1991
负责人：程景云
学科分类：F0203
资助金额：3.00
项目类别：面上项目