XiaoMi-AI文件搜索系统
World File Search System检查方法
超声波对锂离子电池的无损测试用于异常检测和质量控制：应用和信号处理
使用超声检查方法用于异常和锂离子电池中的缺陷检测一直是研究人员近年来的一个令人兴奋的主题。用于电池检查的超声波技术主要集中于监视电池状态，识别内部缺陷，并检测诸如锂电池，气体产生和扩展，润湿的一致性以及热失控等问题。该技术通常采用脉搏回波方法，使用触点或沉浸式设置在电池中进行内部缺陷检测。随着超声技术的不断发展，预计将在锂电池检查的各个方面应用越来越多的超声技术。右审讯频率的使用取决于检查的目标。例如，当电池内部有大量阻塞信号的大气体时，使用低频检查。渗透量可能表明细胞的气体程度如何。通过传输信号用于识别与电池内部缺陷相关的音速或穿透量。另一方面，反射信号主要用于定位内部缺陷。当需要单向穿透（例如厚棱镜细胞）并在传感器和细胞之间具有距离时，浸入设置很有用。接触测试通常也用于SOC或SOH估计。
患有儿童的肾病的临床和实验室特征
尿酸盐，草酸盐等。[12]。根据科学家的说法，尿酸盐肾病是甲状谢生肾病的常见选择，因为具有糖尿病特征的碳水化合物（肥胖，MS，MS，痛风，动脉粥样硬化，动脉粥样硬化，胰岛素敏感性）构成了与高尿液症（GU）相关的整个病理状况的范围（GU）。碳水化合物疾病与GU的表现水平之间存在相似之处[11，14，1]。发现尿酸在结构上与Alloxan（糖尿病性物质）相关[19]。尿酸在QD发展中的病因作用已在实验研究的基础上得到证明：对大鼠的SC施用导致尿酸糖尿病的发展。在这方面，及时启动了对毒素代谢的治疗措施与尿酸胺甲摩甲代谢相结合的医学，经济和社会重要性非常重要[6，19]。工作的目的：研究糖尿病患者尿液肾病的临床和实验室特征。案例研究和检查材料：50例1型QD患者，28名男孩，22名6至16岁的女孩。作为对照组，接受了20例1型QD患者，无高尿酸血症，高尿尿液，蛋白尿，即正常尿液分析。作为规范，服用了10个没有加重家族解剖学（QD，代谢综合征）的同一年龄的健康儿童。该疾病的平均持续时间为3。24±0.8岁，也就是说，该疾病的持续时间绝对不足以发展糖尿病性肾病。在特殊检查中未观察到酮症。该疾病在6个儿童中是可变的，每年2次，剩下的1-2次疾病，相对稳定。到达医院时，所有患者均处于碳水化合物代谢的代谢阶段，在12例患者（24％）中确定了糖基化血红蛋白的量（nhe a 1s），从3.8％到14.4％，平均值为8.0±3.57％。根据血糖剖面的每日数据，血糖的平均每日水平为3.2至14.1 mmol/L，平均值为8.4±2.4 mmol/l。根据血糖特征的每日数据，血糖的平均每日水平范围为2.5至28.1 mmol/L，平均为13.29±4.8 mmol/l。检查方法：检查患者的临床和实验室特征列于表1。在这张表中可以看出，检查的患者的年龄没有差异（R˃0.05）。临床检查方法包括：对患者的一般检查，通过触诊，打击乐器（比较，地形）对器官和系统的客观检查，通过Korotkov方法对动脉血压进行听诊和测量。
参数化量子电路的等效性检验
变分量子算法已被引入作为一类有前途的量子-经典混合算法，它已经可以通过采用参数化量子电路与当今可用的嘈杂量子计算硬件一起使用。考虑到量子电路编译的非平凡性质和量子计算的微妙性，验证这些参数化电路是否已正确编译至关重要。已经存在处理无参数电路的既定等效性检查程序。但是，尚未提出能够处理带参数电路的方法。这项工作填补了这一空白，表明可以使用基于 ZX 演算的等效性检查方法以纯符号方式验证参数化电路的等效性。同时，可以利用参数化电路固有的自由度，用传统方法有效地获得不等式证明。我们实现了相应的方法并证明了最终的方法是完整的。实验评估（使用 Qiskit 提供的整个参数化 ansatz 电路库作为基准）证明了所提方法的有效性。该实现是开源的，作为等效性检查工具 QCEC（https://github.com/cda-tum/qcec）的一部分公开可用，该工具是慕尼黑量子工具包（MQT）的一部分。
银屑病关节炎中的肌腱炎（第 3 部分）：临床评估和治疗。
摘要 肌腱炎是 PsA 的常见临床特征，其特征是肌腱、韧带和关节囊纤维插入骨的部位发炎。肌腱炎是脊柱关节炎中相对独特的疾病，这使得该组疾病有别于其他风湿病。本增刊的配套文章介绍了该临床领域的病理生理基础及其影像学评估。本文重点关注通过体格检查评估肌腱炎、肌腱炎对功能和生活质量的影响、伴随 FM 对临床评估的影响以及生物和靶向合成 DMARD 试验中获得的肌腱炎治疗证据。已经开发了几种肌腱炎的体格检查方法，并被证明可用于评估肌腱炎。肌腱炎对功能和生活质量有显著的有害影响。 20% 的患者同时存在 FM，这可能导致疾病严重程度评估人为恶化，并阻碍实现低疾病活动度或缓解的目标。多种靶向疗法，例如针对 TNF、IL-17、IL-23、磷酸二酯酶 4 或 Janus 激酶通路，在治疗肌腱炎方面表现出显著疗效，从而改善了 PsA 患者的功能和生活质量。
电力传输线检查：方法，挑战，当前状态和无人空中系统的使用
动力传输线的抽象状态监视是提高传输效率并确保不间断的电源的重要方面。其中有效的检查方法在任何地理和环境条件下的努力和成本，最低劳动和易于执行方面进行定期检查起着至关重要的作用。较早地使用各种方法，例如手动检查，滚动线机器人检查和基于直升机的检查。在当今几天中，基于无人机的检验技术正在逐渐提高其工作速度的适用性，在困难环境方面的灵活性，数据收集的准确性和成本最小化。本文报告了一项有关电力传输线系统检查以及其中使用的各种方法的最先进的研究，以及它们的优点和缺点，这些研究得到了解释和比较。此外，还针对用于电源线检查的现有视觉检查系统进行了审查。除此之外，还讨论了用于电力传输线检查的区块链实用程序，这说明了下一代数据管理的可能性，自动化有效检查并为当前挑战提供解决方案。总的来说，审查展示了一个深入学习，导航控制概念和高级传感器利用的协同整合的概念，因此可以通过实施的不同方面对具有高级计算技术的无人机进行分析。
UML-MARTE 安全关键实时系统的时间属性验证框架
摘要：时间属性是安全关键型实时系统 (RTS) 可靠性的关键要求。UML 和 MARTE 是标准化建模语言，被工业设计师广泛接受用于使用模型驱动工程 (MDE) 设计 RTS。然而，在系统生命周期的早期阶段对 UML-MARTE 模型进行形式化验证仍然是一个悬而未决的问题。在本文中 1 ，我们提出了一个针对 UML-MARTE 安全关键型 RTS 的时间属性验证框架。该框架依赖于从 UML 架构和行为模型到用时间 Petri 网 (TPN) 表示的可执行和可验证模型的属性驱动转换。同时，它将时间属性转换为一组属性模式，对应于 TPN 观察者。然后对生成的 TPN 执行基于观察者的模型检查方法。该验证框架可以评估时间属性，例如循环和缓冲区的上限、最佳/最坏情况响应时间、最佳/最坏情况执行时间、最佳/最坏情况遍历时间、可调度性和同步相关属性（同步、巧合、排除、优先、子发生、因果关系）。此外，它还可以验证一些行为属性，例如没有死锁或死分支。该框架通过一个代表性案例研究进行了说明。本文还提供了实验结果并评估了该方法的性能。
GAO-17-513，商用装甲车辆：国防部有采购指南，但陆军可以采取行动加强检查和监督
选定的国防部部件的 ACPV 相关合同行动通常符合确保 ACPV 安全和质量的指导、政策和程序，并包括符合最低装甲标准的合同语言。然而，陆军有机会改进其进行中检查（在车辆装甲时进行的检查）的流程，因为陆军主要依赖供应商的质量控制流程。GAO 对 2011 年至 2015 年期间用于为选定的国防部部件采购 ACPV 的合同行动的审查表明，除了陆军只对单个合同行动进行了此类检查外，其他部门都进行了进行中检查。如果没有进行中检查，陆军就等于接受了车辆安全风险。此外，除陆军外，所有国防部部件都有一个中央办公室和报告 ACPV 信息的机制。这种分散的方法使陆军对各种 ACPV 相关事项（包括采购和检查方法）的了解不完整。联邦内部控制标准要求建立允许监督的机制，以帮助陆军等组织确保遵守装甲和检查标准。如果没有指定的中央联络点，陆军可能会面临向负责监督装甲和检查标准实施的国防部官员报告 ACPV 信息的挑战。
美国宇航局先进无损检测标准的开发和验证
摘要 复合材料在飞机制造中的结构应用不断增加，但对于该行业来说仍然相对较新。与金属结构相比，复合材料部件的开发和认证成本很高。用于金属等各向同性材料的传统无损评估 (NDE) 方法可能不适用于复合材料应用，因此是开发新结构复合材料的成本和复杂性的一个因素。此外，复合材料中感兴趣的缺陷与金属有很大不同。因此，高质量的复合材料参考标准对于获得可靠且可量化的 NDE 结果至关重要。理想情况下，参考标准包含的缺陷或损坏的 NDE 指示最接近实际缺陷/损坏造成的缺陷或损坏。它们还应该易于复制且制造成本低廉。美国宇航局的先进复合材料项目与行业合作伙伴合作，开发了一套复合材料标准，其中包含一系列经过验证的缺陷，这些缺陷代表了航空航天复合材料中常见的缺陷。本文将概述制造的标准、用于制造它们的制造计划、包含的缺陷类型以及已执行的验证测试。还讨论了针对这些标准进行的实验室间“循环”测试。本文将介绍一份正在编制的指导文件，该文件概述了复合材料特有的具有挑战性和关键性的缺陷的相关检查程序，而传统技术可能不适用。关键词：复合材料、NDE、标准简介在先进复合材料项目 (ACP) 中，NASA 正在与航空航天业的成员合作，以缩短开发和认证商用和军用航空器复合材料结构的时间表。NASA 和业界已确定三个重点领域或技术挑战，它们对当前的认证时间表有重大影响。一个重点领域，技术挑战 (TC2) - 快速检查，涉及通过开发定量和实用的检查方法、数据管理方法、模型和建模工具来提高检查吞吐量。TC2 的目标之一是开发用于快速定量表征缺陷的工具。复合材料在飞机制造中用于结构应用的采用持续增加，但对于该行业来说仍然相对较新，与金属结构相比，开发和认证成本相对较高。用于金属等各向同性材料的传统无损评估 (NDE) 方法可能不适用于复合材料应用，并且是导致开发新结构复合材料的成本和复杂性的一个因素。此外，复合材料中值得关注的缺陷与金属有显著不同。因此，在 ACP TC2 框架下，NASA 启动了对航空航天工业中复合材料结构部件 NDE 的当前实践状态 (SoP) 的评估，并确定了哪些因素会影响复合材料的 NDE 过程。该评估涵盖了飞机工业的固定翼、旋翼和推进部分，并得到了航空工业相应部门的意见。评估确定了关键缺陷类型、当前检查方法、NDE 数据交换方法、适合自动化或改进的流程和方法，以及与复合材料检查和认证相关的其他问题
![arxiv：2405.09822v2 [cs.ro] 2024年11月18日](/simg/e\efb125d0d2f0bdb2f694f4f6433d539f297cc666.webp)
arxiv：2405.09822v2 [cs.ro] 2024年11月18日
摘要 - 本文解决了在实际环境中自主检查中对象目标导航的问题。对象目标导航对于在各种设置中实现有效的检查至关重要，通常要求机器人在大型搜索空间内识别目标对象。当前的对象检查方法没有人为效率，因为它们通常无法像人类那样在事先和常识知识之前引导。在本文中，我们引入了一个框架，该框架使机器人能够使用先前的环境空间配置和语义常识知识的语义知识。我们提出了将语义先验知识与机器人的观察结果相结合的搜索（对象检查任务的语义推理），以更有效地搜索和导航到目标对象。SEEK维持两个表示：动态场景图（DSG）和关系语义网络（RSN）。RSN是一个紧凑而实用的模型，可估计在DSG中的空间元素中找到目标对象的概率。我们提出了一个新颖的概率计划框架，以使用关系语义知识来搜索对象。我们的仿真分析表明，根据对象目标检查任务的效率，在本研究中检查了基于经典计划和大型语言模型（LLMS）的方法。我们在城市环境中验证了对物理机器人的方法，展示了其在现实世界检查场景中的实用性和有效性。
Stimuleye：基于计算机视觉的脑震荡检测器
运动是美国 15-24 岁人群脑外伤的第二大原因 [1]。儿童每年经历近 2,000,000 次与运动相关的脑震荡，CDC 报告称，2017 年，15% 的学生至少经历过 1 次脑震荡 [2]。2009 年之前，美国没有任何关于任何体育联盟（无论是学术联盟还是其他联盟）头部损伤的法律。由于对这一研究领域的关注不足，导致场边检查方法不够完善。2009 年，华盛顿州通过了第一部脑震荡法，即 Zachery Lystedt 法。直到 2014 年，加利福尼亚州才通过了 AB 2127，随后又在 2016 年通过了 AB 2007。现在，美国每个州都有脑震荡法律，使得脑震荡测试成为研究和创新技术开发的热点。直到最近，为适应新法规而提供的场边测试方法都是主观的，需要基线，而且很容易被操纵以伪造结果。这就是本文讨论的 StimulEye 技术背后的动机。该应用程序使用标准智能手机上的摄像头来测试脑震荡。智能手机的闪光灯会打开和关闭以刺激瞳孔，而摄像头会捕捉并记录这些反应。摄像头拍摄的视频经过多个阶段的图像处理以隔离和提取瞳孔，使智能手机能够测量其对光作出反应时的直径变化。该算法使用 OpenCV 将图像转换为灰度后对其进行归一化，然后使用二值阈值和腐蚀来