A formal representational theory for engineering design

摘要: In the design of engineered artifacts, it is hypothesized that computations must be performed. Informal specifications converted into formal functional requirements and informal descriptions parameterizations, so performance can computed. Such evaluations are developed for general set based mappings. The development includes, example, relations, differential equations, simple experimentation, even subjective questioning. When this level formalization complete, not determined; only parameterized. A designer specify levels various performances desired, how should simultaneously considered in an overall determination. An axiomatically methodology presented to formalize such decisions. Each decision variable equipped with a preference specification, whose determination made from techniques similar utility theory. strategy resolving these different aspects produce rating. For may rate by worst case performance. Alternatively, compensation among goals. addition representation, other parameters reflect phenomena which cannot control. accommodating confounding noise influences developed. Random measurement represented, as well possibility makers process. Convolutions methods decision-making light random errors (such manufacturing). Designer further when manufacturing engineer subsequently tune (a possibilistic uncertainty) eliminate error effects. Ensuring against failure also discussed, respect measured noise. Given development, constructed incompletely on design. incomplete specification induced across design, determine any restrictions imposed portions where no have been made. Thus, iterative process calculation, observation, re-specification given foundation.