基于CAM的STM和AFM的一种新型偏心升降装置研究

根据STM和AFM的扫描原理，通过CAM设计了一种新型偏心升降装置，使STM和AFM测试样品的高度大为增加，形成柔性测试系统。根据对实际工况的仿真研究，对装置进行了修改。     

弧焊电源在磁粉探伤中的应用

磁粉探伤有检测铁磁性材料表面及近表面缺陷灵敏度高、速度快、成本低等优点，是无损检测专业单位使用的常规检测手段之一，但多数检验单位，特别是锅炉压力容器检验单位以检验焊缝为主，配备的磁粉探伤设备是以单磁轭和交叉磁轭为主，很少有触头式磁粉探伤机。随着其它行业对设备的安全性、可靠性、减少大修保养次数等要求的提高，无损检测越来越受到重视，检测部位不再只是焊接接头，因此要求检测人员掌握探伤原理，利用可用资源拓展检测范围。如将弧焊电源作为磁粉探伤电源就是一个尝试，下面作一介绍。     

氧化锌避雷器在配电系统运行中的测试及应用

介绍了氧化锌避雷器在输配电线路上的应用发展和氧化锌避雷器的预防性试验和在线检测;这对避雷器正常工作和线路设备的安全运行,均有现实意义.     

纳米粒子对钢/钢摩擦副摩擦学性能影响的试验研究

选用合成极压蜗杆油、未加油性剂和极压剂的半成品蜗杆油作为基础试验油 ,将超微金刚石粉、纳米铁粒子和纳米铜粒子分别以两种不同质量比分散到半成品蜗杆油中。在 MM-2 0 0型磨损实验机上 ,考察纳米粒子的抗磨减摩性 ,并与传统的油性剂、极压剂进行比较。同时探索应用于钢 /钢副硬齿面的新型抗磨减摩添加剂。试验结果发现 :平均粒径尺寸为 5 nm的超微金刚石粉具有优于传统油性剂、极压剂的抗磨减摩性能 ,可以大大降低钢 /钢副的摩擦 ,减小磨损。但钢 /钢副中不宜使用含有纳米铁粒子的润滑油。     

特征学习的单幅图像去雾算法

目的 雾霾天气使图像降质,严重影响军事、交通和安全监控等领域信息系统的正常运作,因此图像去雾具有重要研究意义。目前主流的单幅图像去雾算法主要利用各种与雾相关的颜色特征实现,但不同的颜色先验知识往往存在各自的场景局限性。为提高图像去雾的普适性,提出一种特征学习的单幅图像去雾方法。方法 首先通过稀疏自动编码机对有雾图像进行多尺度的纹理结构特征提取,同时抽取各种与雾相关的颜色特征。然后采用多层神经网络进行样本训练,得到雾天条件下纹理结构特征及颜色特征与场景深度间的映射关系,并估算出有雾图像的场景深度图。最后结合大气散射模型,根据场景深度图复原无雾图像。结果 与主流去雾算法的结果定性对比,复原后的图像细节更清晰,颜色更自然。采用均方误差和结构相似度定量评价各算法去雾结果与真实无雾图像的相似度,本文算法结果与真实无雾场景间的相似度最高,达到99.9%。结论 对实验结果的定性及定量分析表明,本文算法能有效获取有雾图像的场景深度,复原出视觉效果理想的无雾图像,且具有很好的场景普适性。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

分组竞赛式教学法在高职计算机网络类课程中的应用

近几年,随着云计算的兴起,大数据时代的到来,计算机网络类的课程越来越受到重视.高职教育的目标就是培养技术型和应用型的人才.但针对高职生有学习热情,但学习主动弱的现实学情,如何提高教学质量,增强学生的学习主动性,让学生融入技能学习中来,是摆在我们高职计算机网络类课程老师的重要课题.     

基于“三元互动”的计算机类本科专业实践教学体系

分析地方本科院校计算机类本科专业实践教学环节存在的问题,根据本科专业实践教学体系构建的原则,结合"三元互动"人才培养模式改革创新的要求,提出能力本位的多层次实践教学体系构建策略。     

基于数学形态学的棒材自动计数方法

针对图像中棒材存在粘连,从而造成误计数的问题,研究了一种基于数学形态学的棒材自动计数方案,以实现对棒材实时、精确的计数.该方案针对棒材类计数无需考虑被测物体截面真实形状的特点,将每根棒材处理成单个像素,避免了粘连对计数的影响.为有效克服光照、噪声的干扰以及棒材快速运动造成的图像模糊,该方案首先对采集到的原始棒材图像进行预处理,然后采用腐蚀、细化算法初步实现了棒材粘连的分离,最后采用收缩与检测直线端点算法,实现了单个像素点与原始图像棒材的一一对应,为后续计数奠定了基础.实验证明,该方法不仅能够保证棒材自动计数的精度,并且为棒材定支数包装创造了条件.