A Practical Micro Mechanical Model Based Local Approach Methodology for the Analysis of Ductile Fracture of Welded T-Joints

This thesis concentrates on developing a practical local approach methodology based on micro mechanical models for the analysis of ductile fracture of welded joints. Two major problems involved in the local approach, namely the dilational constitutive relation reflecting the softening behaviour of material, and the failure criterion associated with the constitutive equation, have been studied in detail. Firstly, considerable efforts were made on the numerical integration and computer implementation for the non trivial dilational Gurson Tvergaard model. Considering the weaknesses of the widely used Euler forward integration algorithms, a family of generalized mid point algorithms is proposed for the Gurson Tvergaard model. Correspondingly, based on the decomposition of stresses into hydrostatic and deviatoric parts, an explicit seven parameter expression for the consistent tangent moduli of the algorithms is presented. This explicit formula avoids any matrix inversion during numerical iteration and thus greatly facilitates the computer implementation of the algorithms and increase the efficiency of the code. The accuracy of the proposed algorithms and other conventional algorithms has been assessed in a systematic manner in order to highlight the best algorithm for this study. The accurate and efficient performance of present finite element implementation of the proposed algorithms has been demonstrated by various numerical examples. It has been found that the true mid point algorithm (a = 0.5) is the most accurate one when the deviatoric strain increment is radial to the yield surface and it is very important to use the consistent tangent moduli in the Newton iteration procedure. Secondly, an assessment of the consistency of current local failure criteria for ductile fracture, the critical void growth criterion, the constant critical void volume fraction criterion and Thomason's plastic limit load failure criterion, has been made. Significant differences in the predictions of ductility by the three criteria were found. By assuming the void grows spherically and using the void volume fraction from the Gurson Tvergaard model to calculate the current void matrix geometry, Thomason's failure criterion has been modified and a new failure criterion for the Gurson Tvergaard model is presented. Comparison with Koplik and Needleman's finite element results shows that the new failure criterion is fairly accurate indeed. A novel feature of the new failure criterion is that a mechanism for void coalescence is incorporated into the constitutive model. Hence the material failure is a natural result of the development of macroscopic plastic flow and the microscopic internal necking mechanism. By the new failure criterion, the critical void volume fraction is not a material constant and the initial void volume fraction and/or void nucleation parameters essentially control the material failure. This feature is very desirable and makes the numerical calibration of void nucleation parameters(s) possible and physically sound. Thirdly, a local approach methodology based on the above two major contributions has been built up in ABAQUS via the user material subroutine UMAT and applied to welded T joints. By using the void nucleation parameters calibrated from simple smooth and notched specimens, it was found that the fracture behaviour of the welded T joints can be well predicted using present methodology. This application has shown how the damage parameters of both base material and heat affected zone (HAZ) material can be obtained in a step by step manner and how useful and capable the local approach methodology is in the analysis of fracture behaviour and crack development as well as structural integrity assessment of practical problems where non homogeneous materials are involved. Finally, a procedure for the possible engineering application of the present methodology is suggested and discussed.

Minimum-uncertaity states and pseudoclassical dynamics. II

The set of initial conditions for which the pseudoclassical evolution algorithm (and minimality conservation) is verified for Hamiltonians of degrees N (N>2) is explicitly determined through a class of restrictions for the corresponding classical trajectories, and it is proved to be at most denumerable. Thus these algorithms are verified if and only if the system is quadratic except for a set of measure zero. The possibility of time-dependent a-equivalence classes is studied and its physical interpretation is presented. The implied equivalence of the pseudoclassical and Ehrenfest algorithms and their relationship with minimality conservation is discussed in detail. Also, the explicit derivation of the general unitary operator which linearly transforms minimum-uncertainty states leads to the derivation, among others, of operators with a general geometrical interpretation in phase space, such as rotations (parity, Fourier).

Teollisuusvaihteen kokoonpanoprosessin laadun parantaminen

Paperikoneen telalle integroitujen mekaanisten käyttölaitteiden valmistuksen siirtoprojektin yhteydessä on raportoitu huomattavan paljon valmistuksen aikaisia poikkeamia. Poikkeamien juurisyyn hahmottamiseksi tehtiin kvantitatiivinen analyysi raportoiduista poikkeamista ja kvalitatiivinen analyysi kokoonpanon nykytilasta. Kokoonpanotyöstä suuri osa on tällä hetkellä arvoa jalostamatonta työtä. Tutkimuksessa havaittiin valmistusprosessissa kaikkia kokoonpanon poikkeamien perustyyppejä ja näitä poikkeamia olivat aiheuttaneet kaikki mahdolliset aiheuttajat. Etenkin hankittavien osien laatua tulisi käsitellä poikkeamien aiheuttamien kokonaiskustannusten kautta. Kokoonpanon tarvitsema tieto on olemassa täsmällisessä muodossa, mutta sen luoksepäästävyys on huono. Prosessin kuvauksella, hiljaisen tiedon kirjaamisella ja täsmällisen tiedon julkistamisella voidaan parantaa tuotannon laatua tuotetuntemuksen parantuessa. Käyttökohteen tunteminen parantaa vaatimusten ymmärtämistä. Tutkimuksessa havaittujen poikkeamien analysoinnin perusteella erityistä huomiota tulisi kiinnittää tarkastusvaiheiden olemassa oloon, sijoitukseen ja niiden laatuun. Suuri osa poikkeamista oli edennyt kokoonpanoon jonkin tarkastusvaiheen läpi. Tarkastusvaiheiden laatutason tulee parantua, jotta moninkertaisesta tarkastuksesta voidaan luopua.

El carácter fronterizo de las identidades contemporáneas: el caso de Chiapas

The thesis or hypothesis of this paper is that the multiple connections of explicit andimplicit life styles foster the construction of hybrid, multiple or complex identities. Wemean by hybrid identities the confluence of multiple identifications in the personalbiography. If the globalization and cultural diversity are the fundamental forms ofglobal life, the mobility is its principal ingredient. We describe different cultural traitsin Chiapas. Internet, migration to United States, or the North American Free TradeAgreement (NAFTA), between North America, Canada, and Mexico, were hybridizedwith the heterogeneity of identity (ethnic, linguistic, and religious). It is discussed thesocial and political consequences of the hybrid contemporary societies

La regió de Girona: un model territorial en transformació, amb potencial i fràgil

During the most recent years the Regió de Girona has clearly transformed its territorial model, superimposing an emerging clearly hierarchic structure to a polycentric one. This way, Girona and its urban area has gained a diversified centrality. This transformation, though, needs a clearly defined project that, adapted to the current dynamism, makes explicit and supports or corrects the resultant territorial model in order to avoid infrastructural shortages, territorial imbalances, resource wasting and negative impact on the environment

Um panorama sobre a abordagem ambiental no currículo de cursos de formação inicial de professores de química da região sudeste

This work analysed the contents of 701 disciplines from 22 chemistry courses that prepare chemistry teachers in 16 public Universities in Southeastern Brazil. Only a small number (23) of disciplines showed an explicit relationship between human activities and the environment. A total of 11 theoretical and 193 experimental disciplines explored to some extent scientific and technological aspects related to the environment, but did not include their relationship with society. As the experimental disciplines supposedly include some kind of waste treatment, this may explain why secondary school chemistry teachers work mainly on recycling programs and waste issues at their schools. The aim of this work is to provide information on which to base a much needed discussion about how to better prepare our chemistry teachers to act as Environmental Educators at school, as the Brazilian Education Legislation requires.

Luottamus esimies-alaissuhteessa

Tutkimuksen tavoitteena on tutkia mikä on luottamuksen rooli ja vaikutus esimies-alaissuhteessa. Toiseksi työ tarkastelee sitä mitkä tekijät saavat luottamuksen horjumaan ja mihin horjuminen vaikuttaa, sekä vastaa kysymykseen mikä on luottamuksen dynamiikka konfliktitilanteissa. Kolmanneksi työ tarkastelee sitä miten menetettyä luottamusta voidaan korjata ja mitkä keinot ovat tehokkaimpia. Tämän laadullisen tutkimuksen teoreettinen osuus toteutettiin kirjallisuuskatsauksena. Tutkimuksen empiirisenä aineistona käytettiin narratiiveja, jotka olivat Lappeenrannan teknillisen ykiopiston Digi-opiskelijoilta koottuja luottamustarinoita. Toisena aineistona käytetiin opiskelijoiden fokus-ryhmäkeskusteluja. Tutkimuksen tuloksena voidaan todeta, että luottamus on perusedellytys toimivalle esimies-alaissuhteelle ja se rakentuu hyvin pitkälle vuorovaikutuksen kautta. Tärkeimmät luottamusta horjuttavat tekijät ovat huono tiedonkulku ja tiedottaminen, ja tärkeimmät keinot menetetyn luottamuksen korjaamiseen ovat keskustelu, kommunikaatio ja avoin vuorovaikutus.

Utilizing social media in software documentation and knowledge management

This Master’s thesis studies the possibilities that social media tools can bring to help knowledge management in software development companies. It will introduce the most popular tools of social media and their usage possibilities in companies, not forgetting the possible downsides. One relevant aspect in this study is to investigate the possibilities of social media to help converting existing tacit knowledge into explicit. The purpose of the work is to create a proposal of social media utilization for a mid-sized software company, which has not utilized social media tools before. To be able to create the proposal, employees of the company are interviewed and a survey is executed to analyze the current situation. In addition a pilot project for trying out new social media tools is executed. The final result of this thesis introduces a tailored solution for the target company to start utilizing social media in its documentation and knowledge sharing processes. This new solution consists of multiple individual suggestions that are categorized and prioritized based on the significance and benefit that they bring to the company.

Val av species och bestämdhetsform i ett test för finska grundskolelever

Artikel i konferensrapport.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Pluralité et fluidité antinormatives : étude sur les transgressions sexuelles dans l’oeuvre romanesque de Marguerite Yourcenar

Avhandlingen är en studie i kön, genus och sexualitet i den franska författarinnan Marguerite Yourcenars romaner. Undersökningen utgår från ett queer-teoretiskt perspektiv och har som syfte att belysa de olika sätt på vilka Yourcenars texter uttrycker ett ifrågasättande av och ett överskridande av normer beträffande kön, manlighet och kvinnlighet, samt sexuella kategorier. Det tudelade könssystemet (man/kvinna) och motsättningen mellan heterosexualitet och homosexualitet ses som förenklade sociala konstruktioner som inte motsvarar den mångfasetterade verklighet som avbildas i texterna. Mångfald, flyktighet och gränsöverskridande är nyckelord i undersökningen. I avhandlingen granskas snart när alla Yourcenars romaner samt en novell i form av separata läsningar, för att ge en så heltäckande bild som möjligt av hur problematiken behandlas i hennes produktion. Således belyses särarten hos varje verk och det är även möjligt att uppmärksamma den utveckling som skett under karriärens gång. Kön och sexualitet diskuteras separat i enlighet med Gayle Rubins och Eve Sedgwicks tes att sexualitetsforskning och genusstudier inte bör sammanblandas: sexualitet är ett så komplext fenomen att kön och genus är otillräckliga analysverktyg för en seriös och djuplodande diskussion. Genom att lyfta fram olika exempel på figurer i Yourcenars romaner som implicit eller explicit tar avstånd ifrån en klar indelning i män och kvinnor, respektive manlighet och kvinnlighet, påvisas att tanken att det existerar två olika biologiska kön systematiskt tillbakavisas. Diskussionen om sexualitetstemat koncentrerar sig på förhållandet mellan homo-och heterosexualitet, men betonar även hur temat anknyter till andra centrala teman, såsom religion och ras. Bilden av homosexualitet ändrar från en text till en annan, vilket illusterar att en skarp motsättning mellan homo- och heterosexualitet är ohållbar.

Tiedonvaihdolla kilpailuetua: Tiedonvaihdon toteuttaminen ostopalvelurajapinnassa

Tutkimus rakentaa konstruktiivisella tutkimusotteella monenkeskisen tie-donvaihdon mallin, missä sovelletaan Toyotan tuotantojärjestelmässään käyttämiä toimittajaohjauksen ja tiedonvaihdon prosesseja, sekä tiedosta ja tiedonvaihdosta käytyä tieteellistä keskustelua ja tutkimuksia. Tutkimuksen teoreettinen osuus selvittää tiedon luonteen vaikutusta tiedon jakamisen ja tiedonvaihdon toteutukseen ja toteaa, että tiedonvaihdon menetelmiin tulee sisältyä muodollisia kanavia eksplisiittisen tiedon ja vastaavasti epämuodollisia kanavia hiljaisen tiedon jakamiseen joko käsitteellistettynä tai hiljaisessa muodossaan. Tutkimuksen empiirinen osa koostuu viiden palveluntuottajaverkostossa toimivan tulos- tai kehitysvastuullisen henkilön haastatteluista. Teemahaastattelut selvittävät konstruktiivisen tutkimusotteen vaatimusten mukaisesti olisiko haastateltava valmis ottamaan konstruktion esittämän mallin käyttöön omalla vastuualueellaan. Tutkimuksen tuloksena Case-yrityksen palveluntuottajaverkostossa voi-daan saada hyötyä toteuttamalla operatiiviseen ongelmanratkaisuun mo-nenkeskisen tiedonvaihdon käytäntöjä. Nykyinen verkoston ohjausmalli ja kilpailutilanne eivät toistaiseksi anna tilaa muille monenkeskisen tiedonvaihdon toimintamalleille.

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to logical discourse. Several Russian scholars expressed ideas similar to Vasiliev's though not in such explicit form. This period might be called the prehistory of paraconsistency. Real history of paraconsistency starts with N.C.A. da Costa's works.

Expressiveness and definability in circumscription

We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whenever the circumscription of a first-order sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of models of circumscribed theories are either elementary or not Δ-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a first-order sentence Φ and whenever such class of P; Z-minimal models is Δ-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of Φ is the class of models of Φ ∧ ψ. In order words, the circumscription of P in Φ with Z varied can be replaced by Φ plus this explicit definition ψ for Pi.

Methods and Models for Accelerating Dynamic Simulation of Fluid Power Circuits

The objective of this dissertation is to improve the dynamic simulation of fluid power circuits. A fluid power circuit is a typical way to implement power transmission in mobile working machines, e.g. cranes, excavators etc. Dynamic simulation is an essential tool in developing controllability and energy-efficient solutions for mobile machines. Efficient dynamic simulation is the basic requirement for the real-time simulation. In the real-time simulation of fluid power circuits there exist numerical problems due to the software and methods used for modelling and integration. A simulation model of a fluid power circuit is typically created using differential and algebraic equations. Efficient numerical methods are required since differential equations must be solved in real time. Unfortunately, simulation software packages offer only a limited selection of numerical solvers. Numerical problems cause noise to the results, which in many cases leads the simulation run to fail. Mathematically the fluid power circuit models are stiff systems of ordinary differential equations. Numerical solution of the stiff systems can be improved by two alternative approaches. The first is to develop numerical solvers suitable for solving stiff systems. The second is to decrease the model stiffness itself by introducing models and algorithms that either decrease the highest eigenvalues or neglect them by introducing steady-state solutions of the stiff parts of the models. The thesis proposes novel methods using the latter approach. The study aims to develop practical methods usable in dynamic simulation of fluid power circuits using explicit fixed-step integration algorithms. In this thesis, twomechanisms whichmake the systemstiff are studied. These are the pressure drop approaching zero in the turbulent orifice model and the volume approaching zero in the equation of pressure build-up. These are the critical areas to which alternative methods for modelling and numerical simulation are proposed. Generally, in hydraulic power transmission systems the orifice flow is clearly in the turbulent area. The flow becomes laminar as the pressure drop over the orifice approaches zero only in rare situations. These are e.g. when a valve is closed, or an actuator is driven against an end stopper, or external force makes actuator to switch its direction during operation. This means that in terms of accuracy, the description of laminar flow is not necessary. But, unfortunately, when a purely turbulent description of the orifice is used, numerical problems occur when the pressure drop comes close to zero since the first derivative of flow with respect to the pressure drop approaches infinity when the pressure drop approaches zero. Furthermore, the second derivative becomes discontinuous, which causes numerical noise and an infinitely small integration step when a variable step integrator is used. A numerically efficient model for the orifice flow is proposed using a cubic spline function to describe the flow in the laminar and transition areas. Parameters for the cubic spline function are selected such that its first derivative is equal to the first derivative of the pure turbulent orifice flow model in the boundary condition. In the dynamic simulation of fluid power circuits, a tradeoff exists between accuracy and calculation speed. This investigation is made for the two-regime flow orifice model. Especially inside of many types of valves, as well as between them, there exist very small volumes. The integration of pressures in small fluid volumes causes numerical problems in fluid power circuit simulation. Particularly in realtime simulation, these numerical problems are a great weakness. The system stiffness approaches infinity as the fluid volume approaches zero. If fixed step explicit algorithms for solving ordinary differential equations (ODE) are used, the system stability would easily be lost when integrating pressures in small volumes. To solve the problem caused by small fluid volumes, a pseudo-dynamic solver is proposed. Instead of integration of the pressure in a small volume, the pressure is solved as a steady-state pressure created in a separate cascade loop by numerical integration. The hydraulic capacitance V/Be of the parts of the circuit whose pressures are solved by the pseudo-dynamic method should be orders of magnitude smaller than that of those partswhose pressures are integrated. The key advantage of this novel method is that the numerical problems caused by the small volumes are completely avoided. Also, the method is freely applicable regardless of the integration routine applied. The superiority of both above-mentioned methods is that they are suited for use together with the semi-empirical modelling method which necessarily does not require any geometrical data of the valves and actuators to be modelled. In this modelling method, most of the needed component information can be taken from the manufacturer’s nominal graphs. This thesis introduces the methods and shows several numerical examples to demonstrate how the proposed methods improve the dynamic simulation of various hydraulic circuits.