|国家科技期刊平台
| 注册
首页|期刊导航|中国空间科学技术|嵌入式软件智能合成框架及关键科学问题

嵌入式软件智能合成框架及关键科学问题

杨孟飞 李晓锋 顾斌 段振华 金芝 詹乃军 董云卫 田聪 李戈 董晓刚

中国空间科学技术2022，Vol.42Issue(4)：1-7,7.
✕
中国空间科学技术2022，Vol.42Issue(4)：1-7,7.DOI:10.16708/j.cnki.1000-758X.2022.0046

嵌入式软件智能合成框架及关键科学问题

Intelligent program synthesis framework and key scientific problems for embedded software

杨孟飞 1李晓锋 2顾斌 3段振华 3金芝 4詹乃军 5董云卫 6田聪 7李戈 4董晓刚5

作者信息

  • 1. 中国空间技术研究院,北京 100094
  • 2. 空间智能控制技术国家级重点实验室,北京 100094
  • 3. 北京控制工程研究所,北京 100190
  • 4. 西安电子科技大学 计算机科学与技术学院,西安 710071
  • 5. 北京大学 计算机学院,北京 100871
  • 6. 中国科学院 软件研究所 天基综合信息系统重点实验室,北京 100190
  • 7. 西北工业大学 计算机学院,西安 710072
  • 折叠

摘要

关键词

嵌入式软件/程序合成/软件IP/软件需求/人工智能

分类

信息技术与安全科学

引用本文复制引用

杨孟飞,李晓锋,顾斌,段振华,金芝,詹乃军,董云卫,田聪,李戈,董晓刚..嵌入式软件智能合成框架及关键科学问题[J].中国空间科学技术,2022,42(4):1-7,7.

基金项目

国家自然科学基金重大项目(62192730:62192731～62192735) （62192730:62192731～62192735）

中国空间科学技术

OA北大核心CSCDCSTPCD

1000-758X

访问量0
|
下载量0
段落导航相关论文