抽象的片段主义最初是作为新的时间理论引入的。它得到了进一步的修订和讨论,并提出了原始见解的不同发展。In a celebrated paper, Jonathan Simon contends that frag- mentalism delivers a new realist account of the quantum state—which he calls conservative realism —according to which: (i) the quantum state is a complete description of a physical system, (ii) the quantum (superposition) state is grounded in its terms, and (iii) the superposition terms are themselves grounded in local goings-on about the system in question.我们将争辩说,碎片主义至少沿西蒙提出的线条并没有提供对量子状态的新的,令人满意的现实描述。这就提出了一个问题,即是否还有其他一些可行的量子碎片主义形式。
1996 年 1 月 1 日之后发布的报告通常可通过美国能源部 (DOE) SciTech Connect 免费获取。网站 www.osti.gov 公众可以从以下来源购买 1996 年 1 月 1 日之前制作的报告: 国家技术信息服务 5285 Port Royal Road Springfield, VA 22161 电话 703-605-6000(1-800-553-6847) TDD 703-487-4639 传真 703-605-6900 电子邮件 info@ntis.gov 网站 http://classic.ntis.gov/ DOE 员工、DOE 承包商、能源技术数据交换代表和国际核信息系统代表可以从以下来源获取报告: 科学技术信息办公室 PO Box 62 Oak Ridge, TN 37831 电话 865-576-8401 传真 865-576-5728 电子邮件 reports@osti.gov 网站 http://www.osti.gov/contact.html
摘要 - 同构加密(FHE)是一种加密技术,具有通过对加密数据启用计算来彻底改变数据隐私的潜力。最近,CKKS FHE方案变得非常流行,因为它可以处理实数。但是,CKKS计算尚未普遍存在,因为它在计算和内存方面都是资源密集的,并且比未加密数据的计算要慢多个数量级。最新的算法和硬件优化可加速CKKS计算是有希望的,但是由于昂贵的操作称为Boottrapping,CKKS计算继续表现不佳。虽然已经做出了几项努力来加速自举,但它仍然是主要的性能瓶颈。这种性能瓶颈的原因之一是,与计算Boottrapping算法的CKK的非自举一部分不同,是固有的顺序,并且在数据中显示了相互依存关系。为了应对这一挑战,在本文中,我们引入了使用混合方案切换方法的加速器。HEAP使用CKKS方案进行非引导步骤,但是在执行CKKS方案的自举步骤时,请切换到TFHE方案。通过从单个rlwe密文中提取系数来表示多个LWE密文,从而向TFHE方案转变为TFHE方案。我们将自举函数合并到盲骨操作中,并同时将盲的操作应用于所有LWE密文。堆中的方法是硬件的不可知论,可以映射到具有多个计算节点的任何系统。随后可行地进行引导的并行执行是可行的,因为不同的LWE密文之间没有数据依赖性。使用我们的方法,我们需要较小的自举键,从而从键的主内存中读取约18×少量数据。此外,我们在堆中介绍了各种硬件优化 - 从模块化算术级别到NTT和盲核数据PATAPATH优化。为了评估HEAP,我们在RTL中实现了堆,并将其映射到一个FPGA系统和八型FPGA系统。我们对自举操作的堆的全面评估显示为15。与Fab相比, 39×改进。 同样,对逻辑回归模型训练的堆的评估显示了14。 71×和11。 与Fab和Fab-2实现相比, 57×改进。 索引术语 - ckks,tfhe,方案切换,自举,FPGA加速39×改进。同样,对逻辑回归模型训练的堆的评估显示了14。71×和11。57×改进。索引术语 - ckks,tfhe,方案切换,自举,FPGA加速
免责声明 本报告是作为美国政府机构赞助的工作的记录而编写的。美国政府及其任何机构、芝加哥大学阿贡分校有限责任公司及其任何员工或官员均不对所披露的任何信息、设备、产品或流程的准确性、完整性或实用性做任何明示或暗示的保证,也不承担任何法律责任或义务,也不表示其使用不会侵犯私有权利。本文以商品名、商标、制造商或其他方式提及任何特定商业产品、流程或服务并不一定构成或暗示美国政府或其任何机构对其的认可、推荐或支持。本文表达的文档作者的观点和意见不一定代表或反映美国政府或其任何机构、阿贡国家实验室或芝加哥大学阿贡分校有限责任公司的观点和意见。
我要向我的导师 Denise Morrey 教授表示最诚挚的谢意,感谢她在整个旅程中给予我的持续支持、耐心、指导和指引。我们定期的交流非常宝贵,我会非常想念他们。我还要感谢我的导师团队 Paul Henshall 博士和 Gordana Collier 女士,感谢他们的支持和指导,以及经常为我的研究提供意见。你们在开发高压和储能小组方面的支持使这项工作成为可能,我为我们共同建立的实验室感到无比自豪。我还要感谢整个高压和储能小组。你们为我提供的支持和合作使我能够继续这项研究并发展成为今天的研究人员。就我个人而言,我要感谢我的家人在过去十年中给予我的坚定鼓励和支持。在我的整个职业生涯中,他们一直是我不断的动力和灵感来源,没有他们,我就不会取得今天的成就。最后,我要向我的搭档 Brady 表示最深切的谢意,因为在整个过程中,他一直是我所需要的一切。从我本科学习的第一天起,他就一直陪伴着我,成为我完成学位的力量源泉。我对他感激不尽。
PDA使用封闭形式的解决方案的基本理论和19世纪各种数学家开发的封闭式解决方案的基本理论来计算桩顶力和速度测量的特定量。这些封闭式解决方案已应用于案例(案例西部储备大学)和桩动力学方法测量。开发的公式和方程的收集是为了计算土壤阻力,桩应力,锤子性能参数,桩完整性因子和其他数量都是案例方法的一部分,这是1960年代后期和1970年代后期设定的。