作者小头像 Lv.1
更多个人资料
30 成长值
0 关注
2 粉丝
+ 关注

个人介绍

厚积薄发

感兴趣或擅长的领域

云安全、云存储、云计算、大数据、人工智能
个人勋章
TA还没获得勋章~
成长雷达
10
0
0
0
20

个人资料

个人介绍

厚积薄发

感兴趣或擅长的领域

云安全、云存储、云计算、大数据、人工智能

达成规则

以上满足项可达成此勋章

  • 博客
  • 关注
  • 粉丝
  • 论坛
全部时间
全部时间
最近三天
最近一周
最近一月
  • 全部
  • 暂无专栏分类
基于coq平台形式化编译过程说明
基于coq平台形式化编译过程说明编译文件的作用是使文件编译成为类似c语言库文件的过程。在其他文件中进行引用的文件必须进行编译过程，举个例子进行说明。 图1-1图1-1文件中的uart.v的文件是某代码的coq语言表示，打开该文件后如图1-2。如图1-2当我们在其他文件中需要引用到coq语言表示的uart.v代码时，就必须对uart.v进行编译。编译的操作步骤如下：步骤一：...
单片机
作者小头像 歌尽桃花 2019-01-18 18:11:10
7549
0
0
2019-01-18 18:11:10
999+
0
0
SmartWatch能源消耗研究（2）
4.1.2系统设计的启示为了处理过多的空闲时间，可以从消除其起源或更有效地利用它们两个方面进行考虑。 1）寻找操作系统效率低下根源，发现的低效率根源需要重新思考OS各个方面，例如，安全政策和电源管理。为此，重要的是要有一个轻量级的示踪器捕获重要的软件活动 - 从系统事件到功能调用- 与异常空闲相关情节。设计示踪器应该满足一下两个方面的内容，首先，只有在异常空闲的情况下才能启动跟踪，否则信息记...
能源
作者小头像 歌尽桃花 2019-01-16 20:54:38
7979
0
0
2019-01-16 20:54:38
999+
0
0
SmartWatch能源消耗研究（1）
SmartWatch能源消耗研究（1）摘要SmartWatch耗能源消耗大致可分一下以下四个研究方向：电池本身的放电模式、用户使用SmartWatch的使用方式，SmartWatch系统决定的后台程序运行的耗电模式、SmartWatch硬件节能原件的开发及采用方式。本文把对SmartWatch的耗能问题研究集中在一个点上--SmartWatch的能源优化方式，从现有的SmartWatch的能...
能源 计算
作者小头像 歌尽桃花 2019-01-16 20:53:21
7497
0
0
2019-01-16 20:53:21
999+
0
0
实时与非实时系统对比实验
实时与非实时系统对比实验一 实时工具RTX简介Windows是通用操作系统，其调度功能不针对实时应用程序。因此，实时开发人员受到严重限制，并且经常无法使用Windows操作系统。 IntervalZero的RTX64产品通过向Windows添加实时功能来弥补这一差距。它还提供用于构建和执行实时程序的工具和实用程序。实时系统有时被分类为硬实时或软实时系统。硬实时系统是其中响应时间确定性要求...
任务调度 Windows
作者小头像 歌尽桃花 2019-01-16 13:03:01
7626
0
0
2019-01-16 13:03:01
999+
0
0
适航实时操作系统安全可靠的验证方案
DO-178C[[i]]在核心文档在DO-178B的基础上进行了重要改进，其中补充文档对特定的技术—软件形式化方法进行了详细的说明。DO-178C首次正式地承认了机载软件开发过程当中使用形式化方法的有效性。形式化方法是一类用于机载软件的规约、开发和验证的基于技术的数学方法，例如:形式化方法工具可以用来表达飞机上的数学表达控制原则以及它们到飞机计算机上的软件代码的转换。形式化方法可以应用到软件...
活动 安全
作者小头像 歌尽桃花 2019-01-16 12:28:28
8851
0
0
2019-01-16 12:28:28
999+
0
0
形式化验证简介
目前保证实时操作系统正确性的方法主要有测试、仿真和形式化方法。测试和仿真是工业界通常采用的方法，简单易行，但是必须要等到系统的原型实现后才能展开，并且只能检测出某个错误是否出现在系统中，却不能保证系统中没有错误，这使得测试和仿真不能从根本上保证实时操作系统的正确性。相反，形式化方法是一种基于数学理论的严格方法，使用数学符号抽象系统模型和系统期望性质，通过推理或图形搜索的方式验证系统的形式化模...
软件开发云
作者小头像 歌尽桃花 2019-01-16 12:17:42
11252
1
0
2019-01-16 12:17:42
999+
1
0
https://www.baidu.com/s?ie=utf-8&f=3&rsv_bp=0&rsv_idx=1&tn=baidu&wd=sed%20%E6%9B%BF%E6%8D%A2%E5%AD%97%E7%AC%A6%E4%B8%B2&rsv_pq=c7db61a600035dc5&rsv_t=5e19yEsbV9N5fIvdlGRU
作者小头像
作者小头像
快速交付
+ 关注