可计算枚举度与d.c.e.度之间的结构性质交叉研究

工具

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

北京师范大学其他项目

• 知识驱动的低幻觉多智能体协同推理研究（国自然，李彦增，2026）
• 数字叙事建构职前教师身份认同的认知神经机制（国自然，刘丽莎，2026）
• 农业转移人口市民化中的代际支持与教育、养老政策协同研究——基于异质性家户模型的量化分析（国自然，王言，2026）
• 二维社会特质非对称性加工的多模态神经机制—基于社会认知图谱构建框架（国自然，高天宇，2026）
• 三维结构理解与智能建模（国自然，郭建伟，2026）
• 风—光—氢储耦合系统动态耦合机理和快速精准调控研究（国自然，帅麒麟，2026）
• 多尺度分子筛膜介导复杂水体中PFAS界面催化高效降解及还原—氧化协同调控机制（国自然，杨逸，2026）
• 基于HoMS诱导的自催化型Li2O2电合成—氧化还原介质耦合锂空气电池构筑（国自然，袁萌伟，2026）

数理逻辑和与计算机相关的数学学科其他项目

• 集合论方法在递归论中的应用（国自然，喻良，2016）
• 复杂推理的序、代数和逻辑方法及其计量化模型（国自然，赵彬，2015）
• 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
• 不确定系统中的伪加权下推计算模型研究（国自然，金检华，2014）
• 混成系统验证与分析（国自然，佘志坤，2014）
• 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）
• 基于量子逻辑的不确定性计算模型及其应用研究（国自然，韩召伟，2014）
• 基于伪半环的不确定计算模型及其应用研究（国自然，李平，2013）