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

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

• 批准号: 1730066
• 负责人: Javier Rojo
• 金额: $ 8.8万
• 依托单位: Oregon State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-12-01 至 2018-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1730066&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应用的指标分类法，同时通过数学证明证明这些指标的成员资格对计算复杂性的成员资格。证明主要是通过多项式时间的可还原链，特殊的子例程（例如oracles）来实现的，而组合论证则揭示了哪些指标可以准确或大约使用不同的策略来追求。例如，该研究探讨了层次结构底部的指标的递归公式，并寻求其他证据，以确定为什么实际约束（例如可靠性的相关性）将问题的结构打破到指数时间算法中。该项目探讨了支持概率算法的对称性，周期性和其他功能，这些算法具有公差和置信度，这些算法对于大型SIE问题实例可接受。