摘要：著名教育家苏霍姆林斯基曾说:"没有一条富有诗意的、感情的和审美的清泉,就不可能有学生全面的智力发展."班级管理面对的是充满生机与活力的学生,而他们的思维是艺术的、形象的、饱含着情感的思维,其本身就是一首首鲜活的诗.班主任在工作中不仅要教学生求真知,更要教学生做真人,担负着把学生培养成全面发展的人的重任.中华民族自古以来就是一个富有诗意的民族,传统文化中有许多成功的诗教范例可供借鉴.古人说得好:"感人心者,莫先乎情".诗是感情的结晶、爱意的浓缩,其简明的形式、押韵的语言总能给人留下深刻的印象,所以教育家徐特立说:"一首诗描写一种感情,也许比大篇论文还深刻."班主任如果能在班级管理中注重诗化教育,一定能收到事半功倍的效果.

摘要：对太钢3号高炉煤气系统采用的新型高炉煤气干式除尘装置技术特征、设计特点、技术方案以及使用效果进行了阐述。经过1年多的生产实践验证,新型高炉煤气干式除尘装置运行稳定,除尘效果好(净煤气含尘量小于2mg/m^3),可提高TRT发电量40%,节省循环水量1200t/h,进入箱体前的荒煤气温度一直控制在150～210℃。

摘要：采用现代物流思想 ,从商品特征、包装成组化以及包装货物保护各环节进行分析 ,进行包装设计以提高物流生产率。

摘要：基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。

摘要：由于桩基平台具有抵御波浪、地震的能力,特别适于海洋石油的开采,它几乎分布于世界各个海域,迄今已有40余年的历史。 桩基平台受到波浪、地震巨大载荷的作用,工程设计时必须进行动力响应分析,但是在平台动力分析时,水动力阻尼的确定是个困难问题。 国内外学者对海洋平台水动力阻尼的研究现状可简要归纳为:(1)平台处于海水环境中,分析平台动力响应时不能忽视水动力阻尼的影响;(2)

摘要：歌剧作为一种"泊来品",已经在中国走过了百年的发展史,百年的发展历程中,中国民族歌剧从无到有,从贫瘠到丰富,既有坎坷,也有坦途;既有成功,也有失败,回顾中国民族歌剧的发展历史,能够让我们对民族歌剧这种艺术形式有更深刻的认识,同时对新时期下,中国民族歌剧如何朝着更好的方向发展,提出几点思考和建议。

摘要：AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool for Language Recognition)的AltaRica 3.0模型到NuSMV模型的转换规则和算法。首先,利用ANTLR构建AltaRica 3.0平展化GTS模型的AST(Abstract Syntax Tree);其次,设计语言结构转换规则,显示AltaRica 3.0和NuSMV之间的行为语义对应关系;然后,设计转换算法G2N,在遍历AST时,G2N对结点存储的GTS模型语言信息进行获取和转换,在保留语义的情况下,通过不断地遍历转换过程来获取转换后的NuSMV文件;最后,以需求工程中的4个典型案例为例进行实验分析,验证了G2N的有效性和需求模型的安全性。实验结果表明,G2N算法可以在词法和语法层次上完成AltaRica 3.0模型到NuSMV模型的转换工作。

摘要：通过论述限额设计的原则及含义,推行限额设计,体现工程建设项目中技术与经济的相互关系,提出加强限额设计进而控制工程造价的一些措施。最终实现工程造价合理有效控制。

摘要：近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍。该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,以及对故障扩展模型进行故障分析及系统安全性评估,例如生成故障树及FMEA表等。从分析结果来看,使用xSAP平台对实际系统进行基于模型的系统安全分析是行之有效的。

摘要：通过论述工程建设项目中技术与经济的相互关系,使工程造价得到有效控制。