RIA: Constraint-Based Reasoning for Structural Design Automation

9309623 Lakmazaheri工程问题使用线性和非线性约束建模。因此，工程问题的自动推理需要对线性和非线性约束进行推理。存在对线性约束进行推理的有效策略。一些研究人员已经对这些策略在工程应用中的应用进行了研究。然而，涉及非线性约束的工程问题的自动推理尚未得到探索。这主要是由于缺乏对非线性约束进行推理的有效策略。最近，Wu开发了一种有效的非线性约束推理方法。提出的调查探索使用吴的方法来推理结构设计问题的方式是不可能的。

9309623 Lakmazaheri Engineering problems are modeled using linear and non-linear constraints. Automated reasoning about engineering problems, thus, requires reasoning about linear and non-linear constraints. Effective strategies for reasoning about linear constraints exist. The use of these strategies for engineering applications has been investigated by several researchers. However, automated reasoning about engineering problems which involve non-linear constrains has not yet been explored. This is mainly due to the lack of effective strategies for reasoning about non-linear constraints. Recently, Wu developed an effective approach for reasoning about non-linear constraints. The proposed investigation explore the use of Wu's method for reasoning about structural design problems in ways which have not been possible before.