FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W307218> ?p ?o ?g. }

• W307218 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. The process of matching these components to customers' needs is called product configuration. Not all components can be combined with each other due to restrictions of various kinds, for example, geometrical, marketing and legal reasons. Product design engineers develop configuration constraints to describe such restrictions. The number of constraints and the complexity of the relations between them are immense for complex product like a vehicle. Thus, it is both error-prone and time consuming to analyze, author and verify the constraints manually. Software tools based on formal methods can help engineers to avoid making errors when working with configuration constraints, thus design a correct product faster. This thesis introduces a number of formal methods to help engineers maintain, verify and analyze product configuration constraints. These methods provide automatic verification of constraints and computational support for analyzing and refactoring constraints. The methods also allow verifying the correctness of one specific type of constraints, item usage rules, for sets of mutually-exclusive required items, and automatic verification of equivalence of different formulations of the constraints. The thesis also introduces three methods for efficient enumeration of valid partial configurations, with benchmarking of the methods on an industrial dataset. Handling large-scale industrial product configuration problems demands high efficiency from the software methods. This thesis investigates a number of search-based and knowledge-compilation-based methods for working with large product configuration instances, including Boolean satisfiability solvers, binary decision diagrams and decomposable negation normal form. This thesis also proposes a novel method based on supervisory control theory for efficient reasoning about product configuration data. The methods were implemented in a tool, to investigate the applicability of the methods for handling large product configuration problems. It was found that search-based Boolean satisfiability solvers with incremental capabilities are well suited for industrial configuration problems. The methods proposed in this thesis exhibit good performance on practical configuration problems, and have a potential to be implemented in industry to support product design engineers in creating and maintaining configuration constraints, and speed up the development of product platforms and new products." @default.
• W307218 created "2016-06-24" @default.
• W307218 creator A5055735688 @default.
• W307218 date "2013-01-01" @default.
• W307218 modified "2023-09-28" @default.
• W307218 title "On Formal Methods for Large-Scale Product Configuration" @default.
• W307218 cites W1490969264 @default.
• W307218 cites W1494481937 @default.
• W307218 cites W1495266209 @default.
• W307218 cites W1498682591 @default.
• W307218 cites W1510368738 @default.
• W307218 cites W1518271219 @default.
• W307218 cites W1518705996 @default.
• W307218 cites W1519854356 @default.
• W307218 cites W1549820563 @default.
• W307218 cites W1583869287 @default.
• W307218 cites W1587663028 @default.
• W307218 cites W1602549219 @default.
• W307218 cites W1667362966 @default.
• W307218 cites W1783770095 @default.
• W307218 cites W1787074469 @default.
• W307218 cites W1893129426 @default.
• W307218 cites W1950282396 @default.
• W307218 cites W1967454169 @default.
• W307218 cites W1979349468 @default.
• W307218 cites W2001859357 @default.
• W307218 cites W2036265926 @default.
• W307218 cites W2039161303 @default.
• W307218 cites W2046239089 @default.
• W307218 cites W2048051309 @default.
• W307218 cites W2057361103 @default.
• W307218 cites W2059057465 @default.
• W307218 cites W2062897452 @default.
• W307218 cites W2080267935 @default.
• W307218 cites W2098046166 @default.
• W307218 cites W2102791214 @default.
• W307218 cites W2123736383 @default.
• W307218 cites W2126662120 @default.
• W307218 cites W2133527541 @default.
• W307218 cites W2136206632 @default.
• W307218 cites W2146148755 @default.
• W307218 cites W2147897801 @default.
• W307218 cites W2150520488 @default.
• W307218 cites W2150913305 @default.
• W307218 cites W2154318861 @default.
• W307218 cites W2160444875 @default.
• W307218 cites W2187922113 @default.
• W307218 cites W2560525892 @default.
• W307218 cites W80336116 @default.
• W307218 hasPublicationYear "2013" @default.
• W307218 type Work @default.
• W307218 sameAs 307218 @default.
• W307218 citedByCount "2" @default.
• W307218 countsByYear W3072182013 @default.
• W307218 countsByYear W3072182021 @default.
• W307218 crossrefType "dissertation" @default.
• W307218 hasAuthorship W307218A5055735688 @default.
• W307218 hasConcept C10451660 @default.
• W307218 hasConcept C111919701 @default.
• W307218 hasConcept C115903868 @default.
• W307218 hasConcept C120823896 @default.
• W307218 hasConcept C121615247 @default.
• W307218 hasConcept C127413603 @default.
• W307218 hasConcept C136764020 @default.
• W307218 hasConcept C13736549 @default.
• W307218 hasConcept C144133560 @default.
• W307218 hasConcept C162853370 @default.
• W307218 hasConcept C183003079 @default.
• W307218 hasConcept C199360897 @default.
• W307218 hasConcept C2524010 @default.
• W307218 hasConcept C2777210712 @default.
• W307218 hasConcept C33923547 @default.
• W307218 hasConcept C41008148 @default.
• W307218 hasConcept C45135082 @default.
• W307218 hasConcept C55439883 @default.
• W307218 hasConcept C72414096 @default.
• W307218 hasConcept C86251818 @default.
• W307218 hasConcept C90673727 @default.
• W307218 hasConcept C98045186 @default.
• W307218 hasConceptScore W307218C10451660 @default.
• W307218 hasConceptScore W307218C111919701 @default.
• W307218 hasConceptScore W307218C115903868 @default.
• W307218 hasConceptScore W307218C120823896 @default.
• W307218 hasConceptScore W307218C121615247 @default.
• W307218 hasConceptScore W307218C127413603 @default.
• W307218 hasConceptScore W307218C136764020 @default.
• W307218 hasConceptScore W307218C13736549 @default.
• W307218 hasConceptScore W307218C144133560 @default.
• W307218 hasConceptScore W307218C162853370 @default.
• W307218 hasConceptScore W307218C183003079 @default.
• W307218 hasConceptScore W307218C199360897 @default.
• W307218 hasConceptScore W307218C2524010 @default.
• W307218 hasConceptScore W307218C2777210712 @default.
• W307218 hasConceptScore W307218C33923547 @default.
• W307218 hasConceptScore W307218C41008148 @default.
• W307218 hasConceptScore W307218C45135082 @default.
• W307218 hasConceptScore W307218C55439883 @default.
• W307218 hasConceptScore W307218C72414096 @default.
• W307218 hasConceptScore W307218C86251818 @default.
• W307218 hasConceptScore W307218C90673727 @default.

• next