25 resultados para Symbolic and Algebraic Manipulation
em Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland
Resumo:
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.
Resumo:
In this thesis the dynamics of cold gaseous atoms is studied. Two different atomic species and two different experimental techniques have been used. In the first part of the thesis experiments with Bose-Einstein condensates of Rb-87 are presented. In these experiments the methods of laser cooling and magnetic trapping of atoms were utilized. An atom chip was used as the experimental technique for implementation of magnetic trapping. The atom chip is a small integrated instrument allowing accurate and detailed manipulation of the atoms. The experiments with Rb-87 probed the behaviour of a falling beam of atoms outcoupled from the Bose-Einstein condensate by electromagnetic field induced spin flips. In the experiments a correspondence between the phases of the outcoupling radio frequency field and the falling beam of atoms was found. In the second part of the thesis experiments of spin dynamics in cold atomic hydrogen gas are discussed. The experiments with atomic hydrogen are conducted in a cryostat using a dilution refrigerator as the cooling method. These experiments concentrated on explaining and quantifying modulations in the electron spin resonance spectra of doubly polarized atomic hydrogen. The modifications to the previous experimental setup are described and the observation of electron spin waves is presented. The observed spin wave modes were caused by the identical spin rotation effect. These modes have a strong dependence on the spatial profile of the polarizing magnetic field. We also demonstrated confinement of these modes in regions of strong magnetic field and manipulated their spatial distribution by changing the position of the field maximum.
Resumo:
Abstract: The politics of public space : the Senate Square in Helsinki as a form of structural, symbolic and aesthetic power
Resumo:
Denna vårdvetenskapliga avhandling syftar till att avtäcka och belysa en vårdande och helande dimension vid existentiellt lidande patienters möten med bildkonst inom vårdkontext. Kunskapssökandet sker i två studier. Den första (studie I) är en ikonografi sk tolkning av konstnären Matthias Grünewalds (ca 1460–1528) senmedeltida altarskåpsmålningar. I studien uttolkas lidandets uttryck och narrativa budskap samt symboliska gestaltningar av vårdande och helande i valda delar av detta s.k. Isenheimaltares bildprogram. Tolkningen utgår från rekonstruktionen av altarskåpets ursprungskontext, det medeltida Isenheimklostret, där svårt sjuka och döende patienter vårdades. I studie två (II) fortsätter sökandet i den moderna hospicevårdens kontext med hjälp av en kvalitativ intervjustudie som utforskar patienters meningsskapande vid möten med självvald bildkonst (oljemålningar och akvareller av fi nländska konstnärer som donerats till det sjukhus där intervjustudien gjordes). Forskningsansatsen är inspirerad av Hans-Georg Gadamers (1901–2002) hermeneutik. Vidare används några nyare tolkningsteoretiska ansatser inom bildkonstens område. Forskningens tolkningsresultat visar att bildkonsten har potentialer såväl på ett miljöestetiskt plan som på en djupare individuell symbolnivå. Som designkomponent i vårdmiljöns rumsliga gestaltning bygger bildkonsten in estetiska, etiska och andliga kvaliteter utifrån tidsmässiga och kulturella koder. I den medeltida klostervårdens kontext sammanföll bildkonstens dekorativa betydelse med andliga och helande syften. När det gäller självvalda konstverk i den moderna vårdkontexten bidrar de till det enskilda patientrummets atmosfär på ett unikt sätt utifrån patientens personlighet och behov. På en fördjupad mötesnivå, i samspel med bildens symboliska funktion, sker en inlevelsemässig förfl yttning in i bildens värld. Betraktarens inlevelse aktiveras till en transcenderande rörelse som går bortom det faktiska rummets och den reella tidens gränser. Vid resor i konstens bildvärld spelas minnesvärda händelser upp från det förgångna, men även framtiden kommer betraktaren till mötes. I en existentiell livssituation söker människan i konstverkets bildinnehåll efter symbolisk mening som kan ge svar på lidandets frågor. Bilderna iscensätter då helande motbilder som utgör korrektiv i symboliska former när olika existentiella förluster hotar. När livet förbleknats av sjukdom besvarar bildvärlden den lidandes blick med lysande violer som blommar upp, ger livskraft och bekräftar personens värdighet mitt i det förvissnande människolivet. När ångest och otrygghet nalkas inbjuds betraktaren till besök i landskap som utvidgar sjukhusrummets väggar mot hemgårdens trygghet. Där livet hotas av förgänglighet tar bildvärlden människan med sig till naturens eviga återfödelse. Upplevelsen av att vara delaktig i ett större och heligt sammanhang öppnar vägen ut ur lidandets avskurenhet. I medeltidens vårdkontext erbjöd den sakrala bilden en kollektiv och helande Symbolon som genom sin representationskraft synliggjorde det osynliga. Vid bildmöten i den moderna hospicevårdens kontext var det naturteman som gläntade på dörren till ”det hemliga rummet i djupet av hjärtat”. Forskningen antyder att även om meningsskapandet i ett bildmöte är avhängigt tidsepok, betraktarens förförståelse och kulturella kontext samt typen av bilder kan bildsymboliken, generellt förstådd som den saknade formen eller det saknade livssammanhanget, framvisa en helande och hoppingivande ordning i lidandets kaos.
Resumo:
Information gained from the human genome project and improvements in compound synthesizing have increased the number of both therapeutic targets and potential lead compounds. This has evolved a need for better screening techniques to have a capacity to screen number of compound libraries against increasing amount of targets. Radioactivity based assays have been traditionally used in drug screening but the fluorescence based assays have become more popular in high throughput screening (HTS) as they avoid safety and waste problems confronted with radioactivity. In comparison to conventional fluorescence more sensitive detection is obtained with time-resolved luminescence which has increased the popularity of time-resolved fluorescence resonance energy transfer (TR-FRET) based assays. To simplify the current TR-FRET based assay concept the luminometric homogeneous single-label utilizing assay technique, Quenching Resonance Energy Transfer (QRET), was developed. The technique utilizes soluble quencher to quench non-specifically the signal of unbound fraction of lanthanide labeled ligand. One labeling procedure and fewer manipulation steps in the assay concept are saving resources. The QRET technique is suitable for both biochemical and cell-based assays as indicated in four studies:1) ligand screening study of β2 -adrenergic receptor (cell-based), 2) activation study of Gs-/Gi-protein coupled receptors by measuring intracellular concentration of cyclic adenosine monophosphate (cell-based), 3) activation study of G-protein coupled receptors by observing the binding of guanosine-5’-triphosphate (cell membranes), and 4) activation study of small GTP binding protein Ras (biochemical). Signal-to-background ratios were between 2.4 to 10 and coefficient of variation varied from 0.5 to 17% indicating their suitability to HTS use.
Resumo:
Skepticism of promised value-added is forcing suppliers to provide tangible evidence of the value they can deliver for the customers in industrial markets. Despite this, quantifying customer benefits is being thought as one of the most difficult part in business-to-business selling. The objective of this research is to identify the desired and perceived customer benefits of KONE JumpLift™ and improve the overall customer value quantification and selling process of the solution. The study was conducted with a qualitative case analysis including 7 interviews with key stakeholders from three different market areas. The market areas were chosen based on where the offering has been utilized and the research was conducted by five telephone and two email interviews. The main desired and perceived benefits include many different values for example economical, functional, symbolic and epistemic value but they vary on studied market areas. The most important result of the research was finding the biggest challenges of selling the offering which are communicating and proving the potential value to the customers. In addition, the sales arguments have different relative importance in studied market areas which create challenges for salespeople to sell the offering effectively. In managerial level this means need for investing into a new sales tool and training the salespeople.
Resumo:
Fuzzy subsets and fuzzy subgroups are basic concepts in fuzzy mathematics. We shall concentrate on fuzzy subgroups dealing with some of their algebraic, topological and complex analytical properties. Explorations are theoretical belonging to pure mathematics. One of our ideas is to show how widely fuzzy subgroups can be used in mathematics, which brings out the wealth of this concept. In complex analysis we focus on Möbius transformations, combining them with fuzzy subgroups in the algebraic and topological sense. We also survey MV spaces with or without a link to fuzzy subgroups. Spectral space is known in MV algebra. We are interested in its topological properties in MV-semilinear space. Later on, we shall study MV algebras in connection with Riemann surfaces. In fact, the Riemann surface as a concept belongs to complex analysis. On the other hand, Möbius transformations form a part of the theory of Riemann surfaces. In general, this work gives a good understanding how it is possible to fit together different fields of mathematics.
Resumo:
Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.
Resumo:
This thesis studies the properties and usability of operators called t-norms, t-conorms, uninorms, as well as many valued implications and equivalences. Into these operators, weights and a generalized mean are embedded for aggregation, and they are used for comparison tasks and for this reason they are referred to as comparison measures. The thesis illustrates how these operators can be weighted with a differential evolution and aggregated with a generalized mean, and the kinds of measures of comparison that can be achieved from this procedure. New operators suitable for comparison measures are suggested. These operators are combination measures based on the use of t-norms and t-conorms, the generalized 3_-uninorm and pseudo equivalence measures based on S-type implications. The empirical part of this thesis demonstrates how these new comparison measures work in the field of classification, for example, in the classification of medical data. The second application area is from the field of sports medicine and it represents an expert system for defining an athlete's aerobic and anaerobic thresholds. The core of this thesis offers definitions for comparison measures and illustrates that there is no actual difference in the results achieved in comparison tasks, by the use of comparison measures based on distance, versus comparison measures based on many valued logical structures. The approach has been highly practical in this thesis and all usage of the measures has been validated mainly by practical testing. In general, many different types of operators suitable for comparison tasks have been presented in fuzzy logic literature and there has been little or no experimental work with these operators.
Resumo:
The topological solitons of two classical field theories, the Faddeev-Skyrme model and the Ginzburg-Landau model are studied numerically and analytically in this work. The aim is to gain information on the existence and properties of these topological solitons, their structure and behaviour under relaxation. First, the conditions and mechanisms leading to the possibility of topological solitons are explored from the field theoretical point of view. This leads one to consider continuous deformations of the solutions of the equations of motion. The results of algebraic topology necessary for the systematic treatment of such deformations are reviewed and methods of determining the homotopy classes of topological solitons are presented. The Faddeev-Skyrme and Ginzburg-Landau models are presented, some earlier results reviewed and the numerical methods used in this work are described. The topological solitons of the Faddeev-Skyrme model, Hopfions, are found to follow the same mechanisms of relaxation in three different domains with three different topological classifications. For two of the domains, the necessary but unusual topological classification is presented. Finite size topological solitons are not found in the Ginzburg-Landau model and a scaling argument is used to suggest that there are indeed none unless a certain modification to the model, due to R. S. Ward, is made. In that case, the Hopfions of the Faddeev-Skyrme model are seen to be present for some parameter values. A boundary in the parameter space separating the region where the Hopfions exist and the area where they do not exist is found and the behaviour of the Hopfion energy on this boundary is studied.
Resumo:
Sensor-based robot control allows manipulation in dynamic environments with uncertainties. Vision is a versatile low-cost sensory modality, but low sample rate, high sensor delay and uncertain measurements limit its usability, especially in strongly dynamic environments. Force is a complementary sensory modality allowing accurate measurements of local object shape when a tooltip is in contact with the object. In multimodal sensor fusion, several sensors measuring different modalities are combined to give a more accurate estimate of the environment. As force and vision are fundamentally different sensory modalities not sharing a common representation, combining the information from these sensors is not straightforward. In this thesis, methods for fusing proprioception, force and vision together are proposed. Making assumptions of object shape and modeling the uncertainties of the sensors, the measurements can be fused together in an extended Kalman filter. The fusion of force and visual measurements makes it possible to estimate the pose of a moving target with an end-effector mounted moving camera at high rate and accuracy. The proposed approach takes the latency of the vision system into account explicitly, to provide high sample rate estimates. The estimates also allow a smooth transition from vision-based motion control to force control. The velocity of the end-effector can be controlled by estimating the distance to the target by vision and determining the velocity profile giving rapid approach and minimal force overshoot. Experiments with a 5-degree-of-freedom parallel hydraulic manipulator and a 6-degree-of-freedom serial manipulator show that integration of several sensor modalities can increase the accuracy of the measurements significantly.
Resumo:
Immaturity of the gut barrier system in the newborn has been seen to underlie a number of chronic diseases originating in infancy and manifesting later in life. The gut microbiota and breast milk provide the most important maturing signals for the gut-related immune system and reinforcement of the gut mucosal barrier function. Recently, the composition of the gut microbiota has been proposed to be instrumental in control of host body weight and metabolism as well as the inflammatory state characterizing overweight and obesity. On this basis, inflammatory Western lifestyle diseases, including overweight development, may represent a potential target for probiotic interventions beyond the well documented clinical applications. The purpose of the present undertaking was to study the efficacy and safety of perinatal probiotic intervention. The material comprised two ongoing, prospective, double-blind NAMI (Nutrition, Allergy, Mucosal immunology and Intestinal microbiota) probiotic interventions. In the mother-infant nutrition and probiotic study altogether 256 women were randomized at their first trimester of pregnancy into a dietary intervention and a control group. The intervention group received intensive dietary counselling provided by a nutritionist, and were further randomized at baseline, double-blind, to receive probiotics (Lactobacillus rhamnosus GG and Bifidobacterium lactis) or placebo. The intervention period extended from the first trimester of pregnancy to the end of exclusive breastfeeding. In the allergy prevention study altogether 159 women were randomized, double-blind, to receive probiotics (Lactobacillus rhamnosus GG) or placebo 4 weeks before expected delivery, the intervention extending for 6 months postnatally. Additionally, patient data on all premature infants with very low birth weight (VLBW) treated in the Department of Paediatrics, Turku University Hospital, during the years 1997 - 2008 were utilized. The perinatal probiotic intervention reduced the risk of gestational diabetes mellitus (GDM) in the mothers and perinatal dietary counselling reduced that of fetal overgrowth in GDM-affected pregnancies. Early gut microbiota modulation with probiotics modified the growth pattern of the child by restraining excessive weight gain during the first years of life. The colostrum adiponectin concentration was demonstrated to be dependent on maternal diet and nutritional status during pregnancy. It was also higher in the colostrum received by normal-weight compared to overweight children at the age of 10 years. The early perinatal probiotic intervention and the postnatal probiotic intervention in VLBW infants were shown to be safe. To conclude, the findings in this study provided clinical evidence supporting the involvement of the initial microbial and nutritional environment in metabolic programming of the child. The manipulation of early gut microbial communities with probiotics might offer an applicable strategy to impact individual energy homeostasis and thus to prevent excessive body-weight gain. The results add weight to the hypothesis that interventions aiming to prevent obesity and its metabolic consequences later in life should be initiated as early as during the perinatal period.
Resumo:
Gene therapy aims to treat diseases by introducing genetic material to the diseased tissue. For cancer treatment it is important to destroy cancerous cells; this can be achieved by introducing a gene, which induces cell death or by allowing viral vectors to replicate, which also results in destruction of cancerous cells. For cardiac diseases the approach is more like the former, except the gene produces beneficial effects, like angiogenesis. Adenoviruses have many beneficial qualities, which make the virus an interesting gene therapy vector; it can be produced relatively easily, its manipulation is quite easy and it has naturally broad tropism. By removing or replacing certain genes in the adenoviral genome, it can be made non-replicative. In this study, adenoviral receptor expression patterns were characterized in both head and neck squamous cell carcinoma and the human heart. Adenovirus serotype 5 receptor expression in head and neck cancer cell lines was found to be highly variable between cell lines and overall at lower levels, while Ad35 receptor expression was more uniform and at higher levels in all analyzed cell lines. It was also shown that a hybrid virus Ad5/35 is able to infect cells refractory to Ad5, which correlates with receptor expression in these cells. Furthermore, this difference in infection properties extends to cell killing efficiency in case of conditionally replicative viruses. Expression levels of adenoviral receptors CAR, CD46, CD86 and αv-integrins were found to be high both in normal and dilated cardiomyopathy heart tissue. The receptor levels also correlate with transduction efficiency after intracardiac injection. Ad5 showed superior transduction ability compared with Ad5/35, but evoked also a more profound immune reaction when administered this way. Adenoviral gene therapy vectors are the most used delivery vehicles in clinical trials to date. These vectors have proven to be well tolerated and positive results have been obtained when combined with traditional treatments, although poor transduction efficiency has often been reported due to low-level expression of viral receptors on target cells. In spite of this, the results are encouraging and merit for further research.
Resumo:
Previous studies on pencil grip have typically dealt with the developmental aspects in young children while handwriting research is mainly concerned with speed and legibility. Studies linking these areas are few. Evaluation of the existing pencil grip studies is hampered by methodological inconsistencies. The operational definitions of pencil grip arerational but tend to be oversimplified while detailed descriptors tend to be impractical due to their multiplicity. The present study introduces a descriptive two-dimensional model for the categorisation of pencil grip suitable for research applications in a classroom setting. The model is used in four empirical studies of children during the first six years of writing instruction. Study 1 describes the pencil grips observed in a large group of pupils in Finland (n = 504). The results indicate that in Finland the majority of grips resemble the traditional dynamic tripod grip. Significant genderrelated differences in pencil grip were observed. Study 2 is a longitudinal exploration of grip stability vs. change (n = 117). Both expected and unexpected changes were observed in about 25 per cent of the children's grips over four years. A new finding emerged using the present model for categorisation: whereas pencil grips would change, either in terms of ease of grip manipulation or grip configuration, no instances were found where a grip would have changed concurrently on both dimensions. Study 3 is a cross-cultural comparison of grips observed in Finland and the USA (n = 793). The distribution of the pencil grips observed in the American pupils was significantly different from those found in Finland. The cross-cultural disparity is most likely related to the differences in the onset of writing instruction. The differences between the boys' and girls' grips in the American group were non-significant.An implication of Studies 2 and 3 is that the initial pencil grip is of foremost importance since pencil grips are largely stable over time. Study 4 connects the pencil grips to assessment of the mechanics of writing (n = 61). It seems that certain previously not recommended pencil grips might nevertheless be includedamong those accepted since they did not appear to hamper either fluency or legibility.