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
中文摘要
马丁·埃尔维 俄勒冈州州立大学这项研究从观察开始,任何设计过程基本上包括作出设计决策,任何设计的工件最终是一组这样的设计决策的体现。PI将开发一个设计决策的理论,并在此理论的基础上,一个设计的例子的方法。设计决策将数学形式化为操作的属性集,这是用来表示的可能性,设计的工件沿着多个维度。属性组可以组合成分层结构和可重用的设计空间。一个重要的方面是设计上下文的显式表示,以正确地捕获设计约束和外部需求。通过将设计决策与其他设计空间相关联,并通过约束将它们与设计上下文相集成,可以进一步组合和建模设计空间。在这个模型中,任何设计都将被表示为设计空间中的一个点,并且?通过实例设计?通过颠倒设计决策并将其替换为不同的决策,从一个点导航到另一个点。这项研究的广泛影响包括将设计理论应用于真实的应用环境。一个主要的挑战将是证明所提出的设计方法可以成功地应用于实践,并开发的理论提供了支持现实世界的设计任务的见解。 PI将进行探索性研究,以建立一套重要的现实世界场景和示例项目,这些场景和示例项目既可以作为评估测试平台,也可以作为开发理论时的指导。航空航天工业公司和美国宇航局的提案中包括参与研究的意向书。这项研究也将对直接参与该项目或将通过研究生课程接触研究的学生的教育产生积极影响。此外,教育推广活动将包括作为暑期实习生参加的高中生。
英文摘要
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
-
负责人:史树敏
-
依托单位: