基于时态逻辑公式演绎的程序生成系统
基本信息
批准号：69083306
项目类别：专项基金项目
资助金额：2.90
负责人：刘清
学科分类：
依托单位：南昌大学
批准年份：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.7524/j.issn.0254-6108.2021021801
发表时间：2022
2
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
3
带球冠形脱空缺陷的钢管混凝土构件拉弯试验和承载力计算方法研究
带球冠形脱空缺陷的钢管混凝土构件拉弯试验和承载力计算方法研究
DOI：10.14006/j.jzjgxb.2018.0676
发表时间：2021
4
考虑时空相关随机行驶时间的车辆路径问题模型与算法
考虑时空相关随机行驶时间的车辆路径问题模型与算法
DOI：10.19907/j.0490-6756.2021.067001
发表时间：2021
5
鞘氨醇激酶-磷酸鞘氨醇轴在血管生成相关性疾病中的作用
鞘氨醇激酶-磷酸鞘氨醇轴在血管生成相关性疾病中的作用
DOI：10.13865/j.cnki.cjbmb.2021.02.1587
发表时间：2021
刘清的其他基金
批准号：51368057
批准年份：2013
资助金额：50.00
项目类别：地区科学基金项目
批准号：51768069
批准年份：2017
资助金额：40.00
项目类别：地区科学基金项目
批准号：51304122
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：50979086
批准年份：2009
资助金额：35.00
项目类别：面上项目
批准号：51379171
批准年份：2013
资助金额：80.00
项目类别：面上项目
批准号：60173054
批准年份：2001
资助金额：18.00
项目类别：面上项目
批准号：51279152
批准年份：2012
资助金额：74.00
项目类别：面上项目
批准号：21606130
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：81860511
批准年份：2018
资助金额：34.80
项目类别：地区科学基金项目
批准号：31201198
批准年份：2012
资助金额：24.00
项目类别：青年科学基金项目
批准号：69773001
批准年份：1997
资助金额：8.00
项目类别：面上项目
批准号：11802207
批准年份：2018
资助金额：28.00
项目类别：青年科学基金项目
批准号：11026186
批准年份：2010
资助金额：3.00
项目类别：数学天元基金项目
批准号：81201891
批准年份：2012
资助金额：23.00
项目类别：青年科学基金项目
相似国自然基金
1
基于时态逻辑的形式化综合
批准号：69473017
批准年份：1994
负责人：韩俊刚
学科分类：F0209
资助金额：8.00
项目类别：面上项目
2
基于Resolution算法的交互时态逻辑自动验证机
批准号：61303018
批准年份：2013
负责人：章岚
学科分类：F0201
资助金额：22.00
项目类别：青年科学基金项目
3
基于逻辑程序的智能agent系统及其应用
批准号：69883008
批准年份：1998
负责人：王克文
学科分类：F0203
资助金额：11.00
项目类别：专项基金项目
4
基于时态认知逻辑的特征交互无界模型检测
批准号：60763004
批准年份：2007
负责人：骆翔宇
学科分类：F0201
资助金额：22.00
项目类别：地区科学基金项目