基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

以抓关键环节创新驱动后备力量建设军民融合发展

推进后备力量建设军民融合发展,必须正确处理军队与地方的关系,充分发挥好"双重领导"体制的优势;正确处理"市场"与"战场"的关系,谋求经济效益与军事效益的有机融合和良性互动;正确处理重点与一般的关系,以重点工作的突破牵引整体建设的提升;正确处理机关与基层的关系,始终把工作的落脚点放在提高基层建设水平上.     

液体推进剂消耗对大型卫星结构动特性的影响分析

为了研究液体推进剂消耗对某大型卫星结构动特性的影响,采用简化的“弹簧-质量”模型分析了推进剂消耗对结构动特性的影响趋势;基于MSC.PATRAN/NASTRAN给出了动力学分析过程中液体推进剂的等效建模和分析方法,包括梁单元法、附加质量法、“RBE3 -质量点”单元法和虚拟质量法等;建立了该卫星结构的有限元模型,进行了结构动力学特性和动响应分析,讨论了液体推进剂消耗对其动特性的影响规律.研究结果表明:随着推进剂的消耗,卫星整体振型的固有频率逐渐增大,而部分局部振型的固有频率保持不变;随着推进剂的消耗,卫星仪器安装板动力学响应峰值逐渐增大,所对应的频率也逐渐增大.     

背诵对提高口译能力的正迁移及在教学中的应用

背诵是成功的语言学习者常用的策略,也是不同条件下英语教学行之有效的教学方法。文章通过跟踪调查,试验对照的形式,结合SPSS对数据加以分析,在实证研究的基础上,揭示背诵对提高大学生口译能力的正迁移作用并提出如何将背诵科学、合理地应用于口译教学,以提高教学质量。     

《新疆非物质文化遗产概论》课程建设与改革实践

新疆非物质文化遗产资源丰富,在高校开设新疆非物质文化遗产概论课程是传承、传播新疆多民族非物质文化遗产的重要途径。新疆非物质文化遗产课程的教学目标、课程体系、教学方法、考核方式要适应新疆高校的实际情况。课程的构建与改革要凸显新疆特色,课程的教学要与新疆非物质文化遗产的保护与研究相结合,以便达到激发兴趣、促进科研、培养人才的目标。     

阳光照进千古森林

时间:1986年2月。囊谦县的党政领导哭了——“男儿有泪不轻弹”,更何况辖治一方的堂堂“父母官”——这是为什么?县人武部部长扎西朋措站了起来,紫红色的脸膛透出刚毅与果决:“巴买村的藏族同胞再脱不了贫,当干部的连流泪的资格也没了!”几天后,接过定点扶贫重担的扎西部长就带着人武部的三名同志直奔巴买。对巴买村的贫困,翻身农奴出身的扎西部长早有所闻,但当他们经过7天的艰难跋涉,来到巴买村所属的自然村落达尼时,耳目所及,确实心惊。这里     

输入式记忆对英语写作能力的正迁移实证研究

本文利用跟踪调查,试验对照的形式,结合SPSS对数据加以分析,在实证研究的基础上,揭示输入式记忆对提高大学生英语写作能力的正迁移和输入式记忆科学、合理地应用于写作教学对学生写作能力的促进作用。     

语料库在翻译课程“教”与“学”中的重要性研究

高校翻译课程的设置是为了让学生掌握翻译相关的知识和技能,发展翻译能力,除了传统的教学方法外,将双语语料库的辅助方法引入翻译课堂,利用其对齐和检索功能为学生提供大量真实的翻译对照文本,无疑对学生会有很大的启发和帮助。文章通过对语料库重要性的研究,阐述其对翻译课程的"教"与"学"所起到的作用及其重要性,真正实现student-centered的教学模式和task-based的课堂实践。     

基于固有时间尺度分解的能量算子解调法及故障诊断应用

针对Teager能量算子包络解调方法主要用于对单分量的调幅调频信号进行解调,而真实机械故障信号多为多分量的调幅调频信号的问题,提出了能量算子与固有时间尺度分解相结合的解调方法.首先,利用固有时间尺度分解法将原始振动信号分解为若干个固有旋转分量和一个单调趋势项,并基于波形匹配算法实现原始数据的自适应端点延拓以解决分解过程中的端点效应;然后再选取合适的固有旋转分量,利用能量算子方法实现调制信号的包络解调;最后,将该方法应用于仿真信号和故障模拟信号.结果表明:该方法能有效地提取机械振动信号的故障特征.     

改革创新必须坚持“六性”

(一)坚持实践性。创新是个实践问题,根本目的是为了解决问题、推动工作。脱离部队建设的实践,创新就没有价值。因此,改革创新不能蹲在办公室里苦思冥想找灵感,脱离部队建设实际,标新立异,搞一些华而不实的东西。更不能光喊口号不付诸于行动,必须多深入部队建设的实践一线和基层官兵中,多了解制约部队建设的“瓶颈”问题,多掌握基层官兵的呼声,把部队和官兵的需要作为我们创新的着眼点。让创新扎根于部队建设的沃土,只有这样,改革创新才能开红花,结实果。(二)坚持群众性。基层官兵生活在部队建设的第一线,对部队建设的问题最有发言权。只有紧…