A novel indicator for kinematic hardening effect quantification in deep drawing simulation

Deep drawing simulation techniques reduce tool design costs and improve tool performance and reliability. In terms of strain hardening, mixed models capturing the kinematic effect are sometimes more accurate than isotropic models. Indeed, nonlinearity in strain paths can lead to inconsistent simulation results. However, the use of such models requires a greater number of tests including strain path changes. Therefore, the use of such mixed models shall be required only if the simulation includes non-linear strain paths and the material exhibits a pronounced Bauschinger effect. New tools to help engineers choose between models could ease the spread of more advanced models in simulation of deep drawing processes when needed. With this in mind, an indicator predicting the influence of kinematic effects could help to select an adequate model. In this study, a new indicator is introduced with the idea of characterising strain path non-linearity in order to assess kinematic hardening influence. The indicator is computed using the forming history taken from a purely isotropic simulation – which is easier to set up and parametrise. The ability of the indicator to predict inconsistencies within the isotropic simulation is investigated using U-channel simulations

Computing Least Common Subsumers in ALEN

Computing the least common subsumer (lcs) in description logics is an inference task first introduced for sublanguages of CLASSIC. Roughly speaking, the lcs of a set of concept descriptions is the most specific concept description that subsumes all of the input descriptions. As such, the lcs allows to extract the commonalities from given concept descriptions, a task essential for several applications like, e.g., inductive learning, information retrieval, or the bottom-up construction of KR-knowledge bases. Previous work on the lcs has concentrated on description logics that either allow for number restrictions or for existential restrictions. Many applications, however, require to combine these constructors. In this work, we present an lcs algorithm for the description logic ALEN, which allows for both constructors (as well as concept conjunction, primitive negation, and value restrictions). The proof of correctness of our lcs algorithm is based on an appropriate structural characterization of subsumption in ALEN also introduced in this paper.This research was carried out while the second author was still at the LuFG Theoretical Computer Science, RWTH Aachen

Unification in a Description Logic with Transitive Closure of Roles

Unification of concept descriptions was introduced by Baader and Narendran as a tool for detecting redundancies in knowledge bases. It was shown that unification in the small description logic FL₀, which allows for conjunction, value restriction, and the top concept only, is already ExpTime-complete. The present paper shows that the complexity does not increase if one additionally allows for composition, union, and transitive closure of roles. It also shows that matching (which is polynomial in FL₀) is PSpace-complete in the extended description logic. These results are proved via a reduction to linear equations over regular languages, which are then solved using automata. The obtained results are also of interest in formal language theory.An abridged version will appear in Proc. LPAR'01

Simultane Tiefen- und Flussbestimmung pflanzlicher Oberflächen

Thema der vorliegenden Arbeit ist die stereobasierte 3D-Vermessung deformierbarer Objekte. Speziell wird der r¨aumliche Verlauf sowie die Verformung von pflanzlichen Oberfl¨achen bestimmt. Die Lage im Raum sowie das Bewegungsfeld der beobachteten Objekte werden simultan als Tiefe und optischer Fluss inMultikamera-Bildsequenzen gesch¨atzt. Dies ist durch einen Near-Baseline-Stereoansatz realisiert. ZeitlicheMehrkamerasequenzen werden als 4D-Datensatz interpretiert. Zur Berechnung der Tiefe kann ein lineares Modell aufgestellt werden. Die Kontinuit¨atsgleichung des optischen Flusses (BCCE) wird um Disparit¨atsterme erweitert. Eine Parametersch¨atzung mit einem differentiellen lokalen Total-Least-Squares-Verfahren, dem Strukturtensoransatz, liefert simultan Tiefen- und Flussinformation. Eine zus¨atzliche Erweiterung der BCCE erlaubt die gleichzeitige Sch¨atzung der Divergenz des Flussfeldes und damit der Tiefengeschwindigkeit. Genauigkeitsanalysen auf synthetischen und realen Sequenzen zeigen die f¨ur das Strukturtensorverfahren charakteristische hohe Rauschstabilit¨at und Genauigkeit. Als botanische Anwendung wird ein Verfahren zur Messung der lokalen relativen Oberfl¨achen¨anderung von sich bewegenden, gew¨olbten Pflanzenorganen aus der Gr¨oßen¨anderung von Teilfl¨achen entwickelt. Der zeitliche Verlauf dieser Wuchsratenmessungen zeigt einen deutlichen Tagesgang. Eine Beschr¨ankung auf die Auswertung statischer Multikamerasequenzen erlaubt die 3D-Vermessung der Kronend¨acher von B¨aumen als gegl¨attete Einh¨ullende. Um dies auch bei ausgedehnten Pflanzenbest¨anden zu erm¨oglichen, wird ein Verfahren entwickelt, das biangular rotierte 3D-Teilrekonstruktionen fusioniert. Als Anwendung erfolgt eine hochaufgel¨oste Rekonstruktion des Verlaufs des Regenwaldkronendaches im Biosphere 2 Center, Arizona

Mining PIGS. A structural topic model analysis of Southern Europe based on the German newspaper Die Zeit (1946-2009)

The onset of the Eurozone crisis popularized the PIGS acronym, contrasting Portugal, Italy, Greece, and Spain unfavorably with their Northern European neighbors. In order to investigate the historic formation of this country group heuristic, we apply a Structural Topic Model (STM) to all 2,443 articles published between 1946 and 2009 in the German newspaper Die Zeit that mention Spain. The estimated topics and their evolution over time confirm a strong association of Spain with other Southern European countries as an ongoing characteristic of the German medial discourse for more than sixty years. Moreover, the STM allows us to distinguish and characterize a cultural, a political, and an economic dimension of PIGS countries’ perception in this newspaper. We find that the initial PIGS heuristic shaped by socio-cultural attributes that mainly reflected the experiences of German tourists was only later supplemented with economic ascriptions

Matching Concept Descriptions with Existential Restrictions

Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of description logics, originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. Previous work has concentrated on (sub-)languages of CLASSIC, which in particular do not allow for existential restrictions. In this work, we present sound and complete decision algorithms for the solvability of matching problems and for computing sets of matchers for matching problems in description logics with existential restrictions

Die Produktion von Autonomie durch Subjektivierung des Heteronomen: Organisation und Management autonomer Kunst

Im Kunstbereich ist die Vermittlung künstlerischer und ökonomischer Ansprüche äußerst heikel, weil sie aufgrund der für die Autonomisierung des Bereichs zunächst notwendigen‚ umgekehrten und geleugneten‘ Ökonomie nicht offen bearbeitet werden kann. Entsprechend gilt es, Autonomie in der Kunst nicht einfach pauschal zu behaupten, sondern detailgenau zu erforschen. Basierend auf qualitativen Interviews mit Kulturmanager/innen wird in diesem Beitrag die These entwickelt, dass die Regulation potentiell konflikthafter Logiken im Bereich der Kunst auf der Akteursebene geleistet wird: Die Integration und Bearbeitung von Fremdzwängen und die Produktion von Autonomie wird durch eine Subjektivierung von Heteronomie erreicht, durch die ausschließliche Verweisung ihrer Bearbeitung an eine Leistungsrolle und letztlich durch Verlagerung in die Person des – selbstmotiviert agierenden – Rollenträger