带量化信息的异构规范与其应用的研究

工具

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

该负责人其他项目

• 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）

南京审计大学其他项目

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

计算机科学的基础理论学科其他项目

• 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
• 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究（国自然，任爽，2020）
• 参数近似算法（国自然，郭炅，2020）
• 交互式定理证明工具和证明自动化技术研究（国自然，詹博华，2020）
• 基于指数时间假设的纳什均衡算法与复杂性研究（国自然，刘正阳，2020）
• 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究（国自然，王晓峰，2020）
• 面向完整性和可用性的智能合约形式化分析与修复方法研究（国自然，李希萌，2020）
• 基于知识图谱表示的多模态数据特征提取与融合研究（国自然，高岭，2020）

相关期刊推荐

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

• ACM Computing Surveys（IF 30.400，JCR Q1）
• Nature Machine Intelligence（IF 29.800，JCR Q1）
• IEEE Transactions on Pattern Analysis and Machine Intelligence（IF 20.400，JCR Q1）
• Nature Computational Science（IF 20.300，JCR Q1）
• Journal of Big Data（IF 10.800，JCR Q1）