-
![SkyEye卫星篇-国的加强“芯”]()
SkyEye卫星篇-国的加强“芯”
近年来，卫星产业发展迅猛，数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据，“数字卫星”成为当下主流趋势。
2023-05-15 digiproto
-
![Schiaparelli着陆器坠毁事故回溯与思考]()
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日，Schiaparelli火星着陆器尝试登陆火星的过程中，在预定着陆前50秒与地面控制中心失联并意外坠毁，引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![编译器前端概述与可信编译器]()
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
![如何在Linux上部署Jenkins]()
如何在Linux上部署Jenkins
Jenkins是一个开源软件项目，是基于Java开发的一种持续集成工具，用于监控持续重复的工作，旨在提供一个开放易用的软件平台，使软件项目可以进行持续集成。
2023-05-15 digiproto
-
![如何使用Windows OVERLAPPED优化你的应用]()
如何使用Windows OVERLAPPED优化你的应用
01 异步I/O基本原理I/O即输入输出。在现代操作系统中，输入输出是计算机完整功能必不可少的一部分。处理器负责各种计算任务，然后通过各种输入输出设备与外界进行交互。常见的输入输出设备包括键盘、鼠标、显示器、硬盘、网络适配器接口等。有了硬件设备，在软件层面上，使得操作系统通过以一致的方式与设备驱动交互从而操控硬件设备。而应用程序通过统一的接口与系统内核进行交互。在计算机程序执行过程中，设备I/O是
2023-05-15 digiproto
-
![你真的了解虚拟机吗？]()
你真的了解虚拟机吗？
近年来，随着科技的发展，计算机在各行各业的应用越来越广泛，所扮演角色也越来越重要。小到超市收银系统，大到飞机导弹都有计算机的影子。正是因为这些广泛的应用推动了计算机体系的迅猛发展，为了满足各种需求，
2023-05-15 digiproto
-
![一文读懂什么是DDS]()
一文读懂什么是DDS
数据分发服务（DDS™）是一个由对象管理组（OMG）发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构，以中间件的形式提供通信服务，强调以数据为中心。DDS中间件是一个软件层，从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言，使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
