高可信软件
Search documents
科大国创:与华为在运营商、高可信软件等领域开展了相关交流合作
Zheng Quan Ri Bao· 2025-11-28 09:41
Core Viewpoint - The company, Keda Guochuang, is engaged in discussions and collaborations with Huawei in areas such as telecommunications and high-trust software, although the current impact on the company's operations is minimal [2] Group 1 - Keda Guochuang has confirmed its collaboration with Huawei in specific sectors [2] - The areas of collaboration include telecommunications and high-trust software [2] - The current operational impact of this collaboration on Keda Guochuang is reported to be small [2]
科大国创(300520) - 2025年7月10日投资者关系活动记录表
2025-07-11 09:12
Group 1: Company Overview and Business Segments - The company has three main business areas: "Digital Applications," "Digital Products," and "Digital Operations" [1] - In Digital Applications, the company provides "technology + services" for industries such as telecommunications, energy, transportation, and government [1] - In Digital Products, the company focuses on developing and selling digital new energy products centered around BMS/BEMS, leveraging its experience in the BMS product field [1][2] Group 2: Artificial Intelligence Development - The company is a leading provider of data intelligence products and services, focusing on deep applications of AI in various business scenarios [3] - It has developed the "Kechuang Xingyun" large model and the "Guochuang Intelligent Body" platform, which have been applied in multiple industry scenarios, including customer service and traffic law enforcement [3] Group 3: High-Trust Software - The company has developed high-trust software for program analysis and formal verification, utilizing formal techniques like symbolic execution and theorem proving [4] - This software is applied in sectors such as aerospace, military, and automotive electronics, ensuring software quality and reliability [4] Group 4: AI Programming Assistant - The company has created the "Guochuang Xingma" AI programming assistant, which can generate code from natural language, complete code, and provide optimization suggestions [5] - This assistant is currently being promoted in specific fields such as defense, aerospace, and finance [5] Group 5: ETC Business Model - The company offers ETC issuance and operation services through its self-developed smart logistics cloud platform, charging service fees based on usage [6] - With a growing user base, the ETC business is expected to maintain growth [6] Group 6: Quantum Technology Investments - The company is actively investing in quantum technology through equity investments in quality enterprises in the sector [7] - It has invested in companies like Guoyi Quantum and Jiuzhang Quantum, although these investments currently have no significant impact on the company's performance [7]