XiaoMi-AI文件搜索系统
World File Search System系统规范
mil-std-3063 | 航空资产
保持在所需的可靠性水平。RSIP 能够提高旋翼机的性能、可用性和生命周期成本。RSIP 的目标是：a. 定义与满足旋翼机系统规范相关的结构完整性要求；b. 建立、评估、证实和认证旋翼机结构的结构完整性；c. 获取、评估和应用使用和维护数据，以确保旋翼机的持续结构完整性；d. 为检查、旋翼机改装优先级、风险管理以及相关操作和支持问题的决策提供定量信息；e. 为改进未来旋翼机系统和改装的结构标准和设计、评估和证实方法提供基础。
STAR-2000 FIPS 140-2 安全政策 非专有
JoveAI Innovation, Inc. STAR-2000 加密模块 (H.W.P/N 和版本：JV00002-02-1B-5 和 JV00002-02-1B-C；F.W.版本：1.0.1.1 和 1.1.1.1 ) 是符合 FIPS 140-2 和数字影院系统规范 (DCSS) 版本 1.2 的多芯片嵌入式加密模块。加载到模块中的任何固件，如果其版本未在模块证书中显示，则不在本验证范围内，需要单独的 FIPS 140-2 验证。STAR-2000 模块提供对数字影院内容的保护（数字影院内容密钥的机密性），并促进数字影院内容的呈现。STAR-2000 是 IMB（图像媒体块）。STAR-2000 媒体块目前有两种变体：
并发程序的形式化规范与验证
被认为可以降低开发的总成本。也就是说，它们必须被视为可以降低最终错误的数量，并且如果不进行这些操作，则感知成本必须高于执行这些操作的成本。。首先，讨论关于并发程序的人们可能希望能够证明什么。然后，提出了一个与这种功利主义观点一致的观察结果。这些在对系统规范的覆盖范围上有所不同，有些可以用作设计系统功能的基础。也就是说，程序的正式规范。接下来，编写正式规范的行为只是为了证明所作的决策与程序规范之间的一致性。最后，值得注意的是，其中一些技术在第一次验证尝试之前就已经与自动化工具（如验证器）相关联，目的是获得正确的系统功能。
开发多种系统的新选择
使用Prometheus的MMF分析代理包括系统规范任务MTV识别功能，以及来自原始体系结构设计阶段，MTV组功能和MTV分析组的两个任务。由于对系统功能的识别涉及对目标规范的分析，并且还考虑了从用例场景中考虑信息，因此将此任务放置在分析学科而不是要求中。功能还用于定义将要开发的代理类型。这是在MTV组功能任务中完成的，其结果是描述各种可能设计的图表。表示，在MTV分析分组中评估了设计，从而列出了代理类型的列表，每种设计都封装了一组功能。
系统分解及其要求 - mediaTUM
在软件系统开发中，公司试图通过与不同的子系统分包商签约来处理其系统日益增长的规模和复杂性。对于分布式开发和顺利集成，一个主要的挑战是从系统规范中推导出子系统规范，以便将其交付给分包商。因此，彻底的需求工程为成功的系统开发奠定了基础，采用这种分而治之的方法，为分包商提供他们需要的所有信息。子系统需求中缺少信息是成功进行分布式开发的陷阱，因此子系统需求不能完全满足整个系统需求，或者由于各个子系统的规范不一致，在集成过程中子系统之间不匹配。因此，本研究的研究目标是研究需求工程师如何系统地从系统需求规范中推导出子系统需求规范。指导问题是：
瑞士邮政投票系统的审查
范围和客观。在这篇综述中，我检查了瑞士邮政投票系统（1.4.1.1版）的系统规范，以评估该系统符合该法规的法律安全要求的程度。我研究了系统及其加密构件的概念设计。我的特别重点是设置和投票阶段，因为系统的这些部分是瑞士邮政投票系统及其选举方案最特定的，而Tallying阶段则更独立于系统，并且使用了更通用的技术。为了补充我的观点（例如，要获取有关密码硬度硬度假设或有关特定实施的更多信息），我也可以在必要时查看瑞士邮报提供的相应文档（即将计算的证明（即完全的验证和完全验证的证明）瑞士邮政投票系统（版本1.4.1）或以https：//gitlab.com/swisspost-evoting上发布的代码的加密原始。
SSP 30423，修订版 H 2000 年 1 月 15 日
空间站核准的电气、电子和机电零件清单 SSP 30423 列出了核准用于空间站硬件的电气、电子和机电 (EEE) 零件清单。空间站核准的电气、电子和机电零件清单包含简介和段落，其中定义了空间站计划 1 级应用和空间站计划 2 级应用的核准标准和核准非标准零件。本文档的内容旨在与总承包商和空间站计划参与者的任务和产品保持一致，如 SSP 41000（空间站系统规范）中规定的要求。空间站核准电气、电子和机电零件清单应在所有新的空间站计划合同和内部活动中实施，并应通过合同变更纳入任何现有合同。该文件由空间站控制委员会控制，任何变更或修订均须经项目经理批准。
城市空中交通管制白皮书 | Skyroads
为管理非载客 UTM 而构建的系统无法“升级”以达到监管认证所需的安全级别。需要实现每人使用飞行器 10 -9 /小时的全系统故障率。需要从一开始就将 ATC 系统 ([16], [17], [18], [19]) 和机载系统 ([20], [21], [22], [23]) 认证的监管要求纳入开发生命周期。追溯添加未作为开发一部分进行的流程、阶段和产品，即“稍后认证”方法，是不可行的和/或成本过高。 设计保证级别 (DAL，从 A 级（最高级别）到 E 级（最低级别）越低，开发成本和工作量越低。因此，D3 的目标是选择尽可能低的 DAL。D3 系统的 DAL 是在产品开发过程中作为系统架构和系统规范阶段的一部分确定的。
天然气汽车基础知识 - 替代燃料数据中心
1 “NGVAmerica – 车辆”。访问时间：2020 年 1 月。www.ngvamerica.org/vehicles。2 “按最终用途划分的天然气消耗量”，美国能源信息署。访问时间：2020 年 1 月。www.eia.gov/dnav/ng/ng_cons_sum_dcu_nus_a.htm。3 “按燃料类型划分的可再生燃料标准 RIN 生成量和可再生燃料产量电子表格”，美国环境保护署。访问时间：2020 年 1 月。www.epa.gov/fuels-registration-reporting-and-compliance-help/spreadsheet-rin-generation-and-renewable-fuel-0。4 美国运输部国家公路交通安全管理局，《压缩天然气燃料容器完整性》，49 CFR 571.304（2011 年 10 月 1 日）。 5 “NFPA 52：车辆天然气燃料系统规范”，美国国家消防协会。访问日期：2020 年 1 月。nfpa.org/codes-and-standards/all-codes-and-standards/list-of-codes-and-standards/detail?code=52。
自主武器系统和...
通过引入人工智能的武器自主权增加将从根本上改变武装冲突。因此，自主武器系统从法律，道德，人道主义和安全的角度提出了深刻的问题。人类处于十字路口，必须聚集在一起，以应对规范这些武器的挑战。在有史以来第一个联合国大会第一委员会关于致命自动武器系统的决议中，绝大多数州强调了国际社会迫切需要应对自动武器系统提出的挑战和关注点。奥地利联邦欧洲和国际事务部很高兴邀请参加国际会议，讨论和讨论与国际自治武器系统规范有关的深刻问题以及各种挑战。所有州，联合国，红十字国际委员会，国际和地区组织以及学术界，智囊团，工业和民间社会的代表都被邀请参加。