复杂推理的序、代数和逻辑方法及其计量化模型

工具

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

该负责人其他项目

• 周期性泵吸作用下液滴撞击液面过程的气泡生成、演变及其对油液可压缩性影响（国自然，赵彬，2021）
• 活性铁对长江输运的陆源有机碳的保存作用研究（国自然，赵彬，2020）
• 臭氧在室内的去除、转化机制及其控制（国自然，赵彬，2019）
• 羊膜上皮干细胞外泌体通过miR-let-7/TfR1途径拮抗增生性瘢痕的机制研究（国自然，赵彬，2019）
• 室外颗粒物成分-粒径谱迁移进入室内环境的机理研究（国自然，赵彬，2016）
• 碳酸盐岩缝洞型油藏储层物性参数建模研究（国自然，赵彬，2014）
• 陕西师范大学2012国际计量逻辑与软计算会议（国自然，赵彬，2012）
• Alcaligenes faecalis strain NR 异养脱氮途径及其酶调控机制（国自然，赵彬，2012）

陕西师范大学其他项目

• 斯宾诺莎感情学说及其当代美学意义研究（国社科，赵文，2025）
• 中国古代文学“拟《史记》”批评研究（国社科，刘彦青，2025）
• 中国古代少数民族对于大一统思想的理论贡献研究（国社科，武沐，2025）
• 多民族文化交融视域下西夏汉藏佛教版画研究（国社科，吴雪梅，2025）
• 城市职业女性生育动机的演变机制及生育支持政策研究（国社科，郝娟，2025）
• 石刻资料所见十六国北朝民族互动与交融研究（国社科，吴洪琳，2025）
• 构建心血管疾病社区运动防控体系实现路径与效果评估研究（国社科，蔡梦昕，2025）
• 西夏文文献中“夏译汉籍”翻译策略与影响研究（国社科，王凯，2025）

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

• 集合论方法在递归论中的应用（国自然，喻良，2016）
• 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
• 不确定系统中的伪加权下推计算模型研究（国自然，金检华，2014）
• 混成系统验证与分析（国自然，佘志坤，2014）
• 可计算枚举度与d.c.e.度之间的结构性质交叉研究（国自然，王慎玲，2014）
• 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）
• 基于量子逻辑的不确定性计算模型及其应用研究（国自然，韩召伟，2014）
• 基于伪半环的不确定计算模型及其应用研究（国自然，李平，2013）