来自AI解读

$科大国创(SZ300520)$  科大国创在军工领域拥有核心技术，且在部分方面具有不可替代的作用，具体如下：

- 高可信软件技术[__LINK_ICON]：科大国创的高可信软件是自主研发的面向程序分析和形式验证领域的基础工具软件，通过精确的数学描述和严格的逻辑推理，确保了关键性软件的可靠性、可信性和安全性。该技术在OS内核、编译器、控制软件等底层系统软件验证方面具备深厚经验和能力，相关产品荣获CCF中国软件大会一等奖，填补了国内空白，在国内国际处于领先地位，可广泛应用于国防军工等安全攸关领域。

- 可信代码生成与验证技术：公司依托“科创星云大模型”和“国创星码编程AI助手”，深度融合代码生成与高可信软件验证技术，其可信代码生成技术能自动检测代码缺陷，提升军工软件安全性，这一技术稀缺性突出，在国防军工、航天航空等安全攸关领域具有重要应用价值。

- 量子科技相关技术：科大国创参股的国仪量子拥有国际领先的量子精密测量和量子计算技术，开发的量子机器学习工业软件，优化效率比经典算法提升50倍，并接入“祖冲之二号”量子计算机。量子计算云平台适配超导量子计算全产业链，在军工领域，量子通信、量子计算等技术可为信息传递筑牢安全壁垒，快速处理海量战场数据，帮助分析战场态势等。

- 储能BMS技术：科大国创的储能BMS技术已在军工领域应用并持续获得订单，公司运用领先的数据智能、高可信软件和智能算法技术，将动力域相关分散控制部件进行集成化，为军工领域的储能系统提供了可靠的技术支持。