Suche
Anzeige der Dokumente 1-4 von 4
Technischer Report
On Globally Deterministic CD-Systems of Stateless R-Automata with Window Size One
(2011-03-30)
It is known that cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 accept a class of semi-linear languages that properly includes all rational trace languages. Although the component automata of such a CD-system are all deterministic, in general the CD-system itself is not, as in each of its computations, the initial component and the successor components are still chosen nondeterministically. Here we study CD-systems of stateless deterministic restarting ...
Technischer Report
CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store
(2011-01-06)
We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of context-free trace languages.
Technischer Report
LWA 2010
(2011-01-12)
Technischer Report
Versuche zum Biegetragverhalten von UHPC mit kombinierter Bewehrung
(2011-12-16)
Das Biegetragverhalten von ultrahochfestem Beton (UHPC) mit einer kombinierten Bewehrung aus Stabstahl und Stahlfasern wurde im Rahmen des DFG-Schwerpunktprogramms 1182 untersucht. Dieser Forschungsbericht stellt die durchgeführten experimentellen Untersuchungen dar. Das Versuchsprogramm umfasste Referenzversuche zur Ermittlung der Materialparameter, Verbundversuche an Stabstahl und Stahlfasern, zentrische Zugversuche des faserbewehrten UHPC sowie Vier-Punkt-Biegeversuche an kombiniert bewehrten UHPC-Balken. ...