We describe how to use propositional model counting for a quantitative analysis of product configuration data. Our approach computes valuable meta information such as the total number of valid configurations or the relative frequency of components. This information can be used to assess the severity of documentation errors or to measure documentation quality. As an application example we show how we apply these methods to product documentation formulas of the Mercedes-Benz line of vehicles. In order to process these large formulas we developed and implemented a new model counter for non-CNF formulas. Our model counter can process formulas, whose CNF representations could not be processed up till now

No abstract

Diamond-like carbon (DLC) coatings protect engine parts from wear and provide low-friction. Unfortunately, the nature of DLC coatings does not allow progressing wear measurement using conventional methods. Therefore, we applied a radioactive isotope-based wear measurement method (RIC method). A tribometer with oscillating contact and one with sliding contact were used to provide different loading conditions. The RIC method was evaluated for DLC coatings, and the DLC wear was investigated regarding the presence of abrasive particles. The results indicate that an increase in abrasive particle concentration leads to an increase of DLC wear rate and a decrease in usage-time until wear-off.

No abstract

We present four different approaches for existential Boolean quantifier elimination, based on model enumeration, resolution, knowledge compilation with projection, and substitution. We point out possible applications in the area of verification and we present preliminary benchmark results of the different approaches.