XiaoMi-AI文件搜索系统
World File Search SystemNonde
不确定性策略及其在策略逻辑中的细化
非确定性策略是指在给定博弈历史的情况下，分配一组可能采取的行动（或协议或计划）的策略，这些行动都应该是获胜的。一个重要的问题是改进此类策略。例如，给定一个仅允许安全执行的非确定性策略，对其进行改进，最终达到期望的状态。我们表明，涉及策略改进的战略问题可以在战略逻辑 (SL) 框架中得到优雅的解决，这是一种非常富有表现力的推理战略能力的逻辑。具体来说，我们引入了具有非确定性策略的 SL 扩展和一个表达策略改进的运算符。我们表明，与标准 SL 相比，模型检查此逻辑可以在不增加计算成本的情况下完成，并且可用于解决各种问题，例如最大允许策略或最大允许纳什均衡的合成。
先进材料、航空航天、民用基础设施和交通运输的无损表征与监测 XIV（目录）
本卷中的论文是封面和标题页上引用的技术会议的一部分。论文经过编辑和会议程序委员会的筛选和审查。一些会议演讲可能无法发表。其他论文和演讲录音可在 SPIE 数字图书馆 SPIEDigitalLibrary.org 上在线获取。这些论文反映了作者的工作和想法，并按提交的方式在此发布。出版商对信息的有效性或因依赖该信息而导致的任何结果概不负责。请使用以下格式引用这些会议论文集的材料：作者，“论文标题”，载于先进材料、航空航天、民用基础设施和交通运输的无损表征和监测 XIV，由 Tzu-Yang Yu、H. Felix Wu、Peter J. Shull、Andrew L. Gyekenyesi 编辑，SPIE 论文集第 11380 卷（SPIE，华盛顿州贝灵厄姆，2020 年）七位数文章 CID 编号。 ISSN：0277-786X ISSN：1996-756X（电子版） ISBN：9781510635371 ISBN：9781510635388（电子版） 由 SPIE 出版 PO Box 10, Bellingham, Washington 98227-0010 USA 电话 +1 360 676 3290（太平洋时间）·传真 +1 360 647 1445 SPIE.org 版权所有 © 2020，光学仪器工程师协会。SPIE 授权将本书中的材料复制用于内部或个人用途，或用于特定客户的内部或个人用途，超出美国版权法授予的合理使用条款，但须支付复印费。本卷的交易报告服务基本费用为每篇文章 21.00 美元（或其中一部分），应直接支付给版权许可中心 (CCC)，地址为 222 Rosewood Drive, Danvers, MA 01923。也可以通过 copyright.com 上的 CCC Online 以电子方式付款。除非获得出版商的书面许可，否则禁止以再版、转售、广告或促销为目的的其他复制，或以任何形式的系统或多次复制本书中的任何材料。CCC 费用代码为 0277-786X/20/$21.00。由 Curran Associates, Inc. 在美国印刷，经 SPIE 授权。
现行农用飞机无损检测方法
损伤容限认为，尽管飞机可能存在亚临界裂纹和缺陷，但飞机仍能保持适航性。这一理念承认，不可能在整个飞机上建立完整的结构冗余。因此，损伤容限飞机的持续适航性在很大程度上取决于能够在裂纹和缺陷达到临界尺寸之前检测出它们的检查程序的实施。为了进一步加强满足损伤容限标准所需的维护和检查程序，联邦航空管理局于 1981 年发布了咨询通告 (AC) 91-56。该 AC 为飞机制造商和运营商提供了制定补充结构检查文件 (SSID) 的指南。SSID 提供了一种通过满足损伤容限要求来维持老式运输飞机持续适航性的计划。通过 SSID 计划，最初设计为故障安全型的飞机通过更新的检查程序基本上符合损伤容限理念。
现行农用飞机无损检测方法
损伤容限认为，尽管飞机可能存在亚临界裂纹和缺陷，但飞机仍能保持适航性。这一理念承认，不可能在整个飞机上建立完整的结构冗余。因此，损伤容限飞机的持续适航性在很大程度上取决于能够在裂纹和缺陷达到临界尺寸之前检测出它们的检查程序的实施。为了进一步加强满足损伤容限标准所需的维护和检查程序，联邦航空管理局于 1981 年发布了咨询通告 (AC) 91-56。该 AC 为飞机制造商和运营商提供了制定补充结构检查文件 (SSID) 的指南。SSID 提供了一种通过满足损伤容限要求来维持老式运输飞机持续适航性的计划。通过 SSID 计划，最初设计为故障安全型的飞机通过更新的检查程序基本上符合损伤容限理念。
现行农用飞机无损检测方法
损伤容限认为，尽管飞机可能存在亚临界裂纹和缺陷，但飞机仍能保持适航性。这一理念承认，不可能在整个飞机上建立完整的结构冗余。因此，损伤容限飞机的持续适航性在很大程度上取决于能够在裂纹和缺陷达到临界尺寸之前检测出它们的检查程序的实施。为了进一步加强满足损伤容限标准所需的维护和检查程序，联邦航空管理局于 1981 年发布了咨询通告 (AC) 91-56。该 AC 为飞机制造商和运营商提供了制定补充结构检查文件 (SSID) 的指南。SSID 提供了一种通过满足损伤容限要求来维持老式运输飞机持续适航性的计划。通过 SSID 计划，最初设计为故障安全型的飞机通过更新的检查程序基本上符合损伤容限理念。
现行农用飞机无损检测方法
损伤容限认为，尽管飞机可能存在亚临界裂纹和缺陷，但飞机仍能保持适航性。这一理念承认，不可能在整个飞机上建立完整的结构冗余。因此，损伤容限飞机的持续适航性在很大程度上取决于能够在裂纹和缺陷达到临界尺寸之前检测出它们的检查程序的实施。为了进一步加强满足损伤容限标准所需的维护和检查程序，联邦航空管理局于 1981 年发布了咨询通告 (AC) 91-56。该 AC 为飞机制造商和运营商提供了制定补充结构检查文件 (SSID) 的指南。SSID 提供了一种通过满足损伤容限要求来维持老式运输飞机持续适航性的计划。通过 SSID 计划，最初设计为故障安全型的飞机通过更新的检查程序基本上符合损伤容限理念。
当前用于飞机的无损检测方法
损伤容限认为，尽管飞机可能存在亚临界裂纹和缺陷，但飞机仍能保持适航性。这一理念承认，不可能在整个飞机上建立完整的结构冗余。因此，损伤容限飞机的持续适航性在很大程度上取决于能够在裂纹和缺陷达到临界尺寸之前检测出它们的检查程序的实施。为了进一步加强满足损伤容限标准所需的维护和检查程序，美国联邦航空管理局于 1981 年发布了咨询通告 (AC) 91-56。该咨询通告为飞机制造商和运营商提供了制定补充结构检查文件 (SSID) 的指南。SSID 提供了一种通过满足损伤容限要求来维持老式运输飞机持续适航性的计划。通过 SSID 计划，最初设计为故障安全型的飞机通过更新的检查程序基本上符合损伤容限理念。
选择无损检测方法：目视检查
目视检查是迄今为止最常见的无损检测 (NDE) 技术（参考文献 1）。在尝试确定任何部件或样本是否适用于其预期应用时，目视检查通常是检查过程的第一步。通常，几乎任何样本都可以通过目视检查来确定其制造的准确性。例如，目视检查可用于确定部件是否按照正确的尺寸制造、部件是否完整或所有部件是否已正确组装到设备中（参考文献 2）。虽然直接目视检查是最常见的无损检测技术（图 1），但许多其他 NDE 方法需要视觉干预来解释在进行检查时获得的图像。例如，使用可见红色或荧光染料的渗透检查依赖于检查员目视识别表面指示的能力。磁粉检测与可见光检测技术和荧光检测技术属于同一类别，而射线照相技术则依赖于解释人员对射线图像的视觉判断，该图像可以显示在胶片上，也可以显示在视频监视器上。本文的其余部分对目视检测方法进行了总结，该方法至少需要与被检测样本的部分进行视觉接触。在对目视检测进行定义时，文献中指出，目视检测经验以及与经验丰富的目视检测员的讨论表明，这种 NDE 方法不仅包括眼睛的使用，还包括检测员使用的其他感觉和认知过程（参考文献 3）。因此，现在文献中对目视检测有了扩展的定义：“目视检测是利用人类感觉系统检查和评估系统和部件的过程，仅借助放大镜、牙签、听诊器等机械增强感觉输入来辅助。”检查过程可以通过观察、聆听、感觉、嗅觉、摇晃和扭动等行为来完成。它包括一个认知部分，其中观察结果与结构知识以及服务文献中的描述和图表相关联（参考文献 3）。”