S3级临床实践指南在口腔医学的发展应用

在口腔医学领域,新的国际S3级指南的出现为相关疾病患者的管理提供了高质量的推荐建议,在国际性指南的基础上,也需结合我国的实际情况进行改编和应用。本文旨在介绍S3级临床实践指南分级系统和基本方法学原理,并对指南改编和本土化应用现状进行简要介绍。

国产SW26010-Pro处理器上3级BLAS函数众核并行优化

BLAS(basic linear algebra subprograms)是最基本、最重要的底层数学库之一.在一个标准的BLAS库中,BLAS 3级函数涵盖的矩阵-矩阵运算尤为重要,在许多大规模科学与工程计算应用中被广泛调用.另外,BLAS 3级属于计算密集型函数,对充分发挥处理器的计算性能有至关重要的作用.针对国产SW26010-Pro处理器研究BLAS 3级函数的众核并行优化技术.具体而言,根据SW26010-Pro的存储层次结构,设计多级分块算法,挖掘矩阵运算的并行性.在此基础上,基于远程内存访问(remote memory access,RMA)机制设计数据共享策略,提高从核间的数据传输效率.进一步地,采用三缓冲、参数调优等方法对算法进行全面优化,隐藏直接内存访问(direct memory access,DMA)访存开销和RMA通信开销.此外,利用SW26010-Pro的两条硬件流水线和若干向量化计算/访存指令,还对BLAS 3级函数的矩阵-矩阵乘法、矩阵方程组求解、矩阵转置操作等若干运算进行手工汇编优化,提高了函数的浮点计算效率.实验结果显示,所提出的并行优化技术在SW26010-Pro处理器上为BLAS 3级函数带来了明显的性能提升,单核组BLAS 3级函数的浮点计算性能最高可达峰值性能的92%,多核组BLAS 3级函数的浮点计算性能最高可达峰值性能的88%.

益气升阳汤联合祛腐生肌法外敷治疗Wagner2-3级糖尿病足溃疡效果观察

目的:探讨益气升阳汤联合祛腐生肌法外敷治疗Wagner2-3级糖尿病足溃疡效果。方法:选取2022年1月至2023年12月在本院收治的80例Wagner2-3级糖尿病足溃疡患者为研究对象。采用随机数表法将其分为联合组和单一组,均40例。两组患者均根据《中国糖尿病足防治指南2019》给予基础治疗,在此基础上单一组给予祛腐生肌法外敷治疗,联合组在单一组治疗基础上予以益气升阳汤治疗,均连续治疗1个月。比较两组临床效果、溃疡创面恢复情况、局部疼痛程度、踝肱指数及血清C反应蛋白变化情况。结果:两组临床总有效率比较,联合组明显高于对照组(P<0.05)。经治疗,联合组肉芽形态、创面深度、创面面积及创面周围红肿范围评分均低于对照组(均P<0.05)。经治疗2周后及治疗4周后,两组VAS评分均明显下降,且联合组治疗2周后及治疗4周后均低于单一组同时间VAS评分(P<0.05)。经治疗,联合组患者ABI高于单一组,CRP水平低于单一组(P<0.05)。结论:益气升阳汤联合祛腐生肌法外敷治疗Wagner 2-3级糖尿病足溃疡可提高临床效果,促进溃疡创面恢复,减轻患者部疼痛,提高踝肱指数且可降低CRP水平。

基于GSM-R和5G-R的CTCS-3级列控系统无线通信协议设计及差异性分析

随着我国5G网络建设日趋成熟,CTCS-3级列控系统及下一代列控系统承载大容量数据业务的需求也愈发强烈。5G-R网络作为替代GSM-R网络的下一代铁路通信移动系统,提供面向字节流的传输服务,具有宽带宽、高速率、低时延的优势,GSM-R网络下的无线通信协议已不再适用。从总体结构、协议分层和协议分割重组等方面对5G-R网络下的无线通信协议进行设计,从协议功能、传输可靠性、传输速率等方面对GSM-R网络和5G-R网络下的两种无线通信协议的差异性进行比对分析。5G-R网络下设计的无线通信协议可靠性更高、传输速率更快,可充分利用和发挥5G-R网络的优势。研究成果可对CTCS-3级列控系统在5G-R网络下的无线通信协议建设提供思路和借鉴。

C3级列控系统无线通信协议引起的无线通信超时优化建议

无线通信超时是铁路信号故障整治的重点和难点,中国国家铁路集团有限公司联合各铁路局集团公司、通信信号厂商开展专项整治以来,无线通信超时情况虽降幅显著,但在铁路信号故障中仍占有较大比例。结合无线通信超时整治工作,以几种典型车地无线通信协议引起的无线通信超时为例,对无线通信超时发生的原因进行专项剖析,明确了车载ATP和地面RBC设备在协议处理中不合理之处,并在深入研究无线通信协议规范的基础上,提出了相关优化建议,为完善无线通信协议、减少无线通信超时问题提供方案和思路。

基于STPA与时序逻辑的CTCS-3级列控系统安全分析

中国列车控制系统(Chinese train control system,CTCS)作为一种安全苛求系统,使用前需要经过严格的安全分析和测试。对我国铁路客运干线主要采用的CTCS-3级列控系统而言,由于传统的安全分析方法主要关注单一场景,因而对其复合场景的安全性分析存在欠缺。此外,CTCS-3列控系统对控制时序有严格要求,现有安全分析方法难以有效解决该问题。为解决上述问题,采用基于系统理论的过程分析方法,以便更全面、更准确地分析CTCS-3级列控系统的安全性。首先,在分析CTCS-3级列控系统典型运营场景的基础上,提取由列控系统直接控车的运营场景,并建立分层控制结构模型;其次,结合时序逻辑辨识运营场景的不恰当控制行为,并将各场景中互不冲突的不恰当控制行为组合成复合场景;最后,对复合场景进行分析,辨识导致不恰当控制行为的控制缺陷。仿真结果表明:系统理论的过程分析方法可以实现对CTCS-3级列控系统复合场景功能的安全性分析。

CTCS-3级列控系统无线超时智能分析系统研究

研究CTCS-3级列控系统无线超时智能分析技术,并基于专家系统技术设计无线超时智能分析系统。一方面,通过将知识库分组保证对数据完整性不同的无线超时事件分析的准确性。另一方面,通过在推理机中采用优化的模式匹配算法保证分析效率。本系统能够满足无线超时分析对准确性和时效性的要求。

CTCS-3级列控系统无线超时分析关键技术探索

阐述CTCS-3级列控系统无线超时分析应具备的核心功能以及相应的实现技术。对如何降低无线超时分析中的人工分析的重复工作量、提升自动分析的准确率进行研究;同时,通过对GSM-R网络以及CTCS-3级列控设备的运用质量趋势分析,帮助维护人员及早发现故障隐患。

面向L3级自动驾驶高速公路道路测试场景的构建方法

自动驾驶技术的发展离不开道路测试,科学完善的自动驾驶测试评价体系需要完整的测试场景做支撑。高速公路场景作为L3级自动驾驶的典型应用场景,相关的测试标准、测试方法、测试场景亟需明确。文章通过对L3级自动驾驶高速公路道路测试场景来源、场景分类与要素、场景构建关键技术等分析,结合L3级自动驾驶高速公路应用场景,从自动驾驶车辆应急处置、人工介入能力和综合驾驶能力等方面,提出L3级自动驾驶高速公路道路测试场景及测试项目,为后续道路测试评价方法提供基础。

基于L3级自动驾驶的HMI设计

根据L3级自动驾驶项目的相关开发经验,对L3级自动驾驶汽车HMI设计中的问题及痛点进行分析,找出具体根源,同时描述HMI设计在自动驾驶中的作用,并结合实际应用,论述L3级自动驾驶HMI设计的相关原则。

CTCS-3级列控车载电台无线通信超时问题探讨

CTCS-3级列控系统因车载电台未正常起呼或单电台RBC交权而引起的无线通信超时,均被判定为电台工作异常导致,但更换电台也无法解决,运维效率低下。通过自主化电台日志分析,得出电台小区重选或位置更新异常是造成这2类故障的根本原因。结合电台小区重选和位置更新的流程,提出在电台及网络侧的优化建议方案,为从根本上解决类似问题提供思路。

基于自主化电台的CTCS-3级列控系统无线通信超时分析

CTCS-3级列控系统车载设备中的电台是实现车地之间双向通信的核心模块,目前多为国外厂商产品,存在维护管理功能接口不开放、售后服务质量不高等问题。针对CTCS-3级列控系统中由干扰导致的单电台、网络单通等引起的无线通信超时问题,利用自主化电台强大的日志记录功能,精确定位故障原因,可为同类故障分析提供思路。

CTCS-3级列控系统等级转换失败原因分析及解决措施

装备CTCS-3级列控车载设备的列车从CTCS-2级线路向CTCS-3级线路运行时需进行CTCS-2/3等级转换,在转换过程中车地建立无线通信连接时的列控数据交互,需经过物理层、链路层、传输层、安全层和应用层等,任何一步失败,都会导致列车无法转换到CTCS-3等级运行。从CTCS-2/3级等级转换失败案例中选取车载未发送SABME帧、车载发送多条SABME帧、RBC收到多条M155消息包等典型问题进行分析,分别从车载、网络和地面3个方面提出针对性的解决措施,可为类似问题的处理提供借鉴。

新疆于田7.3级地震前瞻性预测回顾及其震后趋势分析

基于作者提出的孕震断层多锁固段脆性破裂理论与相关预测方法,作者曾对于田地震区未来震情进行了前瞻性预测分析,给出了该地震区强(大)震事件的震级、震中经纬度、震源深度以及临界Benioff应变值四要素预测结果.将上述四要素预测结果与2014年2月12日新疆于田MS7.3级地震参数进行比较,表明:四要素预测值与实际值相差不大,对于田地震区的前瞻性中长期预测结果可信.此外,本文认为2008年新疆于田—策勒ML6.6级震群事件是2014年新疆于田7.3级地震发震的直接导火索.

基于动态故障树的CTCS-3级ATP系统可靠性分析

针对传统的可靠性分析方法分析CTCS-3级ATP系统动态失效问题的不足,提出采用动态故障树分析其可靠性.首先,分析系统的结构和功能建立动态故障树模型;其次,采用深度优先最左遍历算法搜索动态故障树模型,得到独立的子树;最后,在引入可修系统可靠性指标基础上,采用解析法和马尔科夫矩阵迭代法求解子树,结合分层迭代方法对动态故障树分析法改进,以减小运算量,使得上述可靠性指标能用于CTCS-3级ATP系统的可靠性评估.计算所得可靠性指标与可靠性框图分析得到的结果对比表明:动态故障树能够更好地描述系统的冗余性和容错性等特点,提高了可靠性指标的精度.

2011年4月10日四川炉霍Ms 5.3级地震强震记录与震害特点

四川数字强震台网中的9个台站获取了2011年4月10日四川炉霍Ms5.3级地震完整的三分向加速度记录,高频成分丰富,频谱主要成分集中在0.1～0.3s之间,最大加速度值为炉霍台EW向405.8cm/s2。震后的地震宏观考察结果表明,本次地震的极震区地震烈度达Ⅶ度,等震线沿鲜水河断裂呈NW-SE向的不规则椭圆形,NW部的面积明显大于SE部。综合分析认为,震区建筑物自振周期与本次地震加速度反应谱的高频成分高度吻合是震害偏重的主要原因,"崩科"藏式建筑抗震性能较差亦加重了震害。联系到本次地震P波向NW方向传播速度明显快于SE方向、等震线形态以及余震稀少等事实,推测这次地震系2010年4月14日青海玉树Ms7.1级地震的远程触发,导致鲜水河断裂上应力调整而产生弹性回跳的结果。

CTCS-3级列控系统临时限速建模与验证

为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应.

基于UML模型的CTCS-3级列控系统功能安全分析方法

本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。

基于GPRS分组交换网络的CTCS-3级列控系统车地安全数据传输的可行性

基于高速铁路既有的通用分组无线业务(GPRS)分组交换网络以及CTCS-3级列控系统车地安全数据传输需求,提出GPRS承载CTCS-3级列控系统车地安全数据传输业务的服务质量(QoS)关键指标和协议栈;基于半实物仿真平台提出GPRS网络承载车地安全数据传输QoS测试方法,并对QoS关键指标进行测量和分析。结果表明:40字节和128字节用户数据报协议(UDP)数据帧端到端传输时延在改进网络临时块流(TBF)释放机制后,可以满足车地安全数据传输QoS的需求;GPRS网络的误帧/丢帧主要出现在小区重选时,下行链路误帧/丢帧率高于上行链路误帧/丢帧率;GPRS附着时延和分组数据协议(PDP)激活时延可以满足车地安全数据传输QoS的需求。优化GPRS网络数据传输时延、小区重选机制和重选时的数据缓存机制是利用GPRS网络承载CTCS-3级列控系统车地安全数据传输的关键。

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。