论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性。从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于SynoTPysVMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同
【机 构】
：
北京控制工程研究所
【出 处】
：
计算机应用
【发表日期】
：
2009年09期
其他文献
各位爱听音乐的PSPer，不知道大家使用过WiFi Juokbox这款软件没有，它的功能就是使PSP无线接收电脑上的MP3音乐。然而，这个软件的缺陷也相当明显：一次只能缓存一首不大于10MB的歌，
对听力障碍的治疗,单纯用药物治疗,效果不甚理想,且疗效难以巩固和持久.我们采取耳保健按摩、自控疗法和药物疗法(内治、外治)并用,对二级耳聋、一级重听、二级重听计12例进
南艺壁画专业本科四年制是根椐时代发展需要,经国家教委批准,于85年正式成立。这是适应改革开放,并和城乡建设、经济发展关系密切的一个新兴艺术学科。壁画属环境艺术,专业虽
插线板是每个电脑都必要的小配件，大多数朋友对于插线板的质量并不在意，但是一款质量不佳的插线板，却会影响整台电脑的稳定运行，造成系统的死机和重启，甚至会造成硬件部分的损坏。
“动物报恩”型民间故事,以其鲜明的情感褒贬立场和强烈的现实功利倾向,彰显了白马藏族广大民众集体的伦理思考和普遍的价值诉求。基于“伦理”的视角观照和审视此类故事,对
<正> 近几年来,为缓解山东省工农业水资源紧缺的状况,沿黄地区大都利用荒碱涝洼地带修建了平原水库,用来丰蓄枯补。这些平原水库的工程地址一般都是黄河冲积淤积平原,主要地
我国是世界上火灾发生率较高的国家之一,仅1986年我国火灾次数达38764次,直接经济损失达3.24亿元。在不同的火灾起因中,电气火灾占有较大的比例约15％。 电气火灾原因很多,本文
保彬教授早年毕业于南京艺术学院。初攻中国画,后改习装饰艺术。留校执教的同时,身兼行政工作。80年代曾出任南京艺术学院院长。由于他悟性较好加上性格豪放、勤勉刻苦,在绘
针对Mean-Shift算法核函数带宽固定的缺陷,提出一种基于模糊C均值(FCM)的Mean-Shift目标跟踪算法。该算法采用FCM算法在YCrCb颜色空间对运动目标及附近背景进行分割,根据分割后的目标像素点统计量,遵循相邻两帧图像中目标大小不会突变的原则,修正Mean-Shift核函数窗宽。实验结果表明,该算法能够准确高效地对运动目标进行跟踪,对尺寸逐渐减小和逐渐增大的目标都能实现自动调整跟踪
着眼于单主体访问操作中的原子行为和时序性质,采用时序模态逻辑,提出一种基于行为的时序使用控制模型。该逻辑框架包含了与授权相关的按时间节点预定义的行为、由主客体属性和系统所表达的状态序列及状态谓词。在给出了一种策略语言后,对其语法和语义进行了形式定义,并根据使用控制(UCON)模型族的行为特性给出了控制策略。该逻辑模型不仅可以形式化描述使用控制基本原理,而且有助于准确并自动化地判定策略的可满足性,具