Collaborative Research: Unraveling the Limits of Computation in Structural and Infrastructure Engineering

协作研究：揭示结构和基础设施工程中的计算极限

• 批准号: 1436845
• 负责人: Leonardo Duenas Osorio
• 金额: $ 27万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2018-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1436845&HistoricalAwards=false
• 关键词: Collaborative; Research; Unraveling; Limits; Computation

This project identifies structural and infrastructure engineering (SIE) metrics and explores analytical and simulation methods that quantify these metrics. SIE metrics studied in this research include: reliability, robustness, redundancy, resilience, risk, sustainability, and life-cycle cost. Given that these metrics have different semantic perspectives their quantification has not been explored using computational and algorithmic thinking while this research does so. The research also studies the computational limits for each metric and takes advantage of the opportunities for exact and approximate formulations. Computable metrics inform the practice of designing, building, maintenance, and restoration of SIE systems. In addition, the research involves a diverse pool of students for which computational algorithms will be a mechanism for the design of SIE systems.A taxonomy of metrics for SIE applications is explored, while demonstrating via mathematical proofs the membership of these metrics to a computational complexity hierarchy. Proofs are mainly achieved via reducible chains in polynomial time, special subroutines such as oracles, while combinatorial arguments reveal which metrics to pursue using diverse strategies, either exactly or approximately. For instance, the research explores recursive formulations for metrics at the bottom of the hierarchy, and additional proofs are pursued to determine why practical constraints, such as correlations in reliability, break the structure of the problem into exponential time algorithms. The project explores symmetries, periodicities, and other features that support probabilistic algorithms with tolerances and confidence levels that are acceptable for large SIE problem instances.

该项目确定了结构和基础设施工程 (SIE) 指标，并探索量化这些指标的分析和模拟方法。本研究中研究的 SIE 指标包括：可靠性、稳健性、冗余、弹性、风险、可持续性和生命周期成本。鉴于这些指标具有不同的语义视角，因此本研究并未使用计算和算法思维来探索它们的量化。该研究还研究了每个指标的计算限制，并利用了精确和近似公式的机会。可计算的指标为 SIE 系统的设计、构建、维护和恢复实践提供信息。此外，该研究涉及不同的学生群体，计算算法将成为 SIE 系统设计的一种机制。探索了 SIE 应用的度量分类，同时通过数学证明证明了这些度量在计算复杂性层次结构中的成员资格。证明主要通过多项式时间内的可约链、预言机等特殊子程序来实现，而组合论证则揭示了使用不同策略（精确或近似）追求哪些度量。例如，该研究探索了层次结构底部度量的递归公式，并寻求额外的证明来确定为什么实际约束（例如可靠性相关性）将问题的结构分解为指数时间算法。该项目探索对称性、周期性和其他支持概率算法的特征，其公差和置信水平对于大型 SIE 问题实例来说是可接受的。