XiaoMi-AI文件搜索系统
World File Search SystemRTCA
飞机上的局域网 (LAN)
15. 补充说明 美国联邦航空管理局机场和飞机安全研发部技术监测员是 Charles Kilgore。 16. 摘要 本报告介绍了美国联邦航空管理局 (FAA) 局域网 (LAN) 研究工作的结果，该研究旨在解决飞机 LAN 带来的潜在安全影响。将飞机上以前孤立的组件互连会增加组件之间意外交互的复杂性，并提供可能被利用造成伤害的潜在新接入点。本报告讨论了网络 LAN 带来的潜在安全漏洞、安全故障的安全影响以及设计和认证飞机 LAN 以确保这些新飞机系统安全的流程。本报告利用 Biba 完整性模型将当前的 FAA 安全保证流程扩展到机载网络环境中。它以现有的 FAA 研究为基础，阐明了整合 RTCA/DO-178B 和国家空域系统通用标准流程的机制。这种方法创建了一个以安全为导向的机载网络架构，该架构建立在现有的 DO-178B 和航空航天推荐做法 4754 安全机制之上。其结果与美国国防部现行的政策和流程直接类似。17. 关键词 局域网、网络、飞机安全、飞机安保
烟雾探测器与基于安全关键型飞机的连接...
直到第 7 层的各层都必须由应用程序的附加服务进行管理。各种标准化的更高层协议（如 CANopen）都已发布并广泛应用于工业应用中。为了便于遵守 RTCA/DO-178 [3] 指南，没有选择通用的高层协议，而是开发了一种特定类型的应用层协议，并记录在系统接口文档 [2] 中。对通信需求的分析产生了以下协议要求：• 网络上的每个烟雾探测器都必须具有唯一性• 烟雾探测器生成的消息必须包含有关其身份的信息• 支持主从通信模型 CAN 标识符使用 29 位扩展标识符，并分成如图 3 所示的子字段。消息类型消息类型的目的在于根据消息的总体相对优先级对其进行分类，并指示模块 ID 是包含发送器地址还是接收器地址。两类消息类型、过程数据对象 (PDO) 和服务数据对象 (SDO) 被实例化为发送或接收对象；分别为 T_PDO 和 R_PDO 以及 T_SDO 和 R_SDO。发送数据对象 (T_xDO) 表示模块 ID 包含发送器的网络地址，而接收数据对象 (R_xDO) 则在模块 ID 字段中包含目标接收器的网络地址。
烟雾探测器与基于安全关键型飞机的连接...
直到第 7 层的各层都必须由应用程序的附加服务进行管理。各种标准化的更高层协议（如 CANopen）都已发布并广泛应用于工业应用中。为了便于遵守 RTCA/DO-178 [3] 指南，没有选择通用的高层协议，而是开发了一种特定类型的应用层协议，并记录在系统接口文档 [2] 中。对通信需求的分析产生了以下协议要求：• 网络上的每个烟雾探测器都必须具有唯一性• 烟雾探测器生成的消息必须包含有关其身份的信息• 支持主从通信模型 CAN 标识符使用 29 位扩展标识符，并分成如图 3 所示的子字段。消息类型消息类型的目的在于根据消息的总体相对优先级对其进行分类，并指示模块 ID 是包含发送器地址还是接收器地址。两类消息类型、过程数据对象 (PDO) 和服务数据对象 (SDO) 被实例化为发送或接收对象；分别为 T_PDO 和 R_PDO 以及 T_SDO 和 R_SDO。发送数据对象 (T_xDO) 表示模块 ID 包含发送器的网络地址，而接收数据对象 (R_xDO) 则在模块 ID 字段中包含目标接收器的网络地址。
软件验证工具评估研究
14. 赞助机构代码 AIR-120 15. 补充说明 美国联邦航空管理局机场和飞机安全 COTR 是 Charles Kilgore。 16. 摘要 软件验证工具评估研究 (SVTAS) 是一项研究工作，旨在调查有效评估结构覆盖分析工具的标准，这些工具用于旨在符合 RTCA/DO-178B“机载系统和设备中的软件考虑因素”的项目。制定这些标准的目的是提高这些工具资格认证过程的准确性和一致性。SVTAS 包括对市售结构覆盖分析工具的调查、文献搜索以审查与结构覆盖和工具资格认证相关的政策和指导，以及对结构覆盖定义进行分析。基于这些发现，提出了一种测试套件作为提高工具资格认证标准应用的客观性和统一性的方法。定义了完整测试套件的目标，并开发了原型测试套件。原型测试套件在三种不同的结构覆盖分析工具上运行，以评估测试套件方法的有效性。原型测试套件识别出了三种覆盖率分析工具中的异常，证明了测试套件有助于评估工具是否符合 DO-178B 要求。 17. 关键词 结构覆盖率、DO-178B、工具资格、修改条件决策覆盖率
2019 年 ERCOT 电力市场状况报告...
4CP 四重峰 CAISO 加利福尼亚独立系统运营商 CDR 容量、需求和储备报告 CFE 联邦电力委员会 CONE 新进入成本 CRR 拥塞收益权 DAM 日前市场 DC 联络 直流联络 EEA 能源紧急警报 ERCOT 德克萨斯州电力可靠性委员会 ERS 紧急响应服务 FIP 燃料指数价格 GTC 通用传输约束 GW 千兆瓦 HCAP 全系统高报价上限 HE 小时末 Hz 赫兹 ISO-NE 新英格兰 ISO LDF 负荷分配系数 LDL 低调度限制 LMP 位置边际价格 LOLP 负荷损失概率 LSL 低持续限制 MISO 中部大陆独立系统运营商 MMBtu 百万英热单位 MW 兆瓦 MWh 兆瓦时 NCGRD 发电资源指定变更通知 NOIE 非选择加入实体 NPRR 节点协议修订请求 NSO 暂停运营通知 NYISO 纽约独立系统运营商 OBD 其他约束性文件 ORDC 运营储备需求曲线 PCRR 预先分配的拥塞收入权 PTP 点对点 PTPLO 带有选项链接的点对点义务 PUC 公用事业委员会 PURA 公用事业监管法 QSE 合格调度实体 RDI 剩余需求指数 RENA 实时收入中性分配 RTCA 实时应急分析 RDPA 实时可靠性部署价格加法器 RUC 可靠性单元承诺 SASM 补充辅助服务市场
航空信息交换模型 (AIXM)
航空信息交换模型 (AIXM) 的使命是提供一个全球适用的航空数据模型和交换格式，可用于改进内部航空信息服务 (AIS) 系统以及外部 AIS 系统之间的信息交换。由于航空业对及时、一致、高质量航空信息的依赖性越来越强，因此需要制定该标准。信息交换标准是航空信息系统现代化的核心。该标准提供：• 一种用于表达航空信息的通用语言，供人和计算机解释；• 通过软件重用和数据模型重用节省成本；• 通过提高数据完整性和及时性来提高安全性；• 通过改进数据质量检查和集成来降低成本。此外，航空信息的通用标准可以实现新产品，从而提高航空效率、容量和安全性。这类产品的例子包括：• 用于地面和空中导航的实时态势感知显示，包括最新信息更新；• 自动数据驱动图表；• 电子飞行包和飞行员信息简报； • 协作飞行规划和自动化空中交通管理系统 AIS 办公室必然会从以产品为中心的运营转向以数据为中心的运营。在以产品为中心的运营中，每个航空产品都得到维护