| 项目负责人 | 金检华 |
| 依托单位 | 西南石油大学 |
| 立项年份 | 2014 |
| 学科分类 | 数理逻辑和与计算机相关的数学 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥22.0万 |
| 批准号 | 11401495 |
工具
西南石油大学其他项目
- 高含CO2天然气超临界压力凝华脱碳-液化热力机理研究(国自然,何婷,2025)
- X80管道环焊缝不同区域跨尺度力磁耦合机理及空间磁响应特性研究(国自然,何腾蛟,2025)
- 深部钻探管柱磨损失效规律及DLC薄膜主动防护机理研究(国自然,刘云海,2025)
- 工作液对页岩油气储层的损害机理及性能调控方法(国自然,刘向君,2025)
- 超高温碳酸盐岩油气藏非酸化学增产反应机理与调控理论研究(国自然,刘平礼,2025)
- 光滑和非光滑系统的单值性及分岔研究(国自然,刘玲伶,2025)
- 人口高质量发展视域下中国生育支持法律激励机制研究(国社科,郭庆敏,2025)
- 强挤压构造变形下的页岩油富集效应:基于稀有气体的约束(国自然,刘睿,2025)
数理逻辑和与计算机相关的数学学科其他项目
- 集合论方法在递归论中的应用(国自然,喻良,2016)
- 复杂推理的序、代数和逻辑方法及其计量化模型(国自然,赵彬,2015)
- 半代数混杂系统形式化分析与验证的例证法研究(国自然,吴尽昭,2014)
- 混成系统验证与分析(国自然,佘志坤,2014)
- 可计算枚举度与d.c.e.度之间的结构性质交叉研究(国自然,王慎玲,2014)
- 控制系统形式化设计中逻辑特征应用的研究(国自然,张晋津,2014)
- 基于量子逻辑的不确定性计算模型及其应用研究(国自然,韩召伟,2014)
- 基于伪半环的不确定计算模型及其应用研究(国自然,李平,2013)