Ermittlung von Reifenkennfeldern auf echten Fahrbahnbelaegen

Im Rahmen des dokumentierten Vorhabens werden auf echten, vom oeffentlichen Verkehr benutzten Strassen Reifenkennfelder erstellt. Neben dem PIARC-Reifen werden unterschiedliche Serienreifen bei verschiedenen Geschwindigkeiten untersucht. Die zwischen Reifen und Fahrbahn wirkenden Kraefte werden bei unterschiedlichen Schlupf und Sturz unter stufenlosen Verstellung des Schraeglaufwinkels in einem Bereich von ca. - 18 to + 11 gemessen. Als Messgeraet dient der Universelle Reibungsmesser II (URM II) des Instituts fuer Verbrennungsmotoren und Kraftfahrwesen der Universitaet Stuttgart. (orig./RHM)Within the reported project tyre characteristics diagrams are produced on actual roads used by the public. In addition to the PIARC tyre, different standard tyres are tested at different speeds. The forces acting between tyre and carriageway are measured with varying slip and camber angle with continuously variable adjustment of the slip angle within a range of approximately - 18 to + 11 . The Universal Friction Meter II, developed by the University of Stuttgart's institute for internal combustion engines and automotive engineering, was used as the measuring device. (orig./RHM)SIGLEAvailable from TIB Hannover: ZA 4681(630)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

Constraint Propagation as a Proof System

Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems

Ten challenges redux: Recent progress in propositional reasoning and search

Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our own work on the power of clause learning and randomized restart policies.