INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY

The main results of this note are an extension of (1)Definition. Let S be a set of lock clauses, D a linear deduction about empty clause □ from S. Its side clauses are B0, B1,..., Bn-1 and center clauses are C0, C1, ...,

考虑同步机制的双馈风电系统小扰动建模与稳定性分析

对比分析了锁相环同步机制和虚拟同步发电机同步机制下的双馈风电系统小扰动稳定性及动态特性.针对2种同步机制下的双馈风电系统,基于数学方程分别得出相应的小扰动模型,进而利用特征值分析法对系统小扰动稳定性进行研究.在StarSim硬件在环(StarSim-HIL)半实物仿真平台上搭建相关模型,通过仿真对2种同步机制下的双馈风电系统有功支撑等动态特性及小扰动稳定性进行了分析与验证.对2种同步机制的适用性进行总结,指出锁相环型控制虽然动态特性好、响应速度快,但是在弱电网下的小扰动稳定性及有功支撑等方面,虚拟同步发电机控制更有优势.

布尔算子模糊逻辑中的广义半锁归结原理

大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .

一种新的广义半锁归结

本文提出了对配锁方式不加限制的广义半锁归结方法，并证明了它在一阶逻辑中的完备性．

三种屈肌腱缝合方法的生物力学研究

目的比较三种不同屈肌腱缝合方法的生物力学性能及操作时间,寻找一种不仅具有良好生物力学性能而且有利于临床推广的屈肌腱缝合方式。方法选取猪后足屈趾深肌腱作为实验对象,共24个,随机分为3组。横行切断肌腱后,分别采用改良kessler缝合、内锁缝合、半结锁定式缝合三种不同缝合方式并结合连续周边缝合将肌腱断端进行缝合,记录操作时间,并对修复肌腱进行生物力学测试,测定修复肌腱的2mm裂隙抗张强度、断裂抗张强度和断裂间隙。结果与改良kessler缝合相比,内锁缝合与半结锁定式缝合均能显著提高修复肌腱的2mm裂隙抗张强度和断裂抗张强度。内锁缝合的2mm裂隙抗张强度(58.8±8.1)N与半结锁定式缝合(53.7±6.0)N没有明显差异,而断裂抗张强度(72.7±6.0)N明显大于半结锁定式缝合(60.4±6.6)N。内锁缝合与改良kessler缝合的断裂间隙无明显差异,两者均小于半结锁定式缝合(8.5±1.3)mm。与改良kessler缝合(11.1±1.4)min相比,内锁缝合(15.4±1.1)min与半结锁定式缝合(15.8±0.9)min的操作时间均较长,而两者之间无明显差异。结论与改良kessler缝合和半结锁定式缝合相比,内锁缝合具有更好的生物力学性能并有效阻止间隙形成,更值得临床应用推广。

基于Matlab/Simulink的半挂汽车列车防抱死制动系统仿真研究

以半挂汽车列车为研究对象,建立整车数学模型、轮胎模型、PID控制器模型、气压系统模型和滑移率的计算模型。对所建立的半挂汽车列车防抱死制动系统数学模型进行仿真研究,得出在干路面、湿路面和冰路面上的仿真曲线。仿真结果表明,建立的防抱死制动系统数学模型可靠,能达到较为理想的制动控制效果,验证了半挂汽车列车防抱死制动系统具有良好的制动性能和方向操纵性。

大型船闸锚固底板的力学分析

本文提出了一种分析锚杆和锚固基础上水工结构的半解析法.利用该方法对三峡工程中大型船闸锚固底板的力学问题作了详细的计算分析,所得结果对类似锚同结构的设计也具有较大的参考价值.

基于ARM7的汽车SASS和ABS分层式协调控制试验研究

采用分层协调控制策略,对汽车半主动悬架系统和防抱死制动系统进行了集成控制研究。分别设计了半主动悬架的底层控制器和防抱死制动的底层控制器及二者的上层协调控制器,底层控制器用来执行各子系统控制任务;上层协调控制器以实现整车性能最优为目标,对底层控制器进行相应的调整和修正。试验结果表明:采用分层式协调控制策略可较好地解决两系统间的矛盾,提高汽车在紧急制动过程中的稳定性和安全性,提升整车综合性能。

汽车电子控制系统半实物仿真平台开发

提出了一种汽车电子控制系统半实物仿真解决方案,以捷达1.6AT轿车为对象,采用半实物仿真技术通过硬件接口电路将实际车辆与模型环境有机结合,设计开发了汽车电控系统半实物仿真平台.所设计的平台在精确采集车辆传感器信号的同时能够实现车辆与半实物仿真模型间的实时数据交换;通过平台显示系统可以直观地观察车辆电控系统的工作过程及控制原理;并可根据需要合理地改变仿真模型的参数,对不同车型和不同使用工况进行仿真.该平台不仅解决了数学仿真对现实条件过于简化、建模难度大的问题,同时也克服了实物试验费用高、周期长的弊端,可将其应用于汽车电子控制系统的开发、调试、检测和教学试验等.

一种半自动密码防盗逃生窗的设计

介绍了一种集防盗与逃生一体的半自动密码防盗逃生窗户的设计。该窗户通过密码锁和防盗网上下双开式结构来实现防盗和逃生的目的。机构设计简单,操作方便,安全可靠。

半切开行锁扣阻挡改良Krackow缝合法结合早期功能康复治疗跟腱断裂的早期疗效分析

背景:经皮微创治疗跟腱断裂可明显降低手术切口并发症的发生率,但是其生物力学强度存疑,且缝合装置价格较昂贵。目的:探讨半切开行锁扣阻挡改良Krackow缝合法结合早期功能康复治疗急性闭合性跟腱断裂的临床疗效。方法:回顾分析2015年10月至2017年2月收治的20例急性闭合性跟腱断裂患者。男17例,女3例;年龄18~47岁,平均31.7岁;左侧8例,右侧12例。致病原因:主要由运动伤导致,其中羽毛球6例,篮球8例,足球3例,下楼梯踩空3例;受伤至手术时间2~10 d,平均3.7 d。在距离跟腱断端远、近端2.5 cm左右各做2个纵行切口,长2~3 cm,在正常腱性组织中行改良Krackow缝合法,然后经皮沿跟腱表面互相过线至对侧,穿锁扣后出线打结。最后在远、近端再加用一股横行缝线环绕加固。结果:所有患者门诊随访至术后12~16个月,平均14.2个月。切口均甲级愈合,无感染、伤口愈合不良、跟腱再次断裂、腓肠神经激惹等手术相关并发症。术后6周MRIT2相提示跟腱间隙为(1.1±0.5)mm,12周时MRI检查无论在T1相还是T2相,跟腱连续性均完好,未见明显间隙。术后12个月,相对跟腱休息角为-4.0±3.4;健侧一分钟提踵次数为63±21,患侧提踵次数为60±18,两者比较差异无统计学意义(P>0.05)。AOFAS踝与后足评分为92~98分,平均95.8分。结论:锁扣阻挡改良Krackow缝合法治疗急性闭合性跟腱断裂缝合强度高,能够满足早期功能康复的要求,半切开入路具有微创,并发症少,恢复快,费用低廉等优点。

半挂车气动防抱死制动系统研制

根据半挂车的特点，设计了由磁电式传感器、 Ｅ Ｃ Ｕ 和电磁阀组成的气制动、防抱死制动系统详细介绍了以８９ Ｃ２０５１ 为核心的单片机系统的硬件组成并给出了关键控制程序为了在研制阶段方便地了解制动性能，设计了三通道实时信号检测系统，并在转鼓上对上述系统进行试验，结果表明，单片机、传感器、执行机构工作正常。

阴式全子宫切除术中阴道残端两角半荷包缝合与单纯锁边缝合的临床比较

目的: 探索阴式非脱垂子宫切除术中阴道残端缝合的最佳方法。方法: 收集该院2003年前后施行阴式非脱垂子宫切除病例160例。其中残端单纯锁边缝合100例, 残端两角半荷包缝合60例。均采用1 /0Dexon线。单纯锁边缝合法是从阴道两侧顶端开始前后阴道粘膜和前后腹膜4层一起缝合残端全程; 半荷包缝合法为两角半荷包缝合后再4层一起单纯锁边法缝合至中间并打结。两种方法阴道残端缝合的病例均于术后2个月回访, 由门诊医师检查阴道残端愈合和息肉发生情况。结果:单纯锁边缝合组100例, 回访79例, 息肉发生率为39 .24%; 半荷包缝合组60例, 回访45例, 息肉发生率为17. 78%, 两组比较有非常显著的临床意义(P<0. 01)。结论: 阴式非脱垂子宫切除术中残端缝合两角以半荷包缝合法优于单纯锁边缝合法。

钢结构高效螺栓连接关键技术研究进展

针对大量使用的钢结构闭口截面构件难以全螺栓连接、风电等大直径高耸钢管结构在风致动载作用下拼接接头抗疲劳能力不足、承受动载的大型钢结构基础预应力抗拔锚栓缺乏设计与施工成套技术等3大问题,通过概念设计、理论分析、试验研究、数值模拟、产品研制、装备开发等手段,研制了单向(边)高强螺栓紧固件、反向平衡法兰连接技术和螺栓预拉力直接张拉法设备、可更换预应力锚栓和大型锚栓施工定位装置,开发了锚栓预应力直接张拉安装技术,提出了梁柱全螺栓连接半刚性钢框架设计方法、拼接节点的等效抗弯承载力设计方法以及防止基础动力疲劳开裂的设计方法,取得了一系列钢结构高效螺栓连接关键技术的研究成果,并在工程中得到了检验和推广应用。

集装箱运输半挂车自动锁头装置

锁头也称为"集装箱转锁",用于汽车、半挂车和火车等与标准集装箱的链接和固定的装置。为满足工业自动化应用的发展需求,设计一种集装箱运输半挂车用自动锁头装置。该装置通过轴承同时支撑轴向力和径向力,承载力大,转动灵活,并能设置自动感应器,反馈锁头开闭状态,控制气缸动作实现锁头的自动开闭,实现与码头、大型堆场等自动装卸的无人化作业场景对接,同时防止有人场景人工遗漏开闭的问题。另外,该装置可节约劳动力,提升效率,防止人为失误,大幅降低了集装箱在运输过程由转弯或坡道惯性产生侧翻的可能性。

分布式驱动电动汽车制动防抱死控制策略研究

针对分布式驱动电动汽车紧急制动工况下电机力矩与液压制动力矩的协调控制问题,提出一种制动防抱死双路控制策略。所提控制策略中,基于滑模变结构控制理论对液压制动系统进行制动防抱死控制,同时基于反模型控制理论对电机输出转矩进行调节。通过搭建包括双电机独立驱动系统的半实物仿真平台,进行了所提控制策略的仿真验证,证明所提控制策略能够使车轮滑移率更好跟随理想值,从而显著缩短紧急制动时的制动距离与制动时间。

肱骨近端复杂性骨折应用半肩关节置换治疗的价值分析

目的对肱骨近端复杂性骨折采取人工半肩关节置换术治疗的临床效果进行探析。方法方便选取2015年10月—2017年10月该院骨外科收治的97例肱骨近端复杂性骨折患者的临床资料进行回顾性分析,根据治疗方法不同分成研究组和对照组,分别为55例和42例;对照组采取常规锁定钢板内固定术治疗,研究组采取人工半肩关节置换术治疗,对比分析两组疗效。结果研究组手术时间、术中出血量低于对照组(t=2.019、1.003,P<0.05);术后随访6个月,研究组患肢功能恢复优良率为96.36%,对照组为85.72%,差异有统计意义(χ~2=10.287,P<0.05);研究组术后并发症发生率为2.38%,低于对照组的14.29%(χ~2=2.087,P<0.05)。结论采用半肩关节置换术治疗肱骨近端复杂性骨折有着理想效果,手术时间短,术中出血少,术后并发症少,预后良好,有着重要临床价值。

半悬臂大块模板在桥巩水电站船闸工程的应用

桥巩水电站船闸工程闸室本体段和上下游导航墙在施工的过程中采用了半悬臂大块模板,该模板自重轻,施工成本低,同时可有效避免传统散装模板拆模后出现漏浆、错台、挂帘等常见质量缺陷问题,拆模后的混凝土垂直平整,外观光滑质量良好。本文主要就半悬臂模板的结构组成、施工技术以及施工特点进行阐述。

关于A330-200/300前货舱门槛锁无法操作的排故小结

介绍了A330-200/300前货舱门槛锁故障排除的方法。

海船闸气幕防咸设计

为指导船闸气幕防咸设计,本文将经典Abraham方法和Keetels数据进行比较。结果发现,Abraham方法偏保守。基于Keetels数据,本文提出一种新的半经验公式,以获得更准确的供气量。