-
国产直升机发展现状及思考
世界直升机制造业从20世纪30年代中期逐渐发展起来,至今已近百年,因其独有的技术特性广泛应用于广大领域。本文将从全球直升机发展情况入手,分析与思考国产直升机的发展现状。
2025-02-06 digiproto
-
诚邀 - 迪捷软件邀您参与2023年航电国际论坛
论坛背景近年来,伴随着新兴学科不断涌现,航空业也发生了以绿色、智能为特征的群体性技术革命,航空科技创新链条更加灵巧,技术更新和成果转化更加快捷,航空产品迎来了批量化生产、规模化运营、系列化发展的新阶段,升级换代不断加快。2023年(第十二届)飞机航空电子国际论坛将于6月28日至29日在上海举办。论坛自2012年以来,已经成功举办了11届,并已发展为亚太地区业内最受欢迎、规模最大的航电专业活动。本届
2023-06-20 digiproto
-
航电系统的GPU虚拟化仿真
SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模,完美解决航电系统虚拟化的难题。
2023-05-15 digiproto
-
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS,Safety-Critical System),对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题,尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto