合情推理模式与计算机模拟
基本信息
批准号：68973019
项目类别：面上项目
资助金额：3.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
主控因素对异型头弹丸半侵彻金属靶深度的影响特性研究
主控因素对异型头弹丸半侵彻金属靶深度的影响特性研究
DOI：10.13465/j.cnki.jvs.2020.09.026
发表时间：2020
2
钢筋混凝土带翼缘剪力墙破坏机理研究
钢筋混凝土带翼缘剪力墙破坏机理研究
DOI：10.15986/j.1006-7930.2017.06.014
发表时间：2017
3
双吸离心泵压力脉动特性数值模拟及试验研究
双吸离心泵压力脉动特性数值模拟及试验研究
DOI：10.13465/j.cnki.jvs.2020.19.016
发表时间：2020
4
掘进工作面局部通风风筒悬挂位置的数值模拟
掘进工作面局部通风风筒悬挂位置的数值模拟
DOI：
发表时间：2018
5
一种加权距离连续K中心选址问题求解方法
一种加权距离连续K中心选址问题求解方法
DOI：
发表时间：2020
张文修的其他基金
批准号：69474013
批准年份：1994
资助金额：4.80
项目类别：面上项目
批准号：19071065
批准年份：1990
资助金额：1.00
项目类别：面上项目
批准号：18670478
批准年份：1986
资助金额：0.70
项目类别：面上项目
相似国自然基金
1
计算机自动推理
批准号：68673036
批准年份：1986
负责人：刘叙华
学科分类：F02
资助金额：2.00
项目类别：面上项目
2
计算机自动推理的理论与实现
批准号：68873014
批准年份：1988
负责人：李永礼
学科分类：F0201
资助金额：2.00
项目类别：面上项目
3
多路聚合的跨媒体模式分析与知识推理研究
批准号：61906172
批准年份：2019
负责人：闫小强
学科分类：F0605
资助金额：24.00
项目类别：青年科学基金项目
4
推理技术与推理系统
批准号：68773015
批准年份：1987
负责人：赵沁平
学科分类：F0204
资助金额：2.00
项目类别：面上项目