• 基于DigiThread的仿真模型调参功能

    仿真模型调参是一个不断发展的领域,其未来的发展趋势将朝着实时性、不确定性、多学科整合、开源与标准化及人机交互等方向继续发展。

    2023-12-01 digiproto

  • 科普:多领域分布式协同仿真

    分布式协同仿真能够更高效地处理大规模、复杂的仿真工作,更全面地理解系统的交互作用和影响,其可复用性则提高了模型的可维护性和可扩展性,对于系统设计、优化与问题解决有着重要意义。

    2023-11-24 digiproto

  • 数字孪生协同仿真:复杂电机篇

    时至今日,从传统的电动机到现代的电动汽车动力系统,电机仿真技术在电机设计、性能分析和控制策略开发领域发挥着关键作用。

    2023-10-30 digiproto

  • 一文读懂UDP协议

    数据分发服务(DDS™)是一个简单的面向数据报的通信协议,位于OSI模型的传输层。该协议在RFC 768中被规范。典型网络上的众多使用UDP协议的关键应用在一定程度上是相似的。

    2023-05-15 digiproto

  • 一文读懂什么是DDS

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

    2023-05-15 digiproto

  • SkyEye携手DigiThread,共同助力卫星领域数字化进程

    随着卫星的技术进步及其应用领域的不断拓展,卫星总体设计及应用仿真迫切需要先进仿真工具的强有力支持。

    2023-05-15 digiproto

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

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

    2022-08-01 digiproto

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