论文标题
用目录建模层次结构系统
Modeling Hierarchical System with Operads
论文作者
论文摘要
本文采用了可乐和功能语义来解决复杂系统中的失败诊断问题。我们从一个具体的示例开始，为长度尺度干涉仪开发了一个层次交互模型，长度尺度干涉仪是由美国国家标准和技术研究所运营的高精度测量系统。该模型是用称为港口图形的组合/图形结构来表达的，我们解释了如何从这些图表的集合中提取Oparad LSI。接下来，我们将展示概率函数如何组织和约束系统组件故障的相对概率。最后，我们展示了如何将分析从一般组件的失败扩展到特定的故障模式。
This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, developing a hierarchical interaction model for the Length Scale Interferometer, a high-precision measurement system operated by the US National Institute of Standards and Technology. The model is expressed in terms of combinatorial/diagrammatic structures called port-graphs, and we explain how to extract an operad LSI from a collection of these diagrams. Next we show how functors to the operad of probabilities organize and constrain the relative probabilities of component failure in the system. Finally, we show how to extend the analysis from general component failure to specific failure modes.
