This article introduces the technical realisation of statistically supported Metamodeling as an optimisation technique for customised components. The theory of statistically based interpolation strategy using radial basis function and special Design of Experiments methods like Latin Hypercube Sampling or the Halton-sequence is introduced. The main part shows an example of the practical use of the approach by combining several rule sets in native CAD data. By using construction programmable tables, a geometrically parameterised part is automatically optimised. The exemplary case also deals with troubleshooting the interfaces between theory and practical implementations by giving examples of specified process optimisation e.g. how to transfer objective outputs to specific geometrical parameter values.
DE
Dieser Artikel veranschaulicht die technische Realisation von statistik-gestützter Metamodellierung als Optimierungsstrategie für anforderungsgerechte Bauteilvarianten. Die theoretischen Hintergründe der statistikgestützten Interpolation durch Radiale Basisfunktionen und geeignete statistische Versuchsplanungsverfahren, wie das Latin Hypercube Sampling oder die Halton-Sequence werden vorgestellt. Der Hauptteil zeigt ein Beispiel an technischer Umsetzung des kombinatorischen Ansatzes auf, wie unterschiedliche regelbasierte Entscheidungsinstanzen direkt in nativen CAD-Daten umgesetzt werden können. Durch den Einsatz programmierbarer Konstruktionstabellen entsteht automatisch die optimale Variante eines geometrisch parametrisierten Bauteils. Durch den vorgesellten Anwendungsfall werden auch unterschiedliche potentielle Schwierigkeiten diskutiert, die sich an den Schnittstellen von Theorie und praktischer Umsetzung ergeben. Beispielhaft werden Verbesserungsmöglichkeiten des Gesamtprozesses aufgezeigt, beispielsweise wie sich aus vorhergesagten Simulationszielgrößen spezifische geometrische Parameter ableiten lassen.
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists. Whereas linguists employ expressive higher-order logics in their theories of meaning, the most successful logical reasoning strategies with natural language to date rely on sophisticated first-order theorem provers and model builders. In order to bridge the fundamental mathematical gap between linguistic theory and computational practice, we present a general translation from a higher-order logic frequently employed in the linguistics literature, two-sorted Type Theory, to first-order logic under Henkin semantics. We investigate alternative formulations of the translation, discuss their properties, and evaluate the availability of linguistically relevant inferences with standard theorem provers in a test suite of inference problems stated in English. The results of the experiment indicate that translation from higher-order logic to first-order logic under Henkin semantics is a promising strategy for automated reasoning with natural languages.
Stochastic fluctuating wind energy limits the electrical supply capacity of wind parks by means of technical and economical reasons. A concept for dynamic conditioning of power fluctuations of wind parks was developed. By compensation of active and reactive power with static converters and short time storage, power fluctuations of the source can be absorbed. Wind energy is temporary stored and released by a dynamic storage system. Storage capacity utilisation strongly depends on the applied management method. Different Methods are investigated in this paper.
PL
Stochastycznie wahania energii wiatru ograniczają wydajność farm wiatrowych z powodów technicznych i ekonomicznych. Opracowano koncepcję dynamicznego kondycjonowania wahań mocy. Zastosowano w tym celu przekształtniki statyczne z krótkookresowymi zasobnikami energii. Energia wiatru jest chwilowo gromadzona i oddawana przez sterowany dynamicznie zasobnik. Stopień wykorzystania zasobnika w znacznym stopniu zależy od sterowania. W artykule przedstawiono różne koncepcje sterowania.