一种基于无锁队列的运行时多线程并行验证方法

运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使用串行的方式处理,这大大降低了验证效率.因此,本文在分析了形式化规约的基础上,提出了一种基于无锁队列的运行时多线程并行验证方法.方法在现有工具MOVEC上实现并在测试集mibench上插桩运行,并与相关工具ACC、AC++和串行机制下的MOVEC进行了对比实验.实验结果表明,本文所实现的基于无锁队列的运行时多线程并行算法可以在有多个监控器的情况下有效地对C语言程序进行并行的运行时验证,且并行验证算法的性能比串行验证算法提升了约83%.

装配式建筑预制墙板免拆模平吊脱模工艺

国内预制墙板构件主要采用平模的生产方式,在预制构件中预埋直螺纹钢套筒用于构件起吊,配合墙侧出筋位置开通槽的墙板模具,在生产中辅以相关操作事项即为免拆模平吊脱模工艺。与国内常见的生产工艺不同的是,采用免拆模平吊脱模工艺可解决传统脱模过程中需要翻转架将模台倾斜但须拆除全部边模清理模台的繁杂操作问题,也解决了在墙板表面安装吊环但须挖槽切割、修补抹平等额外工序增加成本的问题。

连续管穿芯解卡工艺技术研究与应用

针对连续管本体砂卡后上提吨位有限,且无法建立有效循环,贸然上提易造成连续管拉断落井而使复杂进一步扩大,常规解卡工艺处理时间长、处理难度大等问题,创新研究了连续管穿芯解卡工艺。基于穿芯下管和冲砂解卡的作业原理,采用双提升系统的修井机进行作业,悬挂卡钻连续管的同时,在油套环空之间下入穿芯管柱,重新建立循环通道进行冲砂,实现连续管解卡打捞。现场应用结果表明,连续管穿芯解卡工艺技术通过“一趟钻”实现井内沉砂的快速清理,避免井下多次套铣、切割、打捞等作业,可有效提高连续管砂卡事故的处理效率,该工艺安全性高、作业成本低、作业后井筒及连续管完整性等方面有突出优势。在长庆区域累计应用4口井,解卡成功率100%,其成功实施为连续管复杂处理提供了一种新的技术手段。

Lock Free技术及其应用研究

多线程环境下,线程同步伴随着多线程的产生而产生,程序员对于共享内存互斥同步访问的思维已经根深蒂固。由于锁的存在,当访问互斥锁保护的共享内存时,线程首先请求锁的允许,然后才被接受访问共享内存,否则只能等待其它线程释放锁,同时锁也带来了很多负面影响。Lock Free一个崭新的多线程共享内存的同步访问技术,抛开了锁的概念,多线程平行运行,尤其是在多核时代更显优势。但Lock Free技术应用技巧性很强,难度比较大,应用范围一直非常受限,本文旨在揭示Lock Free技术应用的一般规律,使其在多核时代大放异彩。

胶原蛋白线在口腔种植手术切口无张力缝合中的效果及对伤口愈合时间的影响

目的探讨胶原蛋白线在口腔种植手术切口无张力缝合中的效果及对伤口愈合时间的影响.方法选取2016年1月至2017年1月在景洪忠华口腔诊所门诊进行牙齿种植修复术的患者100例,随机分为对照组和研究组,每组各50例,对照组患者采用丝线编织非吸收性缝线缝合伤口,研究组采用胶原蛋白线缝合伤口,比较2组患者伤口愈合等级、缝合线吸收情况、伤口愈合时间及平整率.结果研究组的甲级愈合率为96%,显著高于对照组的80%(P<0.05),且研究组的不良反应发生率为6%,低于对照组的20%(P<0.05);研究组治疗后不同时间的缝合线完全吸收率和切口平整率分别为84%、96%、100%和86%,均明显高于对照组的62%、78%、80%和68%(P<0.05)研究组的切口愈合时间以及术后3 d、5 d和7 d的疼痛视觉模拟(VAS)评分均明显低于对照组(P<0.05).结论胶原蛋白线在口腔种植手术切口无张力缝合的伤口愈合及术后恢复要明显优于丝线编织非吸收性缝线,胶原蛋白线可口内降解,有效提高了患者伤口愈合等级及伤口平整率,加速伤口愈合,具有推广应用价值.

超低液气比自由旋线湿法除尘及其低雾排放特征

为实现低雾排放高效湿式除尘,提出润湿纤维线的自由旋线湿式除尘新方法。结果表明,在风量2 000 m3/h、液气比0.03 L/m3、粉尘质量浓度1 000 mg/m3的条件下,除尘率随旋线转速和根数增加而增加。当旋线转速为600 r/min、旋线根数为200根时,中位径1.74μm粉尘的除尘率已超过90%,自由旋线湿法除尘器对细颗粒物的净化效果突出。为探讨自由旋线湿式除尘方法的低雾排放特征,分别试验研究了液气比、旋线根数对水雾排放浓度的影响。在满足除尘效果的条件下(液气比0.03 L/m3,细颗粒物的除尘率93%~97%),水雾排放质量浓度低于标准规定的水雾排放浓度限值。因此,自由旋线湿法除尘方法能同时有效控制细颗粒物和水雾排放。

分段开窗旷置结合切扩挂线置管引流术治疗复杂性肛瘘的临床研究

目的探讨分段开窗旷置结合切扩挂线置管引流术治疗复杂性肛瘘的有效性和安全性。方法根据诊断分类标准及排除、纳入标准纳入病例100例。试验组50例采用分段开窗旷置结合切扩挂线置管引流术,对照组50例采用切开挂线术。对两组主观性和客观性指标进行对比观察。结果试验组治愈率为98%,随访期内无复发;对照组痊愈率为88%,随访期内6例复发,复发率12%。两组术后在肛门失禁,肛门狭窄、移位、变形等方面差异有统计学意义(P<0.05);肛管直肠压力、直肠感觉和肛门节制功能检测结果显示试验组术前术后比较差异无统计学意义(P>0.05),对照组术前术后比较差异有统计学意义(P<0.05),两组术后比较差异有统计学意义(P<0.05)。结论与对照组相比,本术式具有治愈率高、复发率低、术后愈合时间短、瘢痕小、手术微创等优点。试验组在肛门功能保护方面明显优于对照组。

多层自由旋线分离器的提效增阻作用

文章采用多层旋线布置方式实现了自由旋线分离器分离效率的有效提升,并讨论了多层布置对除尘效率与压力损失的影响规律。在风量2000 m^3/h、液气比0.03 L/m^3和粉尘质量浓度1000 mg/m^3的试验条件下,单层旋线和双层旋线的除尘效率均随旋线根数和转速的增加而增加,且双层旋线的除尘效率的增幅高于单层旋线。当旋线总根数400根、旋线转速600 r/min时,随着旋线层数的增加,多层自由旋线分离器的提效作用迅速减弱。当单层旋线变为双层旋线后,除尘效率提高3%,提效作用较显著。当旋线增至3层以上,提效作用趋于稳定。但自由旋线分离器的压力损失却随旋线层数增加而成倍增加。因此,从提效和节能两方面考虑,自由旋线分离器采用多层布置的旋线层数不宜超过3层。

复杂装配体有限元网格生成方法的研究

针对复杂装配体有限元网格划分难度大的问题,文中提出了复杂装配体中零部件的联接关系问题的处理办法及几种典型模型(腔体、薄壳体及螺钉、螺栓)的混合(切分、扫掠)网格划分方法,运用了Ansys软件对示例模型分别采用自由网格划分与混合网格划分。结果表明:混合网格划分方法比自由网格划分方法形成的单元数目更少、质量更高。混合网格划分方法可以适用于所有具有类似几何特征的模型。

数控车床无退刀槽螺纹切削研究

数控车床大都没有将无退刀槽螺纹加工功能进行模块化处理,在执行完螺纹指令后执行退刀指令的过程中,产生的滥牙乱扣现象会造成零件报废。解决这一问题只能通过数控程序来实现。针对这个问题,设计了无退刀槽螺纹加工退刀方式。经实际工件的加工检验,这种退刀方式的加工效果良好。

一个基于多线程的.NET开发应用实例研究

多线程开发无论是在综合性能上还是在单位时间处理事务的实效性上都有其独特的优越性,为此国内外很多.NET的研究工作者对此展开了多方面的研究。本文在总结大量实际工作经验的基础上重点分析了在.NET开发中如何应用多线程进行开发,通过构建一个使用C#.NET开发的多线程应用程序来说明如何使用多线程更好地提高程序的并行性,简化程序设计,以及更好地利用CPU时间片等问题,供开发人员参考。

开窗旷置配合切扩虚线置管术治疗高位瘘管性脓肿临床研究

目的:观察开窗旷置配合切扩虚线置管术治疗高位瘘管性脓肿的临床疗效。方法:将符合纳入标准的60例高位瘘管性脓肿患者作为研究对象,按入院时间随机分为试验组与对照组各30例。试验组患者采用开窗旷置配合切扩虚线置管术治疗,对照组患者采用传统切开引流术治疗。观察比较两组临床疗效。结果:经治疗,试验组患者治愈率为90%,高于对照组的86.7%,差异无统计学意义(P>0.05);试验组患者随访半年内复发4例(13.3%),少于对照组6例(20.0%),差异无统计学意义(P>0.05)。两组患者术后1周并发症、术后半年肛门失禁情况、创面愈合时间等方面比较差异具有统计学意义(P<0.05)。结论:开窗旷置配合切扩虚线置管术治疗高位瘘管性脓肿远期疗效好,术后并发症少,具有术后愈合时间短、手术微创等优点,肛门失禁发生率低,可改善患者肛门括约肌功能,值得临床推广应用。

防掉套铣技术在地热定向井中的应用

ＷＲ４５－２Ｄ井是一口地热开发定向并，起钻工井深５８６．９７ｍ处发生键槽卡钻。在用地面下去器下击无效的情况下，采用防掉套铣矛套铣一次成功。本文较详细地介绍了该井卡钻事故处理的作业难点、技术要点及效果分析。

瘘道潜行剥离并括约肌游离丝线牵引术治疗高位肛瘘51例

目的:观察瘘道潜行剥离并括约肌游离丝线牵引术治疗高位肛瘘的临床疗效。方法:将102例高位肛瘘患者按照随机数字表法分为观察组和对照组,每组各51例。对照组采用传统瘘道切开挂线引流术,观察组采用瘘道潜行剥离并括约肌游离丝线牵引术。比较两组患者的临床疗效、创面愈合时间、复发率、疼痛程度评分及手术前后肛门括约肌功能评分、肛管压力变化情况。结果:两组患者有效率及复发率比较,差异均无统计学意义(P>0.05)。观察组创面愈合时间短于对照组,差异具有统计学意义(P<0.05)。两组患者手术后第3天疼痛程度评分比较,差异有统计学意义(P<0.05)。两组患者术后肛门括约肌功能评分高于本组手术前,且观察组手术后评分低于同期对照组手术后,差异具有统计学意义(P<0.05)。两组患者手术后1个月肛管静息压及肛管最大收缩压比较,差异具有统计学意义(P<0.05)。结论:瘘道潜行剥离并括约肌游离丝线牵引术治疗高位肛瘘,可减轻患者疼痛程度,缩短治疗时间并保护肛门功能。

地下管道线缆收放装置的设计

针对地下管道线缆收放工作中所需要的工作人员多、作业劳动强度大且效率较低的现状,设计了一种新型的地下管道线缆收放装置,使用结果表明:可以实现地下管道线缆的自动放线、牵引和收回,线缆牵引装置的自由移动,支架的折叠和拆卸,减少工作人员的劳动强度,提高作业的效率和速度。

测卡松扣系统在处理卡钻事故中的应用

介绍了测卡松扣系统的组成、工作原理及功能。临盘油田两口井卡钻事故处理实践充分证明，该系统能大大减少事故处理时间和降低事故损失，明显优于常规处理方法，其技术经济效益和社会效益显著。

水平井带压穿心打捞连续油管技术的应用

为解决水平井连续油管钻磨桥塞卡钻打捞困难的问题,借鉴电缆穿心打捞的方法和带压作业的优点,研究带压穿心打捞连续油管施工工艺,利用带压作业防喷器密封穿心管和套管环空,研究制作旋转密封装置,实现穿心管和连续油管环空封闭。通过带压穿心打捞连续油管实践应用,在井筒内连续油管完整的情况下成功解卡,避免了连续油管拉断打捞工作复杂化,同时又保护了高产井原始地层压力,确保投产后产能不受影响。

长25-29井卡钻事故的处理

长２５－２９井在完井阶段通井过程中发生粘附卡钻事故，在处理卡钻过程中又发生卡套铣筒、井漏、溢流等事故及复杂情况。通过对井下情况的认真分析，采取先堵漏后循环再解卡的处理方案，顺利地解除了该次卡钻事故，大大地减少了经济损失。

高效免穿集绪器的研制及应用

针对自动缫丝机中传统集绪器——陶瓷瓷眼的缺点,研制开发成新一代的高效免穿集绪器。介绍了高效免穿集绪器的技术攻关、结构及其特点、工艺效果及其应用评价。

气动式剂量可调无针注射器的建模分析及结构创新设计

本文以高压气体作为动力源的无针注射器研发为研究背景,对气动式无针注射器的注射过程进行了建模,仿真分析了注射过程中所能达到的最大滞止压强值。根据所建立的模型为理论依据,结合大范围剂量调节的使用要求,设计了无针注射器的系统参数;并采用差动螺纹结构,解决了因注射行程增大所导致的注射器外形偏大的问题。