XiaoMi-AI文件搜索系统
World File Search SystemHavioural
![arXiv:2206.08672v1 [cs.LG] 2022 年 6 月 17 日](/simg/4\4f093dd2d7aa1e81a52f7bb83b2cd91073856ab1.webp)
arXiv:2206.08672v1 [cs.LG] 2022 年 6 月 17 日
摘要 收集眼动信息可以让我们了解人类认知、健康和行为的许多关键方面。此外，许多神经科学研究利用脑电图 (EEG) 提供的高时间分辨率和神经生理标记来补充从眼动追踪中获得的行为信息。眼动追踪软件处理的基本步骤之一是将连续数据流分割成与眼动追踪应用相关的事件，例如扫视、注视和眨眼。在这里，我们介绍了 DETRtime，这是一个新颖的时间序列分割框架，它创建的眼动事件检测器不需要额外记录的眼动追踪模式，而仅依赖于 EEG 数据。我们基于端到端深度学习的框架将计算机视觉领域的最新进展带到了 EEG 数据时间序列分割的前沿。DETRtime 在各种眼动追踪实验范式中实现了眼动事件检测的最佳性能。除此之外，我们还提供证据证明我们的模型在 EEG 睡眠阶段分割任务中具有很好的泛化能力。
用于管理更年期症状的非荷尔蒙选择
目标。越来越多的绝经妇女经历了明显的症状，但禁忌或选择地选择以避免激素替代疗法（HRT）。因此，严格的研究越来越需要急需，并验证替代性治疗选择以减轻绝经症状并防止该人群中潜在的长期干扰。本次审查的目的是总结最新的早期症状管理和预防潜在的长期投诉的非荷尔蒙选择。材料和方法。通过PubMed，Scopus，Medline，Cochrane Library，ClinicalTri Als.gov和Embase的Sys Tematic搜索确定了相关出版物。搜索是通过交叉引用所检索文章的书目进行补充的。结果。在更年期，生活方式和营养的改善对于维持和促进所有治疗的整体福祉至关重要。虽然植物药，补充剂，维生素，针灸，催眠和疗法可能会缓解早期症状，但其有效性仍未得到充分证明。由于植物雌激素的显着雌激素和抗雌激素特性，需要特别谨慎。此外，SSRIS和SNRIS等潮汐药对管理症状有希望。结论。重要的是要认识到非荷尔蒙疗法应根据其主要作用机理推荐。例如，加巴喷丁可能是患有潮热和腿部不安综合征的患者的首选选择。然而，由于围绕绝经症状的神经内分泌原因的不确定性，焦油的发展仍在进行中。
UML-MARTE 安全关键实时系统的时间属性验证框架
摘要：时间属性是安全关键型实时系统 (RTS) 可靠性的关键要求。UML 和 MARTE 是标准化建模语言，被工业设计师广泛接受用于使用模型驱动工程 (MDE) 设计 RTS。然而，在系统生命周期的早期阶段对 UML-MARTE 模型进行形式化验证仍然是一个悬而未决的问题。在本文中 1 ，我们提出了一个针对 UML-MARTE 安全关键型 RTS 的时间属性验证框架。该框架依赖于从 UML 架构和行为模型到用时间 Petri 网 (TPN) 表示的可执行和可验证模型的属性驱动转换。同时，它将时间属性转换为一组属性模式，对应于 TPN 观察者。然后对生成的 TPN 执行基于观察者的模型检查方法。该验证框架可以评估时间属性，例如循环和缓冲区的上限、最佳/最坏情况响应时间、最佳/最坏情况执行时间、最佳/最坏情况遍历时间、可调度性和同步相关属性（同步、巧合、排除、优先、子发生、因果关系）。此外，它还可以验证一些行为属性，例如没有死锁或死分支。该框架通过一个代表性案例研究进行了说明。本文还提供了实验结果并评估了该方法的性能。
通过多模态脑成像进行监督表型发现
通过数据驱动，从大规模多模态脑成像数据中发现图像衍生表型 (IDP)，通过将 IDP 与受试者的人口统计、行为、临床和认知指标（即非成像衍生表型或 nIDP）联系起来，对神经科学和临床研究具有巨大潜力。然而，目前的方法主要基于无监督方法，而不使用 nIDP 中的信息。在本文中，我们提出了监督式 BigFLICA（SuperBigFLICA），这是一种用于 IDP 发现的半监督、多模态和多任务融合方法，它同时整合了来自多种成像模态和多个 nIDP 的信息。SuperBigFLICA 具有计算效率高的特点，并且在很大程度上避免了参数调整的需要。我们使用英国生物库脑成像数据集（包含约 40,000 名受试者和 47 种模式）以及超过 17,000 个 nIDP，表明 SuperBigFLICA 增强了 nIDP 的预测能力，与通过传统专家知识和无监督学习方法得出的 IDP 相比（平均 nIDP 预测准确率提高高达 46%）。它还可以学习可以预测新 nIDP 的通用成像特征。对 SuperBigFLICA 算法的进一步实证分析证明了其在不同预测任务中的稳健性，以及在预测健康结果和认知 nIDP（例如流体智力和高血压评分）时得出具有生物学意义的 IDP 的能力。
青春期雄性大鼠全身性注射丙酸后的行为和大脑超微结构变化。进一步开发自闭症啮齿动物模型
摘要 短链脂肪酸是肠道微生物代谢物，但也存在于饮食中，对宿主生理学产生广泛影响。丙酸 (PPA) 与丁酸和醋酸一起，在健康和神经系统疾病中发挥着越来越重要的作用。人类、动物模型和细胞系中 PPA 暴露增加会引起与有机酸尿症、线粒体疾病和自闭症谱系障碍 (ASD) 一致的各种行为和生化变化。ASD 被认为是一种突触功能障碍和细胞信号传导障碍，也是神经炎症和神经代谢成分。我们在雄性青春期大鼠单次腹膜内 (ip) 注射 PPA (175 mg/kg) 后检查了行为 (Morris 水迷宫和放射臂迷宫) 以及海马和内侧前额叶皮质的超微结构 (电子显微镜)。PPA 治疗显示社交和运动行为发生改变，而学习和记忆没有变化。在 CA1 海马区检测到了突触、星形细胞和小胶质细胞的短暂和持久的超微结构改变。电子显微镜分析显示 PPA 治疗显著减少了突触小泡、突触前线粒体和具有对称活性区的突触的总数。因此，短暂全身性地服用这种膳食和肠溶短链脂肪酸会产生行为和动态大脑超微结构变化，进一步验证了 ASD 的 PPA 模型。
产前接触大麻对青少年大脑结构和功能连接以及行为结果的影响
怀孕期间使用大麻的妇女数量有所增加。先前的研究表明，产前接触大麻的儿童记忆力发育缺陷，注意力下降。在本研究中，我们评估产前接触大麻是否与青少年大脑区域形态和功能与结构连接的改变有关。我们从青少年大脑认知发展 SM 研究中下载了行为分数和受试者图像文件。共获得了 178 个解剖和扩散磁共振成像文件（88 个产前大麻暴露和 90 个年龄和性别匹配的对照）和 152 个静息态功能磁共振成像文件（76 个产前大麻暴露和 76 个对照）。还获得了每个受试者基于父母报告的儿童行为清单的行为指标。计算了产前大麻暴露与儿童行为清单的 17 个分量表的关联。我们根据基于体素和基于表面的形态测量法评估了产前接触大麻的青少年与对照组的大脑形态测量差异。我们还评估了青少年区域间连接和图论指标的结构和功能连接的组间差异。评估了产前大麻暴露和图网络相互作用对行为得分的影响。酌情进行了多重比较校正。产前接触大麻的青少年在 17 个分量表中的 9 个中具有更高的异常或边缘儿童行为检查表得分。产前接触大麻的青少年和对照组在基于体素或表面的形态测量法、结构连接或功能连接方面没有显著差异。然而，产前大麻暴露-图网络相互作用在行为得分方面存在显著差异。有三种结构性的产前大麻暴露-图网络相互作用和七种功能性的产前大麻暴露-图网络相互作用与行为得分显著相关。虽然这项研究无法证实产前接触大麻和未接触大麻的青春期前儿童在解剖学或功能上的差异，但产前接触大麻与大脑结构和功能图网络之间的相互作用与行为评分有显著相关性。这表明，大脑网络的改变可能是产前接触大麻的青少年行为结果的基础。需要开展更多工作，以更好地了解大脑结构和功能网络测量在产前接触大麻方面的预后价值。
β触发的自适应深脑刺激帕金森氏病
丘脑下核（STN）β触发的自适应深脑刺激（ADB）已被证明可提供与常规连续DBS（CDB）相当的临床改进，其能量较少，而能量较少，而刺激较少诱导的副作用。但是，几个问题仍未得到解决。首先，在自愿运动之前和期间，STN Beta谱带功率的逻辑逻辑降低正常。ADBS系统将在帕金森氏病患者运动过程中减少或停止刺激，因此与CDB相比可能损害运动性能。第二，在以前的大多数ADB研究中，Beta功率在400毫秒的时间段内进行了平滑和估计，但是较短的平滑周期可能具有更大的优势，即对Beta功率的变化更加站点，这可以增强运动性能。在这项研究中，我们通过使用标准的400毫秒和较短的200毫秒平滑窗口来评估STNβ触发的ADB的有效性来解决这两个问题。帕金森氏病的13人的结果表明，减少量化β的平滑窗口的确会导致β爆发持续时间缩短，这是通过增加β爆发的数量短于200 ms，并且更频繁地打开/关闭刺激剂，但没有造成的效果。与没有DBS相比，ADB和CDB都在同等程度上提高了运动性能。此外，与没有DBS相比，ADB显着地证明是震颤，但不如CDB。二级分析表明，β功率下降和GAM MA功率在预测更快的运动速度方面存在独立的影响，而Beta事件的减少相关的DENCHRONIANINID（ERD）预先固定了更快的运动启动。CDB抑制了Beta和伽玛的抑制作用和伽玛，而在CDB和ADB中，Beta ERD与无DBS相比降低到相似的水平，这共同解释了CDB和ADB期间CDBS运动的SIMI LAR性能提高。这些结果表明，受STN触发的ADB有效地改善了帕金森氏病患者的运动过程中运动性能，而平滑窗口的缩短不会导致任何额外的行为益处。为帕金森氏病开发ADBS系统时，可能没有必要跟踪非常快的beta dy namics；结合β，伽玛和运动解码的信息可能会更有益于最佳治疗震颤所需的其他生物标记。
β触发的自适应深脑刺激帕金森氏病
丘脑下核（STN）β触发的自适应深脑刺激（ADB）已被证明可提供与常规连续DBS（CDB）相当的临床改进，其能量较少，而能量较少，而刺激较少诱导的副作用。但是，几个问题仍未得到解决。首先，在自愿运动之前和期间，STN Beta谱带功率的逻辑逻辑降低正常。ADBS系统将在帕金森氏病患者运动过程中减少或停止刺激，因此与CDB相比可能损害运动性能。第二，在以前的大多数ADB研究中，Beta功率在400毫秒的时间段内进行了平滑和估计，但是较短的平滑周期可能具有更大的优势，即对Beta功率的变化更加站点，这可以增强运动性能。在这项研究中，我们通过使用标准的400毫秒和较短的200毫秒平滑窗口来评估STNβ触发的ADB的有效性来解决这两个问题。帕金森氏病的13人的结果表明，减少量化β的平滑窗口的确会导致β爆发持续时间缩短，这是通过增加β爆发的数量短于200 ms，并且更频繁地打开/关闭刺激剂，但没有造成的效果。与没有DBS相比，ADB和CDB都在同等程度上提高了运动性能。此外，与没有DBS相比，ADB显着地证明是震颤，但不如CDB。二级分析表明，β功率下降和GAM MA功率在预测更快的运动速度方面存在独立的影响，而Beta事件的减少相关的DENCHRONIANINID（ERD）预先固定了更快的运动启动。CDB抑制了Beta和伽玛的抑制作用和伽玛，而在CDB和ADB中，Beta ERD与无DBS相比降低到相似的水平，这共同解释了CDB和ADB期间CDBS运动的SIMI LAR性能提高。这些结果表明，受STN触发的ADB有效地改善了帕金森氏病患者的运动过程中运动性能，而平滑窗口的缩短不会导致任何额外的行为益处。为帕金森氏病开发ADBS系统时，可能没有必要跟踪非常快的beta dy namics；结合β，伽玛和运动解码的信息可能会更有益于最佳治疗震颤所需的其他生物标记。