XiaoMi-AI文件搜索系统
World File Search SystemPrecise
精密机载 GPS 定位替代方案，用于空中...
航空测绘实践的精确机载 GPS 定位替代方案 Mohamed M. R. MOSTAFA，加拿大 关键词：GPS、机载、摄影测量、测绘、地理配准、遥感 摘要 来自 GPS 测量的定位信息已成为当今许多航空测绘系统的可靠组成部分。但是，在使用 GPS 进行机载测绘时通常面临的后勤限制之一是需要 GPS 接收器在勘测区域的一个或多个基站收集连续数据（例如始终在飞机 30-50 公里范围内设立一个基站）。虽然使用此类数据是满足当今最苛刻的大规模航空勘测应用的精度要求的一种手段，但当勘测在偏远或难以到达的地形上进行时，建立基站通常是一项艰巨的任务。此外，即使建立了专用基站，由于环境影响、接收器错误或人为错误，数据的连续性也并不总是能得到保证。考虑到这些要点，本文的目的是评估在不建立专用 GPS 基站的情况下获得可靠和准确的测量飞机位置估计值的可能性。这里使用了三种方法。第一种方法是利用现有连续运行参考站 (CORS) 网络提供的数据来估计飞机的位置。虽然此类站点通常距离测量区域相当远（例如50 到 500 公里），但它们的数量通常很大，并且它们的数据通常是免费提供的。第二种方法是使用 IGS 产品，其中精确的轨道和卫星时钟校正是在事后获得的，并在单点定位模式下使用。第三种方法是使用实时可用的卫星差分校正。这项分析使用了美国和日本过去三年进行的实际测绘任务的大量真实数据集。初步测试结果和分析结果将进行介绍和详细讨论。这些方法的直接好处包括精确定位航空测量应用，例如 GPS 辅助空中三角测量，以及生成外部方向参数，用于航空胶片或数码相机、激光雷达和 SAR 的直接地理参考。
自主精确组装分段镜面砖，用于
组装大型空间结构意味着将模块化组件有序地组装在一起，这由指示每个部件相对定位的高级总体规划决定。在空间应用中，常见的机器人系统在执行任务方面具有较低的自主性。操作通常依赖于远程命令，这需要为操作员提供适当的反馈渠道，通常会受到相当大的时间延迟的影响。共享自主性的概念提高了此类机器人系统的灵活性，并减少了操作员在复杂任务中的工作量。尽管如此，由于组装任务的精细度，远程操作方法在组装复杂结构时使用有限，因为操作员命令和机械手动作的同步会消耗
在自然短的时间内进行快速、精确的基因组工程
引言：研究脊椎动物的衰老和疾病等复杂生物表型受到规模和速度问题的限制。例如，小鼠天生的长寿命和低通量特性阻碍了迭代遗传学和脊椎动物生物学探索。非洲绿松石鳉鱼 Notho-branchius furzeri（以下简称鳉鱼）因其性成熟时间短（孵化后 3-4 周）和自然压缩的寿命（4-6 个月）而成为克服这一挑战和加速发现的有力模型（ Hu and Brunet，2018 ；Kim et al.，2016 ）。鳉鱼是实验室培育的脊椎动物模型系统中世代时间最短的（2 个月）( Hu and Brunet，2018 ；Kim et al.，2016 ；Pola čik et al.，2016 )，从而使快速脊椎动物遗传学成为可能。已经开发出一些用于推进鳉鱼遗传研究的工具，包括基因组测序（Reichwald 等人，2015 年；Valenzano 等人，2015 年）、Tol2 转基因（Allard 等人，2013 年；Hartmann 和 Englert，2012 年；Valenzano 等人，2011 年）、CRISPR/Cas9 介导的敲除（Harel 等人，2015 年）和 CRISPR/Cas13 介导的敲低（Kushawah 等人，2020 年）。这种遗传工具包使得人们能够发现衰老的机制（Astre 等人，2022a；Bradshaw 等人，2022；Chen 等人，2022；Harel 等人，2022；Louka 等人，2022；Matsui 等人，2019；Smith 等人，2017；Van
北斗精密单点定位服务现状
PPP 服务是通过 BDS-3 标称星座中的 GEO 卫星广播的 PPP-B2b 信号提供的，根据《北斗卫星导航系统应用服务架构（V1.0）》，建设分为两个阶段： 第一阶段（至 2020 年）：利用前三颗 GEO 卫星的 PPP-B2b I 分量，
GaN 电机……更小、更快、更精确
EPC9147B 是一款接口板，可接受 TI LAUNCHXL 开发套件（例如 F28379D 或 F28069M，该套件具有 TI C2000 微控制器），并连接到兼容的三相 eGaN® FET/IC 电机驱动逆变器板，如右图所示。该接口板允许用户利用现有的 TI InstaSPIN_UNIVERSAL GUI 资源以及 EPC 专用文件来编程控制器板，并使用无传感器磁场定向控制和空间矢量脉冲宽度调制来控制由 eGaN FET/IC 三相逆变器供电的电机。
CriMCE：一种引入和分离精准标记的方法...
CriMCE：一种通过 CRISPR 介导的盒式交换引入和分离精确无标记编辑的方法 Ioanna Morianou 1、Andrea Crisanti 1,2、Tony Nolan 3、Andrew M. Hammond 1,4,5 * * 通讯作者 作者隶属关系： 1 伦敦帝国理工学院生命科学系，伦敦，英国 2 帕多瓦大学分子医学系，帕多瓦，意大利 3 利物浦热带医学院媒介生物学系，利物浦，英国 4 约翰霍普金斯大学彭博公共卫生学院分子微生物学和免疫学系，巴尔的摩，马里兰州，美国 5 Biocentis，Ltd.，伦敦，英国 标题：基于 CRISPR 的无标记编辑方法 关键词：CRISPR；基因组编辑；盒式交换；无标记编辑；基因驱动。摘要 在昆虫基因组中引入小的、未标记的编辑对于研究重要生物学特性（例如抗杀虫剂和遗传控制策略）的分子基础至关重要。CRISPR 基因组工程的进步使这成为可能，但由于编辑率低和缺乏可选择的标记，大多数实验室都难以做到这一点。为了促进精确的无标记编辑的生成和分离，我们开发了一种两步方法，该方法基于 CRISPR 介导的盒式交换 (CriMCE)，将标记的占位符用于感兴趣的变体。与以前的方法相比，此策略可用于引入更广泛的潜在编辑，同时整合工作流程。我们通过将三种 SNP 变体设计到冈比亚按蚊的基因组中，提出了原理证明，证明 CriMCE 是一种强大的工具，其编辑率比同源定向修复或主要编辑高 5-41 倍。
二进制神经网络的精确定量分析
作为一种新的编程范式，基于神经网络的机器学习已将其应用扩展到许多现实世界中的问题。由于神经网络的黑盒性质，验证和解释其行为变得越来越重要，尤其是当它们部署在安全至关重要的应用中时。现有的验证工作主要集中于定性验证，该验证询问是否存在针对神经网络的输入（指定区域），以便违反财产（例如，局部鲁棒性）。但是，在许多实际应用中，几乎可以肯定存在这样的（对抗性）输入，这使得定性答案降低了有意义。在这项工作中，我们研究了一个更有趣，更具挑战性的问题，即对神经网络的定量验证，该验证询问财产经常得到满足或侵犯财产的频率。我们针对二进制神经网络（BNNS），一般神经网络的1位量化。BNN最近在深度学习中引起了越来越多的关注，因为它们可以大幅度地减少记忆存储和执行时间，而智力操作在求助方案中至关重要，例如，嵌入式设备用于物联网的嵌入式设备。朝着对BNNS的定量验证，我们提出了一种新型算法方法，用于将BNN作为二进制决策图（BDDS），这是一种在形式验证和知识表示中广泛研究的模型。通过利用BNN的内部结构，我们的编码将BNN中块的输入输出关系转化为基数约束，然后由BDD编码。基于新的BDD编码，我们为BNN开发了一个定量验证框架，可以在其中对BNN进行精确和全面的分析。为了提高BDD编码的可扩展性，我们还研究了各个级别的并行化策略。我们通过为BNN提供定量鲁棒性验证和解释性来证明我们的框架的应用。广泛的实验评估证实了我们方法的有效性和效率。
精准水稻抗病育种
摘要：水稻（Oryza sativa）是全球主要作物，为亚洲国家等人口提供了食物，但水稻却不断受到各种疾病的威胁，危及全球粮食安全。准确了解抗病机制对于开发抗病水稻品种至关重要。传统的遗传图谱方法，如QTL图谱，为了解疾病的遗传基础提供了宝贵的见解。然而，水稻疾病的复杂性要求采取整体方法才能准确了解它。组学技术，包括基因组学、转录组学、蛋白质组学和代谢组学，能够全面分析生物分子，揭示水稻植株内复杂的分子相互作用。使用多组学数据的各种图谱技术的整合彻底改变了我们对水稻抗病性的认识。通过将遗传图谱与高通量组学数据集叠加，研究人员可以精确定位与抗病性相关的特定基因、蛋白质或代谢物。这种整合提高了与疾病相关的生物标志物的精确度，让我们更好地了解它们在抗病中的功能作用。通过这种整合来改善水稻抗病育种代表着农业科学的重大进步，因为更好地了解抗病结构背后的分子复杂性和相互作用可以更精确、更有效地开发抗病和高产的水稻品种。在这篇评论中，我们探讨了绘图和组学数据的整合如何对提高水稻抗病性的育种产生变革性影响。
空中重力和地质应用的精确定位
仪器可同时获取多种数据类型（图 1）。主要地球物理系统包括机载重力系统、拖曳式航空磁系统、冰穿透雷达和激光高度计。该飞机的实验目标是恢复布格和自由空气重力异常、精确的磁异常、冰下地形以及冰面的精确描绘。定位和导航仪器包括激光环陀螺惯性导航系统、压力高度计、实时差分 GPS 导航系统、双 GLONASS/GPS 接收器和一套载波相位 GPS 接收器（GLONASS 是俄罗斯全球导航卫星系统）。飞机仪器套件由基站仪器支持，包括一个用于消除昼夜磁信号的基站磁力计、一个带有传输差分 GPS 校正的广播系统的固定 GPS 以及双频载波相位 GPS 接收器。各种仪器所需的定位精度如表1所示，定位系统的精度如表2所示。
