A Topological Approach to Fuzzy Sets

This thesis presents a topological approach to studying fuzzy setsby means of modifier operators. Modifier operators are mathematical models, e.g., for hedges, and we present briefly different approaches to studying modifier operators. We are interested in compositional modifier operators, modifiers for short, and these modifiers depend on binary relations. We show that if a modifier depends on a reflexive and transitive binary relation on U, then there exists a unique topology on U such that this modifier is the closure operator in that topology. Also, if U is finite then there exists a lattice isomorphism between the class of all reflexive and transitive relations and the class of all topologies on U. We define topological similarity relation "≈" between L-fuzzy sets in an universe U, and show that the class LU/ ≈ is isomorphic with the class of all topologies on U, if U is finite and L is suitable. We consider finite bitopological spaces as approximation spaces, and we show that lower and upper approximations can be computed by means of α-level sets also in the case of equivalence relations. This means that approximations in the sense of Rough Set Theory can be computed by means of α-level sets. Finally, we present and application to data analysis: we study an approach to detecting dependencies of attributes in data base-like systems, called information systems.

Ion-exchange resins as stationary phase in reactive chromatography

Dynamic behavior of bothisothermal and non-isothermal single-column chromatographic reactors with an ion-exchange resin as the stationary phase was investigated. The reactor performance was interpreted by using results obtained when studying the effect of the resin properties on the equilibrium and kinetic phenomena occurring simultaneously in the reactor. Mathematical models were derived for each phenomenon and combined to simulate the chromatographic reactor. The phenomena studied includes phase equilibria in multicomponent liquid mixture¿ion-exchange resin systems, chemicalequilibrium in the presence of a resin catalyst, diffusion of liquids in gel-type and macroporous resins, and chemical reaction kinetics. Above all, attention was paid to the swelling behavior of the resins and how it affects the kinetic phenomena. Several poly(styrene-co-divinylbenzene) resins with different cross-link densities and internal porosities were used. Esterification of acetic acid with ethanol to produce ethyl acetate and water was used as a model reaction system. Choosing an ion-exchange resin with a low cross-link density is beneficial inthe case of the present reaction system: the amount of ethyl acetate as well the ethyl acetate to water mole ratio in the effluent stream increase with decreasing cross-link density. The enhanced performance of the reactor is mainly attributed to increasing reaction rate, which in turn originates from the phase equilibrium behavior of the system. Also mass transfer considerations favor the use ofresins with low cross-link density. The diffusion coefficients of liquids in the gel-type ion-exchange resins were found to fall rapidly when the extent of swelling became low. Glass transition of the polymer was not found to significantlyretard the diffusion in sulfonated PS¿DVB ion-exchange resins. It was also shown that non-isothermal operation of a chromatographic reactor could be used to significantly enhance the reactor performance. In the case of the exothermic modelreaction system and a near-adiabatic column, a positive thermal wave (higher temperature than in the initial state) was found to travel together with the reactive front. This further increased the conversion of the reactants. Diffusion-induced volume changes of the ion-exchange resins were studied in a flow-through cell. It was shown that describing the swelling and shrinking kinetics of the particles calls for a mass transfer model that explicitly includes the limited expansibility of the polymer network. A good description of the process was obtained by combining the generalized Maxwell-Stefan approach and an activity model that was derived from the thermodynamics of polymer solutions and gels. The swelling pressure in the resin phase was evaluated by using a non-Gaussian expression forthe polymer chain length distribution. Dimensional changes of the resin particles necessitate the use of non-standard mathematical tools for dynamic simulations. A transformed coordinate system, where the mass of the polymer was used as a spatial variable, was applied when simulating the chromatographic reactor columns as well as the swelling and shrinking kinetics of the resin particles. Shrinking of the particles in a column leads to formation of dead volume on top of the resin bed. In ordinary Eulerian coordinates, this results in a moving discontinuity that in turn causes numerical difficulties in the solution of the PDE system. The motion of the discontinuity was eliminated by spanning two calculation grids in the column that overlapped at the top of the resin bed. The reactive and non-reactive phase equilibrium data were correlated with a model derived from thethermodynamics of polymer solution and gels. The thermodynamic approach used inthis work is best suited at high degrees of swelling because the polymer matrixmay be in the glassy state when the extent of swelling is low.

In silico pathway reconstruction: Iron-sulfur cluster biogenesis in Saccharomyces cerevisiae

Background: Current advances in genomics, proteomics and other areas of molecular biology make the identification and reconstruction of novel pathways an emerging area of great interest. One such class of pathways is involved in the biogenesis of Iron-Sulfur Clusters (ISC). Results: Our goal is the development of a new approach based on the use and combination of mathematical, theoretical and computational methods to identify the topology of a target network. In this approach, mathematical models play a central role for the evaluation of the alternative network structures that arise from literature data-mining, phylogenetic profiling, structural methods, and human curation. As a test case, we reconstruct the topology of the reaction and regulatory network for the mitochondrial ISC biogenesis pathway in S. cerevisiae. Predictions regarding how proteins act in ISC biogenesis are validated by comparison with published experimental results. For example, the predicted role of Arh1 and Yah1 and some of the interactions we predict for Grx5 both matches experimental evidence. A putative role for frataxin in directly regulating mitochondrial iron import is discarded from our analysis, which agrees with also published experimental results. Additionally, we propose a number of experiments for testing other predictions and further improve the identification of the network structure. Conclusion: We propose and apply an iterative in silico procedure for predictive reconstruction of the network topology of metabolic pathways. The procedure combines structural bioinformatics tools and mathematical modeling techniques that allow the reconstruction of biochemical networks. Using the Iron Sulfur cluster biogenesis in S. cerevisiae as a test case we indicate how this procedure can be used to analyze and validate the network model against experimental results. Critical evaluation of the obtained results through this procedure allows devising new wet lab experiments to confirm its predictions or provide alternative explanations for further improving the models.

Use of physiological constraints to identify quantitative design principles for gene expression in yeast adaptation to heat shock

Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environmental cues is crucial in explaining how cells cope with stress. For example, adaptation of yeast to heat shock involves a characteristic profile of changes to the expression levels of genes coding for enzymes of the glycolytic pathway and some of its branches. The experimental determination of changes in gene expression profiles provides a descriptive picture of the adaptive response to stress. However, it does not explain why a particular profile is selected for any given response. Results: We used mathematical models and analysis of in silico gene expression profiles (GEPs) to understand how changes in gene expression correlate to an efficient response of yeast cells to heat shock. An exhaustive set of GEPs, matched with the corresponding set of enzyme activities, was simulated and analyzed. The effectiveness of each profile in the response to heat shock was evaluated according to relevant physiological and functional criteria. The small subset of GEPs that lead to effective physiological responses after heat shock was identified as the result of the tuning of several evolutionary criteria. The experimentally observed transcriptional changes in response to heat shock belong to this set and can be explained by quantitative design principles at the physiological level that ultimately constrain changes in gene expression. Conclusion: Our theoretical approach suggests a method for understanding the combined effect of changes in the expression of multiple genes on the activity of metabolic pathways, and consequently on the adaptation of cellular metabolism to heat shock. This method identifies quantitative design principles that facilitate understating the response of the cell to stress.

Estimation of age- and stage-specific Catalan breast cancer survival functions using US and Catalan survival data

Background: During the last part of the 1990s the chance of surviving breast cancer increased. Changes in survival functions reflect a mixture of effects. Both, the introduction of adjuvant treatments and early screening with mammography played a role in the decline in mortality. Evaluating the contribution of these interventions using mathematical models requires survival functions before and after their introduction. Furthermore, required survival functions may be different by age groups and are related to disease stage at diagnosis. Sometimes detailed information is not available, as was the case for the region of Catalonia (Spain). Then one may derive the functions using information from other geographical areas. This work presents the methodology used to estimate age- and stage-specific Catalan breast cancer survival functions from scarce Catalan survival data by adapting the age- and stage-specific US functions. Methods: Cubic splines were used to smooth data and obtain continuous hazard rate functions. After, we fitted a Poisson model to derive hazard ratios. The model included time as a covariate. Then the hazard ratios were applied to US survival functions detailed by age and stage to obtain Catalan estimations. Results: We started estimating the hazard ratios for Catalonia versus the USA before and after the introduction of screening. The hazard ratios were then multiplied by the age- and stage-specific breast cancer hazard rates from the USA to obtain the Catalan hazard rates. We also compared breast cancer survival in Catalonia and the USA in two time periods, before cancer control interventions (USA 1975–79, Catalonia 1980–89) and after (USA and Catalonia 1990–2001). Survival in Catalonia in the 1980–89 period was worse than in the USA during 1975–79, but the differences disappeared in 1990–2001. Conclusion: Our results suggest that access to better treatments and quality of care contributed to large improvements in survival in Catalonia. On the other hand, we obtained detailed breast cancer survival functions that will be used for modeling the effect of screening and adjuvant treatments in Catalonia.

Once and for all - How people change strategy to ignore irrelevant information in visual tasks

Ignoring irrelevant visual information aids efficient interaction with task environments. We studied how people, after practice, start to ignore the irrelevant aspects of stimuli. For this we focused on how information reduction transfers to rarely practised and novel stimuli. In Experiment 1, we compared competing mathematical models on how people cease to fixate on irrelevant parts of stimuli. Information reduction occurred at the same rate for frequent, infrequent, and novel stimuli. Once acquired with some stimuli, it was applied to all. In Experiment 2, simplification of task processing also occurred in a once-for-all manner when spatial regularities were ruled out so that people could not rely on learning which screen position is irrelevant. Apparently, changes in eye movements were an effect of a once-for-all strategy change rather than a cause of it. Overall, the results suggest that participants incidentally acquired knowledge about regularities in the task material and then decided to voluntarily apply it for efficient task processing. Such decisions should be incorporated into accounts of information reduction and other theories of strategy change in skill acquisition.

Mittausjärjestelmä IGBT:n lämpötilan määrittämiseen

Tässä diplomityössä tutustutaan IGBT:n ja tehodiodin rakenteisiin, lämmön muodostumiseen kyseisissä komponenteissa sekä menetelmiin, joilla komponenttien lämpötilat voidaan määrittää. Työssä suunnitellaan ja rakennetaan mittausjärjestelmä, jolla IGBT:n ja tehodiodin lämpötilat voidaan määrittää suoraan mittaamalla sekä matemaattisten mallien avulla. Mittausjärjestelmä koostuu DC-chopper -kytkennästä, kuormavirran, välipiirin jännitteen sekä lämpötilan mittauksista. Lämpötilan mittauksissa käytettiin komponenttien pintoihin liitettyjä termopareja. Matemaattisia malleja varten mittausjärjestelmään lisättiin välipiirin jännitteen sekä kuormavirran mittaus. Laitteiston ohjaus sekä mittaustulosten tallentaminen toteutettiin dSPACE -laitteistolla. Mittausjärjestelmän toimivuus testattiin Lappeenrannan teknillisen yliopiston Säätötekniikan laboratoriossa tehdyillä mittauksilla.

Wood Volume Measurement Using Color Images

Tämä työ käsittelee puutukkien tilavuuden mittaamista värikonenäön avulla. Värikuvat on saatu Simpeleellä olevan metsäteollisuusyrityksen hiomosta. Työssä esitetään perusteellisesti matemaattinen teoria, joka liittyy käytettyihin kuvankäsittelymenetelmiin, kuten luokitteluun, kohinan poistoon ja tukkien segmentointiin. Esitetyt menetelmät implementointiin käytännössä ja eri menetelmillä saatuja tuloksia vertailtiin keskenään. Kuvankäsittelyalgoritmit on implementoitu Matlab 6.0:n avulla. Pääasiassa käytettiin uusinta Image Processing Toolboxia, joka on versio 3.0. Tämä työn näkökulma on pääasiassa käytäntöön soveltava, koska metsäteollsuus on korkealla tasolla Suomessa ja siellä on paljon alan yrityksiä, joissa tässä työssä kehitettyä menetelmää voidaan hyödyntää.

Jätevesilaitosten mallinnus

TäTässä työssä tarkastellaan jäteveden biologiseen puhdistukseen käytettävän aktiiviliete-prosessin kuvaamista matemaattisen mallintamisen avulla. Jäteveden puhdistus on jo vanha keksintö ja aktiivilieteprosessikin on otettu ensimmäisen kerran pilot- käyttöön vuonna 1914. Myös jätevesilaitosten matemaattinen mallintaminen on ollut pitkään tunnettu tekniikka ja ensimmäiset dynaamiset mallit kehitettiin 1950–luvulla. Työn alkuosassa on tarkasteltu jätevesilaitosten matemaattista mallintamista kirjallisuus-lähteiden pohjalta. Tarkastelun painopiste on suunnattu erilaisiin matemaattisiin malleihin ja mallintamisen kehitykseen. Mallintamisen ohessa on kiinnitetty huomiota aktiiviliete-prosessiin ja siihen vaikuttaviin tekijöihin. Mallintamiseen vaikuttavista tekijöistä erityistä huomiota on kiinnitetty ilmastukseen, bakteerien kasvuun ja selkeytykseen sekä niiden vaikutuksiin prosessin kannalta. Matemaattisen mallintamisen tarkastelun jälkeen työssä on pohdittu CFD–mallintamisen hyödyntämismahdollisuuksia aktiivilieteprosessien kuvaamisessa. Mallintamisosiossa on tarkasteltu Activated Sludge Model No. 3 (ASM 3) mallin rakennetta ja sisältöä sekä sen eri tekijöiden vaikutuksia malliin. Työn tässä osassa on tarkasteltu myös hapensiirtoa ilmastuksessa ilmakuplista veteen ja selkeytystä osana aktiivilieteprosessia. Tässä osiossa on käyty läpi myös kaikki prosessin kannalta oleelliset yhtälöt, esimerkiksi reaktionopeus- ja massataseyhtälöt.

Is the matching function Cobb-Douglas?

[cat] Estudiem les propietats teòriques que una funció d.emparellament ha de satisfer per tal de representar un mercat laboral amb friccions dins d'un model d'equilibri general amb emparellament aleatori. Analitzem el cas Cobb-Douglas, CES i altres formes funcionals per a la funció d.emparellament. Els nostres resultats estableixen restriccions sobre els paràmetres d'aquests formes funcionals per assegurar que l.equilibri és interior. Aquestes restriccions aporten raons teòriques per escollir entre diverses formes funcionals i permeten dissenyar tests d'error d'especificació de model en els treballs empírics.

Is the matching function Cobb-Douglas?

[cat] Estudiem les propietats teòriques que una funció d.emparellament ha de satisfer per tal de representar un mercat laboral amb friccions dins d'un model d'equilibri general amb emparellament aleatori. Analitzem el cas Cobb-Douglas, CES i altres formes funcionals per a la funció d.emparellament. Els nostres resultats estableixen restriccions sobre els paràmetres d'aquests formes funcionals per assegurar que l.equilibri és interior. Aquestes restriccions aporten raons teòriques per escollir entre diverses formes funcionals i permeten dissenyar tests d'error d'especificació de model en els treballs empírics.

Modelling the Evolution and Spread of HIV Immune Escape Mutants.

During infection with human immunodeficiency virus (HIV), immune pressure from cytotoxic T-lymphocytes (CTLs) selects for viral mutants that confer escape from CTL recognition. These escape variants can be transmitted between individuals where, depending upon their cost to viral fitness and the CTL responses made by the recipient, they may revert. The rates of within-host evolution and their concordant impact upon the rate of spread of escape mutants at the population level are uncertain. Here we present a mathematical model of within-host evolution of escape mutants, transmission of these variants between hosts and subsequent reversion in new hosts. The model is an extension of the well-known SI model of disease transmission and includes three further parameters that describe host immunogenetic heterogeneity and rates of within host viral evolution. We use the model to explain why some escape mutants appear to have stable prevalence whilst others are spreading through the population. Further, we use it to compare diverse datasets on CTL escape, highlighting where different sources agree or disagree on within-host evolutionary rates. The several dozen CTL epitopes we survey from HIV-1 gag, RT and nef reveal a relatively sedate rate of evolution with average rates of escape measured in years and reversion in decades. For many epitopes in HIV, occasional rapid within-host evolution is not reflected in fast evolution at the population level.

How to introduce connectance in a frame of an expression for diversity

Systems made of parts that are totally connected do not work, neither ecosys- tems nor artifacts. Relative connectance is inversely related to diversity, and both magnitudes can find a common frame of expression, in which some constant expressing the constraints of any organization might be embodied. If S is Simp- son's index, the expression (1 - S)IS as a measure of diversity offers some advantages or, at least, helps further reasoning. Such expression is the ratio between total interspecific possible interactions and possible intraspecific inter- actions.

Variación regional del coeficiente de atenuación de las ondas Rayleigh en el escudo europeo

A partir del análisis del modo fundamental de las ondas Rayleigh generadas por tres terremotos situados en las Azores, Sicilia y el Mar Negro se obtiene la variación regional del coeficiente de atenuación en el escudo europeo para un intervalo de periodos de 15-80 s. El método de análisis ha consistido en comparar los espectros de amplitudes observados con los calculados teóricamente. Para el calculo de estos últimos se ha utilizado un nuevo método consistente en calcular la función global de la fuente a partir de un proceso de mínimos cuadrados. Los resultados son los siguientes.

Lajittumisen dynamiikka epäpuhtauksien ja kuitujen painelajittelussa

Viimevuosina kuvantamistekniikat ovat kehittyneet huomattavasti. Näiden uusien tekniikoiden avulla voidaan tarkastella erilaisia prosesseja aiempaa tarkemmin. Painelajittelun teoriat perustuvat pääasiassa makrotason mittauksien pohjalta tehtyihin matemaattisiin malleihin, ja itse lajittumistapahtumaa ei ole aiemmin päästy kovinkaan tarkasti havainnoimaan. Tämän työn tavoitteena olikin selvittää lajittumistapahtumaa uuden kuvantamistekniikan avulla. Työn kirjallisuusosassa esiteltiin lyhyesti painelajitin ja sen toiminta. Myös painelajittelun perusteoriat käytiin lyhyesti läpi. Teoriaosan pääpaino oli lajittumistapahtumassa ja siihen vaikuttavissa tekijöissä. Lisäksi teoriaosassa esiteltiin teollisen painelajittelun nykytilannetta, työtä varten tehdyn esiselvityksen pohjalta. Lajitinsimulaattorikoeajoissa selvitettiin kuitujen ja roskapartikkelien käyttäyty-mistä painelajittimessa kuvantamisen avulla. Kuvauksissa keskityttiin rakosihdin raon tapahtumiin, sekä sihtipinnan tapahtumiin. Kuvamateriaalista laskettiin kuitujen ja roskien liikenopeuksia lankasihtiprofiilin raossa, sekä sihdin pinnalla. Lisäksi tutkittiin kehänopeuden, tuotannon ja sakeuden vaikutusta liike-nopeuksiin. Kuvamateriaalista pyrittiin myös havainnoimaan mahdollista kuitujen takaisinvirtausta. Kuvantamisella saatiin uutta tietoa kuitujen ja roskapartikkelien liikkeestä painelajittimessa. Tuloksista kävi muun muassa ilmi, että roottorin elementin pienimmän välyksen kohdalla akseptoituu huomattava määrä massaa. Tämä selittyy sillä, että pienimmän välyksen kohta tuottaa huomattavan positiivisen painepulssin. Kuitujen ja roskapartikkelien nopeudet raossa noudattelivat muutenkin hyvin selkeästi elementin tuottamaa painepulssia. Lisäksi kuvamateriaalista havaittiin, että sihdin raon suulle kertyy profiilin korkuinen kuituflokki. Koko sihdin peittävää kuitumattoa ei havaittu.