XiaoMi-AI文件搜索系统
World File Search System程序验证
hipass：SmallSats的高功率刚性阵列解决方案
版权所有02/2021 Redwire Corporation。Redwire保留进行更改的权利，而无需进一步通知此处的任何产品。Redwire不对其产品适合任何特定目的的适用性做出任何保证，代表性或保证，也没有承担任何责任。“典型”参数，包括“典型”，必须由客户的技术专家为每个客户应用程序验证。Redwire不会在其专利权或他人的权利下传达任何许可证。Redwire产品未设计，打算或授权用作系统中的组件或任何其他应用，其中Redwire产品可能会造成可能发生人身伤害或死亡的情况。应购买或使用Redwire产品用于任何此类预期或未经授权的申请，买方应赔偿并持有Redwire及其官员，雇员，子公司，子公司，附属机构和分销商无害的索赔，成本，成本，损害，损害和费用以及任何与此类造成的损害，即使索赔，即使有任何损害，即使是个人损益，或者有任何损害，即索赔声称，Redwire认为该零件的设计或制造是疏忽大意的。redwire是一个平等的机会/平权行动雇主。该文献受所有适用的版权法的约束，并且不会以任何方式转售
太阳阵列
版权所有02/2021 Redwire Corporation。Redwire保留进行更改的权利，而无需进一步通知此处的任何产品。Redwire不对其产品适合任何特定目的的适用性做出任何保证，代表性或保证，也没有承担任何责任。“典型”参数，包括“典型”，必须由客户的技术专家为每个客户应用程序验证。Redwire不会在其专利权或他人的权利下传达任何许可证。Redwire产品未设计，打算或授权用作系统或任何其他应用程序中的组件，其中Redwire产品可能会造成可能发生人身伤害或死亡的情况。应购买或使用Redwire产品用于任何此类预期或未经授权的申请，买方应赔偿并持有Redwire及其官员，雇员，子公司，子公司，附属机构和分销商无害的索赔，成本，成本，损害和费用以及任何与此类索赔，或与任何索赔有关的索赔，即使索赔，即使索赔，即使有任何索赔，或者有任何索赔，或者与任何索赔，或者有效的索赔，或者有效的索赔，或者有效的索赔，或者有责任索赔，或者有任何索赔，或者是索赔的，或者是索赔的，或者是索赔，或者是索赔，或者是索赔的，或者是索赔，或者是索赔的，或者是索赔，或者是索赔，或者持续的索赔，或者是索赔，或者均与该索赔，或者持续索赔。指控Redwire在零件的设计或制造方面疏忽了。redwire是一个平等的机会/平权行动雇主。该文献受所有适用的版权法的约束，并且不会以任何方式转售。
文章 支持并行识别的嵌入式 AI 系统的多核控制器
摘要：人工智能 (AI) 技术的最新进展促进了 AI 系统在各种应用中的应用。在大多数部署中，基于 AI 的计算系统采用中央服务器处理大部分数据的架构。此特性使系统使用大量网络带宽并可能导致安全问题。为了克服这些问题，提出了一种称为联邦学习的新 AI 模型。联邦学习采用一种架构，其中客户端负责数据训练并仅将训练结果传输到中央服务器。由于来自客户端的数据训练抽象并减少了原始数据，因此系统在减少网络资源和增强数据安全性的情况下运行。具有联邦学习的系统支持各种客户端系统。要构建具有资源有限的客户端系统的 AI 系统，将客户端系统与多个嵌入式 AI 处理器组合是有效的。为了实现具有这种架构的系统，引入控制器来仲裁和利用 AI 处理器成为一项严格的要求。在本文中，我们提出了一种用于联邦学习的嵌入式 AI 系统，该系统可以根据应用灵活地与 AI 核心组合。为了实现所提出的系统，我们设计了一个多 AI 核心控制器，并将其实现在现场可编程门阵列 (FPGA) 上。通过图像和语音应用程序验证了所设计的控制器的运行，并通过模拟器验证了其性能。
印度尼西亚活性海洋化合物的分子对接研究
1 农业研究计划，艾哈迈德达兰大学农业学院，印度尼西亚 *通讯作者：ikhymanno97@gmail.com 摘要 背景：许多天然和合成疗法被用于帮助 COVID-19（2019 冠状病毒病）患者的康复，但抑制这种病毒的有效性仍需进一步研究。 目的：预测海参中的硫酸软骨素化合物是否对 COVID-19 具有抗病毒活性。 方法：使用分子对接方法，基于硫酸软骨素与 6LU7 和 2GTB 蛋白（COVID-19 中发现的主要蛋白酶 (M pro)）的相互作用，测试其对 COVID-19 的抗病毒活性。研究阶段包括准备6LU7和2GTB蛋白质结构数据库，使用Biovia Discovery Studio应用程序准备和优化3D硫酸软骨素结构，以及使用Autodock 4.2应用程序验证6LU7和2GTB蛋白质上的分子对接和硫酸软骨素对接方法。结果：硫酸软骨素与6LU7蛋白具有较高的亲和力并形成氢键，其对6LU7受体的亲和力值为（-9.5 kcal/mol），RMSD Ib为（0.000），RMSD ub为（0.000），而2GTB蛋白的亲和力较低，即对2GTB受体的亲和力值为（-7.7 kcal/mol），RMSD Ib为（0.000），RMSD ub为（0.000）。结论：根据分子对接研究结果，硫酸软骨素具有抗病毒潜力，因为它与 6LU7 和 2GTB 蛋白具有亲和力，可以抑制 COVID-19 病毒的感染途径。关键词：COVID-19，硫酸软骨素，6LU7 和 2GTB 受体，分子对接
细太阳传感器（±50°）
版权所有02/2021 Redwire Corporation。Redwire保留进行更改的权利，而无需进一步通知此处的任何产品。Redwire不对其产品适合任何特定目的的适用性做出任何保证，代表性或保证，也没有承担任何责任。“典型”参数，包括“典型”，必须由客户的技术专家为每个客户应用程序验证。Redwire不会在其专利权或他人的权利下传达任何许可证。Redwire产品未设计，打算或授权用作系统或任何其他应用程序中的组件，其中Redwire产品可能会造成可能发生人身伤害或死亡的情况。应购买或使用Redwire产品用于任何此类预期或未经授权的申请，买方应赔偿并持有Redwire及其官员，雇员，子公司，子公司，附属机构和分销商无害的索赔，成本，成本，损害和费用以及任何与此类索赔，或与任何索赔有关的索赔，即使索赔，即使索赔，即使有任何索赔，或者有任何索赔，或者与任何索赔，或者有效的索赔，或者有效的索赔，或者有效的索赔，或者有责任索赔，或者有任何索赔，或者是索赔的，或者是索赔的，或者是索赔，或者是索赔，或者是索赔的，或者是索赔，或者是索赔的，或者是索赔，或者是索赔，或者持续的索赔，或者是索赔，或者均与该索赔，或者持续索赔。指控Redwire在零件的设计或制造方面疏忽了。redwire是一个平等的机会/平权行动雇主。该文献受所有适用的版权法的约束，并且不会以任何方式转售。
艺术报告的状态：经过验证的计算
尽管我们描述了图1，可以在几轮互动中提供证明。能够验证的计算问题补充了程序验证问题（PVP）。验证依赖于有用的冗余。我们需要对同一事物的两个描述，然后将一个描述与另一件事进行比较。程序验证确定我们已经正确地表达了一个给定的计算。我们通过将其与更高级别的规范进行比较来做出判断。在能够验证的计算问题中，给出了计算f。我们没有针对特定验证f。相反，我们想知道供者执行的执行是否与f的表达相一致。本最先进的报告中调查的文献提出了概率证明的理论。该领域的中心结果是概率可检查的证明定理（PCPT）。PCP有必要的结果。对于任何有效的数学断言，可以编码该断言的证明。PCP表明，我们可以使用此编码来检查断言的有效性，通过仅检查其他地方执行的证据中的恒定点。PCP的实际后果是在图中的协议中应用。1。考虑计算F，输入X和假定的输出y。有一种证明和随机检查方法可以保证以下内容。如果y = f（x）正确，则verifier将接受证明。图如果y̸= f（x），则Verifier几乎总是拒绝证明。证明可能需要在供供者和verifier之间进行相互作用。verifier拒绝此类证据的事实几乎总是编码绑定的错误。这意味着，在分析中有一定概率的情况下，Verifier将错误地将错误的答案视为正确的答案。1不会明确检查结果y。它的工作要少。如果要检查结果y = f（x），则需要重新进行计算。与问题陈述相矛盾，不是意图。因此，PCP允许随机验证者访问所谓的证明，以通过仅查询几个证明位来验证表单y = f（x）的输入语句。零知识PCP（ZK-PCP）增强了标准PCP。在零知识证明（ZK）中，一个方可以向另一方证明给定的语句是正确的。它可以做到这一点，同时避免提供任何其他信息，除了该陈述确实是正确的事实。有大量的文献专门用于概率可检查的证明协议。PCP理论的原始幼稚实现非常慢。从那时起，性能就已经有所改善。早期工具使用了计算的低级代表。这些低级协议实体的高级语言中的新工具编译程序。一些出版物报告了可能解决现实世界问题的有效验证者。对其他论文和书籍进行了调查，但被省略了。，但看来这些系统仅限于较小的执行，这主要是由于供款的费用。我们的最初印象是这些系统仅限于特殊用途的应用。本最先进的报告从文献中调查了128篇论文，其中包含4,000多页。所调查的论文绝大多数是数学上的。我们总结了构成可验证计算基础的主要概念。该报告包含两个主要部分。首先，较大的部分涵盖了理论基础，可用于可检查和零知识证明。第二部分包含对当前实践的描述，
SOFTWARE-DESIGN-BUDGEN.pdf
操作系统 J Bacon 和 T Harris 编程语言基本原理 H E Bal 和 D Grune Ada 95 编程（第二版） J G P Barnes Java Gently（第三版） J Bishop 并发编程 A Burns 和 G Davies 实时系统和编程语言：Ada 95、实时 Java 和实时 POSIX（第三版） A Burns 和 A Wellings 比较编程语言（第三版） L B Wilson 和 R G Clark，由 R G Clark 更新 数据库系统（第三版） T M Connolly 和 C Begg 分布式系统：概念和设计（第三版） G Coulouris、J Dollimore 和 T Kindberg 面向对象软件开发原理（第二版） A Eliëns Fortran 90 编程 T M R Ellis、I R Philips 和 T M Lahey 程序验证 N Francez 使用 SML 进行编程简介 M Hansen 和 H Rischel 函数式C P Hartel 和 H Muller 算法和数据结构：设计、正确性和分析（第二版） J Kingston 计算机科学家入门逻辑和集合 N Nissanke 人机交互 J Preece 等 算法：函数式编程方法 F Rabhi 和 G Lapalme Ada 95 从头开始（第三版） J Skansholm Java 从头开始 J Skansholm 软件工程（第六版） I Sommerville Eiffel 中的面向对象编程（第二版） P Thomas 和 R Weedon Miranda：函数式编程的技巧 S Thompson Haskell：函数式编程的技巧（第二版） S Thompson 计算机科学家的离散数学（第二版） J K Truss 编译器设计 R Wilhelm 和 D M
航空维修技术手册的人为因素调查
报告的工作是三阶段工作的一部分，旨在确定航空技术手册开发中的人为因素问题，并提出改进这些文件的建议。本研究工作的第一阶段调查了五家制造商用于开发维护文档的程序。在这些制造商采用的开发过程中发现了几个人为因素问题。它们包括被动而不是主动使用用户评估、有限使用用户输入和程序验证、没有系统地尝试跟踪错误以及缺乏衡量文档质量的标准。鉴于第一阶段发现的问题，第二阶段的目标是收集有关技术文档中的错误、手册使用率和用户对手册质量的看法的信息。受访者被要求确定技术文档遇到的问题类型、这些问题的影响以及改进手册的建议。我们还试图收集有关不同公司开发的手册之间的差异的信息。考虑到制造商开发技术文档的方法各不相同，可能可以确定导致更有效文档的技术和程序。简介美国联邦航空管理局已承诺到 2007 年将致命航空事故发生率降低至 1996 年基准事故率的 80% 1 。减少事故的一个重要方面是减少飞机维护期间产生的错误数量。在对飞机维护错误原因的分析中，Johnson 和 Watson 2 认为信息是排名最高的促成原因，大约 38% 的维护错误与信息有关。对美国宇航局航空安全报告系统中有关维护事故的数据进行分析后发现，1986 年至 1992 年 60% 的事故报告和 1996 年至 1997 年 45% 的事故与文件程序有关 3 。进一步对归因于信息的错误进行分析后发现，只有少数案例是由数据错误造成的，而且许多案例都是用户引发的问题。更常见的情况是未参考信息、误解信息或为了采用其他维护程序方法而忽视信息。鉴于技术人员未能正确使用维护信息的案例数量，人们可能会得出结论，应该通过培训或对维护人员采取纪律处分来解决这个问题。然而，这并非表明维护技术人员存在系统性纪律问题，或对技术文档持放任态度，而是反映了技术文档可用性方面的问题。