N.C. Audsley、M. Burke 英国航空航天可靠计算系统中心,约克大学计算机科学系,约克 Y01 5DD,英国。{neil,baemike}@cs.york.ac.uk 摘要——本文探讨了通过重新配置将高级容错形式引入安全关键型航空电子系统的问题。这是在分布式集成航空电子系统发生故障后提高可用性所必需的(与静态联合系统相比)。采取的方法是确定从当前架构到包含或多或少重新配置的架构的迁移路径。确定的其他挑战包括开发过程的变化;增量和灵活的时间和安全性分析;适用于安全关键系统的可配置内核。目录
在全球范围内,5.1至12.4%的艾滋病毒(PLWH)患者也患有慢性丙型肝炎病毒(HBV)共感染(Leumi等,2020)。最常见的抗逆转录病毒疗法(ART)用于治疗HIV/ HBV共感染的个体是替诺福韦富马酸(TDF)或Tenofovir alafenamide(TAF)与Lamivudine(3TC)或Emtritoitabine(FTC)的组合。由于其对HBV和HIV-1感染的双重活性,它改善了HBV病毒血症的控制并降低了肝纤维化和耐药性(Boyd等,2021; Ryom等,2022)。与慢性HBV单感染相比,HBV患者的HIV速度加快了慢性HBV向肝脏肝硬化,肝细胞癌(HCC)或末期肝病的发展(Singh等,2017; Kouame; Kouame ́等,2018)。乙型肝炎表面抗原(HBSAG)的丧失,无论是否有或不发育表面抗原的抗体,通常都被认为是功能性治愈方法,是慢性肝炎B(CHB)感染的最终治疗目标(欧洲肝脏研究协会,肝脏研究协会,2017年; Martin等,20222222222年)。尽管如此,这种结果仅在少数患者中得以实现(Zhou等,2019; Hsu等,2021; Hsu等,2022)。最近,许多研究表明,与患有慢性HBV一单位抗逆转录病毒疗法(CART)的HIV/HBV共感染的个体中,HBSAG血清清除率更高,与患有慢性HBV一单位疗法的人进行了抗逆转录病毒疗法(CART)(CART)(YEO等人,2019年; Audsley等,2020; Chihihota; Chihota et and,2020;此外,我们探讨了临床变量与此结果的关联。然而,关于HBSAG下降的研究和在HIV/HBV共感染中影响其的因素的研究有限。必须理解与患有HIV/ HBV共感染的个体中HBSAG丢失有关的潜在预测因子和生物标记。这将增强我们对HIV/HBV共感染的潜在机制的理解,并有可能帮助医生制定更有效的治疗策略。在本文中,我们对HIV/HBV共感染的个体开始了购物车后对HBSAG损失进行了前瞻性检查。