计算机系列研究生暑期学校办学体会

阐述了暑期学校的办学基本理念,介绍具体的办学方案和经验。通过分析问卷调查结果表明,该次办学收到了良好的教学效果,为今后继续打造暑期学校品牌提供了依据与参考。     

计算机类课程小班教学模式研究

本文阐述了计算机类课程开展小班教学的基本理念,提出小班教学具体实施原则。针对推广小班教学面临的各种障碍,结合国内高校计算机教学实际情况,提出了若干建设性意见与措施方法。     

浮点到定点的高效翻译策略研究

动态二进制翻译中,在目标平台没有浮点部件、不支持浮点运算的情况下,浮点指令只能通过模拟解释执行。浮点指令的解释执行造成翻译系统效率急剧下降。通过将浮点指令运算转化为定点运算,解决了浮点指令在目标平台的翻译,为浮点指令的翻译找到了新的途径。在动态二进制翻译系统中进行实验,验证了翻译方法的可行性。实验显示翻译系统的性能有明显提升,含有浮点指令的比例越高,算法能够获得的加速比越高,对含有25%浮点指令的程序,该算法能达到1.55的加速比。     

二进制翻译中代码生成的子图覆盖算法

二进制翻译技术能够有效解决二进制兼容问题,促进新型体系结构的发展,也是虚拟机技术的重要组成部分,具有重要的研究和应用价值,但是其效率仍然有待提升,特别是目标代码生成的效率。设计了一种高效的目标代码生成算法——代码生成的子图覆盖算法(subgraph covering for code generation,SCCG),能够以尽可能少的代价生成精简的目标代码。该算法应用数据流图对二进制代码中的基本块进行建模,获取指令间的数据相关,并采用基于子图覆盖的贪心算法得到目标代码。在TransARM原型系统中进行了实现和测试,结果表明该算法获得了更优质的目标代码,并且成本得到了有效控制。     

基于CUDA的并行全搜索运动估计算法

为了提高H.264视频编码效率,基于计算统一设备架构(CUDA)的并行全搜索运动估计算法,并利用GPU强大的计算能力和CUDA优化的存储层次结构,以加速H.264编码中的运动估计.与传统的以牺牲视频质量来提升运动估计性能的方法不同,该算法在保证视频质量的同时,结合运动估计计算密集、计算量大等特点,充分利用CUDA架构的并行性加快运动估计的速度,从而达到提高实时编码速度的目的.在GTX280实验平台上的实验结果显示,采用文中算法比优化的CPU实现可获得高达70倍的加速比.     

基于神经网络的安全风险概率预测模型

网络安全风险概率预测对分布式网络环境及其内在的不确定事件进行动态分析和评价,是构建网络安全保障体系的重要环节.深入研究网络态势感知中的特征提取、聚类分析、相似性度量和预测方法,提出了一种基于神经网络的安全风险概率预测模型.采用入侵检测数据进行了实例验证,仿真实验结果验证了风险预测方法的可行性与有效性.     

片上多核处理器容软错误执行模型

随着工艺的进步,微处理器将面临越来越严重的软错误威胁.文中提出了两种片上多核处理器容软错误执行模型:双核冗余执行模型DCR和三核冗余执行模型TCR.DCR在两个冗余的内核上以一定的时间间距运行两份相同的线程,store指令只有在进行了结果比较以后才能提交.每个内核增加了硬件实现的现场保存与恢复机制,以实现对软错误的恢复.文中选择的现场保存点有利于隐藏现场保存带来的时间开销,并且采用了特殊的机制保证恢复执行和原始执行过程中load数据的一致性.TCR执行模型通过在3个不同的内核上运行相同的线程实现对软错误的屏蔽.在检测到软错误以后,TCR可以进行动态重构,屏蔽被软错误破坏的内核.实验结果表明,与传统的软错误恢复执行模型CRTR相比,DCR和TCR对核间通信带宽的需求分别降低了57.5%和54.2%.在检测到软错误的情况下,DCR的恢复执行带来5.2%的性能开销,而TCR的重构带来的性能开销为1.3%.错误注入实验表明,DCR能够恢复99.69%的软错误,而TCR实现了对SEU(Single Event Upset)型故障的全面屏蔽.     

月球探测(车)机器人技术的发展与展望

简述当前国内外探月研究进展及月球探测(车)机器人研究发展情况.基于月球的复杂环境特征,对比轮式运动与步行式运动月球探测(车)机器人的优势与缺陷,重点介绍了一种新型六轮腿式月球探测机器人方案.该方案具有高机动性,越障能力强,容错性好等特点,对该方案主要技术性能、本体结构、运动系统、轮腿切换机构工作原理等关键技术进行了探讨.     

导向立体传质塔板在低温甲醇洗装置中开发应用

根据合成氨变换气脱硫塔扩产50%的要求,开发出一种导向立体传质塔板(CTST-8)。对导向立体传质塔板的流体力学性能研究表明,新塔板具有板压降低、气液二相通量大、抗堵塞、能消泡等技术特点。对扩产50%的低温甲醇洗脱硫塔内的水力学参数进行了核算,结果表明,扩产后的操作参数均处于导向立体传质塔板正常操作范围之内。将导向立体传质塔板应用于山西天脊集团变换气脱硫塔的扩产改造,达到了扩产50%的要求,取得了良好的效果。塔顶出口气相中φ(H2S)≤2×10-6,φ(CH3OH)≤3×10-4,全塔阻力小于0.08 MPa。     

水果和蔬菜中农药残留检测技术研究进展

本文对水果和蔬菜中农药残留的检测方法以及快速检测技术进行了综述。气相色谱法、高效液相色谱法，及其联用技术、生物技术是农药残留分析的主要方法，以及快速检测技术。