基于组件的异构规范的进程演算研究

工具

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

该负责人其他项目

• 梯度异构点阵增强变厚度蒙皮的复合结构跨尺度协同设计方法研究（国自然，张严，2025）
• 变截面梯度异构点阵夹层结构跨尺度拓扑优化设计方法研究（国自然，张严，2022）
• 德国古典哲学与法兰克福学派现代性批判的思想谱系研究（国社科，张严，2015）
• 金不换抗药物依赖有效成分的药效团模型研究（国自然，张严，2010）
• 振荡积分算子与Hasenbery群上的调和分析（国自然，张严，1991）
• 德国古典哲学与法兰克福学派现代性批判的思想谱系研究（国自然，张严）

南京林业大学其他项目

• 教育分流影响家庭生育行为的机制、效应与协同优化路径研究（国社科，张文武，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）