• 基于ModelCoder的汽车悬挂系统建模

    悬挂系统主要功能为支持车身、改善乘坐感觉。悬挂系统综合多种作用力,决定着汽车行驶过程的稳定性、舒适性和安全性,是整车厂需要考量的重要汽车部件之一。

    2022-11-25 digiproto

  • 浙里工业软件声音 - 金问鼎:“MBSE+DevOps”两位一体,SkyEye助力卫星数字先行

    天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件,可构建卫星全生命周期的数字孪生系统,应用先进的“MBSE+DevOps”方法论,实现卫星姿态轨道控制软件的正确性、可靠性与高效性,为卫星保驾护航。

    2022-10-26 digiproto

  • 陈颙院士一行莅临迪捷软件考察调研

    9月21日上午,中国科学院院士陈颙携南京大学相关专家一行莅临迪捷软件考察调研。

    2022-09-23 digiproto

  • 绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导

    ​2022年9月22日上午,绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导,迪捷软件副总经理田娜及相关部门负责人出席接待。

    2022-09-23 digiproto

  • 如何搭建点燃式发动机仿真模型

    点燃式发动机仿真模型可使用功率、空气流量、燃料流量、排气温度、效率和排放性能的物理量查找模块来实现。

    2022-08-29 digiproto

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

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

    2022-08-01 digiproto

  • ModelCoder状态机:对柴油机工况判断策略进行建模

    1.柴油机ECU简介柴油机是用柴油作燃料的内燃机,属于压缩点火式发动机。柴油机ECU(Electronic Control Unit,电子控制单元)的主要功能有:接受来自柴油机上的各个传感器信号;进行工况判断;根据开发人员事先编写的控制策略与标定存储的各类MAP(汽车工程上常用的实验数据图),计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数;通过功率驱动模块控制执行器输出。柴油机E

    2022-07-29 digiproto

  • 浙江省经信厅邬韶杭处长一行莅临迪捷软件调研座谈

    2022年5月24日下午,浙江省经信厅软件和集成电路处处长邬韶杭携省软件行业协会、省半导体行业协会领导赴迪捷软件调研指导,市经信局领导陪同调研。

    2022-05-27 digiproto

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