当前位置: 首页 > news >正文

喜报丨迪捷软件入选2025年浙江省“重点省专”

根据《浙江省经济和信息化厅 浙江省财政厅关于进一步支持专精特新中小企业高质量发展的通知》(浙经信企业〔2024〕232号)有关要求,经企业自主申报、地方推荐、材料初审以及专家评审等程序,浙江省经济和信息化厅发布了2025年浙江省重点支持的专精特新中小企业(“重点省专”)公示名单,将对名单内企业实施融通入链“四提一强”推进计划。

迪捷软件自2023年获评浙江省专精特新中小企业以来,一直坚持专业化、精细化、特色化发展,凭借安全关键领域数字化转型、核心工业软件国产化研究等方面的卓越表现,创新能力强、质量效益好,成功入选“重点省专”名单

迪捷软件专注于安全关键领域数字化转型,遵循中立开放的商业理念,致力于核心工业软件国产化研究,为我国安全关键领域提供嵌入式DevOps、MBSE和数字装备产品及解决方案,以构建全寿命周期的数字孪生系统。公司总部位于浙江绍兴,在北京、上海、成都、西安、沈阳等地设有子公司。

创始团队和核心技术团队均来自清华大学计算机系的系统软件和软件工程研究所,在嵌入式虚拟化、形式化证明和符号执行等领域处于国内领先地位,发起的开源项目有SkyEye,L2C,Android_S2E等,俱在国内外有较高知名度。

迪捷软件自主创新、自主设计、自主可控、自主知识产权的一系列嵌入式DevOps与MBSE仿真建模产品,涉及了高端装备的需求、设计、开发直至仿真测试等环节,已成功应用于我国C919、飞机发动机、载人航天、火星探测器、核电站、船舶、汽车、轨交等领域,提供了基于计算机的高效设计开发环境,解决了高端装备软件开发和测试时硬件环境搭建成本高、资源调度难、研发周期长等问题,填补了国内嵌入式虚拟仿真领域空白。

公司三大产品:SkyEye、ModelCoder和DigiThread。

两大解决方案:嵌入式DevOps解决方案和数字样机解决方案。

▲迪捷软件三大产品和两大解决方案

未来,迪捷软件将以此为新的起点,继续推动自主创新、自主研发的进程,加大研发投入、培养人才队伍以提升企业核心竞争力,推动信息领域创新技术的不断突破,大力推进中国高端装备制造业的国产化转型。

相关文章:

喜报丨迪捷软件入选2025年浙江省“重点省专”

根据《浙江省经济和信息化厅 浙江省财政厅关于进一步支持专精特新中小企业高质量发展的通知》(浙经信企业〔2024〕232号)有关要求,经企业自主申报、地方推荐、材料初审以及专家评审等程序,浙江省经济和信息化厅发布了2025年浙江省…...

深度剖析 PyTorch框架:从基础概念到高级应用的深度学习之旅!

目录 一、引言 二、PyTorch 简介 (一)诞生背景与发展历程 (二)核心特点 三、PyTorch 基础概念 (一)张量(Tensor):数据的基石 (二)自动微分&…...

基于C++的DPU医疗领域编程初探

一、大型医院数据处理困境与 DPU 的崛起 在数字化浪潮的席卷下,医疗行业正经历着深刻变革,大型医院作为医疗服务的核心枢纽,积累了海量的数据,涵盖患者的基本信息、诊断记录、检验报告、影像资料等多个维度。这些数据不仅规模庞大,而且增长速度迅猛,传统的中央处理器(C…...

Linux 执行 fdisk -l 出现 GPT PMBR 大小不符 解决方法

目录 前言1. 问题所示2. 原理分析3. 解决方法前言 🤟 找工作,来万码优才:👉 #小程序://万码优才/r6rqmzDaXpYkJZF 1. 问题所示 执行fdisk -l的时候出现如下提示: [root@VMS-Centos-test1 ~]# fdisk -l GPT PMBR 大小不符(419430399 != 4294967295),将用写入予以更正…...

图漾相机搭配VisionPro使用简易教程

1.下载并安装VisionPro软件 请自行下载VisonPro软件。 VisionPro 9.0 /9.5/9.6版本经测试,可正常打开图漾相机,建议使用图漾测试过的版本。 2.下载PercipioCameraForVisionPro软件包 使用浏览器下载:https://gitee.com/percipioxyz/camport…...

第一届“启航杯”网络安全挑战赛WP

misc PvzHE 去这个文件夹 有一张图片 QHCTF{300cef31-68d9-4b72-b49d-a7802da481a5} QHCTF For Year 2025 攻防世界有一样的 080714212829302316092230 对应Q 以此类推 QHCTF{FUN} 请找出拍摄地所在位置 柳城 顺丰 forensics win01 这个软件 云沙盒分析一下 md5 ad4…...

大模型训练策略与架构优化实践指南

标题:大模型训练策略与架构优化实践指南 文章信息摘要: 该分析全面探讨了大语言模型训练、架构选择、部署维护等关键环节的优化策略。在训练方面,强调了pre-training、mid-training和post-training的不同定位与目标;在架构选择上…...

新电脑安装系统找不到硬盘原因和解决方法来了

有不少网友反馈新电脑采用官方u盘方式装win10或win100出现找不到硬盘是怎么回事?后来研究半天发现是bios中开启了rst(vmd)模式。如果关闭rst模式肯定是可以安装的,但这会影响硬盘性能,有没有办法解决开启rst模式的情况安装win10或win11呢&…...

【Linux】21.基础IO(3)

文章目录 3. 动态库和静态库3.1 静态库与动态库3.2 静态库的制作和使用原理3.3 动态库的制作和使用原理3.3.1 动态库是怎么被加载的 3.4 关于地址 3. 动态库和静态库 3.1 静态库与动态库 静态库(.a):程序在编译链接的时候把库的代码链接到可…...

深度学习算法:从基础到实践

简介 深度学习作为人工智能领域的一个重要分支,近年来在多个领域取得了显著的成就。本文将从基础概念出发,探讨深度学习算法的核心原理,并介绍一些实际应用案例。 深度学习算法的核心概念 深度学习算法基于人工神经网络,通过构…...

27. 【.NET 8 实战--孢子记账--从单体到微服务】--简易报表--报表服务

报表是每个记账应用所具备的功能,要实现报表功能就需要把账本的核心功能(记账)完成,因此报表服务作为本专栏第一部分单体应用开发中最后一个要实现的功能,这一篇文章很简单,我们一起来实现一个简单的报表服…...

coffee销售数据集分析:基于时间趋势分析的实操练习

**文章说明:**对coffee销售数据集的简单分析练习(时间趋势分析练习),主要是为了强化利用python进行数据分析的实操能力。属于个人的练习文章。 **注:**这是我第一次使用md格式编辑博客文章,排版上还是不是很…...

【转帖】eclipse-24-09版本后,怎么还原原来版本的搜索功能

【1】原贴地址:eclipse - 怎么还原原来版本的搜索功能_eclipse打开类型搜索类功能失效-CSDN博客 https://blog.csdn.net/sinat_32238399/article/details/145113105 【2】原文如下: 更新eclipse-24-09版本后之后,新的搜索功能(CT…...

Centos 修改历史读录( HISTSIZE)

history命令 -c #清空命令历史 -r #读历史文件附加到历史列表 -w #保存历史列表到指定的历史文件 命令历史相关环境变量 HISTSIZE #命令历史记录的条数 HISTFILE #指定历史文件,默认为~/.bash_history HISTFILESIZE #命令历史文件记录历史的条数 以上变量可以 exp…...

lwIP——4 网络接口

1.lwIP网络接口 网络接口(网卡):个人理解是处理网络层和数据传输关系的接口(tcp/ip协议栈中的网络接口层部分),直接与硬件平台打交道 lwIP协议栈支持多种不同的网络接口(网卡)&#…...

pytest自动化测试 - pytest夹具的基本概念

<< 返回目录 1 pytest自动化测试 - pytest夹具的基本概念 夹具可以为测试用例提供资源(测试数据)、执行预置条件、执行后置条件&#xff0c;夹具可以是函数、类或模块&#xff0c;使用pytest.fixture装饰器进行标记。 1.1 夹具的作用范围 夹具的作用范围&#xff1a; …...

FreeRtos的使用教程

定义&#xff1a; RTOS实时操作系统, (Real Time Operating System), 指的是当外界事件发生时, 能够有够快的响应速度,调度一切可利用的资源, 控制实时任务协调一致的运行。 特点&#xff1a; 支持多任务管理&#xff0c; 处理多个事件&#xff0c; 实现更复杂的逻辑。 与计算…...

yolov11 解读简记

1 文章详细介绍了YOLOv11的架构设计&#xff0c;包括以下几个关键组件&#xff1a; C3k2块&#xff1a;这是YOLOv11引入的一种新型卷积块&#xff0c;替代了之前版本中的C2f块。C3k2块通过使用两个较小的卷积核代替一个大的卷积核&#xff0c;提高了计算效率&#xff0c;同时保…...

实验二 数据库的附加/分离、导入/导出与备份/还原

实验二 数据库的附加/分离、导入/导出与备份/还原 一、实验目的 1、理解备份的基本概念&#xff0c;掌握各种备份数据库的方法。 2、掌握如何从备份中还原数据库。 3、掌握数据库中各种数据的导入/导出。 4、掌握数据库的附加与分离&#xff0c;理解数据库的附加与分离的作用。…...

Kafka常见问题之 `javax.management.InstanceAlreadyExistsException`

文章目录 Kafka常见问题之 javax.management.InstanceAlreadyExistsException1. 概述2. 常见原因3. 具体异常示例4. 解决方案4.1 确保单一 Kafka Producer 实例4.2 配置 Kafka Broker 和 Producer 使用唯一的 JMX 名称&#xff08;对于Producer重点检查 client.id&#xff09;4…...

企业级AD域控+FreeRADIUS认证实战:从零配置PAP/MSCHAPv2完整流程

企业级AD域控与FreeRADIUS深度集成&#xff1a;PAP与MSCHAPv2认证全流程解析 在企业混合IT环境中&#xff0c;如何实现Windows Active Directory&#xff08;AD&#xff09;域账户与Linux系统的无缝认证一直是运维团队的痛点。本文将手把手带你完成AD域控与FreeRADIUS的深度集成…...

Depth Pro:重新定义单目深度估计的速度与精度边界

Depth Pro&#xff1a;重新定义单目深度估计的速度与精度边界 【免费下载链接】ml-depth-pro Depth Pro: Sharp Monocular Metric Depth in Less Than a Second. 项目地址: https://gitcode.com/gh_mirrors/ml/ml-depth-pro 技术原理&#xff1a;如何让机器真正"看…...

重构ComfyUI工作流:从混乱到高效的节点优化实践

重构ComfyUI工作流&#xff1a;从混乱到高效的节点优化实践 【免费下载链接】ComfyUI-KJNodes Various custom nodes for ComfyUI 项目地址: https://gitcode.com/gh_mirrors/co/ComfyUI-KJNodes 一、问题发现&#xff1a;识别工作流中的效率瓶颈 1.1 视觉复杂性诊断 …...

EMQX Dashboard 5.1新手指南:从安装到安全配置的完整流程

EMQX Dashboard 5.1新手指南&#xff1a;从安装到安全配置的完整流程 在物联网和实时消息传递领域&#xff0c;EMQX作为一款高性能的MQTT消息服务器&#xff0c;已经成为众多企业构建可靠物联网平台的首选。而EMQX Dashboard作为其内置的Web管理控制台&#xff0c;在5.1版本中迎…...

CVPR/ICML/TMI顶会风向标:医学图像分割三大落地范式,从模型精调到临床闭环

1. 医学图像分割的临床落地挑战与范式转变 医学图像分割作为AI在医疗领域最成熟的应用之一&#xff0c;正经历着从实验室精度竞赛到临床实用落地的关键转型。我在参与多家三甲医院PACS系统智能化改造时发现&#xff0c;临床医生对算法的需求呈现明显的"三高"特征&…...

C++ 异常安全的最佳策略

C 异常安全的最佳策略 在C开发中&#xff0c;异常安全是确保程序在抛出异常时仍能保持正确性和资源管理的关键。异常处理不当可能导致内存泄漏、数据不一致或资源未释放等问题。本文将探讨C异常安全的最佳策略&#xff0c;帮助开发者编写更健壮的代码。 资源管理&#xff1a;…...

如何用RecastNavigation构建完整的游戏AI导航系统:从入门到实战

如何用RecastNavigation构建完整的游戏AI导航系统&#xff1a;从入门到实战 【免费下载链接】recastnavigation Navigation-mesh Toolset for Games 项目地址: https://gitcode.com/gh_mirrors/re/recastnavigation 想要为你的游戏打造智能的AI导航系统吗&#xff1f;Re…...

Keil4 STC15浮点运算踩坑实录:如何避免数据类型转换导致的诡异错误

Keil4 STC15浮点运算避坑指南&#xff1a;从原理到实战的数据类型陷阱解析 在嵌入式开发领域&#xff0c;STC15系列单片机凭借其优异的性价比和丰富的功能接口&#xff0c;成为许多中小型项目的首选。然而当开发者使用Keil4这一经典但略显陈旧的开发环境时&#xff0c;常常会遇…...

OpenClaw配置备份:nanobot环境迁移指南

OpenClaw配置备份&#xff1a;nanobot环境迁移指南 1. 为什么需要配置备份 上周我的主力开发机突然硬盘故障&#xff0c;导致所有数据丢失。最让我痛心的不是代码&#xff0c;而是精心调教了两个月的OpenClaw配置——包括调试好的技能参数、飞书机器人通道设置&#xff0c;以…...

用Matlab+Yalmip+Gurobi搞定微电网优化配置:从电工杯A题到实战避坑指南

MatlabYalmipGurobi微电网优化实战&#xff1a;从建模到竞赛应用的完整指南 微电网优化配置是能源系统研究中的经典问题&#xff0c;也是数学建模竞赛中的高频考点。去年电工杯A题就曾让参赛者头疼——如何在满足负荷需求的前提下&#xff0c;合理配置风光储系统&#xff0c;实…...