A Cartan-Eilenberg approach to Homotopical Algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.

Brain dynamics sustaining rapid rule extraction from speech

Language acquisition is a complex process that requires the synergic involvement of different cognitive functions, which include extracting and storing the words of the language and their embedded rules for progressive acquisition of grammatical information. As has been shown in other fields that study learning processes, synchronization mechanisms between neuronal assemblies might have a key role during language learning. In particular, studying these dynamics may help uncover whether different oscillatory patterns sustain more item-based learning of words and rule-based learning from speech input. Therefore, we tracked the modulation of oscillatory neural activity during the initial exposure to an artificial language, which contained embedded rules. We analyzed both spectral power variations, as a measure of local neuronal ensemble synchronization, as well as phase coherence patterns, as an index of the long-range coordination of these local groups of neurons. Synchronized activity in the gamma band (2040 Hz), previously reported to be related to the engagement of selective attention, showed a clear dissociation of local power and phase coherence between distant regions. In this frequency range, local synchrony characterized the subjects who were focused on word identification and was accompanied by increased coherence in the theta band (48 Hz). Only those subjects who were able to learn the embedded rules showed increased gamma band phase coherence between frontal, temporal, and parietal regions.

Desenvolupament d'eines informàtiques per a residències geriàtriques

L’envelliment de la població demana cada cop més centres especialitzats en geriatria en els països desenvolupats. Aquests mateixos països pateixen recentment una falta de personal qualificat en infermeria. Aquests dos factors es combinen i posen en evidència la necessitat de desenvolupar eines informàtiques que modernitzin les residències geriàtriques. El projecte que s’ha desenvolupat consisteix en una aplicació de gestió d’una residència geriàtrica amb una base de dades centralitzada en un PC des de la qual s’hi pot accedir a través d’una aplicació feta per PDA. La seva funció principal és poder agilitzar tota la repartició de medicació dins la residència geriàtrica, gestionant des de les pautes de medicació corresponents a cada resident, fins a un control d’stock. Consta, per tant, d’una aplicació per PC, programada amb Visual Basic i utilitzant com a base de dades Microsoft Access, i d’una aplicació per PDA, programada amb Embedded Visual Basic i utilitzant la mateixa base de dades creada per l’aplicació per PC. L’aplicació de PC proporcionarà als usuaris una gestió ràpida i còmode i, alhora, rapidesa i estalvi de treball si es vol fer un determinat manteniment a través de l’aplicació de PDA. En el manteniment de l’aplicació, però, no s’hi inclou el manteniment dels usuaris tot i haver un control d’aquests. En aquest projecte s’estudia com es desenvolupa una aplicació per PDA i com comparteix una base de dades amb una altra aplicació a través del sistema de sincronització PC↔PDA anomenat ActiveSync.

Mobiiliavusteisen rakennusprojektin seurantajärjestelmän suunnittelu ja toteutus

In the construction industry, the role of project management and monitoring is emphasized, because the responsibilities have been carefully planned and divided. A concrete element factory manufactures the units based on construction drawings, while a transport company is responsible of transporting the elements to the worksite. At the worksite, an installation team assembles the elements according to plans. Usually, there are several manufacturers and transport companies involved in the construction process and the distances between different parties can be rather long. Therefore, the role of information exchange is critical in order to control, for example, schedules and exceptions. From the viewpoint of project management, the whole process should be controlled and monitored in realtime - in such a way that the managers are able to analyze and report the data afterwards. In this master’s thesis, a mobile-aided construction project monitoring system is designed and implemented. The monitoring system consists of three main components: mobile phone application, server software and an interface application to Tekla Structures BIM-software. Precast construction components, projects and users are identified by using 2D-barcodes that are read with the camera of a mobile phone. An option would be to use RFID tags and readers. After successful identification, the precast component can be tagged with monitoring data, including state acknowledgments and error reports that are sent and saved to the server. Collected data can be viewed through the www-pages of the monitoring system. In addition, the data can be synchronized to the Tekla Structures-software that is running the 3D-model of the whole building. Synchronization maintains and enhances the traceability of monitoring data, as well as, helps to visualize the progression of the project.

Distributed ControlArchitecture of Power Electronics Building-Block-Based Frequency Converters

The increasing power demand and emerging applications drive the design of electrical power converters into modularization. Despite the wide use of modularized power stage structures, the control schemes that are used are often traditional, in other words, centralized. The flexibility and re-usability of these controllers are typically poor. With a dedicated distributed control scheme, the flexibility and re-usability of the system parts, building blocks, can be increased. Only a few distributed control schemes have been introduced for this purpose, but their breakthrough has not yet taken place. A demand for the further development offlexible control schemes for building-block-based applications clearly exists. The control topology, communication, synchronization, and functionality allocationaspects of building-block-based converters are studied in this doctoral thesis. A distributed control scheme that can be easily adapted to building-block-based power converter designs is developed. The example applications are a parallel and series connection of building blocks. The building block that is used in the implementations of both the applications is a commercial off-the-shelf two-level three-phase frequency converter with a custom-designed controller card. The major challenge with the parallel connection of power stages is the synchronization of the building blocks. The effect of synchronization accuracy on the system performance is studied. The functionality allocation and control scheme design are challenging in the seriesconnected multilevel converters, mainly because of the large number of modules. Various multilevel modulation schemes are analyzed with respect to the implementation, and this information is used to develop a flexible control scheme for modular multilevel inverters.

Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments

Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, system- level understanding of cellular behaviour. In this way, it addresses one of the greatest challenges faced by contemporary biology, which is to compre- hend the function of complex biological systems. Systems biology combines various methods that originate from scientific disciplines such as molecu- lar biology, chemistry, engineering sciences, mathematics, computer science and systems theory. Systems biology, unlike “traditional” biology, focuses on high-level concepts such as: network, component, robustness, efficiency, control, regulation, hierarchical design, synchronization, concurrency, and many others. The very terminology of systems biology is “foreign” to “tra- ditional” biology, marks its drastic shift in the research paradigm and it indicates close linkage of systems biology to computer science. One of the basic tools utilized in systems biology is the mathematical modelling of life processes tightly linked to experimental practice. The stud- ies contained in this thesis revolve around a number of challenges commonly encountered in the computational modelling in systems biology. The re- search comprises of the development and application of a broad range of methods originating in the fields of computer science and mathematics for construction and analysis of computational models in systems biology. In particular, the performed research is setup in the context of two biolog- ical phenomena chosen as modelling case studies: 1) the eukaryotic heat shock response and 2) the in vitro self-assembly of intermediate filaments, one of the main constituents of the cytoskeleton. The range of presented approaches spans from heuristic, through numerical and statistical to ana- lytical methods applied in the effort to formally describe and analyse the two biological processes. We notice however, that although applied to cer- tain case studies, the presented methods are not limited to them and can be utilized in the analysis of other biological mechanisms as well as com- plex systems in general. The full range of developed and applied modelling techniques as well as model analysis methodologies constitutes a rich mod- elling framework. Moreover, the presentation of the developed methods, their application to the two case studies and the discussions concerning their potentials and limitations point to the difficulties and challenges one encounters in computational modelling of biological systems. The problems of model identifiability, model comparison, model refinement, model inte- gration and extension, choice of the proper modelling framework and level of abstraction, or the choice of the proper scope of the model run through this thesis.

Hammashihnajohdeakseleiden liikkeiden synkronointi

Nykyisessä valmistusteollisuudessa erilaisten robottien ja automatisoitujen tuotantovaiheiden rooli on erittäin merkittävä. Tarkasti suunnitellut liikkeet ja toimintavaiheet voidaan nykyisillä järjestelmillä ajoittaa tarkasti toisiinsa nähden, jolloin erilaisten virhetilanteidenkin sattuessa järjestelmä pystyy toimimaan tilanteen edellyttämällä tavalla. Automatisoinnin etuna on myös tuotannon muokkaaminen erilaisten tuotteiden valmistamiseen pienillä muutoksilla, jolloin tuotantokustannukset pysyvät matalina myös pienten valmistuserien tapauksissa. Usean akselin laitteissa eli niin sanotuissa moniakselikäytöissä laitteen toimintatarkkuus riippuu jokaisen liikeakselin tarkkuudesta. Liikkeenohjauksessa on perinteisesti ollut käytössä myötäkytketty paikkakaskadi, jonka virityksessä otetaan huomioon akselilla olevat erilaiset dynaamiset tilat ja käytettävät referenssit. Monissa nykyisissä hajautetuissa järjestelmissä eli moniakselikäytöissä, joissa jokaiselle akselille on oma ohjauslaite, ei yksittäisen akselin paikkavirhettä huomioida muiden akseleiden ohjauksessa. Työssä tutkitaan erilaisia moniakselijärjestelmien ohjausmenetelmiä ja myötäkytketyn paikkakaskadin toimintaa moniakselikäytössä pyritään parantamaan tuomalla paikkasäätimen rinnalle toinen säädin, jonka tulona on akseleiden välinen paikkaero.

Exploring Adaptive Implementation of On-Chip Networks

As technology geometries have shrunk to the deep submicron regime, the communication delay and power consumption of global interconnections in high performance Multi- Processor Systems-on-Chip (MPSoCs) are becoming a major bottleneck. The Network-on- Chip (NoC) architecture paradigm, based on a modular packet-switched mechanism, can address many of the on-chip communication issues such as performance limitations of long interconnects and integration of large number of Processing Elements (PEs) on a chip. The choice of routing protocol and NoC structure can have a significant impact on performance and power consumption in on-chip networks. In addition, building a high performance, area and energy efficient on-chip network for multicore architectures requires a novel on-chip router allowing a larger network to be integrated on a single die with reduced power consumption. On top of that, network interfaces are employed to decouple computation resources from communication resources, to provide the synchronization between them, and to achieve backward compatibility with existing IP cores. Three adaptive routing algorithms are presented as a part of this thesis. The first presented routing protocol is a congestion-aware adaptive routing algorithm for 2D mesh NoCs which does not support multicast (one-to-many) traffic while the other two protocols are adaptive routing models supporting both unicast (one-to-one) and multicast traffic. A streamlined on-chip router architecture is also presented for avoiding congested areas in 2D mesh NoCs via employing efficient input and output selection. The output selection utilizes an adaptive routing algorithm based on the congestion condition of neighboring routers while the input selection allows packets to be serviced from each input port according to its congestion level. Moreover, in order to increase memory parallelism and bring compatibility with existing IP cores in network-based multiprocessor architectures, adaptive network interface architectures are presented to use multiple SDRAMs which can be accessed simultaneously. In addition, a smart memory controller is integrated in the adaptive network interface to improve the memory utilization and reduce both memory and network latencies. Three Dimensional Integrated Circuits (3D ICs) have been emerging as a viable candidate to achieve better performance and package density as compared to traditional 2D ICs. In addition, combining the benefits of 3D IC and NoC schemes provides a significant performance gain for 3D architectures. In recent years, inter-layer communication across multiple stacked layers (vertical channel) has attracted a lot of interest. In this thesis, a novel adaptive pipeline bus structure is proposed for inter-layer communication to improve the performance by reducing the delay and complexity of traditional bus arbitration. In addition, two mesh-based topologies for 3D architectures are also introduced to mitigate the inter-layer footprint and power dissipation on each layer with a small performance penalty.

Rakennustarkastuksen mobiilityökalun suunnittelu ja toteuttaminen

Rakennusteollisuuden prosessit ovat vielä usein paperipohjaisia, mikä aiheuttaa työmaiden luonteesta johtuen tiedon hajaantumista, hidastaa tiedon siirtymistä ja vaikeuttaa tiedon käsittelyä. Työmaiden väliaikaisilla konttoreilla tiedon määrä voi nousta hallitsemattoman suureksi, mikä haittaa ja hidastaa työnjohdon päätöksentekoa. Käyttämällä sähköisiä työkaluja tiedon keräämistä, keskittämistä ja siirtoa voidaan tehostaa. Projektin tavoitteeksi otettiin teollisuuden laadunvalvonnan tarkastusprosessin tehostaminen ajallisesti käyttämällä tarkastustyöhön sähköistä tarkastuspöytäkirjaa. Tätä varten suunniteltiin sähköinen tarkastusjärjestelmä, joka koostuu kolmesta erillisestä osasta: Tarkastajan mukana kulkeva mobiililaite, jolle tallennetaan suoraan tarkastuksen laatutietoa, palvelinkone avustamaan tiedonsiirrossa ja –varastoinnissa sekä työpöytäsovellus työnjohdon tarpeisiin. Järjestelmää testattiin sähköalan asennuksia tekevässä yrityksessä osana yrityksen normaalia tarkastustyötä. Verrattuna paperiseen pöytäkirjaan sähköinen tarkastusjärjestelmä nopeutti prosessia moninkertaisesti. Nopeustesteissä havaittiin kuitenkin, että valittu tiedon synkronointikirjasto oli järjestelmän tarpeisiin liian hidas. Järjestelmä saavutti sille asetetut tavoitteet tehostamalla prosessia ajallisesti, mutta järjestelmässä on vielä osa-alueita, jotka tarvitsevat jatkokehittämistä.

A design and a prototype for a mobile information service for tourists

Tourism is one of the biggest industry branches with billions of tourists traveling every year around the world. Therefore, solutions providing tourist information have to be up to date with both changes in the industry and the world’s technological progress. The aim of this thesis is to present a design and a prototype of a tourist mobile service which is individual-oriented, cost-free for the end user, and secure. On the information providers’ side, the solution is implemented as a Webbased database. The end users access the information through a Bluetooth application on their mobile devices. The Bluetooth-based solution allows to avoid any costs for the end users, that is tourists. The study shows that, even with small data transfers, the tourists could save significantly when compared to possible roaming charges for data transfer. Also, the proposed mobile service is not intrusive, as it is provided through an application installed by tourists voluntarily on their mobile devices. Through design and implementation this work shows that it is possible to build a system which can be used to provide information services to tourists through mobile phones. The work achieved a successful ongoing synchronization between the client and the server databases. Implementation and usage were limited to smart phones only, as they provide better technological support for the solution having features like maps, GPS, Wi-Fi, Bluetooth and Databases. Moreover, the design of this system shows how Bluetooth technology can be used effectively as a means of communication while minimizing its shortcomings and risks, such as security, by bypassing Bluetooth server service discovery protocol (SDP) and connecting directly to the device. Apart from showing the design and implementation of the end-user costfree mobile information service, the results of this work also highlight the possible business opportunities to the provider of the service.

Morphological features and vascularization study of caprine cyclic corpus luteum

Corpus luteum is a temporary endocrine gland that regulates either the estrous cycle and pregnancy. It presents extreme dependency on the adequate blood supply. This work aims to evaluate goat corpus luteum (CL) vascular density (VD) over the estrous cycle. For that purpose, 20 females were submitted to estrus synchronization/ovulation treatment using a medroxyprogesterone intra-vaginal sponge as well as intramuscular (IM) application of cloprostenol and equine chorionic gonadotrophine (eCG). After sponge removal, estrus was identified at about 72hs. Once treatment was over, female goats were then subdivided into 4 groups (n=5 each) and slaughtered on days 2, 12, 16 and 22 after ovulation (p.o). Ovaries were collected, withdrawn and weighted. CL and ovaries had size and area recorded. Blood samples were collected and the plasma progesterone (P4) was measured through RIA commercial kits. The VD was 24.42±6.66, 36.26±5.61, 8.59±2.2 and 3.97±1.12 vessels/mm² for days 2, 12, 16 and 22 p.o, respectively. Progesterone plasma concentrations were 0.49±0.08, 2.63±0.66, 0.61±0.14 and 0.22±0.04ng/ml for days 2, 12, 16 e 22 p.o, respectively. Studied parameters were affected by the estrous cycle phase. Values greater than 12 p.o were observed. In the present work we observed that ovulation occurred predominantly in the right ovary (70% of the animals), which in turn presented bigger measures than the contra lateral one. There is a meaningful relationship between the weight and size of the ovary and these of CL (r=0.87, r=0.70, respectively, p<0.05). It is possible to conclude that morphology of goat's ovaries and plasma progesterone concentration changed according to estrous cycle stages. We propose these parameters can be used as indicators of CL functional activity.

Follicle and corpus luteum size and vascularity as predictors of fertility at the time of artificial insemination and embryo transfer in beef cattle

Abstract:Two ultrasound based fertility prediction methods were tested prior to embryo transfer (ET) and artificial insemination (AI) in cattle. Female bovines were submitted to estrous synchronization prior to ET and AI. Animals were scanned immediately before ET and AI procedure to target follicle and corpus luteum (CL) size and vascularity. In addition, inseminated animals were also scanned eleven days after insemination to target CL size and vascularity. All data was compared with fertility by using gestational diagnosis 35 days after ovulation. Prior to ET, CL vascularity showed a positive correlation with fertility, and no pregnancy occurred in animals with less than 40% of CL vascularity. Prior to AI and also eleven days after AI, no relationship with fertility was seen in all parameters analyzed (follicle and CL size and vascularity), and contrary, cows with CL vascularity greater than 70% exhibit lower fertility. In inseminated animals, follicle size and vascularity was positive related with CL size and vascularity, as shown by the presence of greater CL size and vascularity originated from follicle with also greater size and vascularity. This is the first time that ultrasound based fertility prediction methods were tested prior to ET and AI and showed an application in ET, but not in AI programs. Further studies are needed including hormone profile evaluation to improve conclusion.

Kysyntä-toimitusketjun synkronointi epävarman kysynnän ja tarjonnan toimintaympäristössä

Kysynnän ja tarjonnan epävarmuudet ovat nykyisin arkipäivää useilla toimialoilla. Elämme epävarmuuden suhteen ennen näkemättömiä aikoja, minkä on arvioitu jatkuvan myös tulevaisuudessa. Yritysten tilauskannat ovat lyhyitä, ja tilaukset viivästyvät tai peruuntuvat kokonaan. Toisaalta tarjonnan epävarmuudet aiheuttavat asiakasyrityksille haasteita esimerkiksi toimitusmyöhästymisten muodossa. Tuotannon ollessa hajaantunut verkostoihin yksittäisten yritysten toiminta ja päätökset vaikuttavat toisten verkostoyritysten toimintaan. Tämän takia epävarmuuden aiheuttamista muutoksista ja poikkeamista tulisi tiedottaa kumppaniyrityksiä, jotta kaikki pysyisivät samalla kellotaajuudella. Operatiivisen ja taktisen tiedon jakaminen on nykyisissä toimitusketjuissa jo arkipäivää, mutta yritysten välisistä rajapinnoista löytyy edelleen kehitettävää. Riittävästä ei kiinnitetä huomiota vastaanottajan kykyyn ja tapaan hyödyntää informaatiota – varsinkaan muutostilanteissa. Ajan/nopeuden ollessa yhä tärkeämpi kilpailutekijä informaation ajoituksella on kriittinen merkitys kysyntä-toimitusketjujen kokonaissuorituskykyyn. Toisin sanoen, millä ajanhetkellä tietoa tulisi jakaa, jotta kumppani pystyisi hyödyntämään saamaansa tietoa mahdollisimman hyvin. Kysyntä-toimitusketjun synkronoinnilla tarkoitetaan tässä väitöstutkimuksessa nimenomaan aikatekijään keskittymistä yritysten välisessä päätöksenteossa ja informaation jakamisessa toimitusketjun kokonaissuorituskyvyn parantamiseksi. Tutkimus kytkeytyy toimitusketjukoordinoinnin tieteelliseen keskusteluun. Koordinointiteorian keskeinen osa ovat riippuvuussuhteet, joita johdetaan koordinointimekanismien avulla. Kysyntätoimitusketjun synkronointia on mallinnettu aikaisemmin VOP-OPP-mallin (Value Offering Point – Order Penetration Point) ja sen johdannaisten avulla. Näissä malleissa asiakasyrityksen kysyntäketju ja toimittajayrityksen toimitusketju ovat keskinäisessä riippuvuussuhteessa, jota johdetaan päätöksenteon synkronoinnin ja informaation jakamisen koordinointimekanismeilla. VOP-OPP-malli johdannaisineen eivät kuitenkaan huomioi epävarman toimintaympäristön vaikutuksia synkronointiin. Näissä malleissa informaation ainoana laatudimensiona tarkasteltava aikatekijä on liian kapea-alainen näkökulma synkronointiin epävarmassa ympäristössä. Lisäksi nämä mallit keskittyvät vain yksisuuntaiseen, kysyntälähtöiseen, synkronointiin jättäen huomioimatta tarjontalähtöisen synkronoinnin. Aikatekijä- ja kokonaissuorituskykypainotustensa takia VOP-OPP-malli tarjosi kuitenkin hyvän lähtöfilosofian uusien synkronointimallien kehittämiseen. Väitöstutkimus toteutettiin hypoteettis-deduktiivisena tapaustutkimuksena, jossa ensin luotiin kirjallisuuden perusteella uudet teoreettiset synkronointimalliehdotukset. Tämän jälkeen ehdotusten toimivuutta arvioitiin käytännön kysyntä-toimitusketjuissa. Tutkimuksen uutuusarvo liittyy kysyntä-toimitusketjun synkronoinnin keskeisten piirteiden systeemiseen mallintamiseen epävarmassa toimintaympäristössä. Kontribuutiona esitetään kysyntä-toimitusketjun synkronoinnin moniulotteinen kokonaismalli, joka sisältää koordinointimekanismeina päätöksenteon synkronoinnin, informaation läpinäkyvyyden sekä asiakas- ja toimittajapään joustot. Tiedon vaihtoa mallissa tarkastellaan kaksisuuntaisesti – kysyntä- ja tarjontalähtöisesti. Informaation laatudimensioina mallissa ovat informaation ajoitus, luotettavuus ja tarkkuus. Kokonaismalli sisältää kolme alimallia: Demand Visibility Point – Demand Penetration Point (DVP-DPP) on kysyntälähtöisen synkronoinnin malli, Supply Visibility Point – Supply Information Penetration Point (SVP-SIPP) on tarjontalähtöisen synkronoinnin malli ja Integroitu DVP-DPP - SVP-SIPP-malli kytkee edellä mainitut mallit toisiinsa. Näissä alimalleissa informaation eri luokkia ovat tilausta edeltävä, tilaukseen liittyvä, tilauksen jälkeinen ja sovitun toimitusajankohdan jälkeinen kysyntä- ja tarjontatieto. Käytännön hyödyntämisen näkökulmasta mallit toimivat ns. mentaalitason koordinointimekanismeina, joiden tarkoitus on herättää toimitusketjukumppanit tavoittelemaan kokonaissuorituskyvyn parantamista oman edun tavoittelemisen sijasta. Tutkimuksen päärajoitteena on sen keskittyminen ainoastaan kahdenvälisiin yhteistyösuhteisiin, mikä tarjoaa nykyisessä verkostoituneessa toimintaympäristössä varsin kapean kuvan käytännön synkronointihaasteisiin.