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

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

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

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

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

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

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

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

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

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

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

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

基于专家经验和随机抽样的早期快速估算方法

项目立项阶段由于评审时间有限,需要采用快速近似估算方法获取软件的规模以确定经费预算。本文提出基于专家经验和随机抽样的快速估算方法,将软件分解为不同的软件模块,由开发组织对不同的模块规模和成本进行预估并申报经费,估算人员利用专家经验以及对软件组件随机抽样进行详细度量,再利用快速近似估算方法估算出软件项目的整体规模,进而得到软件整体成本。实际应用表明,该方法是可行的。     

一种有效的面向多目标软硬件划分的遗传算法

软硬件划分是软硬件协同设计的关键技术之一,划分结果对最终的设计方案有非常重要的影响。软硬件划分根据优化目标的数量,可分为单目标划分和多目标划分。多目标划分问题是一个NP-hard问题,一般不存在传统意义上的“最优解”,而是存在一组互不支配的Pareto最优解。遗传算法因其具有并行、群体搜索的特点而非常适于求解多目标优化问题。通过抽象描述将一个实际SOC设计问题转化为多目标软硬件划分问题,采用遗传算法便可获得最优设计方案。为克服过早收敛及加快搜索速度,改进了适应度函数的定义,通过自适应参数调整,加入惩罚函数的适应度定义,提高了进化速度,从而有效地获得了Pareto最优解集。在实际问题的应用中,多目标软硬件划分遗传算法是能有效求取平衡系统成本、硬件面积、功耗和时间特性的最优化方案。     

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

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

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

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