内存一致性
共 5 篇文章
内存一致性 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 5 篇文章，持续更新中。
一种面向瞬时故障的容错技术的形式化方法
<span id="LbZY">软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形
基于CUDA的红外图像快速增强算法研究
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">针对红外图像边缘模糊，对比度低的问题，文中研究了改进的中值滤波和改进的Sobel边缘检测对红外图像进行处理。在对处理后图像的特征进行分析的基础上，研究了
基于AD9959的高精度多通道雷达信号源设计
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">现代相控阵雷达为了保证空间功率合成精度需要高精度的雷达信号，设计实现了一种以AD9959为核心的高精度多通道雷达信号源。信号源利用多片AD9959产生3
基于帧间差分与模板匹配相结合的运动目标检测
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">基于图形处理器单元（GPU）提出了一种帧间差分与模板匹配相结合的运动目标检测算法。在CUDA-SIFT（基于统一计算设备架构的尺度不变特征变换）算法提取图像匹配特征点的基础上，优化随机采样一致性算法（RANSAC）剔除
MOTION BUILDER 使用说明书Ver.2
<p>
MOTION BUILDER Ver.2 是用于监控 KV-H20/H20S/H40S/H20G 的参数设定以及当前动作状态的软件。 在 PC 上可以设定复杂的参数，并可以在显示画面上监控正在运行的 KV-H20/H20S/H40S/H20G。<br />
关于 MOTION BUILDER Ver.2 概要、功能与使用方法的详细说明。在安装之前，请仔细阅读本手册，并充分 理解。</p