-
![征稿啦！第 19 届「中国 Linux 内核开发者大会」重磅启动]()
-
![虚拟飞控计算机：飞行控制系统验证与优化的利器]()
虚拟飞控计算机：飞行控制系统验证与优化的利器
随着航空技术的飞速发展，飞行控制系统作为飞机的心脏，全面负责监测、调整和维持飞行器的姿态、航向、高度等参数，用以确保飞行的安全和稳定。为了满足这些要求，现代飞控系统通常采用先进的处理器和外设来确保其高效、稳定的运行。
2024-08-14 digiproto
-
![一文读懂多架构的中断控制器]()
一文读懂多架构的中断控制器
描述了x86/ ARM/PowerPC三种主流中断控制器的特点和发展历程，方便读者初步而较为全面地学习不同架构中断控制器之间的区别，掌握中断控制器的概念。
2023-05-15 digiproto
-
![走进C/C++函数的名字改编]()
走进C/C++函数的名字改编
现在的编程语言中，不同的变量或函数可以用相同的标识符命名，只要它们占据不同的命名空间（通常由模块、类或作用域定义）或有不同的签名（如在函数重载中）时，就可能会出现标识符重名的情况。另外，根据编译器和平台的不同，函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。
2023-05-15 digiproto
-
![数字孪生in卫星：数字化助力强国芯]()
数字孪生in卫星：数字化助力强国芯
数字化指将复杂多变的信息通过编码方式转换为计算机可识别的二进制数据，并建立适当的数字化模型进行存储。卫星嵌入式芯片的数字化与数字孪生势在必行，而数字化仿真芯片的出现基本解决了这一难题。
2023-05-15 digiproto
-
![思考：数字卫星可视化如何实现？]()
思考：数字卫星可视化如何实现？
随着信息化时代的到来，全球范围内的通信和数据传输需求急剧增加，传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求，卫星通信和数据传输技术应运而生。
2023-05-15 digiproto
-
![ARM发家史：无名者的逆袭]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
