基于STAMP与组合测试的城轨全自动运行系统车载设备安全测试方法研究

针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。

全电子联锁自动测试平台设计与实现

针对如何提升全电子联锁自动测试覆盖率、正确率等问题,分析全电子联锁功能测试需求和测试场景,采用模块化框架(test script modularity)和函数库框架(test library architecture),设计实现全电子联锁自动测试平台。该自动测试平台为用户提供测试函数库,能够有效提升全电子联锁测试效率和准确率。

地铁信号系统对位隔离功能室内测试方案研究

对于全自动无人驾驶地铁信号系统,列车到站停车后,信号系统可以控制站台门和车门同时打开和关闭;当站台门或车门出现故障时,需要对站台门或车门进行对位隔离操作,锁闭故障站台门或车门,并及时对故障进行处理,保障地铁信号系统及旅客乘降安全。该文介绍站台门和车门对位隔离的基本流程,并根据其接口特点,对室内测试对位隔离功能的方案进行探讨与分析。

一种针对全自动运行系统的测试用例生成方法

针对全自动运行系统测试指定路径覆盖的测试需求,基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论,建立全自动运行系统的时间自动机模型;为表征全自动运行系统指定路径覆盖的测试需求,提出基于时间自动机模型的标记变量建模方法;结合Yggdrasil的测试用例生成机制,提出全自动运行系统测试用例生成方法,同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则;以全自动运行系统的模式转换功能为例,建立时间自动机模型并生成测试用例。结果表明,测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边,能够满足全自动运行系统指定路径覆盖的测试要求。

FAO信号系统测试方案的探讨与研究

针对城市轨道交通FAO信号系统技术要求高、接口关系复杂等特点,结合FAO信号系统上云等最新技术发展趋势,对标欧标,采用“V”模型周期控制方法,提出FAO信号系统的测试方案,分析各阶段的测试目的、测试平台及测试内容,为FAO项目如期全功能开通提供一种测试方法的指导和借鉴。

基于全自动测试的一键顺控验证装置设计与实现

一键顺控的部署和实际应用离不开对顺控逻辑的详细测试和验证,但一键顺控任务重、工作量大、验证环节多且受限于实际现场设备运行条件和操作本身严格的判据条件,不能高效率、充分完整地进行全逻辑测试和验证。为了解决该问题,提出了基于全自动测试的一键顺控验证装置,围绕操作票的管理、预演,防误逻辑验证,通过仿真全站间隔层设备和调度主站,构建自动测试环境,实现对顺控操作票的全自动验证。

全自动运行信号系统自动疏散方案研究

由于全自动运行(FAO)列车上无司机值守,若遇故障需进行乘客疏散时,要求FAO系统具备自动疏散功能。基于FAO相关子系统功能分配方案,分析全自动运行信号系统自动疏散信息交互原理;定义疏散请求区和疏散防护区,阐述其设计原则;重点针对驶向相邻区域控制器(ZC)边界的列车因相邻ZC故障触发疏散导致无法折返或者停靠站台的情况,提出在ATS界面增加ZC边界疏散旁路功能;提出区分站台和站间、不区分站台和站间2种自动疏散配置方案,可供用户根据需求进行选择;最后在集成测试平台上对自动疏散功能进行场景分析和测试用例设计。自动疏散设计和室内仿真测试方案已成功应用于上海、深圳、苏州等城市的轨道交通全自动运行信号系统中,可为后续全自动运行系统设计提供一定的指导。

全自动血细胞分析仪与血涂片细胞形态学在血常规检验中的作用分析

分析全自动血细胞分析仪与血涂片细胞形态学在血常规检验中的作用,评估其在临床实践中的应用价值。选取2022年6月—2023年6月期间100例不同年龄段、性别和疾病类型的患者进行血常规检验。分别对患者实施全自动血细胞分析仪与血涂片细胞形态学检验,比较两种方法的准确率。根据100例患者血液样本的检测结果显示,经全自动血细胞分析仪检测时,共有47例患者呈阳性,阳性率为47.00%,阴性率为53.00%;经血涂片细胞形态学检测时,共有26例患者呈阳性,阳性率为26.00%,阴性率为74.00%。经统计学分析,两种不同检验方式下检验结果的阳性率对比差异具有统计学意义(P<0.05)。研究发现,全自动血细胞分析仪和血涂片细胞形态学在血常规检验中各有优势。全自动血细胞分析仪适用于大规模常规检测,提供快速、准确的结果。两种方法结合使用在临床实践中具有重要意义,可以有效支持医生对患者进行快速诊断和治疗决策。

抗凝剂物质对便携式血糖仪比对测试结果的影响研究

目的 探讨抗凝剂物质对便携式血糖仪比对测试结果的影响。方法 根据中华人民共和国国家标准GB/T19634-2005制备低浓度、正常范围、高浓度血糖标本各100份。以肝素锂、乙二胺四乙酸二钾(EDTA-K2)及氟化钠作为抗凝物质,采用拜尔抗RO、强生、罗氏、韩国i-SENS4种便携式血糖仪检测;采用日立全自动生化分析仪检测以上浓度的血糖值。比较不同类型便携式血糖仪比对试验通过率,各便携式血糖仪与生化分析仪血糖检测结果;并分析抗凝剂物质对便携式血糖仪比对测试结果的影响,分析不同类型便携式血糖仪与生化分析仪血糖检测结果的相关性,分析不同类型便携式血糖仪精密度。结果 采用拜尔抗RO、强生稳豪、罗氏、韩国i-SENS便携式血糖仪30台完成血糖仪比对试验,30台便携式血糖仪中3台仪器未通过,通过率为90.0%,其中拜尔抗RO通过率为100.00%,而韩国i-SENS便携式血糖仪通过率最低,为66.67%。拜尔抗RO、强生稳豪、罗氏、韩国i-SENS便携式血糖仪对低浓度、正常范围、高浓度标本的测定结果与生化分析仪比较差异均无统计学意义(P>0.05)。为了分析肝素锂、EDTA-K2及氟化钠不同类型抗凝剂物质对便携式血糖仪测定结果的影响,通过不同血糖浓度下利用4种便携式血糖仪测定,结果表明:血糖浓度1.1~3.3 mmol/L、11.1~16.7 mmol/L、18.1~22.2 mmol/L下拜尔抗RO、强生稳豪、罗氏、韩国i-SENS便携式血糖仪采用肝素锂、EDTA-K2抗凝对血糖测定结果无影响;拜尔抗RO、强生稳豪、罗氏、韩国i-SENS便携式血糖仪采用氟化钠作为抗凝物质测定结果高于肝素锂和EDTA-K2,差异具有统计学意义(P<0.05)。采用Pearson相关性分析软件,以生化分析仪作为因变量,便携式血糖仪为自变量,完成线性回归分析,拜尔抗RO、强生稳豪、罗氏、韩国i-SENS便携式血糖仪的r值分别为0.999、0.994、0.984、0.987。以便携式血糖测定仪重复测定100份标本进行计算,拜尔抗RO、强生稳豪、罗氏、韩国i-SENS便携式血糖仪变异系数(CV)分别为1.49%~2.21%、1.84%~2.51%、5.29%~5.53%和5.13%~6.98%,以CV≤7.5%为标准,所有仪器均合格。结论 拜尔抗RO、罗氏、韩国i-SENS血糖仪的检测一致性较好,而国产强生稳豪的检测结果受到氟化钠抗凝物质的影响,但是均与日立全自动生化分析仪结果存在强相关性,临床检测时应根据需求选择合适的便携式血糖仪,降低内外源性干扰物的影响。

固井连续混浆自动控制系统开发及应用测试

针对我国固井作业自动化水平不高、控制软件缺乏,以及国外同类先进技术严格封锁的现状,设计开发了适应我国面向“一键式”全自动固井作业的连续混浆控制系统,并在模拟实际固井作业工况下进行了应用测试。该系统由涵盖11个阶段的固井作业全流程、混浆密度/料位协调和包括5个阶段的自动清洗控制等子控制系统构成,实现了作业设备运行参数的实时采集全覆盖,并在统一的信息平台上实现供液、供灰、混浆和泵注等多设备的集成管理与控制。应用测试结果表明,所开发的控制系统能够显著提高固井装备自动化能力和精准连续施工水平,混浆密度的超调量和调节时间分别小于0.5%和68 s,水泥浆密度控制偏差≤±0.01 g/cm^(3)。所得结论可为固井作业工艺和操作的智能化提供理论参考。

全自动微生物流水线在临床微生物检验实习教学中的应用

临床微生物学检验是检验专业实习的重要内容,为了激发学生的学习兴趣,培养学生的临床思维和科研思维能力,使他们掌握临床微生物学检验基本理论知识和技能,在临床微生物检验实习教学中,利用全自动微生物流水线平板影像系统拍照保存各种常见病原菌、少见病原菌、高致病性病原微生物的生长过程,以及纸片扩散法抑菌圈测量图片,把拍照的生长过程图片作为基本的教学素材;通过以问题为基础的教学法(problembased learning,PBL)和以案例为基础的教学法(case-based learning,CBL),吸引学生兴趣,提高微生物实践的记忆力提高学生的学习热情,有目的地引导学生把专业知识、临床病症以及文献查阅相结合,激发学生学习的兴趣,通过对常见病原菌及少见菌进行分析研究,从而培养学生的逻辑思维能力、科研思维能力。

一种全自动药敏系统检测念珠菌抗真菌药物敏感性的应用评价

目的评价一种全自动真菌药敏分析系统检测念珠菌属对常用抗真菌药物体外敏感性的临床应用价值。方法利用微量肉汤稀释法CLSI M27-A4和全自动真菌药敏系统检测100株念珠菌对9种抗真菌药物的敏感性,对两种方法的一致性进行分析。结果两种方法的一致性与所检测的念珠菌属及抗真菌药物种类有关,检测白念珠菌时,卡泊芬净的基本一致性为75%,检测光滑念珠菌时,卡泊芬净和伏立康唑的分类一致性分别为61.1%和66.7%,其他基本一致性和分类一致性为83%~100%;两种方法测定100株念珠菌对9种抗真菌药物总的基本一致性在89%以上,总的分类一致性在91%以上。结论全自动真菌药敏分析系统检测念珠菌属体外药物的敏感性与CLSI方法一致性较好,具有快速和自动的优势,在临床微生物实验室具有很好的应用价值。

坡地新型内焊机及全自动焊接工艺

如何实现管道连续性、安全性作业逐渐成为坡地管道施工亟待解决的难题。为此,研制了CPP900-FIW48新型内焊机,制定了“内焊机根焊+双焊炬自动焊机外焊”全自动焊接工艺。通过力学性能试验和现场工艺试验进行相关试验研究。试验结果表明:新型内焊机及其配套的全自动焊接工艺可在山区、丘陵等坡地管道上坡与下坡施工中实现连续、安全及根焊至盖面焊全工序的自动焊接;其自动对中定位、一键遥控自动焊接等功能,可提高焊炬中心基于管端定位的精度与效率,从而实现内环缝焊接全过程自动化;15°~30°坡度范围内管道环缝焊接应重点控制热输入量、焊接电压、焊接电流等,且通过焊接参数的适时调整控制熔池下坠。所得结论可为坡地管道自动焊作业提供技术指导。

钻井液智能检测评价系统的研制与现场应用

钻探过程中钻井液性能的实时检测、数据云储、智能诊断、自动优化建议,是油气行业实现智能化、数字化转型的先决要素,为此研发出一套基于行业标准、现场施工要求、配合物联网及大数据平台相结合的钻井液智能检测系统。该系统可在常温~200℃,常压~8 MPa条件下进行24H*365D的全时段、全自动、不间断检测不同钻井液体系性能参数,测试范围包括钻井液温度、密度、流变参数、中压及高温高压滤失量参数和滤液离子参数的变化,并根据智能分析模块对钻井液的实时参数与设计参数进行对比分析,及时提供钻井液优化建议,保证井下施工安全。通过长期室内检测及现场多口试验井数千组实验对比数据得出,流变模块及滤失模块准确率97.3%,离子测试模块准确率96.2%,为安全、高效、智能的油气勘探开发前景提供了精确、稳定的数据保障。

智能采制化系统在选煤厂的应用

目前智能采制化设备形式多样,使用条件和性能差异较大,给拟建智能煤质检测的选煤厂造成了选择的困扰。通过对目前市面上主流的几种智能采样、智能制样、智能化验设备进行全面对比,建议根据选煤厂检测需求选择合适的智能采制化设备,可节约投资,减员增效。

全自动血细胞分析仪和血涂片细胞形态学在贫血患者血常规检测中的应用价值

目的研究并探讨对贫血患者开展血常规检测时应用全自动血细胞分析仪、血涂片细胞形态学检测方法的诊断作用。方法样本选择时间范围在2021年1月—2022年12月,选择高密市人民医院缺铁性贫血患者60例和健康志愿者60名,分别设为研究组和对照组。采集所有受检者外周静脉血,对血液样本开展血常规检测,检测时分别应用全自动血细胞分析仪、血涂片细胞形态学两种方法。比较两组受检者以及不同程度缺铁性贫血患者的指标水平;对进行血常规检测时采用的两种方法单独与联合应用诊断缺铁性贫血的结果进行比较。结果研究组的RBC、Hb、MCV、MCH水平均明显低于对照组,RDW水平明显高于对照组[RBC(×10^(12)/L):3.26±0.41比4.47±0.52,Hb(g/L):103.45±12.03比126.24±18.29,MCV(fL):82.53±6.95比90.45±7.24,MCH(pg):22.58±2.09比29.67±3.15,RDW(%):21.69±3.54比13.85±2.27,均P<0.05]。在缺铁性贫血患者中,重度组的RBC、Hb、MCH、MCV水平均明显低于轻中度组,RDW水平则明显高于轻中度组[RBC(×10^(12)/L):3.14±0.22比3.39±0.25,Hb(g/L):101.78±3.25比105.21±3.40,MCV(fL):81.15±2.56比83.90±2.83,MCH(pg):21.49±1.30比23.67±1.78,RDW(%):22.40±1.52比20.95±1.43,均P<0.05]。缺铁性贫血患者的RBC、Hb、MCH、MCV与病情严重程度呈负相关,RDW与其病情严重程度则呈正相关。对缺铁性贫血开展诊断时,两种检测方法联合应用的灵敏度、特异度、准确度、阳性预测值、阴性预测值均比单一检测更高(灵敏度:98.33%比88.33%、85.00%,特异度:96.67%比83.33%、85.00%,准确度:97.50%比85.83%、85.00%,阳性预测值:96.72%比84.13%、85.00%,阴性预测值:98.31%比87.72%、85.00%,均P<0.05)。结论在血常规检测中联合应用全自动血细胞分析仪、血涂片细胞形态学两种方法对缺铁性贫血的诊断效能较高,可准确反映患者血液指标变化,并辅助评估病情。

城轨交通全自动运行系统组合测试用例生成方法

为提高城轨全自动运行系统测试的全面性,结合时间自动机建模方法和组合测试理论,提出全自动运行系统组合测试用例生成方法。首先,以全自动运行系统运营场景为测试建模对象,基于时间自动机建模方法,描述全自动运行系统的运营场景,利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径;其次,采用输入域建模理论,提取测试路径反映的系统工况作为组合测试的输入参数,利用组合测试算法生成全自动运行系统的组合测试用例;最后,以全自动运行系统中的唤醒场景为例,采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型,以向前跳跃失败为例,采用2-维组合覆盖生成组合测试用例。结果表明,测试用例100%覆盖测试模型所有的边和节点,以及测试模型任意2个输入之间的组合,提升了全自动运行系统测试的完备性。

全自动血细胞分析仪与血涂片细胞形态学在血常规检验中的应用

研究了在血常规检验中实施全自动血细胞分析仪与血涂片细胞形态学检查的应用效果。从广州市越秀区儿童医院血常规检验患者中选取50例入组,为患者实施全自动血细胞分析仪与血涂片细胞形态学检查,对比复检结果,分析全自动血细胞分析仪、血涂片细胞形态学诊断的准确率、特异性、灵敏度、阳性预测值、误诊率、漏诊率、阴性预测值及嗜碱性细胞、淋巴细胞、中性粒细胞、嗜酸性细胞、单核细胞等各细胞阳性率。研究发现,在血常规检验中为患者实施血涂片细胞形态学能够使患者整体误诊率及漏诊率降低,积极加强血常规检验诊断准确性。

尿常规检验中尿沉渣全自动分析仪与显微镜检测法的应用效果对比

对比尿沉渣全自动分析仪与显微镜检测法在尿常规检验中的应用效果。选取于2020年1月—2020年12月期间南京中医药大学连云港附属医院接受尿常规检验的400例患者为研究样本。采集尿液,制尿液标本,开展不同的检测与分析,运用尿沉渣全自动分析仪、显微镜检测法和尿干化学法,对比不同检测方法的检测结果。尿沉渣全自动分析仪尿液白细胞、红细胞、上皮细胞、细胞管型阳性率为47.50%、48.25%、45.00%、19.50%,显微镜检测法为46.00%、47.50%、43.75%、19.75%,尿干化学法为20.63%、33.00%、31.50%、14.00%。三种检测方式比较,尿沉渣全自动分析仪与显微镜检测法检测比尿干化学法高,差异显著(P<0.05);但尿沉渣全自动分析仪与显微镜检测法检测的阳性率相比,无显著差异(P>0.05)。研究发现,应用尿沉渣全自动分析仪、显微镜检测法,均可在尿常规检验发挥重要作用,但各有优势和不足,可采取联合检测方式提高检验准确率。

基于多功能加载系统的全机械式桩基模型试验装置研发

在借鉴国内外学者关于桩基模型试验装置研究经验的基础上,自主研发了基于多功能加载系统的全机械式桩基模型试验装置,该装置可实现抗压、抗拔、水平桩基模型试验的加载。其桩基模型试验系统主要由模型槽、加载系统、测量系统等组成,模型槽全机械连接,可根据试验需求设置不同的长、宽、高;全自动加载系统可实现每级荷载的稳压要求,并且电脑自动控制和采集,试验的精确性和可靠性大幅度提高;全自动加载系统具有两向或三向同时加载的功能,可模拟桩基在不同工况下的承载性能。采用该装置进行了Y形桩抗压、抗拔、水平单桩模型试验,验证了该试验装置和加载系统的可行性和可靠性。