- 博客(14)
- 收藏
- 关注
RSS订阅原创 ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2021-12-30 09:24:03
398
原创 细数嵌入式开发与通用系统开发的不同
嵌入式开发指在嵌入式操作系统下进行开发，包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。
2021-12-28 09:37:58
895
原创 初识Web Component
Web Components是为了解决HTML不支持组件导致的代码冗余。在没有组件的情况下，相同的HTML结构需要在代码出现多次，既不美观又严重影响维护，从而影响项目的开发进度。然而借助Web Components，我们可以创建可重用、高度定制的组件。并且可以在现有的Web应用中使用。
2021-12-25 00:56:55
824
原创 漫谈Windows共享内存
在讲共享内存之前先来聊聊虚拟内存的那些事。对于整个系统而言，主存与CPU的资源都是有限的，随着打开进程数量的增加，若是将所有进程运行所需的代码/数据/栈/共享库都存放在主存中，那么开启一部分进程就可以将主存占用完。虚拟内存就是解决以上问题的方法，使用虚拟内存不用将进程全部内容加载到主存上（局部性立了大功——进程在某段时间只需要用到部分代码及其数据），虚拟内存与主存通过不断的数据交换，只需要占用满足程序运行最小空间的内存即可完成程序运行。
2021-12-23 09:33:15
1000
原创 浅谈ARMv7-A协处理器CP15
协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。
2021-12-21 10:19:48
1625
原创 L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2021-12-20 10:28:22
525
原创 VxWorks任务调度
大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。
2021-12-16 09:44:58
2650
原创 设计模式六大原则你都知道吗？
单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。
2021-12-14 09:54:49
334
原创 一文读懂什么是DDS
数据分发服务（DDS™）是一个由对象管理组（OMG）发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构，以中间件的形式提供通信服务，强调以数据为中心。DDS中间件是一个软件层，从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言，使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。
2021-12-13 09:21:42
12189
1
原创 基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2021-12-09 17:40:45
1248
原创 浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2021-12-07 09:22:53
1525
原创 你真的了解虚拟机吗？
近年来，随着科技的发展，计算机在各行各业的应用越来越广泛，所扮演角色也越来越重要。小到超市收银系统，大到飞机导弹都有计算机的影子。正是因为这些广泛的应用推动了计算机体系的迅猛发展，为了满足各种需求，计算机的硬件结构设计的也变得极为复杂，系统的可扩展性、可靠性、可用性、可管理性和安全性都面临了前所未有的挑战。
2021-12-06 15:27:13
1138
原创 带你了解嵌入式处理器的流水线技术
嵌入式处理器执行指令时，一般步骤为：首先从存储器中读取指令，然后对该指令进行译码，识别出被执行的指令属于哪一种指令，然后再从指令中提取到操作数并进行组合，接着根据需要将数据存储到存储器中，最后将结果写到寄存器中。但是，在实际运行过程中，并非所有的指令都需要执行所有的步骤，并且这些步骤所需要用到的硬件功能往往也是不同的。假如某条指令结束之前，后一条指令还未开始，那么在处理指令的每一个步骤都只需使用少部分的硬件，因而硬件资源的使用率并不高。
2021-12-02 15:19:07
3554
原创 私有镜像仓库的部署与使用方法
docker官方虽然提供了公共的镜像仓库，但对于企业来说，这种方式没有安全保障，一旦在构建镜像的过程中进行了commit，就相当于把这些代码实现都交给了别人。因此企业在私有网络环境下部署属于自己的镜像仓库是非常有必要的。
2021-12-01 11:13:32
1373
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人