摘要：创意说明:腰鼓有着广泛的群众基础和悠久的发展历史。早在秦、汉时期,腰鼓就被驻防将士视同刀枪、弓箭一样不可少的装备。遇到敌人突袭,就击鼓报警、传递讯息;两军对阵交锋,以击鼓助威;征战取得胜利,士卒又击鼓庆贺。随着时间的流逝,腰鼓从军事用途逐渐发展成为当地民众祈求神灵、祝愿丰收、欢度春节时的一种民俗性舞蹈。作品通过写意的塑造手法,倒三角的构图形式,来表达腰鼓舞的磅礴气势,来赞美腰鼓舞这项弘扬民族精神的重要形式。

摘要：对拉布拉多铁矿的产出地质环境、铁矿类型及特征、矿床分布和勘查等情况进行研究,认为拉布拉多铁矿勘查和开采主要集中在“拉布拉多地槽”的拉布拉多城—Wabush和Schefferville两个区域。矿床赋存于下元古界Kaniapiskau群Sokoman组内,铁矿类型有高品位表生矿型、变质的粗粒的含铁建造型和弱变质的含铁建造或铁燧岩型,Julienne湖铁矿床为区域上Superior型含铁建造的典型代表,据其成矿条件和成矿特征建立区域上的同种类型铁矿床的勘查找矿模型。

摘要：城市水体水质动态监测是生态城市建设和智慧城市建设的重要组成部分。文章设计并实现一种城市水体水质动态监测系统,采用可灵活部署的水质监测节点获得水温、溶解氧浓度、pH值以及水体环境图像等水质和环境信息,并将大量节点信息汇集到云端数据库,构建大数据服务平台,为用户提供实时水质信息并支持用户基于大量水质信息对城市各种水体进行科学评估、治理和利用。

摘要：为明确营养液EC值对不同叶用莴苣品种生长和营养品质的影响,本研究采用单因素试验设计,设置3个不同营养液EC值(1.6、2.0、2.4 mS/cm),培养2种叶用莴苣,并测定其植株的农艺性状、光合指标及营养品质。结果表明:不同叶用莴苣品种对营养液EC值相应不同,当营养液EC值为1.6 mS/cm时,有利于紫霞品种的生长,表现为冠幅较大、最大叶宽较宽、光合指标较高、干物质及维生素C含量较高;当营养液EC值为2.0 mS/cm时,则有利于玛丽娜品种的生长,但营养指标较低。说明,不同叶用莴苣品种的农艺性状、光合指标及营养品质对营养液EC值反应差异较大。在叶用莴苣种植过程中,应根据叶用莴苣品种、生育期等适当调节营养液EC值,避免盲目提高营养液EC值,造成不必要的浪费。

摘要：多高层木结构建筑具有许多优势,用于建造多高层木结构建筑的工程木产品具有很高的价格竞争力,木结构的强度重量比足够用来完成各种结构难度的建筑,木材这种建筑材料本身具有的固碳和可持续发展的环境效益,这些优势使得木结构在多高层建筑领域变得越来越重要.本文选择针对多高层木结构建筑的空间设计方面进行分析,从对于多高层木结构建筑的空间氛围、空间分割、空间等级等变化动因进行分析,推导出应用于多高层木结构建筑的应变设计原则.通过分析以上设计原则所衍生的多义复合设计手法,包括活动空间集约拼合、交流空间联动组合,以及空间层次与空间界面的营造手法,来为设计实践提供理论框架与依据.

摘要：系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。

摘要：简要介绍了锚网梁组合支护技术的设计方案与施工工艺 ,通过五阳煤矿南峰扩区在破碎地层、煤巷条件下支护的实际应用 ,为进一步推动在破碎地层中煤巷的组合支护技术的发展 ,提供了值得借鉴的经验。

摘要：为解决某矿1001综采工作面大断面开切眼第二横掘进过程中薄层破碎顶板的支护难题,基于上覆岩层＂散体-块体＂模型,建立采空区下煤层开切眼UDEC离散元数值计算模型,得出大断面开切眼围岩应力及位移曲线。模拟结果表明：第一横掘进完成后煤壁前方2.5~4 m区域顶板岩体应力较为集中,为保证开切眼第二横掘进过程中巷道顶板的有效控制,需对此区域进行重点加固。结合现场地质工程条件,设计采用马丽散注浆技术对该区域进行顶板加固。

摘要：针对当前煤矿形势,为增强节能环保意识,积极地开展技术创新、小改小革、小设计、小发明等,为煤矿企业的发展做出一定的贡献,节约大量资金,为实现节约型矿井打下坚实的基础,大大提高了矿井水泵安全排水工作。论述的过滤式喷射泵装置在煤矿中的使用与节能,是结合工作实际,对喷射泵使用故障率过高进行原因剖析后研发的,得到了强有力的验证,并已申报实用新型专利。

摘要：同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度。由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的结果是精确的。该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本。