智能合约并行运行时验证关键技术研究

工具

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

该负责人其他项目

• 神经干祖细胞通过分泌piRNA-PIWIL2复合物抵御脑内病毒感染的机制研究（国自然，于斌，2021）
• 基于数字扫描光片照明的活细胞三维单分子超分辨成像及示踪研究（国自然，于斌，2019）
• 基于NLRP3炎性小体信号通路抑制泡沫细胞焦亡探讨清热解毒法治疗动脉粥样硬化的机制（国自然，于斌，2018）
• 基于代谢理论的公路物质消耗时空演化规律与生命周期环境效应研究（国自然，于斌，2018）
• 孤独感对城市老年人身心健康的影响及干预研究（国社科，于斌，2018）
• 基于miRNAs对T细胞免疫平衡调控探讨痛泻要方治疗肝郁脾虚型溃疡性结肠炎的机制（国自然，于斌，2016）
• 沥青路面再生过程的环境影响评价及优化建模技术（国自然，于斌，2014）
• 高温高速气流场中高强柔韧PCL/PLA熔喷材料的结构演变与力学和电荷储存稳定性研究（国自然，于斌，2012）

西安电子科技大学其他项目

• 面向空天遥感数据的轻量化联邦学习方法研究（国自然，胡祝平，2026）
• 面向跨模态变化检测的异构信息表示与协同学习方法研究（国自然，刘统飞，2026）
• 面向深度神经网络动态稀疏拓扑协同学习与优化方法研究（国自然，刘一婷，2026）
• 开放世界环境下遥感影像稳健变化检测理论与方法研究（国自然，蒋汾龙，2026）
• 面向轻量化协同训练的语义关联敏感信息动态保护方法研究（国自然，潘珂，2026）
• 多源异构图基础模型研究与应用（国自然，杨亚明，2026）
• 校园场景下融合骨架时空信息及动作语义的智能人体行为识别研究（国自然，刘如意，2026）
• 大语言模型安全加固与可信机器学习研究（国自然，牛振兴，2026）

信息科学部学科其他项目

• 分数量子霍尔态的动力学演化性质研究（国自然，胡自翔，2024）
• CeO2量子点诱导孤岛催化剂用于氨硼烷水解制氢研究（国自然，万超，2024）
• 超重力环境下水凝胶非线性变形和扩散失水耦合机制研究（国自然，李科呈，2024）
• 基于弥散化纳米马氏体相变的高强高塑纳米复合材料（国自然，陈宇轩，2024）
• 随机振动作用下含采硐群岩质边坡时空稳定性计算方法（国自然，姜聚宇，2024）
• 高温水和二氧化碳催化电解模型的构建及其分步测量式传感器的研究（国自然，邹杰，2024）
• 纤维素纳米晶体光子纤丝构筑及其多模态可穿戴传感研究（国自然，张福生，2024）
• 结合有限元方法的自修复钙钛矿薄膜及柔性电池服役力学稳定性研究（国自然，谢海霞，2024）

相关期刊推荐

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

• Lancet Digital Health（IF 25.500，JCR Q1）
• High-Confidence Computing（IF 9.000，JCR Q1）
• Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies-IMWUT（IF 6.200，JCR Q1）
• BMC Medical Informatics and Decision Making（IF 5.500，JCR Q2）
• JMIR Medical Informatics（IF 5.000，JCR Q2）