基于故障配置的故障树生成

故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。

IRIG-B码元信号传输质量分析方法

为了解决IRIG-B码元传输过程中码元宽度、脉宽信息、幅值信息等易受到干扰而发生变化的随机性及不确定性的检测问题,通过卫星时间建立有效的高精度时间基准以及高度集成化的管理模块对IRIG-B传输信号的快速实时捕获分析机制,采用优化的符号记忆方法实现对时间信号传输质量的智能化分析,实现信号传输质量检测评估过程中对随机性及不确定问题的有效检测,提高电力系统对IRIG-B码元信号传输质量的检测效率,同时通过实验模型验证说明IRIG-B信号传输质量检测方法的可行性和有效性。

CT图像增强辅助诊断系统在椎间盘突出诊断中的应用研究

目的:探讨CT图像增强辅助诊断系统对临床腰椎间盘突出症(LDH)的诊断作用,为CT检查提供辅助诊断工具。方法:选择医院收治的161例LDH患者临床档案数据作为研究样本,分别采用CT图像增强辅助诊断系统中的直方图均衡化算法、深度学习FasterR-CNN算法、U-Net分割网络、支持向量机分类器、K-means聚类分析以及图像特征提取等方法对患者进行CT扫描辅助诊断,并将其LDH阳性准确率与核磁共振诊断结果进行对比分析。结果:CT图像辅助诊断系统和核磁共振诊断LDH阳性检测准确率分别为96.89%和98.14%,阴性检测准确率为85.71%和91.43%,两者诊断LDH阳性和阴性准确率比较,差异均无统计学意义。CT图像增强辅助诊断系统平均检测耗时12.43 s,略快于核磁共振的13.67 s,且差异无统计学意义。结论:CT图像增强辅助诊断系统具有较高特异性,能够实现分析结果量化,拓展CT诊断能力及范围,提高临床诊断效率,可作为临床LDH早期筛查辅助工具,并可为其他类似疾病辅助诊断提供参考。

DES与低剂量MSCT检查对于创伤性隐匿性肋骨骨折的诊断价值比较

【目的】比较X线能量密度减影(DES)与低剂量多层螺旋CT(MSCT)检查用于隐匿性肋骨骨折的诊断价值。【方法】回顾性分析本院收治的118例高度疑似肋骨骨折患者的影像资料,所有患者均行于创伤后3 d内行DES及低剂量MSCT检查,并与“金标准”4?8周后的常规剂量MSCT的结果作比较。【结果】经常规MSCT诊断,118例患者中有147处肋骨骨折,其中88处被确诊为隐匿性肋骨骨折。低剂量MSCT诊断隐匿性肋席骨折的敏感度为97.40%(75/77),特异度为81.43%(57/70),符合率为89.80%(132/147)。DES诊断隐匿性肋骨骨折的敏感度为96.25%(77/80),特异度为83.58%(56/67),符合率为90.48%(133/147)。两种诊断方法敏感度、特异度及符合率比较差异无统计学意义(P >0.05).【结论】短期内首次DES与低剂量MSCT检查对于隐匿性肋骨骨折患者诊断价值相当,临床上可根据患者具体情形及疾病适应证选择不同检查方法。

探讨CT灌注扫描对急性缺血性脑血管病的诊断价值

目的:探讨CT灌注扫描(CTP)对急性缺血性脑血管病(ICVD)的诊断价值。方法:采取回顾性研究,将2018年8月—2020年7月中山市中医院收治的106例ICVD患者临床资料纳入研究,根据数字减影血管造影诊断结果将其分为急性脑梗死(ACI)组(n=84)、短暂性脑缺血发作(TIA)组(n=22)。所有患者均接受CTP检查,比较两组患者CTP参数[局部脑血流流量(CBF)、脑血流容量(CBV)、对比剂平均通过时间(MTT)、对比剂峰值时间(TTP)],并绘制ROC曲线并计算曲线下面积(AUC)值,分析CBF、CBV、MTT、TTP在ACI、TIA鉴别诊断中的价值。结果:ACI组CBF为(20.58±5.06)m L·min^(-1)·100g^(-1)、CBV为(2.48±0.85)mL·100g^(-1)低于TIA组的健侧(54.92±5.52)mL·min^(-1)·100g^(-1)、(5.51±1.30)mL·100g^(-1)及患侧(54.23±3.34)mL·min^(-1)·100g^(-1)、(5.02±1.08)mL·100g^(-1),MTT为(6.04±1.12)s、TTP为(16.86±4.42)s,长于TIA组的健侧(3.50±0.76)s、(8.72±1.45)s,患侧(5.46±1.34)s、(11.46±2.88)s,差异有统计学意义(F=26.354、22.158、9.684、30.254,P<0.05)。绘制接受者操作特征曲线(ROC曲线),CBF、CBV、MTT、TTP诊断ACI的AUC分别为0.772、0.916、0.738、0.893,均有一定诊断价值,CBF、CBV、MTT、TTP诊断敏感度分别为0.722、0.889、0.722、0.833,特异度分别为0.544、0.750、0.603、0.794,且以CBV、TTP诊断效能较高。结论:通过观察CBF、CBV、MTT、TTP等CTP参数可为早期鉴别ACI、TIA提供可靠依据,且CBV、TTP鉴别诊断ACI、TIA的效能较高。

多层螺旋CT后处理重建技术在急性隐匿性肋骨骨折中的应用

目的探究多层螺旋CT(MSCT)后处理重建技术在急性隐匿性肋骨骨折中的应用价值。方法选择本院接收的急性隐匿性肋骨骨折患者68例作为研究对象,患者入院时间为2015年2月至2017年2月,所有患者均先进行胸部X线检查,之后再进行MSCT检查,将获得原始数据传至后台工作站,进行获得容积再现(VR)、多平面重组(MPR)、曲面重建(CPR)等处理,并进行诊断,评价MSCT后处理重建技术的应用效果。结果 68例患者经X线片检查并未发现骨折;经MSCT扫描且利用多种处理技术,发现97处隐匿性肋骨骨折:70例不完全线性骨折,其中,13例肋骨内缘皮质骨折,19例外缘皮质骨折,38例骨皮质褶皱、膨出、凹陷;15例完全线性骨折;12例肋软骨骨折,其中,1例双侧肋软骨骨折,11例单侧肋软骨骨折。结论 MSCT后处理重建技术在急性隐匿性肋骨骨折中的应用价值较高,值得推广应用。

基于OTDR的光纤回路在线监测技术研究

针对智能变电站中光纤二次回路配置、监测等问题,通过分析光时域反射仪(Optical Time Domain Reflectometer,OTDR)的工作原理和工作特征,提出了基于OTDR技术的智能变电站二次光纤链路在线监测的整体设计解决方案。结果表明:全站整体设计方案能使智能变电站内通信内容的采集方式更加合理,通信过程的监视完全符合真实情况,提高了智能变电站内通信过程的在线监视的真实性,完善了智能变电站二次状态监测功能。

电流互感器稳态及暂态饱和特性的分析研究

电力系统运行故障经常会引起电流互感器的稳态或暂态饱和,对继电保护装置产生不同的影响和要求。通过介绍这两种不同工况的电流互感器的饱和特性,列举宁夏大唐国际大坝发电有限公司升压站电流互感器实例进行计算,分析了这两种类型电流互感器的不同特性以及对实际工作应用的意义。

雷珠单抗联合地塞米松缓释剂对糖尿病性白内障术后黄斑水肿的预防及视网膜、脉络膜厚度的影响

目的探讨雷珠单抗联合地塞米松缓释剂对糖尿病性白内障术后黄斑水肿的预防及黄斑中心凹视网膜厚度和黄斑中心凹下脉络膜厚度的影响。方法前瞻性随机对照研究。研究对象2020年6月至2022年1月收治于我院的112例(134只眼)糖尿病性白内障患者。随机数字表法将112例患者分为研究组(56例)和对照组(56例),两组患者均实施超声乳化白内障吸除术(PHACO)联合人工晶状体植入术(IOL)治疗。对照组使用地塞米松缓释剂进行玻璃体内注射治疗,研究组在对照组基础上给予雷珠单抗玻璃体腔注射治疗。比较两组患者手术前后平均最佳矫正视力(BCVA)、黄斑中心凹视网膜厚度、黄斑总容积、黄斑水肿发生情况和黄斑中心凹下脉络膜厚度。结果两组患者术前基线资料比较差异均无统计学意义(均P>0.05);重复测量方差分析结果显示,两组患者平均BCVA、黄斑中心凹视网膜厚度、黄斑总容积和黄斑中心凹下脉络膜厚度术后不同时间点差异均有统计学意义(均P<0.05),不同组别之间差异有统计学意义(均P<0.05),不同时间与组别之间有交互作用(均P<0.05),且研究组患者手术后各项指标均低于对照组(均P<0.05);研究组患者术后共发生黄斑水肿10例(17.86%)低于对照组患者31例(55.36%)(P<0.05)。两组患者术后均无不良药物反应出现。结论雷珠单抗联合地塞米松缓释剂能够降低糖尿病性白内障术后黄斑水肿的发生率,并减缓黄斑中心凹视网膜厚度和黄斑中心凹下脉络膜厚度增加,对术后患眼视力恢复具有一定帮助。

一种利用故障特征模型的系统安全性分析方法

系统安全性分析是系统安全工程的重要内容,但是传统安全性分析过程中面临着故障空间过大的问题.并且传统安全性分析中以故障列表的方式描述故障无法刻画故障间的约束关系.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的模型.本文提出一种利用特征模型描述故障约束关系的安全性分析方案.首先,从系统描述及安全需求中提取故障约束关系,利用特征模型对其建模,通过故障特征模型优化故障空间;然后,建立系统行为模型并利用时序逻辑描述系统安全属性;最后利用软件产品线模型检测器对系统进行验证.本文通过A320液压系统对方法进行说明,证明了方法的正确性,进而验证故障特征模型对于分析效率的提升.

基于SVG的GOOSE数字二次回路测试技术的研究

针对智能变电站采用基于IEC 61850规约的面向通用对象的变电站事件(Generic Object Oriented Substation Event,GOOSE)跳闸及联、闭锁方式的数字二次回路与传统二次回路相比在测试方法上存在重大区别的问题,为了达到清晰明了的二次回路可视化检测的目的,提出了一种利用变电站配置描述(Substation Configuration Description,SCD)文件提取GOOSE信息,使用可缩放矢量图形(Scalable Vector Graphics,SVG)实现图形化数字二次回路,并在图形界面操作中对GOOSE数字二次回路进行测试的技术方案。实测结果表明:该方案具体可行、效果良好,为将来的数字化变化站验收测试提供了一种可视化、方便的测试方法,可极大地提高测试效率。

浅析无功补偿在电网中的发展趋势

阐述了无功功率在电压稳定和谐波抑制方面的作用,根据宁夏电网无功补偿的实际情况和发展趋势,分析了3种动态无功补偿装置(SVC)的原理,介绍了无功补偿方式的发展趋势和方向。

基于χChek的软件产品线多值模型检测方法

软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek,通过基于动作的模型描述方法,对软件产品线进行描述,然后转换成为χChek规定的模型格式,同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性,使用χChek进行验证。

低密度高强度水泥浆体系在苏丹1/2/4区块的应用

苏丹1/2/4区块中的4区面积较1区和2区大,是地层较复杂的区块,此区块的Zarap、Betinue和Baraka等层位地层压力系数低,固井施工中易发生水泥浆漏失,造成低返;地层成岩性差,易发生井塌,糖葫芦现象严重,固井施工中顶替效率低.并且这一区块的井普遍较深,封固段较长.苏丹1/2/4区块位于北纬5°～10°之间,天气炎热,年平均气温高,地温梯度高,给固井施工带来很大的困难.文章从地层资料、井身结构、固井工艺等环节进行分析、研究,经过大量的室内试验和现场应用,确定出性能优良的低密度高强度水泥浆体系,解决了该地区固井技术难题.

肺动脉、双下肢深静脉及下腔静脉CT联合成像的方法与价值

目的:探讨肺动脉、双下肢深静脉及下腔静脉CT联合成像的方法与价值。方法:Ⅰ组36例患者肺动脉联合间接法双下肢深静脉及下腔静脉CT血管成像;Ⅱ组20例患者直接法双下肢深静脉、下腔静脉联合肺动脉CT血管成像。结果:两种方法共56例患者目标血管显影良好,肺动脉CT值大于165 HU,下肢深静脉及下腔静脉CT值大于110 HU,其内血栓CT值小于70 HU,目标血管与血栓的密度有显著性差异。结论:两种方法安全可靠、操作简便、目标血管显影达到诊断要求,可作为疑似肺动脉栓塞、双下肢深静脉及下腔静脉血栓患者的有效检查手段。

考虑低电压穿越能力的风火联运系统暂态稳定分析

对风火联运系统的暂态稳定性进行机理研究。根据低电压穿越试验的实测波形总结DFIG风机的功率调制行为特征,并采用DFIG的受控功率源模型,在原型系统中研究风场在系统大扰动过程中的作用。风电出力整体水平低时,主导失稳模式为功角失稳,风电出力的瞬时调制能够改变同等功角摇摆程度下的火电电磁功率,进而影响相邻同步机的功角暂态稳定。风电比例足够高时,主导失稳模式转化为功角、电压的混合失稳。若故障期间风场未进入低穿模式,风机的功率源特性使得网络约束呈现非线性,并导致同步机在功角摇摆过程中可能触碰奇异面而发生系统的暂态电压崩溃。当风场进入低穿模式而进行功率调制时,其在故障期间主动降低输出有功,可改变相邻同步机的加、减速特性以及系统距离奇异的程度。风场的无功调制可以支撑系统电压而提高临界功角值。低穿后的有功恢复行为会显著影响系统回到稳定的速度。

应用改进的遗传算法优化软件产品线特征选择

软件产品线工程是一个利用更全面的软件复用技术能够在开发成本和产品上市时间方面极大改善软件开发过程的有效方式.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的需求模型.基于特征模型的产品配置难点在于如何从复杂的特征模型中选择满足约束条件的最优的特征组合,如资源约束等.为了实现有约束的特征选择优化问题,提出一种基于原子集和遗传算法优化特征选择的方法.该方法是在原子集优化特征模型基础上,利用特征模型的整体约束信息将种群分为有效配置和无效配置,对有效配置和无效配置进行交叉等遗传操作使其加速向最优解收敛.实验结果说明了该方法的有效性.

MSCT 3D技术在踝关节骨折Lauge-Hansen分型中的应用

目的研究MSCT3D技术对于踝关节骨折Lauge-Hansen分型的诊断准确性及其适用范围。方法收集2017年1月-2017年12月间我院踝关节骨折患者300例,所有患者X线及CT诊断均按Lauge-Hansen分型,并将结果与术中所见进行对照,对Lauge-Hansen分型的准确性及适用性进行分析。将CT诊断分型与术中分型对照,判断CT3D技术的准确性。结果 MSCT3D技术对于踝关节骨折的分型准确性较X线高,二者差异有统计学意义(χ~2=14.063,P<0.01)。Lauge-Hansen分型的适用率约为96.37%,对Lauge-Hansen分型适用患者的临床手术证实其分型的准确率为96.89%。Lauge-Hansen分型缺陷:在直接或垂直暴力以及高能创伤引起的踝关节骨折中,Lauge-Hansen分型有其局限性。结论CT3D技术与Lauge-Hansen分型结合,对于踝关节骨折的诊断准确性较高,且CT3D技术对于骨折的形态表现和隐匿性骨折发现方面优势明显。结合Lauge-Hansen分型与CT3D技术对于踝关节损伤的治疗方案制定提供准确的参考。

基于特征切片的软件产品线模型检测

特征模型是一种描述软件产品线中共性和可变性特征的通用形式。特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础。随着软件产品线的规模和复杂程度的增加,如何有效支持以用户需求为基础以及根据特定需求和利益相关者的目标进行个性定制开发是亟待解决的实际问题。提出一种根据用户需求对特征模型进行切片,进一步结合三值逻辑对行为模型进行抽象,最后利用模型检测技术对软件产品线进行验证的方法。实验结果证实了该方法的有效性。

双能量减影与低剂量多排螺旋CT在输尿管结石诊断中的应用价值

目的探讨双能量减影(DES)与低剂量多排螺旋CT(MSCT)在输尿管结石诊断中的应用价值。方法选择2020年1月至2021年6月中山市中医院收治的62例疑似输尿管结石患者作为研究对象。62例患者均接受DES与低剂量MSCT检查,观察DES与低剂量MSCT诊断输尿管结石结果。以临床最终诊断结果作为金标准,比较DES与低剂量MSCT诊断输尿管结石的特异度、准确度和灵敏度,比较DES与低剂量MSCT对不同部位输尿管结石的诊断检出率。结果临床最终诊断结果显示,62例疑似输尿管结石患者中阳性49例,阴性13例。其中下段输尿管结石19例,中段输尿管结石16例,上段输尿管结石14例。DES诊断输尿管结石的准确度、灵敏度高于低剂量MSCT,差异有统计学意义(P<0.05);两种检查方法诊断输尿管结石的特异度比较,差异无统计学意义(P>0.05);两种检查方法在下段、中段、上段输尿管结石诊断检出率比较,差异无统计学意义(P>0.05)。结论DES诊断输尿管结石敏感度、准确度较高,有利于提高输尿管结石检出率,降低漏诊、误诊风险,进而为患者的诊断及治疗提供确切指导,可作为诊断输尿管结石的优选方法。