Highly customizable products and mass customiza-tion -- as increasing trends of the last years -- are mainly responsible for an immense growth of complexity within the digital representations of knowledge of car manufacturers. We developed a method to detect and analyze inconsistencies by employing a Multi-Valued Decision Diagram (MDD) which isused to encode the set of all valid product configurations. On this basis, we stated a number of rules of consistency that are checked by a set-based verification scheme.
To facilitate interactive design, the solutions to configuration problems can be compiled into a decision diagram. We develop three heuristics for reducing the time and space required to do this. These heuristics are based on the distinctive clustered and hierarchical structure of the constraint graphs of configuration problems. The first heuristic attempts to limit the growth in the size of the decision diagram by providing an order in which constraints are added to the decision diagram. The second heuristic provides an initial order for the variables within the decision diagram. Finally, the third heuristic groups variables together so that they can be reordered by a dynamic variable reordering procedure used during the construction of the decision diagram. These heuristics provide one to two orders magnitude improvement in the time to compile a wide range of configuration.
Summary ::: Although depression has been associated to worst bone physical properties in adulthood, this study showed that depressive symptoms were not significantly associated to bone mineral density measured at the forearm during adolescence.