-
![从驾驶员到智能驾驶：汽车智能化进程中的控制与仿真技术]()
从驾驶员到智能驾驶：汽车智能化进程中的控制与仿真技术
在汽车技术持续演进的历程中，人类驾驶员始终是一个极具研究价值的智能控制系统“原型”。驾驶员通过视觉感知、行为决策与操作执行的闭环控制，将复杂的驾驶任务转化为车辆的实际动作，同时动态适应道路环境的变化。
2025-02-14 digiproto
-
![卫星地面站监测系统仿真]()
卫星地面站监测系统仿真
现有的卫星通信系统设备存在着很多问题，比如系统更新周期长，维护成本昂贵以及管理复杂等，这些问题可通过虚拟仿真的方式进行解决。本文将围绕卫星地面站监测系统的仿真进行展开，主要涉及天目全数字实时仿真软件SkyEye、多领域分布式协同仿真平台DigiThread与Simulink。
2024-08-14 digiproto
-
![一文读懂UDP协议]()
一文读懂UDP协议
数据分发服务（DDS™）是一个简单的面向数据报的通信协议，位于OSI模型的传输层。该协议在RFC 768中被规范。典型网络上的众多使用UDP协议的关键应用在一定程度上是相似的。
2023-05-15 digiproto
-
![一文读懂什么是DDS]()
一文读懂什么是DDS
数据分发服务（DDS™）是一个由对象管理组（OMG）发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构，以中间件的形式提供通信服务，强调以数据为中心。DDS中间件是一个软件层，从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言，使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。
2023-05-15 digiproto
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
