两道一高速互通改建工程主要施工工序及工艺

四港联动大道南延与省道102互通式立交暨京港澳高速薛店互通改建工程根据其特点和规模,结合施工地点的地质水文条件、气候条件、机械设备和材料供应等客观条件,运用先进技术,对主要工种施工的施工工艺原理和施工方法进行研究,保证了工程质量和施工安全。工程选择经济、合理的施工方案,并根据工程质量验收标准进行检查,做到了技术和经济的统一,为四港联动大道南延与省道102互通式立交暨京港澳高速薛店互通立交提供更为便捷快速的交通通道。     

让古建筑远离火灾

近10年来，全国曾多次发生古建筑火灾；近期，山西省宁武县小石门悬空寺、湖北省武当山遇真宫又先后发生古建筑火灾事故，这些火灾均造成了难以弥补的损失和影响。     

碟式太阳能聚光器跟踪系统研究(上)

介绍了太阳能热发电系统中太阳能聚光器跟踪系统的跟踪控制方式、控制结构及其研究动态,探讨了碟式太阳能聚光器跟踪系统的研究关键,对研究开发碟式太阳能热发电系统具有积极意义。     

碟式太阳能聚光器跟踪系统研究（下）

开、闭环相结合的混合控制结构结合了开、闭环的优点，克服了两者的缺点，能得到最佳的控制效果。在一般无云的情况下使用闭环的传感器跟踪，但当云遮挡太阳时，立即变为开环跟踪，直到云过后再重新使用闭环跟踪。     

基于Petri网的AADL模型正确性验证研究

体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景。但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证。提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本。最后,通过具体实例验证了该方法的可实施性和有效性。     

基于AADL的建模和验证技术应用研究

随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。     

某高效节水灌溉工程规划与设计要点

大峪镇高效节水示范项目区位于济源市西南部,现有农业灌溉工程设施较少,由于投入严重不足,造成工程年久失修,灌溉保证率低,农田水利建设滞后,严重影响了项目区农村产业结构的调整和农民增收,针对项目区实际,实施高效节水灌溉工程,可促进项目区农村产业结构的调整和农民增收需要,为济源市山丘区发展高效节水灌溉农业奠定基础。     

矿井掘进工作面及巷道环境噪声预测与控制研究状况

源于机器声源的矿井掘进工作面及巷道环境噪声严重影响着矿工的身心健康,并可能掩蔽各种安全警报信号而成为安全事故的重大隐患.简要分析了典型掘进工作面机器噪声和巷道环境噪声特点,重点论述了预测与控制掘进工作面及巷道环境噪声密切相关的凿岩机器噪声辐射机理、噪声源时空特性、矿(煤)岩力学特性对机器噪声影响、巷道声学长空间环境噪声传播与衰减规律及噪声控制等领域的主要研究课题和研究进展,为掘工作面及巷道环境噪声预测与控制提供了一定依据.     

矿山水文地质工程钻探关键技术关键点分析

矿山水文地质工程钻探施工难度大,技术要求高,为保障矿山水文地质工程钻探施工的高效开展,需要把握关键技术与关键点。本文从矿山水文地质工程钻探施工设计与设备选择、地层压力预测、孔内事故预防与处理等方面入手,分析总结矿山水文地质工程钻探关键技术关键点,希望对提升矿山水文地质工程钻探施工质量、效率与安全等有所帮助。