摘要:本文重点研究了针对具体哈希函数的专用量子碰撞攻击,目前此类攻击尚未引起太多关注。在经典环境下,查找 n 位哈希函数碰撞的一般复杂度为 O(2 n/ 2),因此基于差分密码分析的经典碰撞攻击(如反弹攻击)会以高于 2 − n/ 2 的概率构建差分轨迹。同理,通用量子算法(如 BHT 算法)会以复杂度 O(2 n/ 3) 找到碰撞。利用量子算法,可以以复杂度 p − 1 / 2 生成一对满足概率 p 的差分轨迹的消息。因此,在量子环境下,一些在经典环境下无法利用的概率高达 2 − 2 n/ 3 的差分轨迹可能会被利用来在量子环境下发起碰撞攻击。特别是,被攻击的轮数可能会增加。在本文中,我们攻击了两个国际哈希函数标准:AES-MMO 和 Whirlpool。对于 AES-MMO,我们提出了一个概率为 2-80 的 7 轮差分轨迹,并使用它来查找与反弹攻击的量子版本的碰撞,而在经典设置中只能攻击 6 轮。对于 Whirlpool,我们基于经典反弹区分器的 6 轮差分轨迹发起碰撞攻击,其复杂度高于生日界限。这将 5 轮的最佳经典攻击提高了 1。我们还表明,这些轨迹在我们的方法中是最佳的。我们的结果有两个重要含义。首先,似乎存在一个普遍的信念,即经典安全的哈希函数将保持对量子对手的安全性。事实上,NIST 后量子竞赛中的几个第二轮候选人使用现有的哈希函数(例如 SHA-3)作为量子安全函数。我们的结果推翻了这种普遍的看法。其次,我们的观察表明,差分线索搜索不应以概率 2 − n/ 2 停止,而应考虑最多 2 − 2 n/ 3 。因此,值得重新审视以前的差分线索搜索活动。
每种哲学都有漏洞,指出这些问题是哲学支持者的责任。以下是贝叶斯数据分析中的几个漏洞:(1)通常的条件概率规则在量子领域失效,(2)平坦或弱先验会导致对我们关心的事物做出可怕的推断,(3)主观先验不一致,(4)贝叶斯因子在平坦或弱先验存在的情况下失效,(5)由于康托尔原因,我们需要检查我们的模型,但这会破坏贝叶斯推理的连贯性。贝叶斯统计的一些问题源于人们试图做他们不应该做的事情,但其他漏洞并不是那么容易修补的。特别是,避免平坦、弱或传统的先验可能是一个好主意,但如果遵循这样的建议,就会违背绝大多数贝叶斯实践,并要求我们面对贝叶斯推理的根本不连贯性。这并不意味着我们认为贝叶斯推理是个坏主意,而是意味着贝叶斯逻辑和贝叶斯工作流之间存在着一种紧张关系,我们认为只有将贝叶斯逻辑视为一种工具、一种揭示模型假设中不可避免的不一致性和不一致性的方式,而不是将其作为目的本身,才能解决这种紧张关系。
根据军事标准 (MIL-STD) 882E(国防部系统安全标准实践)得出的当前安全评估方法,公认的潜在事故概率与针对突击两栖车辆 (AAV) 报告的实际事故之间存在显著差异。所有之前调查的 AAV 事故都是一系列事件的结果,无法追溯到单一的启动机制,这是 MIL-STD-882E 使用的方法。本论文旨在确定最适合 AAV 的基于风险的安全评估方法的核心要素。通过分解实际事故报告,我们确定了当前流程未充分评估的常见故障模式。然后,我们对事故报告应用了概率风险评估方法和支持性人为可靠性评估。这种方法以及随后对这些事故的概率风险评估表明,AAV 沉没这一不良事件的概率比之前承认的要大。本文概述的框架能够提供更准确和可量化的风险评估。
根据军事标准 (MIL-STD) 882E(国防部系统安全标准实践)得出的当前安全评估方法,公认的潜在事故概率与针对突击两栖车辆 (AAV) 报告的实际事故之间存在显著差异。所有之前调查的 AAV 事故都是一系列事件的结果,无法追溯到单一的启动机制,这是 MIL-STD-882E 使用的方法。本论文旨在确定最适合 AAV 的基于风险的安全评估方法的核心要素。通过分解实际事故报告,我们确定了当前流程未充分评估的常见故障模式。然后,我们对事故报告应用了概率风险评估方法和支持性人为可靠性评估。这种方法以及随后对这些事故的概率风险评估表明,AAV 沉没这一不良事件的概率比之前承认的要大。本文概述的框架能够提供更准确和可量化的风险评估。
估计此次信息收集的公开报告负担平均每份回应需要 1 小时,其中包括审查说明、搜索现有数据源、收集和维护所需数据以及完成和审查信息收集的时间。请将关于此负担估计或此信息收集的任何其他方面的评论(包括减轻此负担的建议)发送至华盛顿总部服务部、信息运营和报告理事会,地址:1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302,以及管理和预算办公室、文书工作减少项目 (0704-0188) Washington, DC 20503。1.仅供机构使用(留空) 2.报告日期 2018 年 9 月 3.报告类型和涵盖日期 硕士论文
根据军事标准 (MIL-STD) 882E(国防部系统安全标准实践)得出的当前安全评估方法,公认的潜在事故概率与针对突击两栖车辆 (AAV) 报告的实际事故之间存在显著差异。所有之前调查的 AAV 事故都是一系列事件的结果,无法追溯到单一的启动机制,这是 MIL-STD-882E 使用的方法。本论文旨在确定最适合 AAV 的基于风险的安全评估方法的核心要素。通过分解实际事故报告,我们确定了当前流程未充分评估的常见故障模式。然后,我们对事故报告应用了概率风险评估方法和支持性人为可靠性评估。这种方法以及随后对这些事故的概率风险评估表明,AAV 沉没这一不良事件的概率比之前承认的要大。本文概述的框架能够提供更准确和可量化的风险评估。
根据军事标准 (MIL-STD) 882E(国防部系统安全标准实践)得出的当前安全评估方法,公认的潜在事故概率与针对突击两栖车辆 (AAV) 报告的实际事故之间存在显著差异。所有之前调查的 AAV 事故都是一系列事件的结果,无法追溯到单一的启动机制,这是 MIL-STD-882E 使用的方法。本论文旨在确定最适合 AAV 的基于风险的安全评估方法的核心要素。通过分解实际事故报告,我们确定了当前流程未充分评估的常见故障模式。然后,我们对事故报告应用了概率风险评估方法和支持性人为可靠性评估。这种方法以及随后对这些事故的概率风险评估表明,AAV 沉没这一不良事件的概率比之前承认的要大。本文概述的框架能够提供更准确和可量化的风险评估。
摘要:材料与结构的疲劳寿命具有较大的离散性,在工程设计中通常被考虑。为了减少主观不确定性的引入,获得合理的概率分布,本文提出了一种基于最大熵原理的疲劳寿命概率分布识别计算方法。利用疲劳寿命的前四个统计矩来制定最大熵原理优化问题的约束条件。还提出了一种精确的算法来寻找最大熵分布中的拉格朗日乘数,从而避免了求解方程组时出现的数值奇异性。用两个拟合指标来衡量所提方法的拟合优度。通过文献中的两组疲劳数据集证明了所提方法的合理性和有效性。并对所研究的疲劳数据集进行了所提方法与对数正态分布和三参数威布尔分布的比较。
本文描述了量子物理的“非动力学基础”或“语法”的一小部分,但内容却十分丰富。随着量子信息论的兴起,它的重要性比以前更加明显,尽管在量子场论和统计物理学的所谓代数方法中已经很明显了。当然,只有结合动力学、具体哈密顿量等才能取得实验进展。另一方面,我们在本文中讨论的规则是如此普遍,以至于人们几乎不敢相信它们可以从特别选择的动力学中推导出来或证明出来。与作者的观点相反,这些一般规则是设定可能形式的动力学(包括空间和时间)的条件。
STR?3) 具有特定 DNA 图谱(13 个 STR 的基因型)的概率是多少?4) 如何使用 DNA 证据来比较犯罪现场的证据(计算有意义的比率并处理混合样本)?简介:使用 PCR 和凝胶电泳分析 13 个不同的 STR(26 个等位基因)将为您提供相关样本的 DNA 图谱。下图是 DNA 图谱的示例:DNA 图谱提供所分析的每个 STR 的基因型。基因型由每个等位基因的串联重复次数表示。例如,贡献此样本的个体是 TPOX STR 纯合子,基因型为 8,8。数字 8 指的是等位基因或目标序列中的重复次数。等位基因或目标序列通过重复次数来识别。样本还表明,供体是 CSF1PO STR 的杂合子,基因型为 11,12(或 11,12 重复)。虽然不太可能,但有可能在人群中找到具有相同 DNA 图谱的其他人。在法庭上,最好能够计算出随机人员具有该图谱的概率。它将为嫌疑人和证据之间的匹配提供定量值。对每个 STR 都进行了大量的研究。根据对数百人的 DNA 的研究,法医分析人员确定了至少 13 个存在于所有人类中的 STR。下表按基因座名称说明了我们了解的不同 STR 的信息。