控制系统形式化设计中逻辑特征应用的研究

工具

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

该负责人其他项目

• 带量化信息的异构规范与其应用的研究（国自然，张晋津，2016）

南京审计大学其他项目

• “共识—政策”共生演化视角下土地增值收益分配改革的逻辑进路研究（国社科，姜海，2025）
• 多主体权属关系下制造商技术并购的权益冲突形成机制与化解策略研究（国社科，刘冠美，2025）
• 基于检索增强语言模型的智能审计架构与方法：以医院审计场景为例（国自然，伍之昂，2025）
• 面向土地资源审计的双时相高分辨率卫星图像变化报告生成研究（国自然，周峰，2025）
• 复杂场景下基于大小模型协同的多模态意图识别关键技术研究（国自然，孙凯丽，2025）
• 考虑非同质性的用能权配额分配及其交易机制研究（国自然，李星晨，2025）
• 道德决策中决策权让渡模式选择、责任归因与建议影响的研究——基于人工智能与真人对比的实验分析（国自然，杨亚迪，2025）
• 企业数字责任的多维驱动因素及其对企业可持续发展的影响机制研究（国自然，王乐英，2025）

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

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