高级操作系统课程思政探索与实践

以操作系统课程为主线,分析理工类课程思政存在的困境,通过典型案例深入探讨思政教育与高级操作系统课程融合的可能性和入手点,最后说明课程思政教学效果并提出课程在实践和迭代过程中的教学反思.     

计算机学科研究生课程体系的构建与实施

研究生课程体系是研究生培养环节的重要组成部分。文章结合国防科学技术大学计算机学院在课程体系构建方面的做法,阐述计算机科学与技术学科研究生课程体系构建的目标、任务以及主要方法。     

运营中的航站楼雨、污水系统改造施工

上海浦东国际机场T1航站楼新建雨、污水管线与原有管线、新建结构、原有结构、围护体系之间的关系错综复杂,且须在不停航运营状态下完成施工作业。结合新老结构以及新老雨、污水管线的关系,根据现场实际情况制定了科学合理的施工方案,顺利完成了中庭雨、污水管的施工,满足了不停航施工要求,取得了较好的效果,对后续类似工程具有重要的借鉴意义。     

彩喷墨水节约经验二则

EPSON PHOTO系列打印机有墨水侦测程序,此程序“观察”到你的墨盒“没墨”时,你就得换墨盒了。此程序设计的十分不完善,测的极其不准。一次,本人在机器提示没墨水后,将墨盒取出,细细观察,发现里面的海绵还存有大量的墨水,将此墨盒再放回打印机中,用墨水侦测程序一“察”又满了！连续打了几幅照片图像都毫无问题,色彩依然动人。     

面向嵌入式应用的指令集自动扩展

 面向特定应用扩展指令集,并通过定制的硬件实现这些扩展指令,能够大幅度提高嵌入式处理器的性能.本文提出了一种全自动的面向特定应用的指令集扩展流程,该流程能够较精确地估算扩展指令的性能加速比和硬件开销,并高效完成指令模板匹配.实验结果表明,在给定的硬件开销限制下,该方法产生的扩展指令能够显著提升嵌入式应用的性能.     

基于路径信息的谓词关系分析

谓词执行技术能够将多个基本块合并为一个超块,扩大指令调度范围,开发更多的指令级并行.但它也给编译优化带来一些新问题,使得传统的编译器在进行指令调度或寄存器分配等优化工作时往往只能得到保守的结果.受所用谓词表示方法的限制,目前的谓词关系分析方法必须首先重构控制流信息,这就影响了编译优化的效果和效率.本文提出了一种基于路径编码的谓词表示方法,将谓词定义信息转换为等价的域编码,并以此为基础实现了一个全局谓词关系分析子系统.模拟结果表明,该子系统能够准确高效地实现全局谓词关系分析,在保证编译效率的同时,提高了编译优化的效果.     

我国的静电喷涂枪技术评述

就我国涂装用各种静电喷枪技术的现状分别作出了阐述和剖析,对有关企业制造或安全使用静电喷涂枪有积极意义。     

涂装职业安全健康管理体系贯标探索

对涂装行业建立职业健康管理体系进行了研究。重点讨论了如何贯彻涂装作业安全规程。提出必须结合生产全过程落实要素控制：涂装设备设计、制造的监检；涂装工程（包括设备安装和工艺流程中的安全设施）的竣工验收；生产设施、人员素质、培训教育、工艺操作、事故监控、应急预案等运行要素。