简介 规划验证问题就是确定给定的规划是否是规划问题的解决方案。由于该问题的研究可能有助于规划研究,因此在过去十年中引起了越来越多的关注。例如,在国际规划竞赛 (IPC) 中,独立的规划验证者对于验证参与规划者是否制定了正确的规划至关重要。最近,有几项研究探索了在人机交互中部署规划验证技术的可能性。例如,Behnke、H¨oller 和 Biundo (2017) 指出了计划验证与混合初始规划 (Myers 等人,2003) 之间的联系,其中规划器应根据用户的变更请求迭代调整其输出计划,计划验证也可以看作是规划域验证的一种方法 (Lin 和 Bercher,2021、2023;Lin、Grastien 和 Bercher,2023),即决定规划域是否正确建模,其中计划作为测试用例给出,该计划应该是规划问题的解决方案,验证失败表明该域存在一些缺陷。在本文中,我们考虑分层任务网络 (HTN) 规划中的计划验证问题 (Erol、Hendler 和 Nau,1996;Geier 和 Bercher,2011;Bercher、Alford 和 H¨oller,2019)。我们特别关注一类特殊的 HTN 规划问题,即全序 (TO) HTN 规划问题,该问题在 HTN 规划中发挥着重要作用,事实证明 TO 规划问题基准数量远远超过偏序 (PO)
1。发展精神疾病的机制,重点是羰基胁迫Arai Makoto165。旨在治疗顽固性疾病Amaike amaike kazuma的生物聚合物DDS
1 以羰基应激为重点的精神疾病发病机制阐明 新井诚 95 开发用于评估心肌细胞运动“质量”的人工智能 内藤敦彦
目的:紫杉醇 (PTXL) 和吉西他滨 (GEM) 的序贯治疗被认为对非小细胞肺癌具有临床益处。本研究旨在研究能够在癌细胞内顺序释放 PTXL 和 GEM 的纳米系统的有效性。方法:PTXL-ss-聚(6-O-甲基丙烯酰-d-半乳吡喃糖)-GEM (PTXL-ss-PMAGP-GEM) 是通过二硫键 (-ss-) 将 PMAGP 与 PTXL 结合而设计的,而 GEM 则通过琥珀酸酐 (PTXL:GEM=1:3) 结合。两亲性嵌段共聚物 N-乙酰-d-葡萄糖胺 (NAG)-聚(苯乙烯-alt-马来酸酐) 58 -b-聚苯乙烯 130 充当靶向部分和乳化剂,用于形成纳米结构 (NLC)。结果:PTXL-ss-PMAGP-GEM/NAG NLC(119.6 nm)在体外依次释放 PTXL(氧化还原触发),然后是 GEM(pH 触发)。氧化还原和 pH 敏感的 NLC 很容易均匀分布在细胞质中。NAG 增强了癌细胞对 NLC 的吸收和肿瘤的积累。与缺乏 pH/氧化还原敏感性或游离药物组合的 NLC 相比,PTXL-ss-PMAGP-GEM/NAG NLC 在体外表现出协同细胞毒性,并且在肿瘤小鼠中具有最强的抗肿瘤作用。结论:本研究证明了 PTXL-ss-PMAGP-GEM/NAG NLC 能够通过靶向细胞内顺序释放药物实现协同抗肿瘤作用。关键词:顺序释放、氧化还原敏感、pH 敏感、协同效应、联合药物输送、吉西他滨、紫杉醇
随着对类风湿关节炎 (RA) 发病机制认识的不断加深[1],靶向治疗得以成功应用于 RA,并提高了 RA 临床缓解或降低疾病活动度的效果[2]。RA 的靶向治疗分为肿瘤坏死因子 (TNF) 抑制剂、非 TNF 抑制剂和 Janus 激酶抑制剂 (JAKi),其中 JAKi 是最新推出的药物。许多临床研究已验证了这些靶向治疗的疗效和安全性,随后也有研究使用真实世界数据确定其长期安全性[3-7]。靶向治疗所用的药物作用方式不同,但在疗效上并无临床重要差异[8]。因此,对于对传统合成的改善病情抗风湿药物 (csDMARDs) 反应不足 (IR) 的 RA 患者,建议通过医患共同决策过程使用 JAKis、TNF 抑制剂和非 TNF 抑制剂 [9, 10]。TNF 抑制剂是第一个用于治疗 RA 的生物制剂,目前韩国已批准阿达木单抗、依那西普、戈利木单抗和英夫利昔单抗 [11]。这些药物具有相同的疗效和安全性,以及对血液系统恶性肿瘤和结核病等机会性感染的担忧 [12]。阿巴西普和托珠单抗是可用于治疗 RA 的非 TNF 抑制剂,两者均被证实具有与 TNF 抑制剂相似的疗效 [3, 13]。然而,非 TNF 抑制剂与 TNF 抑制剂单药治疗的疗效不同:阿巴西普和托珠单抗已用作单药治疗,与甲氨蝶呤 (MTX) 联用疗效相似,而 TNF 抑制剂被推荐与 MTX 联用[14]。与 TNF 抑制剂相比,总体安全性没有显著差异 [12,15],但据报道阿巴西普的住院感染风险低于 TNF 抑制剂[16]。此外,阿巴西普被认为对患有间质性肺病 (ILD) 和慢性阻塞性肺病 (COPD) 等肺部合并症的患者是安全的[17,18]。虽然利妥昔单抗是另一种可用于 csDMARD-IR RA 患者的生物制剂 DMARD (bDMARD),但它在韩国尚未被批准作为二线治疗。最近,JAKis 已被开发用于治疗 RA:托法替尼是第一个发布并获批用于治疗 RA 的 JAKi(2015 年),巴瑞替尼和乌帕替尼目前也在韩国上市 [ 3 , 19 ]。JAKis 是低分子量化合物,可以方便地口服给药,而其他疗法则需要注射。因此,JAKis 的一大优势是它们不会出现皮下注射 bDMARDs 引起的注射部位反应 [ 20 ]。然而,JAKi 使用者担心带状疱疹和血栓栓塞风险增加等安全问题 [ 21 , 22 ]。新指南建议在使用靶向治疗时按照治疗达标 (T2T) 策略进行序贯治疗,并导致 RA 治疗模式发生重大变化 [9]。在 bDMARD 和 JAKi 之间选择哪种药物作为二线治疗是序贯治疗最重要的一步。可用性是首先要考虑的主要因素,但靶向治疗的选择会受到患者和医生相关因素的影响 [20,23]。例如,由于担心注射和注射部位的副作用,给药途径可能是决定患者偏好的重要因素 [24,25]。另一方面,指南的变化和个人用药经历等医生因素可能会影响靶向治疗的选择 [26]。在本研究中,我们旨在确定在现实世界中影响对 csDMARD 耐药的 RA 患者选择 JAKi 作为首选靶向治疗的因素。
可控离子和超冷原子阵列可以模拟复杂的多体现象,并可能为现代科学中尚未解决的问题提供见解。为此,需要实验上可行的协议来量化量子关联和相干性的积累,因为执行全状态断层扫描不能随粒子数量而有利地扩展。在这里,我们开发并通过实验证明了这样一种协议,它使用多体动力学的时间反转来测量远程 Ising 自旋量子模拟器中的非时间顺序关联函数 (OTOC),该模拟器在 Penning 阱中有超过 100 个离子。通过测量作为可调参数函数的 OTOC 系列,我们获得了关于多量子相干谱中编码的系统状态的细粒度信息,提取了量子态纯度,并展示了多达 8 体关联的积累。该协议的未来应用可以用于研究多体定位、量子相变以及量子和引力系统之间的全息对偶性测试。电视
Metacaulk® 350i 是一种单组分通用防火密封剂和烟雾密封剂,适用于建筑接缝和贯穿孔。Metacaulk 350i 是一种水基、膨胀性极强、不下垂的填缝级密封剂,易于涂抹和改造。它固化后会形成弹性密封,适用于预计会发生动态运动的地方。发生火灾时,Metacaulk 350i 将防止火焰、烟雾、热气和水通过接缝开口和贯穿孔蔓延。使用时无需稀释或混合。安装时无需特殊技能。Metacaulk 350i 可使用传统填缝枪、散装枪涂抹,也可以从桶中抹平。对于大型应用,可以直接从桶中泵送。根据 ASTM E1966 (UL 2079) 测试标准,Metacaulk 350i 系统的额定时间为 1、2 和 3 小时。Metacaulk 350i 在潮湿阶段和干燥阶段均能通过多种杀菌剂防止霉菌生长。
Metacaulk 150+ 是一种单组分通用防火密封剂、隔音密封剂和烟雾密封剂,适用于建筑接缝和贯穿孔。Metacaulk 150+ 是一种水基、不下垂的填缝级密封剂,易于涂抹和改造。它固化后会形成弹性密封,适用于预计会发生动态运动的地方。发生火灾时,Metacaulk 150+ 将防止火焰、烟雾、热气和水通过接缝开口和贯穿孔蔓延。使用时无需稀释或混合。安装时无需特殊技能。Metacaulk 150+ 可使用传统填缝枪、散装枪涂抹,也可以从桶中抹平。对于大型应用,可以直接从桶中泵送。根据 ASTM E814 (UL 1479) 和 ASTM E1966 (UL 2079) 测试标准,Metacaulk 150+ 系统的额定使用寿命长达 4 小时。Metacaulk 150+ 在潮湿阶段和干燥阶段均能通过多种杀菌剂防止霉菌生长。
。cc-by-nc-nd 4.0国际许可证(未获得同行评审证书)获得的是作者/资助者,他已授予Biorxiv授予Biorxiv的许可,以永久显示预印本。这是该版本的版权持有人,该版本于2024年6月26日发布。 https://doi.org/10.1101/2023.10.30.564663 doi:Biorxiv Preprint
。cc-by-nc-nd 4.0国际许可证(未获得同行评审证书)获得的是作者/资助者,他已授予Biorxiv授予Biorxiv的许可,以永久显示预印本。这是该版本的版权持有人,该版本发布于2024年8月9日。 https://doi.org/10.1101/2023.10.30.564663 doi:Biorxiv Preprint