-
![异构仿真：打造更可靠的综合化航空电子软件]()
异构仿真：打造更可靠的综合化航空电子软件
综合化航空电子系统是一类典型的安全关键系统，具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化，系统的功能越来越多地采用软件来实现，如何打造更为可靠的综合化航空电子软件成为一个重要挑战。
2025-03-10 digiproto
-
![从设计到伴飞：数字孪生赋能航空航天新时代]()
从设计到伴飞：数字孪生赋能航空航天新时代
当今社会，航天航空作为科技高速发展的核心技术领域正在快速崛起，数字孪生技术在其中发挥着至关重要的作用。从设计、制造、维护到运营，数字孪生已渗透飞机等飞行器的全生命周期，为行业带来了前所未有的变革。
2025-03-10 digiproto
-
![喜报丨迪捷软件入选2024年浙江省信息技术应用创新优秀典型解决方案]()
-
![国产直升机发展现状及思考]()
国产直升机发展现状及思考
世界直升机制造业从20世纪30年代中期逐渐发展起来，至今已近百年，因其独有的技术特性广泛应用于广大领域。本文将从全球直升机发展情况入手，分析与思考国产直升机的发展现状。
2025-02-06 digiproto
-
![精彩回顾 - 迪捷软件亮相2023飞机航空电子国际论坛]()
-
![诚邀 - 迪捷软件邀您参与2023年航电国际论坛]()
诚邀 - 迪捷软件邀您参与2023年航电国际论坛
论坛背景近年来，伴随着新兴学科不断涌现，航空业也发生了以绿色、智能为特征的群体性技术革命，航空科技创新链条更加灵巧，技术更新和成果转化更加快捷，航空产品迎来了批量化生产、规模化运营、系列化发展的新阶段，升级换代不断加快。2023年（第十二届）飞机航空电子国际论坛将于6月28日至29日在上海举办。论坛自2012年以来，已经成功举办了11届，并已发展为亚太地区业内最受欢迎、规模最大的航电专业活动。本届
2023-06-20 digiproto
-
![编译器前端概述与可信编译器]()
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
![L2C中Lustre语义的环境定义]()
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
