XiaoMi-AI文件搜索系统
World File Search System设计
CC046872_directive_OAS 7005.1A，内部空间分配、设计和管理政策
○ 担任每个服务和员工办公室的主要客户和租户代表。 ○ 管理和监督 GSA 的投资组合。 ○ 审查和批准所有入住协议。 ○ 制定空间分配、设计和管理的政策、指导和措施。 ○ 获得建议并选择参与项目启动会议、市场调查、需求评估访谈、设计研讨会和空间验收演练。 ○ 审查和批准空间获取、重新定位或重新配置的所有要求包。 ○ 审查和批准本政策设计策略和指南部分的所有豁免请求。 ○ 审查和批准所有概念和设计意图图。 ○ 采购变更管理服务。 ○ 按照现有的 GSA 政策和/或指南实施智能入住和/或酒店式策略和协议。 ○ 确保在预算过程中提供资金请求和支持估算。 ○ 为所有超过 25,000 美元的项目制定、实施和管理治理流程。
应用遗传算法设计微型...
摘要使用微型氢发电厂（MHPP）已将自己确立为解决农村孤立地区能源贫困问题的基本工具，不仅在此领域，而且在大规模发电中也成为了最常用的可再生能源。尽管所使用的技术在过去几十年中取得了重要进步，但通常已应用于大型水力系统。这个事实将孤立的MHPPS的使用降级到背景。在这种情况下，这些项目的选项策略的制定仍然有很大的改善，实际上，这些项目仍然限于使用拇指规则。它导致了可用资源的次级最佳使用。这项工作建议使用遗传算法（GA）来协助MHPP的设计，从而找到MHPP不同元素的最合适位置，以实现对资源的最有效使用。为此，第一个开发了植物的详细模型，然后是最佳设计的优化问题，该问题是通过考虑真实的地形地形数据来提出的。这个问题都以single（以最大程度地降低成本）和多目标（以最大程度地降低成本，同时最大化生成的功率）模式，从而对使用气体在农村孤立区域设计MHPP的潜力进行了深入的分析。为了验证所提出的方法，它将应用于洪都拉斯的真实场景的一组地形数据。将所达到的结果与基线整数变量算法和其他元元素算法进行了比较，这表明在成本方面，解决方案的改善显着改善。
原始发表论文的引用（记录版本）：Thaler, B., Kanchiralla, F., Posch, S. et al (2022). 优化设计和运行
逐步淘汰航运业的化石燃料对于减少温室气体排放至关重要。基于可再生能源的合成燃料是可持续海运业的一个有前途的选择，可再生甲醇是最广泛考虑的能源载体之一。然而，可再生甲醇的供应仍然有限，而且与传统燃料相关的成本明显高于传统燃料，这也是因为燃料合成必须依赖二氧化碳作为资源。通过使用船上碳捕获，可以避免燃烧过程中二氧化碳的释放，这种闭式循环减少了对碳源的需求。本文通过分析使用内燃机和相连的燃烧前和燃烧后碳捕获技术的整体船舶能源系统来研究这种情况。通过建立一个混合整数优化框架来优化船舶推进系统的设计和运行，研究了这些技术对完全可再生能源系统的技术经济性能的影响。所选案例研究的推进需求包括在波罗的海运营的渡轮的典型运行概况。将捕获情况与仅基于可再生甲醇的系统进行比较，可以发现封闭式碳循环系统具有显著的成本优势。基线情景的年成本降低了近 20%，燃烧后情况下的总捕获率为 90%，燃烧前情况下的总捕获率为 40% 左右。广泛的敏感性分析表明，这些成本优势在各种技术和经济边界条件下都具有稳健性。在燃烧前情况下，工艺热需求减少与发动机热供应增加相结合可能会使捕获率超过 90%。结果表明，将可再生燃料与船上碳捕获相结合可以为成本效益高、可持续的航运创造机会。
SpotlessMind - 引出分享神经反馈态度的设计探索
通过分享和解读内心状态实现相互理解具有社会意义。先前的研究表明，人们认为脑机接口 (BCI) 是一种隐性交流认知状态的合适工具。在本文中，我们进行了一项在线调查（N=43），以确定隐性共享认知状态的系统的设计参数。为了实现这一目标，我们设计了一个名为“SpotlessMind”的研究探测器，以艺术的方式与他人分享大脑占用情况，同时考虑旁观者的体验来引出用户反应。结果显示，98% 的人希望看到该装置。人们会将其用作一种开放的姿态和一种沟通的媒介。抽象视觉、听觉和体感描述是在可理解性和用户隐私保护之间的良好权衡。我们的工作支持设计引人入胜的原型，以促进个人之间的同理心、认知意识和融合。
shvit：带有内存有效宏设计的单头视觉变压器
最近，有效的视觉变压器表现出出色的性能，并且在资源受限的范围内延迟较低。通常，他们在宏观水平上使用4×4贴片嵌入式和4阶段结构，同时在微观级别利用多头配置的同时注意力。本文旨在解决记忆效率高的人中所有设计级别的计算重复。我们发现，使用较大的修补茎不仅降低了内存访问成本，而且还通过利用令牌表示，从早期阶段降低了空间冗余，从而实现了态度性能。fur-hoverore，我们的初步分析表明，在早期阶段的注意力层可以用会议代替，并且后期阶段的几个注意力头在计算上是多余的。为了处理这一点，我们介绍了一个单头注意模块，该模块固有地预先预先冗余，并同时通过相结合的全局和本地信息来提高准确性。在解决方案的基础上，我们引入了Shvit，这是一种单头视觉变压器，获得了最先进的速度准确性权衡。例如，在ImagEnet-1k上，我们的SHVIT-S4在GPU，CPU和iPhone12移动设备上比MobileVitV2×1.0快3.3×，8.1×和2.4倍，而同时更准确。用于使用Mask-RCNN头对MS Coco进行的对象检测和实例分割，我们的模型分别在GPU和移动设备上表现出3.8×和2.0×下骨架潜伏期时，可以与FastVit-SA12进行比较。
可测试性设计评级系统 - DTIC
TDRS 可测试性手册是一套两卷的书。第一卷包含此 TDRS 执行摘要、TDRS 简介以及有关如何改进设计可测试性方面的建议。第一卷第 1 节是第一卷的简介，并包含第一卷中每个部分的描述（第 1-8 页和第 1-9 页）。第一卷在主要部分之前包含首字母缩略词和缩写列表。它还在主要部分之后包含参考书目和词汇表。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。