XiaoMi-AI文件搜索系统
World File Search System软件平台
箭头平台
航天器总质量 最多 200kg 任务数据上行链路 28kbps；下行链路 50kbps（低速率）/480kbps（高速率） 指向知识 0.07 度（1 σ） 指向控制 0.08 度（1 σ） 转动速率 0.5 度/秒（横滚/偏航）；1.5 度/秒（俯仰） GPS 精度位置 10m；速度 0.02m/s；时间 50ns（1 σ） 设计寿命 >7 年（500km 轨道）；>5 年（1,200km 轨道） 运载火箭 阿丽亚娜空间联盟号、阿丽亚娜 6 号、维珍轨道发射器一号，其他拟议 标称轨道 500-1,500km 圆形极地轨道；可适应高度/倾斜度电池锂离子总线电压22-38V非调节C&DH冗余总线@125kbps（SoCan）和1Mbps（SpaceWire）加密AES 256有效载荷电气和数据处理接口电源线（0.5-5A）；热传感器线；SoCan总线；SpaceWire总线1同步（1kHz）线路；1 PPS（1Hz）线路TT&C上行/下行链路频段10Ka遥测频率/8Ka命令频率推进电力（氙气HET）最大Delta-V> 800m / s可靠性（非有效载荷）0.96 @ 5年宽带TT&C /通信选项可选Ka波段任务数据链路（1.6Gbps）带2个可操纵天线（15kg / 40W要求） div>
软件安全框架
安全 SLC 评估涉及全面的测试和评估活动，评估员将从中为每个控制目标及其相关的测试要求生成详细的工作文件。这些工作文件包含评估活动的全面记录，包括观察、配置、流程信息、访谈笔记、文档摘录、参考、屏幕截图以及评估期间收集的其他证据。安全 SLC 合规报告 (ROC) 实际上是从评估员的工作文件中得出的证据摘要，用于描述评估员如何执行验证活动以及如何得出和证明结果。从高层次上讲，安全 SLC ROC 提供了在安全 SLC 评估期间执行的测试活动和收集的信息的全面摘要。安全 SLC ROC 中包含的信息必须提供足够的细节和覆盖范围，以支持评估员的观点，即安全 SLC 合格软件供应商已满足 PCI 安全 SLC 标准中的所有控制目标。
测试自动网格生成软件
本报告描述了对用于预处理连续模型的软件进行的一组测试的结果。它针对希望在解决方案计算之前更多地了解评估网格质量的有限元软件包用户。此处报告的工作重点是用于有限元分析的自动网格生成器。本报告的目的是解释一些影响网格质量的因素，讨论一些评估网格质量的方法，并使用在常用软件包上运行的测试来说明提出的观点。先前的计量软件支持 (SS f M) 计划已经对连续模型解决方案包进行了测试 [10, 11]，从这项工作中获得的经验教训已被纳入 SS f M 测试算法和软件指南 [7]。
软件指南 - WELMEC
第一类要求适用于所有仪器。第二类需求涉及以下 IT 功能：测量数据的长期存储 (L)、测量数据的传输 (T)、软件下载 (D) 和软件分离 (S)。这些需求的每一组仅在存在相应功能时才适用。最后一类是进一步的仪器特定需求的集合。编号遵循 MID 中仪器特定附件的编号。可应用于给定测量仪器的一组需求块示意性地显示在图 2-1 中。