开放环境下安全攸关系统建模和验证理论与方法

工具

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

该负责人其他项目

• 可信信息物理融合软件的分析与验证（国自然，王戟，2011）
• 第10届高质量软件国际会议国际合作交流（国自然，王戟，2010）
• 软件工程学（国自然，王戟，2007）
• 网络计算环境的程序设计理论及关键技术（国自然，王戟，2006）
• 第19届软件工程自动化国际会议（国自然，王戟，2004）
• 实时系统的软件可靠性测试与验证（国自然，王戟，2002）
• 第1届CUE会议（国自然，王戟，2002）
• 实时容错协议的形式化技术（国自然，王戟，2001）

中国人民解放军国防科技大学其他项目

• 光频梳星间链路（国自然，江天，2026）
• 稀疏传感下基于全波形的扭形叶片状态感知与健康监测研究（国自然，黄文康，2025）
• OTHR海杂波与赤道等离子体泡的跨域耦合机制研究（国自然，陈子睿，2025）
• 基于非线性能量阱的高速飞行器变体机翼气动弹性响应减缓研究（国自然，钮耀斌，2025）
• 大口径复杂曲面光学元件高效高精度控时磨削技术基础研究（国自然，许汉威，2025）
• Es层与重力波耦合机理分析及物理约束的智能建模研究（国自然，虢盛，2025）
• 混合不确定偏好下战略冲突建模与博弈分析研究（国自然，葛冰峰，2025）
• 空芯光纤中高功率激光传输的非线性效应机理研究（国自然，石婧，2025）

软件理论、软件工程与服务学科其他项目

• 融合业务过程和物联大数据的服务抽象与编程机制研究（国自然，韩燕波，2020）
• 回归缺陷链的恢复、分析与预测研究（国自然，肖冠平，2020）
• 智能化符号执行方法研究（国自然，张羽丰，2020）
• 基于持续度量的软件体系结构追踪与重构关键技术研究（国自然，莫然，2020）
• 数据驱动的软件持续演化方法和技术研究（国自然，余萍，2020）
• 多源数据驱动的不可重复构建问题定位与修复研究（国自然，任志磊，2020）
• 面向多模态监控数据的微服务无监督异常检测与定位（国自然，裴丹，2020）
• 基于蜕变关系的编译工具链缺陷检测技术研究（国自然，杨已彪，2020）

相关期刊推荐

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

• Frontiers in Virtual Reality（IF 3.900，JCR Q2）
• Proceedings of the ACM on Programming Languages-PACMPL（IF 3.300，JCR Q2）
• Proceedings of the ACM on Computer Graphics and Interactive Techniques（IF 3.100，JCR Q2）