XiaoMi-AI文件搜索系统
World File Search Systemoft
原始发表论文的引用（记录版本）：Yuan, M., Nyborg, L., Oikonomou, C. et al (2022)。时间和温度相关的软化
从经济角度来看，耐久性是热冲压模具的关键因素。通过沉积新材料而不是更换来翻新模具是一种降低成本的有效方法。为此，通过定向能量沉积的方式将一种新开发的马氏体时效钢 (NMS) 熔覆在热作工具钢上。经过优化的回火后，对熔覆的 NMS 进行高温暴露以检查抗软化性能。利用光学显微镜 (OM)、X 射线衍射 (XRD)、扫描电子显微镜 (SEM)、俄歇电子能谱 (AES) 和透射电子显微镜 (TEM) 的组合，系统地表征了材料的微观结构演变。熔覆钢中的沉淀物被鉴定为 Laves 相。该相的粗化被认为是钢在高温下热软化的主要原因。还使用修订的 Langer-Schwartz-Wagner (LSW) 模型模拟了粗化行为，该模型与实验观察结果非常吻合。此外，成功应用了沉淀强化数学模型来评估钢的软化行为。该模型可用于预测所研究的工具钢在高温使用过程中的硬度/强度变化。2022 作者。由 Elsevier Ltd. 出版。这是一篇根据 CC BY-NC-ND 许可开放获取的文章（http://creativecommons.org/licenses/by-nc-nd/4.0/）。
Microsoft Power BI
为了更好地了解与这项投资相关的收益，成本和风险，Forrester采访了四个客户，并使用Power BI进行了59次调查，无论有或没有其他Microsoft Power Platpor Platform Products（Power Apps and Power Automate）。Regardless, this study looks specifically at the benefits and costs associated with Power BI as a standalone solution.受访者说，通过提高业务智能的质量和决策及时性，他们能够提高业务成果和用户效率。这些改进带来了业务福利，例如缩短了上市时间，更好的客户服务和增加的收入。
软件永无止境：重构采集代码......
作者：JM McQuade · 被引用 30 次 — 成本评估和绩效评估工具。最后... 国防采购部，1987 年 9 月），https://apps.dtic.mil ...
太阳-地球模型和应用软件
简要说明：国际参考电离层 (IRI) 是由空间研究委员会 (COSPAR) 和国际无线电科学联合会 (URSI) 赞助的一个国际项目。这些组织在 20 世纪 60 年代末成立了一个工作组，根据所有可用的数据源，制定电离层的经验标准模型。该模型的几个稳步改进版本已经发布。IRI 描述了从约 50 公里到约 2000 公里的高度范围内的电子密度、电子温度、离子温度和离子成分。它提供了磁平静条件下非极光电离层的月平均值。主要数据来源是全球电离层网络、强大的非相干散射雷达（Jicamarca、Arecibo、Millstone Hill、Malvern、St. Santin）、ISIS 和 Alouette顶部探测器，以及几颗卫星和火箭上的现场仪器。IRI 每年在特别 IRI 研讨会期间更新（例如，在 COSPAR 大会期间）。计划进行几项扩展，包括离子漂移模型、极光和极地电离层的描述以及对磁暴效应的考虑。
人工智能软件的质量衡量和保证
报告分为三个部分。在第一部分中，我们回顾了现有的软件质量保证措施和技术——那些为传统软件开发并应用于传统软件的措施和技术。这部分对软件可靠性和指标、静态和动态测试以及正式规范和验证进行了相当全面的概述，可能会引起那些不关心人工智能软件的人的兴趣。在第二部分中，我们考虑了基于人工智能的软件的特征、第一部分中确定的措施和技术的适用性和潜在效用，并回顾了专门为基于人工智能的软件开发的少数方法。在本报告的第三部分中，我们提出了对这一重要领域的进一步探索的评估和建议。提供了包含 194 个条目的详尽参考书目。
实习飞行软件、计算机视觉和人工智能 瑞士苏黎世 公司：Daedalean 是一家总部位于苏黎世的初创公司，由前谷歌和 SpaceX 工程师创立，他们希望在未来十年内彻底改变城市航空旅行。我们结合计算机视觉、深度学习和机器人技术，为飞机开发最高级别的自主性（5 级），特别是您可能在媒体上看到的电动垂直起降飞机。如果您加入我们的实习，您将有机会与经验丰富的工程师一起工作，他们来自 CERN、NVIDIA、伦敦帝国理工学院或……自治系统实验室本身。您将构建塑造我们未来的尖端技术。最重要的是，我们还提供在瑞士阿尔卑斯山试飞期间与我们的飞行员一起飞行的机会。项目：不同的团队都提供机会。我们希望更多地了解您，以及我们如何让您的实习成为双方宝贵的经历。告诉我们您一直在做什么，以及您想在我们的团队中从事什么工作。它与深度学习有关吗？状态估计？运动规划？计算机视觉？或者其他什么？向我们展示您的热情所在。如果我们可以在您想要从事的领域提供指导和有趣的机会，我们将一起敲定细节。资格：强大的动手 C++ 经过验证的解决问题的能力如何申请：将您的简历/履历发送至 careers@daedalean.ai 。电话
实习飞行软件、计算机视觉和人工智能瑞士苏黎世公司：Daedalean 是一家总部位于苏黎世的初创公司，由前谷歌和 SpaceX 工程师创立，他们希望在未来十年内彻底改变城市航空旅行。我们结合计算机视觉、深度学习和机器人技术，为飞机开发最高级别的自主性（5 级），特别是您可能在媒体上看到的电动垂直起降飞机。如果您加入我们的实习，您将有机会与经验丰富的工程师一起工作，他们来自 CERN、NVIDIA、伦敦帝国理工学院或……自治系统实验室本身。您将构建塑造我们未来的尖端技术。最重要的是，我们还提供在瑞士阿尔卑斯山试飞期间加入我们飞行员的机会。项目：不同团队提供机会。我们想更多地了解您，以及如何让您的实习成为双方宝贵的经历。告诉我们你一直在做什么，以及你想在我们的团队中从事什么工作。它与深度学习有关吗？状态估计？运动规划？计算机视觉？或者别的什么？向我们展示你的热情所在。如果我们可以在你想从事的领域提供指导和有趣的机会，我们将一起敲定细节。资格： 强大的动手 C++ 证明解决问题的能力 如何申请： 将您的简历/履历发送至 careers@daedalean.ai 。请告诉我们一些关于您自己的信息，为什么您认为自己适合我们以及为什么我们适合您。
软件工程 - 自主代理系统
3。职责3.1。设计，开发和实施为自治代理系统的代码，重点是但不限于专注于行为模型，因果模型，世界模型，优先级机制，奖励机制，社交交流机制和输入输出输出界面。3.2。使用内部和外部系统和基准评估和评估自主剂系统的性能。3.3。设计，开发和实施用于评估自主代理3.4的性能的系统。设计，开发和实施API功能和体系结构功能。3.5。编写代码以支持测试，分析，验证和验证代码库，包容性自主代理系统，性能评估系统，API系统和其他系统。3.6。考虑可扩展性，算法设计，基础架构以及云提供商系统和服务的整体系统设计，编排和部署。
航天软件安全研究议程
飞行软件是任何航天器成功执行任务的基础。飞行软件的可靠性并不是一个新话题，过去几十年来，人们通过质量保证、容错和故障安全操作对飞行软件进行了广泛的研究，特别关注了具有冗余层的飞行软件。尽管人们关注故障管理原则和实践，但对飞行软件的网络安全关注有限。飞行软件的容错与飞行软件的安全挑战之间的主要区别在于，容错假设故障本质上是概率性的，并且故障将按照可预测的顺序从可预测的环境影响中发生。飞行软件的网络安全威胁是由一个聪明的对手传播的，尽管有故障安全机制或可用的防御措施，他们可能会积极地与飞行软件互动，故意以一种意想不到的方式强调其流程。攻击者的追击或下一步行动并不像环境传播的故障那样可预测。虽然飞行软件社区历来以隐蔽安全为幌子运作，但飞行模块的开源和商用现货 (COTS) 日益普及，抹去了任何可察觉的安全优势。美国宇航局的核心飞行系统 (cFS) 和美国宇航局喷气推进实验室的 F' 飞行软件可供对手和安全研究人员随时探索，这迫使公众讨论太空飞行软件安全实践和“新”太空时代的要求。本文提出了飞行软件安全的研究议程，讨论了迄今为止在相关领域开展的强有力的相关研究，