逻辑程序的数据流分析及其应用
基本信息
批准号：68973039
项目类别：面上项目
资助金额：4.00
负责人：刘椿年
学科分类：
依托单位：北京工业大学
批准年份：1989
结题年份：1992
起止时间：1990-01-01 - 1992-12-31
项目状态： 已结题
项目参与者：孙士琪,孔令勉,王原,刘建丽,王守心
关键词：
逻辑程序设计抽象解释数据流分析
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
2
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
3
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
DOI：10.7498/aps.68.20181682
发表时间：2019
4
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
DOI：10.3969/j.issn.1000-0844.2017.05.0820
发表时间：2017
5
基于暂态波形相关性的配电网故障定位方法
基于暂态波形相关性的配电网故障定位方法
DOI：10.7500/aeps20191122006
发表时间：2020
刘椿年的其他基金
批准号：69883001
批准年份：1998
资助金额：12.00
项目类别：专项基金项目
批准号：60173014
批准年份：2001
资助金额：19.00
项目类别：面上项目
批准号：69273015
批准年份：1992
资助金额：6.00
项目类别：面上项目
批准号：69473016
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：69673022
批准年份：1996
资助金额：8.00
项目类别：面上项目
相似国自然基金
1
基于逻辑程序的智能agent系统及其应用
批准号：69883008
批准年份：1998
负责人：王克文
学科分类：F0203
资助金额：11.00
项目类别：专项基金项目
2
基于高阶逻辑的归纳逻辑程序设计学习算法及其应用研究
批准号：61300098
批准年份：2013
负责人：李艳娟
学科分类：F0605
资助金额：25.00
项目类别：青年科学基金项目
3
面向混合移动应用安全性的数据流分析技术研究
批准号：61672543
批准年份：2016
负责人：王伟平
学科分类：F0206
资助金额：63.00
项目类别：面上项目
4
数据流的非平稳性度量及其在风险估计中的应用
批准号：70571079
批准年份：2005
负责人：丁义明
学科分类：G0107
资助金额：16.00
项目类别：面上项目