摘要：武汉市某基坑边填土边坡发生蠕滑,由于周边分布有建筑物、配电房等,大型设备无法施工,采用高压旋喷桩加固结合格构式微型钢管桩进行应急处理,取得良好的工程效果,相关技术措施可为类似工程提供借鉴。

摘要：本文主要阐述电厂电气二次设备的重要性,且电气二次设备是非常复杂的。很多环节会出现一些问题,导致其运行不可靠。针对这些出现的问题提出自己对解决这些问题和提高电器二次设备安全可靠性的几点看法。从电厂初期设计到施工、到工程的验收、到投运后对设备维护管理及维护人员的技术水平和工作态度等各个环节说明提高设备运行可靠性的具体方法。

摘要：气动胀管机用于制冷热交换器铜管管端的成型加工。本文介绍了该机的设计特点及工作原理。

摘要：文章针对合肥老城区内机关资产存在闲置的现象进行研究,对现有机关单位资产进行分析评价,根据资产所在城区存在的城市问题,拟定公共资源配置需求清单,从“供-需”角度,提出资产更新方式的引导。

摘要：中原经济区在促进农业转移人口市民化过程中,通过发挥产业集聚效应、创新社会保障机制,保证了农民就业增收;通过降低户籍门槛、加强住房保障,让农民在城市留得住。但是,由于目前中原经济区城镇综合承载能力较弱,农民进城落户积极性不高,同时,资源利用方式不当和土地制度改革缺乏顶层设计等问题也在一定程度上制约着农业转移人口的市民化的进程。因此,应通过建立农民自愿退出农村机制,农业转移人口的社会融合机制,健全农业转移人口的进城定居机制等,促进农业转移人口市民化。

摘要：在社会经济高质量发展的大背景下,人们的生产生活对电能的需求量日益增加。在推动电力事业蓬勃发展特别是在双碳目标的指导下,光伏发电事业的发展更加值得关注和讨论。通过分布式光伏电站将光能转化为电能,可以在一定程度上满足人们对绿色电能的需求,更重要的是减少煤电带来的碳排放对环境的影响,实现对自然环境的有效保护。但是光伏发电在实际运行过程中仍然会受到诸多因素影响,导致发电效率不高。因此,需要采取有效措施提升光伏电站发电效率,从而提高光伏电站的收益率,促进光伏发电产业健康发展。本文联系分布式光伏发电站的实际运行情况,对影响分布式光伏电站发电效率的主要因素进行深入分析,从优化设计、选择光电转换效率高的设备、加强运行管控、注重日常维护等方面入手,提出几点有效提升光伏发电效率的策略,以供参考。

摘要：随着交通量的发展,路与车的矛盾进一步突出。交通拥堵、交通事故和环境污染越来越影响普社会经济和生活的发展在资源、环境矛盾越来越突出的今天,道路设施的增长将受到限制。射频识别是一种新的自动识别技术,它通过射频方式加快了对目标物体信息的获取与处理。本文讨论的是基于RFID的高速公路智能监控系统设计新思路,可实现对进入高速公路的车辆全程实时监管,形成一个包括为车辆驾驶员提供与监控中心进行数据交互以及相互提示等十多项功能的、全面的智能交通管理系统。

摘要：SpaceWire是在苛刻环境下的高速通信总线协议,译码电路是其接收端的关键电路,对该电路进行形式化验证具有重要的现实意义.形式化验证方法中的定理证明将需要分析的电路进行形式化建模,结合定理证明器,对模型的性质进行严格推理从而完成验证.本文运用定理证明的方法,在高阶逻辑证明工具HOL4中对SpaceWire总线的译码电路进行形式化验证.首先根据SpaceWire标准规范抽取相关性质,用高阶逻辑语言形式化描述;然后分析电路设计中的VHDL代码,依据代码实现的功能用相应的逻辑谓词建模;最后在HOL4中证明了译码电路设计的模型能满足所提取的性质.本文同时给出了形式化建模的方法和验证过程.

摘要：通过分析工程预算的计价依据与方法,是有效管理和适时调整工程费用的前提条件,科学研究工程预算都是建筑工程造价的重要环节。本文以某分散式风电项目为例,在湿陷性黄土地质条件下,采用定额工程量法和实物量法,分析泥浆护壁成孔直接成本。本文的研究,为今后相同地质条件下工程积累了经验,提供了重要的参考价值,对工程造价的深入研究具有一定的指导性。

摘要：针对时滞系统,提出一种基于Nevanlinna-Pick插值的鲁棒控制器设计方法.它首先通过互质分解得到控制器和灵敏度函数的参数化形式,将控制器的设计转化为灵敏度函数成型;然后利用同伦法求解具有阶次约束的Nevanlin-na-Pick插值问题,从而求得控制器和灵敏度函数.仿真实验结果表明,闭环系统的灵敏度函数由被控对象的非最小相位零点和不稳定极点决定.