3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。     

旋转磁场作用下高硅铸铁的凝固特性

借助Ｘ射线及电子探针等分析手段，对旋转磁场作用下高硅铸铁合金 Ｆｅ－２０％Ｓｉ－０．８％Ｃ的定向凝固组织特性进行了研究。结果表明，先结晶的少 量细小石墨几乎全部分离到试棒的外表面，形成２ｍｍ的富集层，而大量的 ＳＩ则形成铁硅相，且有新相ＦｅＳｉ２生成。     

边界层分离流动的三层结构理论计算

在流动分离的高雷诺数渐近理论“三层”理论的基础上,发展了一套计算二维定常不可压脱体分离三层结构的数值方法。采用相互作用程序控制方程组获得了椭圆型的数学结构,克服了传统边界层计算不能通过分离点的困难,得到了分离点附近的流场分布。计算结果令人满意。     

杯—杆型复合挤压的材料分配规律(Ⅱ)

用“等应变分配原理”解决了杯—杆型复合挤压的材料分配问题。引入的系数λ反映了分流层内外差异因素对料料分配规律的影响。提出的分流层三种模式和选择准则与实验结果符合。     

整合体育资源发展学校体育

我国学校体育资源近年来获得很快发展，但仍不足，需要合理利用和开发校外体育资源．当前我国的社会环境、经济发展水平、人力资源条件、校外体商场地设施为整合体育资源提供了可能．要转变教学管理观念，充分利用校外的人力、物力和财力及信息静件来发展学校体育     

论中学体育教学的体育精神与人格教育

传统教育普遍忽视对中学生体育精神要素的挖掘,忽视对中学生进行体育精神的启迪和教育,在中学体育教学中通过体育精神的教育,潜移默化地熏陶和影响中学生的人格形成,为全面地发展学生的人格精神起重要作用.阐述了体育教学中的体育精神并从五个方面论述如何利用体育精神进行人格教育.     

高炉炉缸炭砖脆化层的形成及防止

高炉炉缸炭砖脆化层的形成是危及高炉寿命的重要原因之一。调查表明，脆化层处于环裂缝外侧，环裂缝与热面间炭砖结构致密。脆化层中渗铁量低、孔隙度高、灰分未增加、碳结构的晶面距小。研究指出，脆化层是由于炭砖中的沥青粘结剂炭化后的炭框架氧化所致。为提高炭质耐火材料质量，除采用高温煅烧无烟煤，改进生产工艺外，应开发新型粘结剂。     

中浓纸浆悬浮液湍流边界层的模拟

介绍纤维悬浮液的分类及管道中纸浆纤维悬浮液的流动状态 ,重点进行中浓纸浆悬浮液湍流边界层的模拟研究 ,详细分析了相关的模拟结果 ,得出如下结论 :当管子壁面距离 0～ 9× 10 - 4m时 ,横过水环厚度的速度分布是线性的 ;水环厚度很小 ,水环中的剪切作用是层流剪切 ,剪切力作用于纤维网络表面 .突出网络塞体表面 (0～ 9× 10 - 4m )的纤维甚少 .据此可认为网络塞体表面较为光滑 ;管道中远离壁面处浓度高 ,壁面处浓度低 ,浓度分布具有递减的趋势     

体育专业大学生数认知能力的研究

以视、听觉呈现试验为手段，以数字为内容，统计比较了体育专业男、女生学习成绩的差异，期望找到这种差异产生的原因．试验结果表明：男女生之间大部分文化课成绩存在显著差异（Ｐ＜０．０５），其中两门课差异非常显著（Ｐ＜０．０１）．在听觉试验中，男、女生差异显著（Ｐ＜０．０５）；而在视觉试验中，男、女生差异非常显著（Ｐ＜０．０１）结论：造成上述认知能力差异的主要原因是正、负学习迁移的作用