Loading...
机构名称:
¥ 1.0

当今的商用飞机使用“交通警报和防撞系统”(TCAS),该系统指示飞行员如何控制飞机;该系统的验证并未系统地研究空中交通管制员的活动如何影响飞机的运行。其中一个结果是 2002 年在德国于伯林根上空发生的一次碰撞,现在人们普遍认为这说明了人与自动化之间如何产生权力冲突。Brahms-GÜM 是一个多智能体模拟航空运输中的工作实践;它模拟了在安全关键、时间紧迫的情况下,分散的飞行员和空中交通管制员群体如何与 TCAS 和其他自动化系统交互。Brahms-GÜM 是通用的,可以对备选工作系统配置(包括于伯林根场景)进行假设分析,从而促进不同运营概念的设计。 Brahms-GÜM 展示了当工作系统的某些方面缺失或出现故障时,交互可能会变得不可预测,从而使日常复杂系统变成一个认知复杂且因此不受人类控制的系统。该项目还提供了一个试验台,用于应用模型检查方法来验证和确认工作系统设计。

受邀演讲摘要 - AAAI

受邀演讲摘要 - AAAIPDF文件第1页

受邀演讲摘要 - AAAIPDF文件第2页

受邀演讲摘要 - AAAIPDF文件第3页