| 项目负责人 | 张智勇 |
| 依托单位 | 北方工业大学 |
| 立项年份 | 2016 |
| 学科分类 | 机器证明 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥48.0万 |
| 批准号 | 11671014 |
工具
该负责人其他项目
- 美丽中国视域下珠江流域生态共同体构建的机制与路径研究(国社科,张智勇,2025)
- 基于同步辐射与同位素示踪技术的微塑料生物界面作用、体内转运及毒理效应研究(国自然,张智勇,2025)
- 西江流域生态产品的富民效应及提升策略研究(国社科,张智勇,2021)
- 基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨(国自然,张智勇,2020)
- 放射性同位素示踪研究微/纳米塑料与陆生植物的相互作用(国自然,张智勇,2020)
- 同步辐射谱学技术研究纳米二氧化铈在土壤-植物体系中的微界面过程及机制(国自然,张智勇,2018)
- 基于“主动炎症调节“的骨组织工程技术的研究与机制探讨(国自然,张智勇,2018)
- 基于"主动炎症调节"的骨组织工程技术的研究与机制探讨(国自然,张智勇,2017)
北方工业大学其他项目
- 当代西方左翼数字社会主义思潮研究(国社科,温泉,2025)
- 多维纳米材料协同柔性电极性能调控及界面间接触特性研究(国自然,司丽娜,2025)
- 质权人风险识别、网络传染与溢出效应(国自然,姜晓文,2025)
- 基于预测的网络化多智能体协同控制及其无人机编队应用(国自然,庞中华,2025)
- 考虑拱效应的组合梁UHPC加固桥面板受力机理与设计方法研究(国自然,朱颖杰,2025)
- 基于深度学习与影像组学结合的乳腺癌新辅助治疗疗效预测研究(国自然,李佳悦,2025)
- 连铸坯热送热装轧制过程表面裂纹形成机理研究(国自然,王亚栋,2025)
- 面向适老与适残需求的城市慢行空间协同优化研究:基于计算机视觉与数字孪生的多模态行为识别及空间耦合机制(国自然,王雷,2025)
机器证明学科其他项目
- 高维可积模型及特殊解的机械化算法研究(国自然,徐桂琼,2018)
- 点几何及其机器证明(国自然,邹宇,2017)
- 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法(国自然,苏道毕力格,2016)
- 基于特征列集及对称方法的求解偏微分方程问题机械化算法(国自然,特木尔朝鲁,2015)
- 基于格值逻辑的语言真值α-群锁语义归结自动推理研究(国自然,钟小梅,2015)
- Thomson问题的机械化算法研究(国自然,冷拓,2015)
- 基于吴(文俊)方法的实代数几何中符号计算(国自然,肖水晶,2015)
- 三维Clifford代数无基底刻画的完全性及其多项式标准型的完全分类(国自然,李阁,2015)
相关期刊推荐
该学科领域可投稿的高影响期刊:
- ACM Transactions on Human-Robot Interaction(IF 7.000,JCR Q1)
- Robotics(IF 3.600,JCR Q2)