-
![编译器前端概述与可信编译器]()
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
![L2C中Lustre语义的环境定义]()
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
![SkyEye：航空发动机控制系统仿真]()
SkyEye：航空发动机控制系统仿真
本文主要介绍了基于SkyEye对发动机控制系统进行模拟，用于解决真实物理环境发动机资源紧缺，测试验证成本过高等问题，并基于此系统提供多种定制总线开发等解决方案。
2023-05-15 digiproto
-
![SkyEye助力飞控软件Debug]()
SkyEye助力飞控软件Debug
在嵌入式系统飞速发展的飞行控制领域，软硬件紧耦合的情况使得只有快速定位软件问题并找到问题出现的根本原因，才能最大程度地降低调试成本，缩短开发周期。
2023-05-15 digiproto
-
![ModelCoder中的代数环问题]()
ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2023-05-15 digiproto
-
![初识CPS方法的连续动态建模]()
初识CPS方法的连续动态建模
信息物理融合系统（CPS）是对计算进程与物理进程进行集成所形成的综合系统，其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程，且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。
2023-05-15 digiproto
-
![SkyEye Q&A ——第一期]()
SkyEye Q&A ——第一期
Q1.什么是SkyEye？A1.SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，运用软件仿真技术，逼真地模拟出被测软件运行的物理环境。理想情况下，嵌入式软件的二进制可以不加修改直接运行于全数字实时仿真系统，且其运行的动态特性与真实环境一致。Q2.全数字实时仿真又是什么？A2.全数字实时仿真，指仿真的全过程可完全脱离原有的真实硬件环境完成。它不仅能够解决全物理和半
2022-04-13 digiproto
-
![【视频】国产飞腾处理器仿真]()
【视频】国产飞腾处理器仿真
在信息化时代，各行各业的发展都离不开芯片支撑，但受到美国出口管制禁令的影响，芯片市场出现很大缺口。为解决芯片工艺“卡脖子”的问题，国产芯片的发展备受关注，尤其是以飞腾、鲲鹏、海光、龙芯、兆芯、申威等为代表的国产CPU厂商。飞腾采用的是 Arm V8 指令集架构，自主开发兼容 ArmV8 指令集的 CPU 产品。2017 年推出了高性能服务器 FT-2000+/64 处理器，是国内首款自主设计的 64 核通用 CPU，也是国际上首款兼容 ARM 指令集的 64 核通用 CPU；FT-2000+/64 能够提供面向企业级信息化基础设施建设所需的计算能力和访存带宽，目前运用于国内政务云、金融、电信、能源等关键行业信息系统中。
2021-11-24 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
