RIA: Constraint-Based Reasoning for Structural Design Automation

RIA：基于约束的结构设计自动化推理

• 批准号: 9309623
• 负责人: Sivand Lakmazaheri
• 金额: --
• 依托单位: Auburn University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-05-01 至 1995-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9309623&HistoricalAwards=false
• 关键词: RIA; Constraint; Based; Reasoning; Structural

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.

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