期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
形式化建模运行在NAND闪存上的DFTL算法 被引量:1
1
作者 张必红 郭宇 李兆鹏 《小型微型计算机系统》 CSCD 北大核心 2018年第1期89-94,共6页
为了保证一种非常经典的适用大规模存储地NAND闪存上的DFTL算法的正确性,对DFTL算法采用了形式化建模的方法来建立一个高可信的形式化模型.根据DFTL算法提出者的设计,我们以此为依据,对DFTL算法的基本数据结构,读写操作和垃圾回收操作... 为了保证一种非常经典的适用大规模存储地NAND闪存上的DFTL算法的正确性,对DFTL算法采用了形式化建模的方法来建立一个高可信的形式化模型.根据DFTL算法提出者的设计,我们以此为依据,对DFTL算法的基本数据结构,读写操作和垃圾回收操作以及基本性质进行了形式化的建模和验证,并对文中提出的垃圾回收算法进行了适当的修改和优化,以证明垃圾回收算法的正确性.最后我们针对DFTL算法,设计了一个验证框架,在这个验证框架和形式化的NAND闪存模型的基础上,对DFTL算法的的一些基本性质进行了验证. 展开更多
关键词 形式化方法 形式化建模 Coq证明 闪存安全 信息安全 闪存转换层算法
在线阅读 下载PDF
节点定位在湖泊监测中的优化研究 被引量:3
2
作者 刘云 熊海楠 《计算机工程与应用》 CSCD 北大核心 2017年第11期110-113,216,共5页
无线传感网湖泊监测中,节点位置在一定范围内随机漂移,导致定位精度需持续修正并提高精度。提出最小误差二次定位估计算法,初始时在网络中设定两组配置有GPS的3个信标节点,利用三边测量法对未知节点进行定位,通过分析RSSI测距误差求出... 无线传感网湖泊监测中,节点位置在一定范围内随机漂移,导致定位精度需持续修正并提高精度。提出最小误差二次定位估计算法,初始时在网络中设定两组配置有GPS的3个信标节点,利用三边测量法对未知节点进行定位,通过分析RSSI测距误差求出中心点,建立两组测量坐标进行定位修正,再使用跳距对两组坐标测量结果进行加权估计,获得优化后的最小误差节点定位。对比常规的三边测量法和FTL算法,通过仿真验证,该算法在湖泊监测中能有效地减小定位误差。 展开更多
关键词 最小误差 加权估计 三边测量法 ftl算法
在线阅读 下载PDF
虚拟手术中缝合仿真的初步研究 被引量:3
3
作者 贾世宇 潘振宽 《系统仿真学报》 CAS CSCD 北大核心 2012年第8期1618-1623,共6页
初步实现了一个虚拟缝合仿真系统,可以模拟针穿刺柔性体并牵引所附缝合线穿过柔性体的过程。用户通过Phantom Desktop力反馈设备控制虚拟针的运动。柔性体在针和缝合线的作用下会发生变形。缝合线使用非均匀可变长刚性杆模型和FTL(Follo... 初步实现了一个虚拟缝合仿真系统,可以模拟针穿刺柔性体并牵引所附缝合线穿过柔性体的过程。用户通过Phantom Desktop力反馈设备控制虚拟针的运动。柔性体在针和缝合线的作用下会发生变形。缝合线使用非均匀可变长刚性杆模型和FTL(Follow the Leader)变形算法。柔性体使用线弹性材料和Tensor-Mass变形算法。针穿刺柔性体时柔性体对针运动的阻力传给力反馈设备,而其反作用力则施加于柔性体之上。缝合线在针的牵引下穿过柔性体形成滑动约束点。缝合线的变形将在滑动约束点产生弹性力作用于柔性体之上,而柔性体的变形则反过来影响滑动约束点的位置。将约束点对应的缝合线顶点编号增加和约束点两侧刚性杆长度调整相结合,实现了缝合线光滑穿过柔性体的效果。最后给出对含有切口形状的柔性体模型进行缝合仿真的实验结果,并讨论未来的改进和发展方向。 展开更多
关键词 虚拟手术 手术仿真 缝合仿真 针穿刺 可变长ftl算法 力反馈
在线阅读 下载PDF
一种面向固态硬盘的Cache置换算法
4
作者 李博 谢长生 +1 位作者 王芬 赵小刚 《计算机科学》 CSCD 北大核心 2010年第8期298-301,共4页
固体硬盘的出现改变了现有存储子系统的框架,也逐渐成为了嵌入式应用的主流存储设备。但是其自身的写机制由于需要先擦后写,成为了影响SSD性能的瓶颈。针对此问题,出于减少写操作次数这一思路提出了LRU-AB算法,力图在基于Cache数据的访... 固体硬盘的出现改变了现有存储子系统的框架,也逐渐成为了嵌入式应用的主流存储设备。但是其自身的写机制由于需要先擦后写,成为了影响SSD性能的瓶颈。针对此问题,出于减少写操作次数这一思路提出了LRU-AB算法,力图在基于Cache数据的访问频度上改进SSD置换算法。同时对现有算法进行了分析。 展开更多
关键词 固体硬盘 flash转换层 缓冲 置换算法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部