SkyEye Q&A ——第三期

点击了解嵌入式系统仿真的必要性、应用场景及相关工具。

2022-10-20 digiproto 501

汽车领域：国产基础软件问题与展望

当前，中国汽车产业正处于由大向强的伟大历史转折进程中，在供给侧和需求侧的双向推动下，汽车产业正由功能时代向智能时代演进，汽车产业新格局正在加速形成。

2022-10-13 digiproto 593

软件如何「吞噬」汽车？

自动驾驶技术和电动汽车的发展将为汽车增加数亿行代码。汽车行业该如何处理？

2022-09-22 digiproto 420

技术洞见｜软件定义汽车的思辩

软件真的能定义汽车吗？这一问题的结论也许并不重要，但通过刨根问底，有助于我们更好的理解汽车软件，更理性的看待这个时代。

2022-09-19 digiproto 521

小迪和小捷的太空之旅——飓风营救篇

外星小友被困地底？SkyEye携手小迪小捷再展神威！

2022-09-07 digiproto 554

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

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

2022-08-29 digiproto 537

嵌入式系统开发中的DevOps自动化：工具、益处和挑战

2022-08-19 digiproto 946

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

2022-08-01 digiproto 1978

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷