双护盾TBM换步过程中盾尾上扬故障分析及解决方案

双护盾TBM是一种典型的敞开式硬岩掘进机,具有隧道开挖、渣土输出、管片拼装支护、管片背面豆砾石回填及注浆等功能,可一次性安全、高速地完成隧道施工,能大大缩短隧道施工工期。本文以用于山西中部引黄工程中的双护盾TBM为研究对象,该设备在工程施工过程中出现TBM换步过程中盾尾上扬,致使已拼好的管片发生错台,严重影响管片拼装质量,影响施工进度的故障,详细分析了原因,并圆满解决这一故障,期望能给类似TBM设备故障提供借鉴及启发,达到优化系统设计的目的。

一种基于RCRF+BCH算法的NAND FLASH纠错方案的FPGA设计与实现

针对目前NAND FLASH随着使用时间的增长误码率随之增高的特性,提出了一种在使用更少校验位的情况下纠错能力更强的高速并行RCRF+BCH纠错方案,初步用RCRF的思想对部分初始擦除错误进行纠正,然后级联BCH码纠正剩余的位错,很好地保证数据的准确性,显著提高存储系统的可靠性。首先详细阐述了该高速并行算法的编译码原理和执行步骤,在BCH部分中使用消耗更少硬件资源的无求逆的iBM关键方程求解算法,然后推导出错误位置多项式不同路径的几种确定形式,方便应用组合逻辑对其进行描述,避免了复杂的迭代判断过程,进一步提高了译码速度,并采用模块化的处理方式和流水线的操作模式优化了BCH的编译码结构。最终在FPGA平台硬件实现并仿真验证了此方案的有效性。

高阶逻辑验证系统HOL及其应用初探

形式化方法在硬件、软件的设计和验证中的应用越来越广泛,基于不同理论的形式化验证工具应运而生。本文对形式化验证工具定理证明系统HOL作了介绍,并结合例子说明HOL系统在硬件设计中的应用。

急性骶髂关节紊乱临床检查新方法的应用效果评价

目的:介绍一种急性骶髂关节紊乱临床检查的新方法——6 s检查试验,通过与临床常用的4种检查方法比较,评价其在疾病诊断中的应用效果。方法:采用6 s检查试验、"4"字试验、骨盆旋转试验、下肢长度测量及直腿抬高试验等方法对急性骶髂关节紊乱患者在复位前和复位后进行检查。结果:复位前34例急性骶髂关节紊乱患者6 s检查试验阳性率为97.06%,明显高于其他临床检查试验;复位后,无并发症的治愈者,6 s检查试验假阳性率为0%,与其他临床试验相似,有并发症的治愈者6 s检查试验假阳性率约16.7%,与骨盆旋转试验相似,低于其他试验。未治愈的3位患者,6 s检查试验阳性率100%,高于其他试验。结论:6 s检查试验是一种高灵敏度和高特异度的检查方法,可作为急性骶髂关节紊乱初步诊断和复位效果评价的方法。

静态形式验证在跨时钟域和复位验证中的应用

Soc芯片的各个复杂功能模块中通常包含多个时钟域和复位域,跨时钟域信号路径设计的错误可能引起亚稳态问题进而导致设计故障。本文介绍了亚稳态的危害、以及传统的验证方法。相对于传统动态仿真方法耗时、容易遗漏的缺点,静态形式验证利用数学方法进行穷举,可以高效、快速、完备的检查可能出现的所有场景,提高验证的质量和效率。本文通过实例,利用静态形式验证技术对不同规模的设计中存在的跨时钟域和复位问题进行检视,并对验证结果进行了对比和分析。

一种带止回装置电磁阀的设计及应用

文章介绍了一种带止回装置电磁阀的构思,结构特点和工作原理,分析了优化设计后一种带止回装置电磁阀在控制系统中的实际运用情况。希望通过文章的分析,能够对相关工作提供参考。

小儿ACL胫骨止点撕脱性骨折行微创AO空心拉力螺钉与规避骺板法复位的对照研究

目的:对照研究微创AO空心拉力螺钉与规避骺板法复位治疗小儿ACL(前交叉韧带)胫骨止点撕脱性骨折的有效性及安全性。方法:选取我院收治的63例小儿ACL胫骨止点撕脱性骨折患者作为研究对象,根据手术方式的不同分为两组:对照组(31例)行微创AO空心拉力螺钉治疗,观察组(32例)采用规避骺板法进行复位治疗,对比两组患儿的膝关节稳定性、膝关节功能及并发症等情况。结果:观察组患儿的手术时间、住院时间分别为(41.05±9.87)min、(10.32±3.17)d,均显著短于对照组;观察组术后2周、3个月的膝关节活动度分别为(87.73±4.74)°、(128.03±10.25)°、术后2周分别为(84.72±13.54)分,与对照组比较均无显著差异;观察组末次随访的Lysholm评分(93.07±7.64)分,与对照组差异显著,显著性差异;观察组的膝关节恢复优良率为93.75%,与对照组比较无显著性差异;但观察组术后的并发症发生率为3.13%,复发率为0%,均显著低于对照组。结论:微创AO空心拉力螺钉与规避骺板法复位治疗小儿ACL胫骨止点撕脱性骨折的疗效接近,但规避骺板法复位的并发症更少,远期疗效更好。