Für ein w ∈ M sei ( w ) n, n ∈ N + definiert durch ( w ) 1 = w und ( w ) n = w ( w ) n − 1. überlegen Sie sich, wie hier Normalformen minimaler Länge von Worten aus M aussehen, d.h. es sollen Terme mit möglichst wenige Symbolen gefunden werden, die dasselbe Wort darstellen.
Können Sie einen effizienten Algorithmus angeben , der diese Normalformen berechnet ?
Exercise 4:
www-madlener.informatik.uni-kl.deI.e. given an arbitrary string, how can you find another string with a minimal number of symbols that represents the same string ?
Can you find an efficient algorithm that computes such normal forms?
Exercise 4:
www-madlener.informatik.uni-kl.deMit dem implementierten adaptiven Turbulenzmodell, können instationäre Wirbel und damit verbundene Druckschwankungen sehr gut nachgebildet werden.
Ein effizienter Algorithmus ermöglicht die Kopplung verschiedener Berechnungsgitter . Dieser Algorithmus kann sowohl für die Kopplung stehender Bauteile als auch für Rotor-Stator Kopplungen verwendet werden .
www.ihs.uni-stuttgart.deScale and mesh adaptive turbulence models enable it to reproduce unsteady turbulent flow behaviour and associated pressure fluctuations very accurately.
An efficient algorithm is implemented to couple meshes of different discretisation, refined regions, and moving and steady parts, e.g. rotor-stator coupling.
www.ihs.uni-stuttgart.dedie theoretische Analyse mathematischer Modelle, welche komplexe naturwissenschaftliche, technische, gesellschaftliche und ökonomische Prozesse beschreiben ,
die Entwicklung effizienter Algorithmen zur Simulation oder Optimierung derartiger Modelle ,
die Umsetzung der Algorithmen in leistungsfähige Computercodes.
www.zib.detheoretical analysis of mathematical models, which describe complex scientific, technical as well as socio-economic processes ,
the development of efficient algorithms for simulation or optimization of such models,
the transfer of algorithms into efficient computer codes.
www.zib.deWould you like to add some words, phrases or translations?
Submit a new entry.