一种面向IO Die的敏捷验证方法

IO Die可以用做IO扩展芯片，也可作为芯粒(chiplet)复用于多个项目。提出一种面向IO Die的敏捷验证方法，验证平台包括子系统级、簇级、全片级3个层次，可实现测试激励的跨层次复用；针对各验证层次的测试激励的自动生成方式进行优化，分别采用覆盖率驱动、可配置约束产生、多目标优化策略，提高测试激励的生成效率。实验结果表明，该方法在保证效率和可靠性的前提下，可以降低验证成本，缩短验证时间，快速获得已知合格裸片KGD。     

“大学计算机基础”教学内容及手段改革的调研

大学新生入学时存在计算机知识、操作技能参差不齐的特点。为此,本文提出在开课之前调查学生的知识背景,然后根据调查分析的结果,适时调整部分教学内容,综合运用多种教学手段,提高学生的兴趣和自学能力。在两年的教学实践中实施此理念,收到了良好效果。     

一种基于小波变换的卫星SAR海洋图像舰船目标检测方法

本文依据SAR图像海洋背景和舰船目标特点分析,提出了基于小波交换的卫星SAR海洋图像船舶目标检测方法,仿真分析结果表明该方法实用、有效.     

显式授权机制及对应的可信安全计算机

现代计算机系统对恶意程序窃取、破坏信息无能为力的根本原因在于系统强行代替用户行使对信息的支配权，却又不能忠实履行用户的意愿．对此提出显式授权机制，给出了信息窃取、破坏型恶意程序的精确定义，并证明基于显式授权机制的计算机能够实时、可靠抵御恶意程序的窃取、破坏攻击；给出了基于该机制的两种可信安全计算机系统．第一种可信安全计算机系统是直接将显式授权机制融入到操作系统中，能够实时、可靠抵御任意恶意程序和隐藏恶意的应用程序的信息攻击，同时与现有计算机系统具有很好的软硬件兼容性．第二种可信安全计算机系统对现有计算机硬件结构、操作系统均有小改动，但具有更强的抗攻击性能，能够实时、可靠阻止恶意操作系统自身发起的破坏攻击．     

分布式系统概念的教学案例设计与实践

分布式系统概念没有公认的定义,不同定义之间甚至存在较大的差异,给学生理解、掌握分布式系统的内涵带来困难。分布性、协作性是分布式系统的根本特征。设计了多个案例,通过课堂研讨促进学生对分布式系统本质的理解,在分布式系统教学实践中取得良好效果。     

NPS-1数字神经元屏片的实现与应用

本文设计了数字神经元芯片ＮＰＳ－１，其结构简洁，易于级联，用ＦＰＧＡ实现样片的集成度约一万门电路。     

NPS-1数字神经元芯片的实现与应用

本文设计了数字神经元芯片NPS-1，其结构简洁，易于级联，用FPGA实现样片，集成度约一万门电路以阿拉伯数字识别和双向存储器为例，测试结果表明，该芯片设计、实现正确，同时结构简洁，适于实时处理的嵌入式神经网络应用系统     

游戏中解读计算机的自动工作原理

现代计算机技术发展迅猛,但其基本的存储程序工作原理始终没有改变,这种自动工作原理也是非计算机专业本科学生最感神秘的重要内容之一.本文探究一种互动教学模式,提出以游戏的方式解读计算机自动工作原理,以尽可能短的时间使学生对此有比较深刻的理解,留下难以磨灭的印象.文章详细介绍了教学的整个过程.     

基于VI的高性能网卡XUNI的设计与实现

VIA是用户级集群系统工业标准.深入研究了VIA的规范和协议,设计和实现了一种高性能的用户级网卡--XUNI(PCI-X based user lever network interface),达到高带宽、低延迟,系统具有良好的计算通信重叠性.该网卡可以用于集群系统,也非常适用于高速网络存储系统.     

文件型病毒的形式化定义及识别算法

病毒定义是反病毒技术研究的基础,安全专家一直没能准确定义病毒与普通程序的区别。针对最为常见、破坏性强的文件型病毒,本文提出以遵循用户意愿为判断标准,给出了其形式化定义。根据新定义,可以构造出准确识别病毒的算法。同时,实际的恶意程序案例分析表明,它们绝大多数在新定义范围之内。