| 项目负责人 | 王戟 |
| 依托单位 | 中国人民解放军国防科技大学 |
| 立项年份 | 2004 |
| 学科分类 | 计算机科学 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥1.5万 |
| 批准号 | 60410206242 |
工具
该负责人其他项目
- 开放环境下安全攸关系统建模和验证理论与方法(国自然,王戟,2020)
- 可信信息物理融合软件的分析与验证(国自然,王戟,2011)
- 第10届高质量软件国际会议国际合作交流(国自然,王戟,2010)
- 软件工程学(国自然,王戟,2007)
- 网络计算环境的程序设计理论及关键技术(国自然,王戟,2006)
- 实时系统的软件可靠性测试与验证(国自然,王戟,2002)
- 第1届CUE会议(国自然,王戟,2002)
- 实时容错协议的形式化技术(国自然,王戟,2001)
中国人民解放军国防科技大学其他项目
- 光频梳星间链路(国自然,江天,2026)
- 稀疏传感下基于全波形的扭形叶片状态感知与健康监测研究(国自然,黄文康,2025)
- OTHR海杂波与赤道等离子体泡的跨域耦合机制研究(国自然,陈子睿,2025)
- 基于非线性能量阱的高速飞行器变体机翼气动弹性响应减缓研究(国自然,钮耀斌,2025)
- 大口径复杂曲面光学元件高效高精度控时磨削技术基础研究(国自然,许汉威,2025)
- Es层与重力波耦合机理分析及物理约束的智能建模研究(国自然,虢盛,2025)
- 混合不确定偏好下战略冲突建模与博弈分析研究(国自然,葛冰峰,2025)
- 空芯光纤中高功率激光传输的非线性效应机理研究(国自然,石婧,2025)
计算机科学学科其他项目
- 软件学报学术期刊(国自然,方梅,2020)
- 《计算机研究与发展》学术期刊(国自然,侯丽珊,2020)
- 基于基金资助项目信息的期刊质量提升(国自然,李刚,2020)
- 国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究(国自然,李宣东,2019)
- 基于“天河二号”超级计算机的教育系统化监控评估、智能决策仿真和应用研究(国自然,吴迪,2019)
- 基于地学大数据的城市土壤污染智能监测、模拟、管控与预警系统研究(国自然,周永章,2019)
- 基于地学大数据的城市水资源环境系统时空透视与智能管控(国自然,成建梅,2019)
- 人工智能学术研讨会(国自然,朱文武,2019)
相关期刊推荐
该学科领域可投稿的高影响期刊:
- 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)