XiaoMi-AI文件搜索系统
World File Search SystemPNI
适用于 CubeSat 应用的 Quad-Mag 板
摘要。本文介绍了配备四个 PNI RM3100 磁强计的 CubeSat 磁强计板 (Quad-Mag) 的设计、特性和性能。RM3100 体积小、重量轻、功耗低且成本低，因此可以在单个板上集成四个传感器，通过使用多个传感器进行过采样，可以将单个传感器的本底噪声降低 2 倍。该仪器在实验中实现了 5.34 nT（单个轴）的本底噪声，四个磁强计的每个轴的平均本底噪声为 65 Hz，接近理论上为系统设定的 4.37 nT（40 Hz 下）的极限。单个板载德州仪器 MSP430 微控制器负责处理磁强计的同步，并通过简单的基于 UART 的命令接口与主机系统进行数据收集。 Quad-Mag 系统重量为 59.05 克，采样时总功耗为 23 mW，空闲时为 14 mW。在最佳条件下，Quad-Mag 可使用商用现成的太空应用传感器以 1 Hz 的频率实现近 1 nT 的磁场测量。
靶向基质金属蛋白酶：改善神经系统修复细胞移植的潜在策略
摘要细胞移植显示了修复受伤的神经系统的希望，包括脊髓损伤（SCI）和周围神经损伤（PNI）。但是，在阻碍这些疗法从长凳到床边移动的疗法时仍然存在问题，方法需要优化。三维（3D）细胞培养系统被建议改善结果，弥合体外环境和体内环境之间的差距。在这种构造中，允许细胞相互相互作用，并像在体内一样与3D中的细胞外基质（ECM）相互作用。3D构建体中的移植细胞而不是悬浮液中的移植细胞被认为可以促进细胞存活并维持重要的细胞行为。这样的关键行为是细胞迁移到伤害部位内外。因此，了解和控制3D培养细胞的迁移能力对于开发更好的移植技术至关重要。ECM重塑会影响许多细胞功能，包括细胞迁移和基质金属蛋白酶（MMP）是ECM调节的重要酶。在这里，我们讨论了调节MMP以控制3D培养系统中细胞迁移的想法，这可以提高3D移植的细胞的治疗潜力。
减少暴力犯罪计划
执行总结本文件列出了达拉斯警察局（DPD）的战略计划，以减少该市最容易暴力的地区的暴力犯罪，从而减少据报道的全市暴力暴力。总体暴力犯罪1在达拉斯持续上升。在过去三年中，暴力犯罪稳步增长，从2018年到2019年增长了14％，与2019年相比，在2020年增加了5％。然而，在达拉斯，与大多数城市一样，暴力犯罪在地理上集中在城市内相对较少的地区。我们城市的暴力犯罪的地理集中与描述城市犯罪，尤其是暴力犯罪的大量文献一致，这是一种主要发生在一些小地理区域中的现象。例如，达拉斯的1,156个报告区域中只有14个占该市报告的暴力犯罪的10％。热点警务从大量研究中进行了有关热点警务对减少暴力产生的积极影响的大量研究，该计划始于短期的重点，重点是在微观位置（330'x330'grids）的警察知名度大大提高，暴力犯罪集中并优先考虑了街头高级镇静的镇定镇定型，并在这些区域中进行了预先待命和逮捕这些反复的反复犯罪者。该战略是基于证据的，依赖于警察的知名度和以情报为主导的罪犯的目标，而不是普遍的“停止和烦恼”或其他Dragnet策略。基于犯罪分析和映射，DPD将指派官员在通过犯罪分析确定为最容易暴力的电网上高度可见，有时是在最常报告暴力的情况下。在其他高犯罪网格中，指定的官员团队将重点关注监视，威慑和逮捕反复的暴力罪犯。有关犯罪的前实施数据和服务数据的呼吁将在目标网格周围和周围进行跟踪，并每90天进行一次审查和调整暴力热点。，DPD将领导和协调，旨在确定和破坏对达拉斯暴力犯罪不成比例的犯罪现场网络。位置网络调查（PNI）是一种基于经验奖学金和犯罪学理论的最近开发的工具，该工具着重于社区中犯罪的空间分布以及个人和个人和犯罪网络用来促进犯罪的无人看待地的作用。在第一个
![arXiv:2502.02354v1 [cs.LO] 2025 年 2 月 4 日](/simg/d\d48731e0c9bcee63d92c7a739fb8e6e1c3cedf18.webp)
arXiv:2502.02354v1 [cs.LO] 2025 年 2 月 4 日
b 互斥，可以按任何顺序执行，但不能并发；在右侧，a 和 b 之间存在真正的并发，用 HDA 语义的实心方块表示。在交错语义中，两个网之间没有区别，两者都产生左侧的转换系统。van Glabbeek 在 [31] 中首次探讨了 Petri 网和 HDA 之间的关系，其中 HDA 被定义为带标签的前立方体集，其单元是不同维度的超立方体。最近，[13] 为 HDA 引入了一种基于事件的设置，将其单元定义为带标签事件的全序集。该框架导致了 HDA 理论的许多新发展 [4,5,14,16]，因此我们在这里着手将 van Glabbeek 的翻译更新为这种基于事件的设置。Petri 网是一个强大的模型，可以表示无限系统，同时保留可达性 [25] 和可覆盖性 [23] 的可判定性。尽管 Petri 网具有表达能力，但它缺少一些表示程序执行所必需的特性。在 [17] 中，作者引入了抑制弧，当通过抑制弧连接到 t 的位置不为空时，它可以防止转换 t 触发。显然，这种构造允许实现零测试，这使得带有抑制弧的 Petri 网具有图灵能力。我们研究了带有抑制弧的 Petri 网的并发语义，表明 [21] 的后验语义再次产生了 HDA。然而，对于更自由的先验语义（再次参见 [21]），我们需要引入部分 HDA，其中一些单元可能缺失，模仿现在禁止某些并发执行序列化的事实。我们进一步将我们的工作扩展到 [11] 的广义自修改网，将它们的并发语义定义为 ST 自动机，而 ST 自动机本身又概括了部分 HDA。我们开发了一个原型工具，它实现了从 Petri 网到 HDA 的转换以及从 PNI 到部分 HDA 的转换。4 我们的实现能够以模块化方式处理标准、加权和抑制弧。本文的结构如下。我们在第 2 和第 3 节开始回顾 HDA 和 Petri 网，重点介绍它们的并发语义，这种语义允许多个转换同时触发。以下各节介绍了我们的适当贡献。在第 4 节中，我们介绍了基于 [31] 的从 Petri 网到 HDA 的转换。为了克服这样构建的 HDA 的对称性，第 5 节引入了事件顺序，避免了构造中的阶乘爆炸。我们还给出了几个例子来说明 HDA 语义中的细节。然后，我们在第 6 节中考虑了具有抑制弧的 Petri 网（后验和先验语义），在第 7 节中考虑了广义自修改网。第 8 节介绍了我们的实现。