SGER: A Theory of Design Decisions
SGER:设计决策理论
基本信息
- 批准号:0741584
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2007
- 资助国家:美国
- 起止时间:2007-09-01 至 2009-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
马丁·埃尔维 俄勒冈州州立大学这项研究从观察开始,任何设计过程基本上包括作出设计决策,任何设计的工件最终是一组这样的设计决策的体现。PI将开发一个设计决策的理论,并在此理论的基础上,一个设计的例子的方法。设计决策将数学形式化为操作的属性集,这是用来表示的可能性,设计的工件沿着多个维度。属性组可以组合成分层结构和可重用的设计空间。一个重要的方面是设计上下文的显式表示,以正确地捕获设计约束和外部需求。通过将设计决策与其他设计空间相关联,并通过约束将它们与设计上下文相集成,可以进一步组合和建模设计空间。在这个模型中,任何设计都将被表示为设计空间中的一个点,并且?通过实例设计?通过颠倒设计决策并将其替换为不同的决策,从一个点导航到另一个点。这项研究的广泛影响包括将设计理论应用于真实的应用环境。一个主要的挑战将是证明所提出的设计方法可以成功地应用于实践,并开发的理论提供了支持现实世界的设计任务的见解。 PI将进行探索性研究,以建立一组重要的现实场景和示例项目,这些场景和项目既可以作为评估测试平台,也可以作为开发理论时的指南。航空航天工业公司和美国宇航局的提案中包括参与研究的意向书。这项研究也将对直接参与该项目或将通过研究生课程接触研究的学生的教育产生积极影响。此外,教育推广活动将包括作为暑期实习生参加的高中生。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Martin Erwig其他文献
An error-tolerant type system for variational lambda calculus
变分 lambda 演算的容错类型系统
- DOI:
10.1145/2364527.2364535 - 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
Sheng Chen;Martin Erwig;Eric Walkingshaw - 通讯作者:
Eric Walkingshaw
Principal type inference for GADTs
GADT 的主要类型推断
- DOI:
10.1145/2837614.2837665 - 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Sheng Chen;Martin Erwig - 通讯作者:
Martin Erwig
15 Migrating Gradual Types
15 种渐进迁移类型
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
J. P. Campora;Sheng Chen;Martin Erwig;Eric Walkingshaw - 通讯作者:
Eric Walkingshaw
Robust Learning for Adaptive Programs by Leveraging Program Structure
利用程序结构实现自适应程序的稳健学习
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Jervis Pinto;Alan Fern;Tim Bauer;Martin Erwig - 通讯作者:
Martin Erwig
A Type System Based on End-User Vocabulary
基于最终用户词汇的类型系统
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
Robin Abraham;Martin Erwig;S. Andrew - 通讯作者:
S. Andrew
Martin Erwig的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Martin Erwig', 18)}}的其他基金
SHF: Small: A Theory of Explanation Languages
SHF:小:解释语言理论
- 批准号:
1717300 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Standard Grant
HCC: Large: Collaborative Research: Variations to Support Exploratory Programming
HCC:大型:协作研究:支持探索性编程的变体
- 批准号:
1314384 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Standard Grant
SHF Small: Language Support for Variation Maintenance
SHF Small:变体维护的语言支持
- 批准号:
1219165 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Small: Change Theory for Variation-Aware Programming
SHF:小:变化感知编程的变革理论
- 批准号:
0917092 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
WORKSHOP: Visual Languages and Human-Centric Computing (VL/HCC'06) Doctoral Consortium; September 4-8, 2006; Brighton, United Kingdom
研讨会:视觉语言和以人为本的计算 (VL/HCC06) 博士联盟;
- 批准号:
0608618 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号:12247163
- 批准年份:2022
- 资助金额:18.00 万元
- 项目类别:专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号:
- 批准年份:2022
- 资助金额:55 万元
- 项目类别:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号:12126512
- 批准年份:2021
- 资助金额:12.0 万元
- 项目类别:数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
- 批准号:61671064
- 批准年份:2016
- 资助金额:65.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: Design and synthesis of hybrid anode materials made of chemically bonded carbon nanotube to copper: a concerted experiment/theory approach
合作研究:设计和合成由化学键合碳纳米管和铜制成的混合阳极材料:协调一致的实验/理论方法
- 批准号:
2334039 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
REU Site: Algorithm Design --- Theory and Engineering
REU网站:算法设计---理论与工程
- 批准号:
2349179 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Collaborative Research: Design and synthesis of hybrid anode materials made of chemically bonded carbon nanotube to copper: a concerted experiment/theory approach
合作研究:设计和合成由化学键合碳纳米管和铜制成的混合阳极材料:协调一致的实验/理论方法
- 批准号:
2334040 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
Exploring Theory and Design Principles (ETD): Auditing Machine Learning Applications for Algorithmic Justice with Computer Science High School Students and Teachers
探索理论和设计原则 (ETD):与计算机科学高中学生和教师一起审核机器学习应用程序的算法正义
- 批准号:
2342438 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
CAREER: Integrating Graph Theory based Networks with Machine Learning for Enhanced Process Synthesis and Design
职业:将基于图论的网络与机器学习相集成以增强流程综合和设计
- 批准号:
2339588 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
Design theory-based nanostructured leaf-vein networks for selective VOC sensing
基于理论的纳米结构叶脉网络用于选择性 VOC 传感
- 批准号:
EP/W022451/1 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Research Grant
Development of Theoretical Design Methods of Catalysts Based on Electronic Structure Theory and Their Applications to Design and Development of High-Performance Molecular Catalysts
基于电子结构理论的催化剂理论设计方法发展及其在高性能分子催化剂设计与开发中的应用
- 批准号:
22KJ0003 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for JSPS Fellows
CAREER: Mechanical Metamaterial Electronics: Theory, Design and Applications
职业:机械超材料电子:理论、设计和应用
- 批准号:
2235494 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
Coding theory and Design theory for probability measures on symmetric spaces
对称空间概率测度的编码理论和设计理论
- 批准号:
23KJ1641 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for JSPS Fellows
Design Theory for Membrane-Targeted Radionuclide Therapeutic Agents Using Contact Bubble Bilayer Method
接触气泡双层法膜靶向放射性核素治疗剂的设计理论
- 批准号:
23K18263 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Challenging Research (Exploratory)