• 知识|智能网联汽车多域电子电气架构会如何发展?

    摘要:随着汽车智能化和网联化技术的快速发展,传统的电子电气架构已经无法满足未来车路云网一体化发展的新需求。本文聚焦于未来智能网联汽车的多域电子电气架构,并从总体设计、硬件系统、通信系统和软件系统四个方面对现有技术进行了详细的综述,并展望了我国电子电气架构的发展前景。随着车辆电气化与智能化的快速发展,汽车工业与移动计算、泛在车联、人工智能等ICT技术的深度融合加速,引发了汽车数字化以及软件定义汽车的

    2025-03-10 digiproto 748

  • 从驾驶员到智能驾驶:汽车智能化进程中的控制与仿真技术

    在汽车技术持续演进的历程中,人类驾驶员始终是一个极具研究价值的智能控制系统“原型”。驾驶员通过视觉感知、行为决策与操作执行的闭环控制,将复杂的驾驶任务转化为车辆的实际动作,同时动态适应道路环境的变化。

    2025-02-14 digiproto 313

  • 卫星地面站监测系统仿真

    现有的卫星通信系统设备存在着很多问题,比如系统更新周期长,维护成本昂贵以及管理复杂等,这些问题可通过虚拟仿真的方式进行解决。本文将围绕卫星地面站监测系统的仿真进行展开,主要涉及天目全数字实时仿真软件SkyEye、多领域分布式协同仿真平台DigiThread与Simulink。

    2024-08-14 digiproto 540

  • 一文读懂什么是DDS

    数据分发服务(DDS™)是一个由对象管理组(OMG)发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构,以中间件的形式提供通信服务,强调以数据为中心。DDS中间件是一个软件层,从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言,使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。

    2023-05-15 digiproto 19431

  • 初探形式化方法基本原理

    1.形式化方法基本概念形式化方法是基于严格的数学基础,通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证,是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理,其主要涵盖以下几个研究方向:定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格

    2022-08-01 digiproto 2014

上一页12下一页 转至第
首页
产品
新闻
联系