-
![数字孪生：降低现代船舶水声设备研制风险与成本的关键要素]()
数字孪生：降低现代船舶水声设备研制风险与成本的关键要素
对船舶水声设备进行模拟仿真、搭建水声设备的“数字孪生”模型，成为降低研制风险和成本，缩短研制周期的关键要素和有效手段。
2023-09-27 digiproto
-
![CPU性能指标简览]()
-
![一文读懂多架构的中断控制器]()
一文读懂多架构的中断控制器
描述了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
-
