基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

提高无调中转比重 确保侯北枢纽畅通

侯马铁路北站担负着南同蒲、侯月、侯西线到发货物列车的改编和中转作业，随着南同蒲、侯月、侯西线不断增量，侯北站堵塞情况时有发生。强化调度指挥，优化运输组织，提高无调中转比重，对侯北枢纽畅通至关重要。     

合成烯丙基砜的新方法

报道一种简单、便利的一步合成烯丙基砜的新方法。     

45钢固体粉末法稀土、硼、铬、铝共渗工艺研究

研究了RE_Mg合金对固体粉末法硼、铬、铝共渗层成分、组织和性能的影响 .发现随着RE_Mg合金加入量的增加 ,渗层中Al2 O3的量不断增多 ,当RE_Mg合金加入量为 5 %时 ,渗层中出现连续致密分布的Al2 O3黑区组织 ,对此进行了性能测试和机理探讨     

天然橡胶胶乳常压氢化的研究

用N2H4／H2O2／Cu^2 体系对天然橡胶胶乳进行了常压氢化试验。红外光谱表明，氢化过程中对应的双键的伸缩振动谱带的峰面积减少．天然橡胶产生了氢化．由红外光谱峰面积推算得到产物的最高氢化度为38％．产物的凝肢合量为1％。分析结果表明：高分子链双键被饱和后．形成聚乙烯链段而结晶，结晶起到了物理交联作用。     

对GDX1卷烟包装机缺商标纸检测的改进

本文介绍了一种增加GDX1卷烟包装机缺商标纸检测可靠性的方法。     

含氟废水处理研究与应用

本文就近年来国内对含氟废水处理研究及应用概况作了简要综述，可看出含氟废水处理的研究有了较大进展。     

二氧化硅材料的应用

本文概述了溶胶-凝胶法制备光学石英玻璃的工艺过程，并就二氧化硅在微晶玻璃和膜技术方面的应用热点课题进行了简介。     

谈计算机专业学生的数学基础

计算机技术本质上是一种数学技术,我国计算机专业学生的数学基础相对薄弱,夯实数学基础、提高数学能力是培养计算机专业高素质研究型人才的有效途径。     

关于西藏高校“计算机文化”课程教学考核改革思考

在科技迅速发展的今天,信息化管理及其人们对新信息的需求程度不断提高,计算机技术的应用日益深入到各行各列,西藏高校的"计算机文化"课程的教学方法和考核方式都迫切需要改革。文章在教学实践的基础上,对我区高校"计算机文化"课程的教学方法及考核方式改革进行了探索。