操作系统的并发缺陷检测技术研究

工具

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

清华大学其他项目

• 介入时机与干预强度：科林格里奇困境下标准化治理对人工智能创新的双边效应研究（国自然，韩志弘，2026）
• 环境规制多任务挤出效应及其治理绩效影响与优化路径研究（国自然，张明昂，2026）
• 强降雨驱动下流域总磷极值响应的连通转化机制与风险分异（国自然，孟凡琳，2026）
• 跨境电商平台自治的“技术—规则”共演逻辑与治理策略研究——基于生态治理视角（国自然，靳景，2026）
• RAS突变型癌症中细胞自噬的差异化调控机制及功能研究（国自然，-，2025）
• 数字经济时代收缩城市空间重构的智能测度、机理认知与规划设计响应研究（国自然，龙瀛，2025）
• 高超声速飞行器发动机热光伏耦合系统的热光协同调控机制研究（国自然，齐寅珂，2025）
• 面向长视频生成的原生稀疏注意力机制（国自然，黄浩峰，2025）

网络与系统安全学科其他项目

• 大规模网络下面向隐式路由链路攻击的高效跨域协同防御方法研究（国自然，鲁宁，2020）
• 面向大数据安全的密态数据处理关键技术研究（国自然，刘西蒙，2020）
• 隐私保护的云加密数据共享与分析关键技术研究（国自然，苗银宾，2020）
• 零知识条件下面向语言的模糊测试方法研究（国自然，游伟，2020）
• 低时延安全服务链并行化关键技术研究（国自然，廖丽平，2020）
• 广义网络温度及其用于网络异常预警与预防方法的研究（国自然，王昌达，2020）
• 面向工业控制系统攻击测试的智能攻击路径发现关键技术研究（国自然，孙彦斌，2020）
• 群智协同计算中自适应动态的可信服务激励机制研究（国自然，金星，2020）