从近似值获取准确值的理论，方法及其应用

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 超声辅助原位激光导热的SiCf/Ti高质量大孔铣制机理研究（国自然，冯勇，2025）
• Piezo1机械感知PGE2调控骨血管稳态在骨质疏松所致非骨密度依赖性骨折中的作用机制（国自然，冯勇，2022）
• 宿主因子CPSF6介导的HIV-1整合位点选择机制研究（国自然，冯勇，2021）
• 新技术在提升早期髋部疼痛二级预防中的应用（国自然，冯勇，2020）
• 基于深度强化学习的无线传感器网络移动充电调度优化方法研究（国自然，冯勇，2020）
• 过渡金属单原子催化臭氧去除污水中耐药基因的研究（国自然，冯勇，2020）
• 增益自适应全阶终端滑模控制及在电池储能系统中的应用（国自然，冯勇，2020）
• 电子穿梭体介导微界面电子转移的调控机制及去除抗生素研究（国自然，冯勇，2020）

中科院成都信息技术股份有限公司其他项目

• 积分曲线可信计算的理论，算法及其应用（国自然，秦小林，2014）
• 非对称应力状态下的各向异性粘弹流体流动研究（国自然，韩式方，2007）
• 各向异性非牛顿流体连续介质力学（专著）（国自然，韩式方，2005）
• 混合性能模拟的层次化：理论与应用（国自然，吴尽昭，2003）
• 非各向同性粘弹共转流体挤出-拉伸流动及其不稳定性研究（国自然，韩式方，2003）
• 参加第六届欧洲流变学会议，德国，埃朗根，2002年9月1-6日（国自然，韩式方，2002）
• 电磁场问题的有限元法与超收敛技巧（国自然，吕涛，2000）
• 液晶高分子流变学及其流体力学研究（国自然，韩式方，1998）

机器证明学科其他项目

• 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
• 点几何及其机器证明（国自然，邹宇，2017）
• 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
• 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
• 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
• 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
• Thomson问题的机械化算法研究（国自然，冷拓，2015）
• 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
• Robotics（IF 3.600，JCR Q2）