XiaoMi-AI文件搜索系统
World File Search System软件设计
软件在最近航空事故中的作用
软件的模式与物理设备的模式非常不同，软件对事故的贡献也不同：必须改变工程活动以反映这些差异。几乎所有与软件相关的事故都可以追溯到需求规范中的缺陷，而不是编码错误。在这些情况下，软件完全按照规定执行（实现是“正确的”），但规范是不正确的，因为（1）需求不完整或包含关于软件控制的系统组件所需操作或计算机所需操作的错误假设，或（2）存在未处理的受控系统状态和环境条件。这反过来意味着软件系统安全工作的大部分应该用于需求分析，包括完整性（我们已经指定了一套广泛的完整性标准）、正确性、对系统危害的潜在贡献、稳健性以及可能的操作模式混淆和软件设计造成或加剧的其他操作错误。
机器学习在软件开发中的作用
摘要： - 在当今迅速发展的技术时代，机器学习在软件开发中的作用变得越来越重要和有影响力。机器学习已彻底改变了软件开发的各个方面，从代码分析和优化到预测和决策。此外，机器学习算法有可能通过自动化重复任务，提高代码质量并减少软件测试和调试所需的时间和精力来显着增强软件开发过程。通过获得大量数据和强大的计算资源，机器学习算法可以分析模式并对软件性能进行准确的预测，识别潜在的错误或安全问题，并帮助改善软件设计和开发过程。此外，机器学习可以通过检测异常并确定软件故障的潜在原因来促进软件维护和调试。尽管在软件开发过程中使用机器学习技术可以大大提高效率，生产率和整体软件质量。
增加 MMPDS 中的合金数量 成功案例
解决方案：为 A206 高强度铝合金开发经过统计验证的数据，以将其纳入 MMPDS，以便可以轻松用于设计和制造军用和民用飞机中的关键飞行部件。该项目利用了 AMC 之前针对铝 E357 所做的努力，该努力利用工艺模拟软件设计了一系列涵盖各种截面厚度的测试样本，从金相学上验证了该方法，协调了从合格铸造厂联盟收集所需样品的工作，并提交数据进行统计分析并由 MMPDS 委员会批准纳入 MMPDS 标准。此外，通过这项工作并基于测试结果支持的最佳行业数据，修订了 AMS 4535 的 A206-T71 热处理规范，包括分步溶液和 390F 时效。
设计可持续发展的商业模式开发工具——一项设计科学研究
摘要 开发能够推动行为根本性转变、更加经济、生态和社会化的商业模式是一项具有挑战性的任务，因为可持续性的考虑是一个多维问题，其特点是不确定性和价值冲突。为了处理如此复杂的任务，需要方法和技术工具支持。尽管商业模式开发工具已经很成熟，但它们通常侧重于经济义务，而很少关注生态和社会问题。为了弥合这一差距，我们阐明了如何设计软件功能以尊重商业模式的可持续性的问题。我们以设计原则和特性的形式介绍了软件原型和规范性设计知识，旨在通过为软件设计人员和商业模式开发人员提供如何反思可持续性的指导，为信息系统知识体系做出贡献。
研究通过3D打印在各种方向产生的PLA聚合物拉伸测试样品的机械性能：平坦，垂直和45度
在这项研究中，检查了构建方向对聚乳酸或PLA聚合物拉伸强度的影响。利用直径为1.70mm的PLA丝，根据塑料的ASTM D638规格，使用SolidWorks软件设计拉伸测试样品。然后，样品以45度的方向打印3D，使用FDL 3D打印机直立。最终的样品使用痛风通用测试机进行了应力测试，发现平坦的方向样品由于整个层上更有效的负载分布而导致的紧张应力最大。另一方面，垂直印刷的样品显示出最小的拉伸应力，表明有效的负载传输较低。光学显微镜用于观察材料的打印层方向。
AI驱动的自动驱动的关键安全设计概述...
摘要 - 随着自动SAE级别3和4级的越来越多，它结合了人工智能软件，以及它们所提出的复杂技术挑战，必须保持高水平的功能安全性和强大的软件设计。本文探讨了汽车软件和硬件的必要安全架构和系统方法，包括对汽车安全完整性水平（ASIL）D（最高安全完整性），人工智能（AI）集成（AI）和机器学习（ML）在自动安全架构中的失败处理。通过解决增加基于AI的汽车软件所带来的独特挑战，我们提出了各种技术，例如缓解策略和安全失败分析，以确保汽车软件的安全性和可靠性以及AI在整个数据生命周期内的软件可靠性中的作用。
Intrepid - 新型小型卫星发射器
Universal Space Lines（运营商）和 Rocket Development Company（硬件制造商）正处于开发小型低成本可扩展运载火箭“Intrepid”的早期阶段。这种两级运载火箭使用液氧/液氢推进剂组合，其基本形式的目标是向东发射时有效载荷高达约 1,100 磅。结构主要采用复合材料，以提高产量和降低单位成本。最大限度地利用现有的电子元件，以最大限度地减少开发。软件设计遵循在 DC-X / XA 程序上开发的非常成功的方法。Intrepid 计划的目标是将此有效载荷范围内的发射成本降低 50 - 60%。USL / RDC 团队是 Bantam Cycle I 竞赛的获胜者之一，其设计是基本 Intrepid 设计的降级版本。计划于 1999 年进行首次飞行。
成熟度网格启发方法 - CiteSeerX
沟通是设计成功的关键因素。它可以看作是选择信息、在互动伙伴之间交换消息以及创造意义的社会和认知过程。如何最好地捕捉、分析和评估沟通过程，作为改进沟通实践建议的初步步骤，仍然是研究人员和从业人员面临的挑战。为此，开发了一种受成熟度网格启发的方法来审计沟通实践。本文采用成熟度网格方法，并批判性地反思了它在软件设计结构化小组研讨会中的构建和应用。这种方法有双重好处：（a）作为一种研究方法来收集对沟通的洞察，（b）作为规划实践改进的指南。得出了设计中审计沟通过程的结论。� 2006 Elsevier Ltd. 保留所有权利。
美国联邦航空管理局 (FAA) 对 Eclipse EA-500 超轻型喷气式飞机的认证
尽管存在未解决的设计问题，FAA 仍允许 Eclipse 使用替代合规方法来满足设计认证要求——认证后用户仍继续报告类似问题我们发现，在认证 EA-500 设计时，Eclipse 使用了替代合规方法，并且获得了 FAA 的批准。尽管 FAA 法规允许使用替代合规方法，但我们特别担心 FAA 对航空电子软件设计应用的标准不太严格，而飞机的运行严重依赖该软件。此后，用户报告了与 EA-500 软件直接相关的问题，例如驾驶舱显示故障。此外，还出现了飞机设计的其他问题，例如空速和高度指示器（皮托静态系统）差异、错误的失速警告以及轮胎故障。下面的时间表显示了 EA-500 设计认证前的关键日期。
