Bifurcation of relative equilibria of the (1+3)-body problem

We study the relative equilibria of the limit case of the pla- nar Newtonian 4{body problem when three masses tend to zero, the so-called (1 + 3){body problem. Depending on the values of the in- nitesimal masses the number of relative equilibria varies from ten to fourteen. Always six of these relative equilibria are convex and the oth- ers are concave. Each convex relative equilibrium of the (1 + 3){body problem can be continued to a unique family of relative equilibria of the general 4{body problem when three of the masses are su ciently small and every convex relative equilibrium for these masses belongs to one of these six families.

Experimental analysis of optimization techniques on the road passenger transportation problem

Analyzing the state of the art in a given field in order to tackle a new problem is always a mandatory task. Literature provides surveys based on summaries of previous studies, which are often based on theoretical descriptions of the methods. An engineer, however, requires some evidence from experimental evaluations in order to make the appropriate decision when selecting a technique for a problem. This is what we have done in this paper: experimentally analyzed a set of representative state-of-the-art techniques in the problem we are dealing with, namely, the road passenger transportation problem. This is an optimization problem in which drivers should be assigned to transport services, fulfilling some constraints and minimizing some function cost. The experimental results have provided us with good knowledge of the properties of several methods, such as modeling expressiveness, anytime behavior, computational time, memory requirements, parameters, and free downloadable tools. Based on our experience, we are able to choose a technique to solve our problem. We hope that this analysis is also helpful for other engineers facing a similar problem

Modelling of the PWR PACTEL vertical steam generator with the TRACE code

The behavior of the nuclear power plants must be known in all operational situations. Thermal hydraulics computer applications are used to simulate the behavior of the plants. The computer applications must be validated before they can be used reliably. The simulation results are compared against the experimental results. In this thesis a model of the PWR PACTEL steam generator was prepared with the TRAC/RELAP Advanced Computational Engine computer application. The simulation results can be compared against the results of the Advanced Process Simulator analysis software in future. Development of the model of the PWR PACTEL vertical steam generator is introduced in this thesis. Loss of feedwater transient simulation examples were carried out with the model.

Design and evaluation of a continuous flow, integrated nebulizer-hydride generator for flame atomic absorption spectrometry

An evaluation of the performance of a continuous flow hydride generator-nebulizer for flame atomic absorption spectrometry was carried out. Optimization of nebulizer gas flow rate, sample acid concentration, sample and tetrahydroborate uptake rates and reductant concentration, on the As and Se absorbance signals was carried out. A hydrogen-argon flame was used. An improvement of the analytical sensitivity relative to the conventional bead nebulizer used in flame AA was obtained (2 (As) and 4.8 (Se) µg L-1). Detection limits (3σb) of 1 (As) and 1.3 (Se) µg L-1 were obtained. Accuracy of the method was checked by analyzing an oyster tissue reference material.

'Situaciones problema' y desarrollo de la competencia motriz en educación física escolar: cuestiones didácticas = Problem situations and developing motor competence in Physical Education at school: didactic questions

From the areas of motor learning and the teaching of Physical Education we promote coherent methodological orientationswith the present curricular guide that are focused in such a way so that the student is able to act independently. In thissense we may consider the problem situations as a good example for methodological proposals. So as to determine its useand adequateness for Physical Education it is conveniente to analyse the characteristics of the motor tasks that areproposed as well as the features of the teaching intervention in such a way as to ease the adquisition and development ofthe motor competence of the students

Retrieval of kinetic rates in reactions with semi batch liquid phase using ill-posed inverse problem theory

A neural network procedure to solve inverse chemical kinetic problems is discussed in this work. Rate constants are calculated from the product concentration of an irreversible consecutive reaction: the hydrogenation of Citral molecule, a process with industrial interest. Simulated and experimental data are considered. Errors in the simulated data, up to 7% in the concentrations, were assumed to investigate the robustness of the inverse procedure. Also, the proposed method is compared with two common methods in nonlinear analysis; the Simplex and Levenberg-Marquardt approaches. In all situations investigated, the neural network approach was numerically stable and robust with respect to deviations in the initial conditions or experimental noises.

Methane combustion kinetic rate constants determination: an ill-posed inverse problem analysis

Methane combustion was studied by the Westbrook and Dryer model. This well-established simplified mechanism is very useful in combustion science, for computational effort can be notably reduced. In the inversion procedure to be studied, rate constants are obtained from [CO] concentration data. However, when inherent experimental errors in chemical concentrations are considered, an ill-conditioned inverse problem must be solved for which appropriate mathematical algorithms are needed. A recurrent neural network was chosen due to its numerical stability and robustness. The proposed methodology was compared against Simplex and Levenberg-Marquardt, the most used methods for optimization problems.

Estimation of existing cable systems in generator-busbar unit and choice the optimal solution for its modernization

The aim of this master’s thesis is to develop an algorithm to calculate the cable network for heat and power station CHGRES. This algorithm includes important aspect which has an influence on the cable network reliability. Moreover, according to developed algorithm, the optimal solution for modernization cable system from economical and technical point of view was obtained. The conditions of existing cable lines show that replacement is necessary. Otherwise, the fault situation would happen. In this case company would loss not only money but also its prestige. As a solution, XLPE single core cables are more profitable than other types of cable considered in this work. Moreover, it is presented the dependence of value of short circuit current on number of 10/110 kV transformers connected in parallel between main grid and considered 10 kV busbar and how it affects on final decision. Furthermore, the losses of company in power (capacity) market due to fault situation are presented. These losses are commensurable with investment to replace existing cable system.

A quasi-materialist, quasi-dualist solution to the mind-body problem

If the mental can affect, or be affected by, the physical, then the mental must itself be physical. Otherwise the physical world would not be explanatorily closed. But it is closed. There are reasons to hold that materialism (in both its reductive and non-reductive varieties) is false. So how are we to explain the apparent responsiveness of the physical to the mental and vice versa? The only possible solution seems to be this: physical objects are really projections or isomorphs of objects whose essential properties are mental. (A slightly less accurate way of putting this would be to say: the constitutive - i.e. the non-structural and non-phenomenal - properties of physical objects are mental, i.e. are such as we are used to encountering only in "introspection".) The chair, qua thing that I can know through sense perception, and through hypotheses based strictly thereupon, is a kind of shadow of an object that is exactly like it, except that this other objects essential properties are mental. This line of thought, though radically counterintuitive, explains the apparent responsiveness of the mental to the physical, and vice versa, without being open to any of the criticisms to which materialism, dualistic interaction ism, and epiphenomenalism are open.

Doubly fed induction generator versus direct drive permanent magnet synchronous generator in wind power applications

The objective of this master's thesis is to compare two different generator systems for wind turbines. It is the doubly fed induction generator system with three stage gearbox and the direct drive permanent magnet generator system. The comparison of generator systems is based on annual energy production for a given wind climate. For comparison a 3 MW, 15 rpm wind turbine is used. Modelling of a turbine rotor, gearbox and converters were done. Design of two generators was done and their performance was examined.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Våld i parrelationer : en begreppslig undersökning av ett moraliskt och samhälleligt problem

Mäns våld mot kvinnor i parrelationer är ett förekommande problem i det finländska samhället. Som en moralisk fråga råder det ingen tvekan om att våld i parrelationer är orätt. Den moraliska diskussionen kan ändå inte stanna där. När våldsproblematiken studeras närmare träder flera aspekter av moralfilosofiskt intresse fram. Detta är dock sammanlänkat med hela avhandlingens utgångspunkt: att moralfrågor i första hand är frågor i första person. Det handlar om hur var och en av oss som de personer vi är förhåller oss till andra människor i olika situationer. Det handlar om hur varje enskild person berörs av, möter eller står tyst inför t.ex. en problematik som våld i parrelationer. Genom den här utgångspunkten problematiserar avhandlingen en vanlig syn på etik och moral som en uppsättning yttre regler eller som något vi helt objektivt kan resonera kring utan att själva egentligen beröras och bli indragna i det vi diskuterar, eller utan hänsyn till dem som faktiskt berörs. Tyngdpunkten i avhandlingen läggs på en moralisk begreppslig undersökning kring ett antal begrepp som stiger fram som relevanta i mötet med våld i parrelationer. De för avhandlingen centrala begreppen är offentligt-privat, rättvisa, rättigheter, makt, skam, skuld, förlåtelse, omsorg, tillit och ansvar. I avhandlingen har jag beskrivit, kritiskt analyserat samt fördjupat en förståelse av dessa begrepp och uttryck som både rör ett individ- och ett samhällsplan. Hur dessa begrepp och uttryck används och fungerar i olika sammanhang uttrycker moraliska förhållningssätt gentemot våld, offer och förövare. I avhandlingen synliggörs detta och en konkret förankring sker med hjälp av följande material: finländskt lagstiftningsmaterial (förarbeten till lagar som berör våld i parrelationer under perioden 1991-2006) och berättelser av kvinnor som upplevt våld. Den begreppsliga analysen, där bl.a. olika feministiska teoretiker används, visar att språket inte är neutralt. Språket kan vara färgat av flera självklara förutsättningar och distanserande begrepp kan användas på ett sådant sätt att det moraliskt mest centrala och brännande döljs.

Rädsla inför förlossningen - ett uppenbart kliniskt problem? : konstruktionen av förlossningsrädsla som medicinsk kategori

Kvinnors känsla av oro och rädsla inför förlossningen har under de senaste årtiondena intresserat forskare inom en medicinsk kontext, framför allt i Sverige och Finland. Den obstetriska och psykologiska forskningen har strävat efter att definiera, finna metoder för att mäta samt klassificera dessa känslor. Begreppet förlossningsrädsla används i dag ofta såväl inom den medicinska diskursen som bland allmänheten som ett samlande begrepp för att beskriva föderskors rädsla både inför, under och efter förlossningen. Trots detta finns det ändå ingen allmänt vedertagen definition av eller enhetliga kriterier för vad som skall inkluderas i begreppet. Förlossningsrädsla har konstruerats och etablerats som ett till synes objektivt medicinskt definierat fenomen och vården av förlossningsrädsla har institutionaliserats inom specialsjukvården. Däremot har de praktiker och institutioner som bidragit till att skapa förlossningsrädsla som ett vetenskapligt faktum, en svart låda, blivit osynliga. I "Rädsla inför förlossningen – ett uppenbart kliniskt problem? Konstruktionen av förlossningsrädsla som en medicinsk kategori" granskas uppkomsten, etableringen och institutionaliseringen av förlossningsrädsla som en medicinsk kategori inom vetenskaplig forskningslitteratur i Sverige och Finland. I fokus för analysen står processer av kunskapsproduktion genom vilka förlossningsrädsla formuleras som en specifik medicinsk kategori. Förlossningsrädsla som begrepp och kategori kan beskrivas som ett gränsöverskridande objekt som ständigt reproduceras och konsolideras genom den pågående forskningen.

Active teaching-learning methodologies: medical students' views of problem-based learning

The prevailing undergraduate medical training process still favors disconnection and professional distancing from social needs. The Brazilian Ministries of Education and Health, through the National Curriculum Guidelines, the Incentives Program for Changes in the Medical Curriculum (PROMED), and the National Program for Reorientation of Professional Training in Health (PRO-SAÚDE), promoted the stimulus for an effective connection between medical institutions and the Unified National Health System (SUS). In accordance to the new paradigm for medical training, the Centro Universitário Serra dos Órgãos (UNIFESO) established a teaching plan in 2005 using active methodologies, specifically problem-based learning (PBL). Research was conducted through semi-structured interviews with third-year undergraduate students at the UNIFESO Medical School. The results were categorized as proposed by Bardin's thematic analysis, with the purpose of verifying the students' impressions of the new curriculum. Active methodologies proved to be well-accepted by students, who defined them as exciting and inclusive of theory and practice in medical education.

Jämställdhet som politiskt problem i Finland och Frankrike

Kirjallisuusarvostelu