Automated reasoning applications to design analysis
Given the necessary relationships and definitions of design functions and components, validation of system incarnation (the physical product of design) and sneak function analysis can be achieved via automated reasoners. The relationships and definitions must define the design specification and incarnation functionally. For the design specification, the hierarchical functional representation is based on physics and engineering principles and bounded by design objectives and constraints. The relationships and definitions of the design incarnation are manifested as element functional definitions, state relationship to functions, functional relationship to direction, element connectivity, and functional hierarchical configuration.
- Research Organization:
- Argonne National Lab., Idaho Falls, ID (USA)
- DOE Contract Number:
- W-31-109-ENG-38
- OSTI ID:
- 6926161
- Report Number(s):
- CONF-840614-28; ON: DE84006413
- Resource Relation:
- Conference: Annual meeting of the American Nuclear Society, New Orleans, LA, USA, 3 Jun 1984
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning in man-machine control systems
Automated reasoning and various applications