智能时代的科大国创

高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件，通过精确的数学描述和严格的逻辑推理，确保了关键性软件的可靠性、可信性和安全性，可应用于航空航天、国防军工、智能汽车、金融等安全攸关领域。荣获CCF中国软件大会一等奖，是填补国内空白和解决“卡脖子”难题的关键技术，在国内国际处于领先地位。

公司基于数据智能和高可信软件核心技术，结合公司在机器人编程、运营商、电力、交通等行业沉淀的行业数据和知识，创新研发国创星云大模型产品。其中，国创星云大模型将公司形式化分析与验证技术充分融合到通用大模型代码生成流程中，构建可信代码生成AI助手，保障自动生成代码的安全可靠，大大降低软件开发成本，颠覆传统的软件开发方法。目前国创星云大模型已应用在自动驾驶域控制器产品研发中，有效提高了车辆感知计算的精度和可靠性。

国创星云大模型已经在运营商客服、工单、网络等多个用户场景实现落地应用。公司主营业务包括数字化应用、数字化产品、数字化平台三大板块。

数字化应用：科大国创依托深耕行业二十多年的技术和经验优势，为运营商、能源、交通、政企等行业客户提供以数据智能行业软件产品和IT解决方案与服务，有力推动了中国电信、中国移动、中国联通、国家电投、国家电网、野村综研等国内/国际世界500强和政府等高端客户的数字化转型、高质量发展，有效提高政企运营效率。

数字化产品：科大国创积极开展智能BMS、储能BEMS、智慧储能系统、辅助驾驶/自动驾驶域控制器等软硬一体化数据智能产品的研发及应用，公司智能BMS/BEMS系列产品已累计配套超百万辆新能源汽车及配套超百兆瓦级新型储能系统，拥有奇瑞、北汽制造、吉利、中国三峡集团、皖能集团等新能源行业用户，助力提高新能源汽车和储能系统的使用效率和安全可靠性。

数字化运营：科大国创运用“互联网+数据”思维，布局“数据要素×物流”业务，搭建并运营智慧物流云平台，面向物流企业、货车司机和货主企业等提供货车ETC发行运营和数字物流供应链等平台运营服务，以数字化运营理念，助力平台40万+车主用户和5000家中小物流和货主企业提质降本增效。

科大国创拥有一支近5000人高水平的研发团队，先后获得CMMI5级认证、系统集成一级、智能化双甲、国家规划布局内重点软件企业、国家高新技术企业、国家企业技术中心、国家博士后科研工作站、国家数字经济试点重大工程、国家“重大自然灾害检测预警与防范”重点专项、中国政务信息化方案案例创新奖、CCF中国软件大会一等奖、国家软件创新企业100强等高端资质、认证和荣誉，极大地提高了公司的综合竞争力，为公司卓越发展打下良好基础。