基于伪半环的不确定计算模型及其应用研究

工具

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

该负责人其他项目

• 乳酸链球菌素经小肠菌群-胆红素代谢轴干扰肠道蛋白酶活性的作用机制研究（国自然，李平，2025）
• 超高韧性地聚物加固RC板的界面尺寸-动力耦联机制与抗爆性能（国自然，李平，2025）
• 制度型开放推动新质生产力发展的机制与对策研究（国社科，李平，2025）
• 上市公司股东减持股份管理政策实施效果与优化研究（国社科，李平，2025）
• EDNRA激活FYN/ZEB1/IRF5信号轴塑造荒漠型胃癌微环境的机制研究（国自然，李平，2024）
• PmERF4介导冷激蛋白基因调控梅花抗冻性的分子机制研究（国自然，李平，2023）
• 肝癌免疫检查点阻断疗法耐药性相关代谢活性分子的荧光成像研究（国自然，李平，2023）
• 锌基屏障膜诱导巨噬细胞EVs释放EP300促骨血管生成的机制研究（国自然，李平，2023）

陕西师范大学其他项目

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

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

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