Capture and Maintenance of Constraints in Engineering Design

Research output: Types of ThesisDoctoral Thesis

Abstract

The thesis investigates two domains, initially the kite domain and then part of a more demanding Rolls-Royce domain (jet engine design). Four main types of refinement rules that use the associated application conditions and domain ontology to support the maintenance of constraints are proposed. The refinement rules have been implemented in ConEditor and the extended system is known as ConEditor+. With the help of ConEditor+, the thesis demonstrates that an explicit representation of application conditions together with the corresponding constraints and the domain ontology can be used to detect inconsistencies, redundancy, subsumption and fusion, reduce the number of spurious inconsistencies and prevent the identification of inappropriate refinements of redundancy, subsumption and fusion between pairs of constraints.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • University of Aberdeen
Award date29 May 2009
Publication statusPublished - 27 May 2009

Fingerprint

Redundancy
Ontology
Fusion reactions
Jet engines

Cite this

@phdthesis{c79855bf8bb446e1b8582aa00dfdd4a3,
title = "Capture and Maintenance of Constraints in Engineering Design",
abstract = "The thesis investigates two domains, initially the kite domain and then part of a more demanding Rolls-Royce domain (jet engine design). Four main types of refinement rules that use the associated application conditions and domain ontology to support the maintenance of constraints are proposed. The refinement rules have been implemented in ConEditor and the extended system is known as ConEditor+. With the help of ConEditor+, the thesis demonstrates that an explicit representation of application conditions together with the corresponding constraints and the domain ontology can be used to detect inconsistencies, redundancy, subsumption and fusion, reduce the number of spurious inconsistencies and prevent the identification of inappropriate refinements of redundancy, subsumption and fusion between pairs of constraints.",
author = "Suraj Ajit",
year = "2009",
month = "5",
day = "27",
language = "English",
school = "University of Aberdeen",

}

Ajit, S 2009, 'Capture and Maintenance of Constraints in Engineering Design', Doctor of Philosophy, University of Aberdeen.

Capture and Maintenance of Constraints in Engineering Design. / Ajit, Suraj.

2009. 235 p.

Research output: Types of ThesisDoctoral Thesis

TY - THES

T1 - Capture and Maintenance of Constraints in Engineering Design

AU - Ajit, Suraj

PY - 2009/5/27

Y1 - 2009/5/27

N2 - The thesis investigates two domains, initially the kite domain and then part of a more demanding Rolls-Royce domain (jet engine design). Four main types of refinement rules that use the associated application conditions and domain ontology to support the maintenance of constraints are proposed. The refinement rules have been implemented in ConEditor and the extended system is known as ConEditor+. With the help of ConEditor+, the thesis demonstrates that an explicit representation of application conditions together with the corresponding constraints and the domain ontology can be used to detect inconsistencies, redundancy, subsumption and fusion, reduce the number of spurious inconsistencies and prevent the identification of inappropriate refinements of redundancy, subsumption and fusion between pairs of constraints.

AB - The thesis investigates two domains, initially the kite domain and then part of a more demanding Rolls-Royce domain (jet engine design). Four main types of refinement rules that use the associated application conditions and domain ontology to support the maintenance of constraints are proposed. The refinement rules have been implemented in ConEditor and the extended system is known as ConEditor+. With the help of ConEditor+, the thesis demonstrates that an explicit representation of application conditions together with the corresponding constraints and the domain ontology can be used to detect inconsistencies, redundancy, subsumption and fusion, reduce the number of spurious inconsistencies and prevent the identification of inappropriate refinements of redundancy, subsumption and fusion between pairs of constraints.

M3 - Doctoral Thesis

ER -