摘要：随着集成电路设计规模不断增大,验证成为制约设计进程的瓶颈之一。目前,仿真仍是集成电路设计验证的主导方法之一,仿真的完备性通常通过各种覆盖率测度来度量。功能覆盖率是抽象层次较高的一种覆盖率,实际工程中,功能常以SystemVerilog断言形式呈现。目前常用的随机测试向量生成较难生成大量激活断言的测试向量;而采用约束求解的策略时,一旦覆盖条件中涉及到非初始输入信号(内部信号、输出信号),约束求解的效率将极为低下,导致仍然难以覆盖目标断言。针对含非初始输入信号断言的覆盖问题,提出了一种利用Surrogate模型的断言覆盖率提升方法,主要是为非初始输入信号生成体现其与初始输入信号关系的、只包含初始输入信号的Surrogate模型,再以此Surrogate模型作为约束求解的对象,降低了约束求解的复杂度。实验结果表明,相比于随机测试向量生成,该方法在断言覆盖方面有较大提升。

摘要：软土地层中建造大型深基坑工程时往往面临着较大的风险和挑战,支护结构易发生变形且难以预测。对已有的可动强度设计(mobilizable strength design,MSD)理论进行总结,引入围护结构的弯曲应变能和内支撑的压缩弹性势能,完善基坑变形过程中的能量守恒体系,改进MSD法计算公式,并以济南黄河隧道北岸盾构工作井基坑工程为依托,对软土地层深基坑连续墙的变形进行预测,同时利用有限元分析法进行预测,并将预测结果与现场监测数据进行详细的分析比对,论证改进MSD法+有限元分析法预测体系的可靠性,分析误差来源,提出降低误差的措施,供类似工程参考。

摘要：通道塔以钢结构塔为附着载体和通道,用来完成超高层建筑施工中大量和繁重的垂直运输任务。结合香港环球贸易广场项目,详细介绍了通道塔的设计、制作、安装及维护和拆除。工程实践表明,使用通道塔可节约施工场地,规避常规主体因周边分散布置施工电梯而无法装修封闭的问题,加快了装修进度,使得施工对下部运营的影响降低,真正实现了超高层建筑阶段性投入使用的目标。

摘要：在对钢丝绳拉升式自动猫道进行现场试验时发现钢丝绳载荷波动明显,无法完成目标重量管柱的起升.为此,分析了钢丝绳拉升式自动猫道的结构与运动特性,并基于达朗贝尔原理建立了自动猫道的动力学模型,采用MATLAB软件进行数值求解并分析了基座上挡块与坡道底端的距离、移送臂与支撑臂的铰接位置、支撑臂长度对钢丝绳载荷的影响,分析得出将基座上挡块调整至坡道底端、合理降低支撑臂长度能有效降低起升过程所需钢丝绳拉力.依据分析结果调整自动猫道结构尺寸后进行现场试验,液压绞车的最大起升油压下降超过2 MPa,自动猫道机起升能力得到提高.该分析与实验结果可为钢丝绳拉升式自动猫道结构设计与优化提供指导.

摘要：本课题设计的是一种小型的,经济型的粉碎机——锤式粉碎机。该机结构简单,使用方便,主要运用于粮食加工行业和食品加工行业,比较适合小型作业的用户。本设计主要分析了锤式粉碎机的结构特点,通过工艺计算,设计出满足要求的锤片式粉碎机。

摘要：研究了以桐油、甲醇为原料 ,用 KOH作催化剂 ,对桐油进行改性的方法 ,得出最佳反应条件 :温度 6 0℃ ,时间 1.75小时 ,原料配比 0 .2 5 0 (摩尔比 ) ,KOH浓度为桐油的 1.0 % .

摘要：文章提出了基于西门子PRODAVE工具包的掘进机人机界面开发方法,针对掘进机需要采集大量异构数据的特点以及各系统的业务逻辑,开展了针对性设计,实现了掘进机人机界面所需的全部功能。

摘要：作为定值控制系统的BOOST变换器,系统的抗干扰性尤为重要。为了提高BOOST系统抗干扰能力,本文通过对BOOST变换器小信号模型的详细分析,结合有输入电压前馈和无前馈情况下,采用电压模式控制时系统的特性,提出了一种前馈—电压模式的控制方法,能快速抑制输入电压和输出电流扰动,尤其能将输入电压的干扰近似完全消除;通过对双极点—双零点控制器的详细分析,提出了快速合理的设计boost变换器在新控制策略下控制器参数的方法。最后通过仿真验证了该控制策略抑制干扰的优越性和控制器参数设计方法的合理性。这种控制方法的思想同样适用于其它DC-DC变换器。

摘要：论文综合探讨了信息化时代下滑坡勘查及防治预警技术的发展现状与前瞻趋势。论文首先回顾了传统的滑坡勘查方法,包括地质调查、钻孔勘查以及地球物理勘查,深入研究了现代滑坡勘查技术,如遥感技术、地理信息系统(GIS)、无人机监测技术等。在滑坡预警技术方面,文章重点分析了传感器技术、实时数据监测系统、大数据分析以及人工智能与机器学习的应用并展示在灾害预测与预警中的关键作用,最后讨论滑坡风险的防治对策,包括工程措施、植被恢复。