Search for dissertations about: "Alexey Voronov"

Found 2 swedish dissertations containing the words Alexey Voronov.

2. 1. On Formal Methods for Large-Scale Product Configuration

   Author : Alexey Voronov; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; constraint satisfaction; knowledge compilation; Boolean satisfiability; supervisory control theory; product configuration;

   Abstract : In product development companies mass customization is widely used to achieve better customer satisfaction while keeping costs down. To efficiently implement mass customization, product platforms are often used. A product platform allows building a wide range of products from a set of predefined components. READ MORE

4. 2. Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers

   Author : Alexey Voronov; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Industrial Automation; Boolean Satisfiability; Product and Production Development;

   Abstract : Highly customized products and frequent changes in the production systems pose high demands on engineers. The amount of data and the complexity of the relations within the data are high. Thus, it is both error-prone and time consuming to analyze the data without software support. READ MORE