针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DF...针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。展开更多
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的...通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.展开更多
目的:本研究旨在评估白蛋白校正阴离子间隙(albumin-corrected anion gap,ACAG)与急性胰腺炎(acute pancreatitis,AP)患者短期至长期死亡结局之间的关联。方法:这项回顾性研究基于美国重症监护医学信息数据库(Medical Information Mart ...目的:本研究旨在评估白蛋白校正阴离子间隙(albumin-corrected anion gap,ACAG)与急性胰腺炎(acute pancreatitis,AP)患者短期至长期死亡结局之间的关联。方法:这项回顾性研究基于美国重症监护医学信息数据库(Medical Information Mart for Intensive Care,MIMIC)-Ⅳ,将诊断为AP并入住重症监护病房的成人患者纳入了研究,通过COX回归风险分析、受试者工作特征(receiver operating characteristic,ROC)曲线分析、卡普兰-迈耶(Kaplan-Meier,K-M)生存曲线分析、限制性立方样条以及亚组分析判断ACAG对AP患者死亡结局的预测能力。结果:本研究共入组444例患者,根据入院后28 d的患者死亡情况将患者分为存活组(412例)及死亡组(32例),入院后28 d死亡率为7.2%。多因素COX回归显示ACAG是AP患者入院28 d全因死亡率的独立预测因子(HR=1.18;95%CI=1.05~1.32),而在90 d(HR=1.05,95%CI=0.97~1.14),180 d(HR=1.01,95%CI=0.94~1.09)和1年(HR=1.02,95%CI=0.95~1.10)的预后判断能力上,ACAG并不能作为AP患者死亡结局的独立预测因子。ROC曲线分析显示ACAG预测28 d死亡结局的曲线下面积(area under the curve,AUC)为0.732(95%CI=0.632~0.832),优于AG[AUC=0.665(95%CI=0.550~0.781)]和血清白蛋白(serum albumin,ALB)[AUC=0.655(95%CI=0.550~0.761)],与序贯器官衰竭评分(sequential organ failure score,SOFA)相近[AUC=0.745(95%CI=0.651~0.838)]。根据ROC曲线得出ACAG的最佳界值为21.375。将ACAG以21.375分为高值组与常值组,K-M分析显示ACAG高值患者死亡率高于ACAG常值患者(P<0.001)。亚组分析显示结果稳定。结论:ACAG可作为AP患者入院后28 d全因死亡率的独立预测因子,其检验效能优于AG及ALB,与SOFA相近,但与AP患者90 d、180 d,1年死亡结局的相关性并不具有显著性。展开更多
文摘针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。
文摘通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.
文摘目的:本研究旨在评估白蛋白校正阴离子间隙(albumin-corrected anion gap,ACAG)与急性胰腺炎(acute pancreatitis,AP)患者短期至长期死亡结局之间的关联。方法:这项回顾性研究基于美国重症监护医学信息数据库(Medical Information Mart for Intensive Care,MIMIC)-Ⅳ,将诊断为AP并入住重症监护病房的成人患者纳入了研究,通过COX回归风险分析、受试者工作特征(receiver operating characteristic,ROC)曲线分析、卡普兰-迈耶(Kaplan-Meier,K-M)生存曲线分析、限制性立方样条以及亚组分析判断ACAG对AP患者死亡结局的预测能力。结果:本研究共入组444例患者,根据入院后28 d的患者死亡情况将患者分为存活组(412例)及死亡组(32例),入院后28 d死亡率为7.2%。多因素COX回归显示ACAG是AP患者入院28 d全因死亡率的独立预测因子(HR=1.18;95%CI=1.05~1.32),而在90 d(HR=1.05,95%CI=0.97~1.14),180 d(HR=1.01,95%CI=0.94~1.09)和1年(HR=1.02,95%CI=0.95~1.10)的预后判断能力上,ACAG并不能作为AP患者死亡结局的独立预测因子。ROC曲线分析显示ACAG预测28 d死亡结局的曲线下面积(area under the curve,AUC)为0.732(95%CI=0.632~0.832),优于AG[AUC=0.665(95%CI=0.550~0.781)]和血清白蛋白(serum albumin,ALB)[AUC=0.655(95%CI=0.550~0.761)],与序贯器官衰竭评分(sequential organ failure score,SOFA)相近[AUC=0.745(95%CI=0.651~0.838)]。根据ROC曲线得出ACAG的最佳界值为21.375。将ACAG以21.375分为高值组与常值组,K-M分析显示ACAG高值患者死亡率高于ACAG常值患者(P<0.001)。亚组分析显示结果稳定。结论:ACAG可作为AP患者入院后28 d全因死亡率的独立预测因子,其检验效能优于AG及ALB,与SOFA相近,但与AP患者90 d、180 d,1年死亡结局的相关性并不具有显著性。
