SGER: A Theory of Design Decisions
SGER: A Theory of Design Decisions
批准号:
0741584
负责人:
Martin Erwig
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-09-01 至 2009-02-28
中文摘要
0741584俄勒冈州立大学马丁·厄维格这项研究始于这样一种观察,即任何设计过程本质上都包括做出设计决策,并且任何设计的人工制品最终都是一组这样的设计决策的体现。PI将开发一种设计决策理论,并以该理论为基础,通过实例设计方法。设计决策将在数学上形式化为对属性集的操作,这些操作用于表示设计的人工制品沿多个维度的可能性。属性组可以组合成层次结构和可重复使用的设计空间。一个重要的方面是设计上下文的显式表示,以正确地捕获设计约束和外部需求。通过将设计决策与其他设计空间相关联,并通过约束将它们与设计上下文集成,可以进一步组合设计空间并对其进行建模。在这个模型中,任何设计都将被表示为设计空间中的一个点,并通过实例进行设计。指通过颠倒设计决策并用不同的设计决策来替换从一个点导航到另一个点。这项研究的广泛影响包括将设计理论应用于实际应用环境。一个主要的挑战将是证明拟议的设计方法可以成功地应用于实践,并且发展的理论提供了支持现实世界设计任务的见解。PIS将进行探索性研究,以建立一套重要的现实世界情景和范例项目,既可以作为评估试验台,也可以在发展理论时作为指导。参与这项研究的意向书包含在航空航天工业公司和NASA的建议书中。这项研究也将对直接参与这一项目或将通过研究生课程接触到这项研究的学生的教育产生积极影响。此外,教育外展将包括作为暑期实习生参加的高中生。
英文摘要
0741584 Erwig, Martin Oregon State University This research starts from the observation that any design process essentially consists of making design decisions and that any designed artifact is ultimately the embodiment of a set of such design decisions. The PIs will develop a theory of design decisions and based on the theory, a design-by-example methodology.Design decisions will be mathematically formalized as operations on attribute sets, which are used to represent the possibilities of the designed artifact along multiple dimensions. Groups of attributes can be combined into hierarchically structured and reusable design spaces. An important aspect is the explicit representation of design contexts to capture design constraints and external requirements properly. Design spaces can be further composed and modeled by relating design decisions to other design spaces and by integrating them with design contexts through constraints. In this model any design will be represented as a point in the design space, and ?design by example? means to navigate from one point to another by reversing design decisions and replacing them with different ones.The broad impacts of this research include the application of the design theory to real application environments. A major challenge will be to demonstrate that the proposed design methodology can be successfully applied in practice and that the developed theory provides insights that support real-world design tasks. The PIs will perform exploratory research to establish a set of important real-world scenarios and example projects that can serve both as an evaluation testbed and as a guide when developing the theory. Letters of intent to participate in the research are included in the proposal from companies in the aerospace industry and NASA.This research will also have a positive impact on the education of students that either directly participate in this project or will be exposed to the research through graduate level courses. Moreover, educational outreach will include high school students that participate as summer interns.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Explanation Logic
-
批准号:2114642
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2021
-
负责人:Martin Erwig
-
依托单位:
SHF: Small: A Theory of Explanation Languages
-
批准号:1717300
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2017
-
负责人:Martin Erwig
-
依托单位:
HCC: Large: Collaborative Research: Variations to Support Exploratory Programming
-
批准号:1314384
-
项目类别:Standard Grant
-
资助金额:$85.71万
-
财政年份:2013
-
负责人:Martin Erwig
-
依托单位:
SHF Small: Language Support for Variation Maintenance
-
批准号:1219165
-
项目类别:Standard Grant
-
资助金额:$49.77万
-
财政年份:2012
-
负责人:Martin Erwig
-
依托单位:
SHF: Small: Change Theory for Variation-Aware Programming
-
批准号:0917092
-
项目类别:Standard Grant
-
资助金额:$28.47万
-
财政年份:2009
-
负责人:Martin Erwig
-
依托单位:
WORKSHOP: Visual Languages and Human-Centric Computing (VL/HCC'06) Doctoral Consortium; September 4-8, 2006; Brighton, United Kingdom
-
批准号:0608618
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Martin Erwig
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
-
批准号:12247163
-
项目类别:专项项目
-
资助金额:18.00万元
-
批准年份:2022
-
负责人:黄栋
-
依托单位:
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2022
-
负责人:Thomas Pahtz
-
依托单位:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
-
批准号:12126512
-
项目类别:数学天元基金项目
-
资助金额:12.0万元
-
批准年份:2021
-
负责人:李常品
-
依托单位:
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
-
批准号:61671064
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2016
-
负责人:史树敏
-
依托单位: