-
![ARM发家史：无名者的逆袭]()
-
![SkyEye卫星篇：从无到有的国之“芯”]()
SkyEye卫星篇：从无到有的国之“芯”
SkyEye（中文全称天目全数字仿真软件）是迪捷软件核心产品之一，具备仿真硬件的功能和性能要求，目前已经能够仿真多款嵌入式架构芯片，其中包括卫星中常用到SPARC、POWERPC等架构芯片，也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![Linux进程间通信]()
Linux进程间通信
Linux环境下，进程地址空间相互独立，每个进程各自有不同的用户地址空间。任何一个进程的全局变量在另一个进程中都看不到，所以进程和进程之间不能相互访问，要交换数据必须通过内核，在内核中开辟一块缓冲区，进程1把数据从用户空间拷到内核缓冲区，进程2再从内核缓冲区把数据读走，内核提供的这种机制称为进程间通信（IPC，Inter-Process Communication）。
2023-05-15 digiproto
-
![浅谈Eclipse GEF]()
浅谈Eclipse GEF
相信学过编程的同学都会用过Eclipse，Eclipse作为一个集成开发环境（IDE），给我们带来了不错的开发体验（虽然我知道大家都用IDEA了），但是Eclipse的作用却不仅限于此。 Eclipse本身是一个框架平台，由于众多插件的支持，使得Eclipse拥有较佳的灵活性，所以许多软件开发商以Eclipse为框架开发自己的IDE。如果你的想开发属于自己的IDE，那么选择Eclipse作为你的开发框架是个不错的选择。随着业务变得越来越复杂以及可视化的需求越来越多，如果你想在基于Eclipse平台的IDE中画个UML图，流程图，工作流 ，那么应该怎么去实现呢？
2023-05-15 digiproto
-
![WebSocket的简单实现]()
WebSocket的简单实现
WebSocket协议是基于TCP的一种新的网络协议。 浏览器通信通常是基于HTTP 协议，为什么还需要另一个协议？因为http只能由客户端发起，不能由服务端发起。而WebSocket 浏览器和服务器只需要完成一次握手，两者之间就直接可以创建持久性的连接，并进行双向数据传输。
2023-05-15 digiproto
-
![一文读懂什么是DDS]()
一文读懂什么是DDS
数据分发服务（DDS™）是一个由对象管理组（OMG）发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构，以中间件的形式提供通信服务，强调以数据为中心。DDS中间件是一个软件层，从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言，使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。
2023-05-15 digiproto
-
![设计模式六大原则你都知道吗？]()
设计模式六大原则你都知道吗？
单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
