关键软件专项

本项目服务国家战略，聚焦系统软件、高可信软件、领域智能软件等方向的实际问题和前沿工程技术发展需要，紧密结合国家、地方和产业的重大专项、重要工程和重要产品研发任务，通过产学研协同攻关，推动基础研究成果产业化落地和影响力提升，培养国家急需的高层次、实用型、复合交叉型、国际化人才。培养学生具有高度社会责任感、使命感、扎实的理论基础和专业基础、合理的知识结构，侧重提高学生的工程研究与工程实践能力和项目管理能力、强化学生在关键软件领域的创新实践能力和关键技术攻关能力。

主要方向包括：

①泛在操作系统

聚焦支撑人机物融合计算的新型系统软件，研究新型软件定义方法与泛在操作系统运行机理，以及面向物联网、智能汽车、具身智能等领域的泛在操作系统体系结构与构造方法。

②数联网系统软件

结合我国正在实施的数联网基础设施建设重大工程，以数据智能为中心，针对云网端资源的多维可编程、动态发现和可信协同，研究数据智能可信系统软件基本结构、行为机理与关键技术，以及特定领域人机物融合系统软件研制和应用示范。

③高可信软件（软件与系统安全、区块链与隐私计算等）

面向正在大力发展的信息技术应用创新产业，开展泛在操作系统安全、云边端协同的系统安全、区块链与智能合约安全、支持隐私保护的可信联邦学习、高性能多方安全计算、基于可信执行环境的隐私计算等关键技术研究，以及特定领域高可信软件系统的研制及示范应用。

④智能化软件工程

基于人工智能与软件工程技术的深度融合，研究大规模人类知识与深度学习模型知识的自适应动态融合机制、面向异源多模态知识的智能系统全栈交互技术（如信息抽取、自动问答、文本生成）、基于大模型的代码生成、逻辑计算与深度学习共驱的代码漏洞检测技术等。

⑤领域智能软件（大数据机器学习、分布式智能运维等）

研究多源多层次数据融合分析、多任务多目标协同学习、多粒度视觉-语言预训练、自适应模型集成、基于图模型与知识图谱的推理、基于流计算的模型在线更新、基于因果推断的异常根因定位等，并落地应用于智能运维、推荐系统、金融科技等方面。

⑥领域智能软件 (智能计算与感知等)

研究复杂网络系统中的异常态势机理认知和根因分析溯源、新型网络的认证安全与威胁感知防御、基于深度神经网络的图像分割、文本认知和知识图谱构建等，并落地应用于大规模网络智能运维、智能交通、智能家居等方面。