The experience of identity transformation process for people living with tetraplegia and paraplegia = El proceso de reconstrucción de la identidad de las personas afectadas de una paraplejia o tetraplejia

A spinal cord injury (SCI) is perceived as a source of biographical disruption, not only at a physical level but also in terms of people’s life stories, their motivation and their self-esteem. The aim of this study is to explore the factors that people with spinal cord injuries perceive as contributing to rebuilding their sense of self. Two focus groups were established from the SCIcommunity, one of which was made up of 14 people with paraplegia and the other of 9 people with tetraplegia. In addition, four individual interviews were conducted with the participants. The results of content analysis show that the two most prominent factors in the process of identity renegotiation are the partial transformation of the subject’s identity followed by a coming to terms with that new identity. To rebuild self-worth, the importance of finding a balance between change and continuity was identified. Renegotiation of identity after a spinal cord injury is a complex phenomenon that greatly influences the SCI individual’s quality of life perceptions. Reaching a balance between the changes experienced due to the injury and finding a sense of continuity can be either facilitated or obstructed by the economic, political, legal, architectural, and social context

L'activitat quotidiana d'un mestre de cases medieval. Bernat Gual, 1405-1453

[cat] En aquest article es repassa l'activitat del mestre de cases Bernat Gual, des que va signar un contracte d'aprenentatge amb el mestre d'aixa Domingo Ferrer, l'any 1405, fi ns que desapareix de la documentació municipal, l'any 1453. En aquests quaranta-vuit anys d'activitat, Gual es va fer càrrec de grans obres (com ara l'assut de Xerta-Tivenys), però també d'una gran quantitat de petits treballs, sempre al servei del Consell de la Ciutat. La seva tasca s'emmarca en el context arquitectònic de la Tortosa medieval, determinat per la catedral i el palau del bisbe, però també pel Pont de Barques, una important infraestructura de fusta que era conservada per artesans especialitzats.

El territorio y la ciudad de Tarraco

This paper presents a brief description of the archaeological research in the territory and in the city of Tarraco, the ancient capital of provincia Hispania Tarraconensis and one of the main centres for the spread of Hispanic Christianity. Althoug Tarraco was the last capital under imperial control and the firs Hispanic metropolitan see, the city had only a secondary role by comparison with other Hispanic cities during late antiquity. This evolution shaped the development of Tarraco during the 7th century, but archaeologists identify an important architectural vitality still in the 6th century at the same time as other episcopal cities were evolving. During this period, the final Christianization of the symbolic spaces of ancient paganism took place, establishing the ideological basis of medieval urbanism that is still preserved today. The paper also interprets the sites through raising key questions as well as describing rural settlements, where archaeological knowledge is not so far advanced, due in part to the difficult nature of archaeological research, and in part to the need to study new construcitve models, as well as to the systematic collection of the relevant material culture.

Redrawing Tarraco

The city of Tarragona houses an important architectural heritage mainly from its past as ‘Tarraco’, capital of the Roman province of Hispania Citerior, but also from its medieval and late 19th century history. The archaeological ensemble of Tarraco was inscribed as a UNESCO World Heritage Site in 2000, but although many efforts have been devoted by archaeologists and historians to unveil and understand the history and aspect of the Roman city, many aspects remain unknown. This is largely caused by the absence of a coherent body of historiographical material, which is todays cattered across several institutions and, specially, the lack of precise and useful graphical representations of the remains and of the existing city that allows in-depth analysis and interpretations of future findings. In recent years, researchers from the Catalan Institute of Classical Archaeology (ICAC) and the Architecture School of the URV (ETSA) have teamed up to produce comprehensive, detailed graphic materials, including a new set of plans and sections of the old city, of the grandiose areas of representation of the Provincial capital, and of the hidden structures beneath the city’s surface. These have been executed with the latest technologies (fotogrammetry, laser scanning) but also with traditional methods (measurement, topography), on t op of a mixture of existing materials (hand-drafted cartography from municipal master plans) and of historical and archaeological documentation.

Performance evaluation of MPEG-4 Video encoder on Adres

Actualment un típic embedded system (ex. telèfon mòbil) requereix alta qualitat per portar a terme tasques com codificar/descodificar a temps real; han de consumir poc energia per funcionar hores o dies utilitzant bateries lleugeres; han de ser el suficientment flexibles per integrar múltiples aplicacions i estàndards en un sol aparell; han de ser dissenyats i verificats en un període de temps curt tot i l’augment de la complexitat. Els dissenyadors lluiten contra aquestes adversitats, que demanen noves innovacions en arquitectures i metodologies de disseny. Coarse-grained reconfigurable architectures (CGRAs) estan emergent com a candidats potencials per superar totes aquestes dificultats. Diferents tipus d’arquitectures han estat presentades en els últims anys. L’alta granularitat redueix molt el retard, l’àrea, el consum i el temps de configuració comparant amb les FPGAs. D’altra banda, en comparació amb els tradicionals processadors coarse-grained programables, els alts recursos computacionals els permet d’assolir un alt nivell de paral•lelisme i eficiència. No obstant, els CGRAs existents no estant sent aplicats principalment per les grans dificultats en la programació per arquitectures complexes. ADRES és una nova CGRA dissenyada per I’Interuniversity Micro-Electronics Center (IMEC). Combina un processador very-long instruction word (VLIW) i un coarse-grained array per tenir dues opcions diferents en un mateix dispositiu físic. Entre els seus avantatges destaquen l’alta qualitat, poca redundància en les comunicacions i la facilitat de programació. Finalment ADRES és un patró enlloc d’una arquitectura concreta. Amb l’ajuda del compilador DRESC (Dynamically Reconfigurable Embedded System Compile), és possible trobar millors arquitectures o arquitectures específiques segons l’aplicació. Aquest treball presenta la implementació d’un codificador MPEG-4 per l’ADRES. Mostra l’evolució del codi per obtenir una bona implementació per una arquitectura donada. També es presenten les característiques principals d’ADRES i el seu compilador (DRESC). Els objectius són de reduir al màxim el nombre de cicles (temps) per implementar el codificador de MPEG-4 i veure les diferents dificultats de treballar en l’entorn ADRES. Els resultats mostren que els cícles es redueixen en un 67% comparant el codi inicial i final en el mode VLIW i un 84% comparant el codi inicial en VLIW i el final en mode CGA.

Guia temàtica Biblioteca ETSAB: 6 revistes dels seixanta

Conté bibliografia específica sobre 6 revistes d'arquitectura i urbanisme: Architectural Design, The Architectural Record, The Architectural Review, L'Architecture d'Aujourd'hui, Casabella, Domus, i també d'altres revistes importants dins les dues disciplines.

Monialustaiset avoimen lähdekoodin ikkunointikirjastot

Tämän tutkimuksen tavoitteena oli löytää vastauksia siihen, mikä on tärkeimpien avoimen lähdekoodin kirjastojen toteutuksen tämän hetkinen taso. Työssä tutkittiin WxWidgetsin, GTK+:n ja Qt:n toteutuksen tasoa käytämällä hyväksi McCaben, Henry&Kafuran ja Chidamberin & Kemererin esittelemiä staattisia menetelmiä. Lisäksi ikkunointikirjastojen lähdekoodin käännetty koko mitattiin eri käyttöjärjestelmissä. Tutkimuksessa esitellään valittujen kirjastojen arkkitehtuuri ja vertaillaan esiteltävien kirjastojen arkkitehtuurisia ratkaisuja toisiinsa. Tämän jälkeen arvioidaan staattisten menetelmien tuottamien tuloksien merkitystä kahdesta näkökulmasta: mitä tulokset kertovat kirjastoista kun niitä verrataan toisiinsa ja mitä silloin kun niitä verrataan kyseisen kirjaston ja muiden kirjastojen arkkitehtuurisiin ratkaisuihin. Tutkimuksessa havaittiin Qt:n sisältävän kaikkein vähiten kirjaston ulkopuolisia riippuvuuksia. Tämän lisäksi sen huomattiin sisältävän muista kirjastoista puuttuvia ominaisuuksia. Osittain edellämainitusta syystä johtuen Qt:n ongelmakohdaksi havaittiin joidenkin sen osien suuri monimutkaisuus ja tästä seuraava mahdollinen vaikeasti ylläpidettävä lähdekoodi. GTK+:n lähdekoodi sisältää muita kirjastoja vähemmän sisäisiä riippuvuuksia samaan kirjastoon, on korkeammalla abstraktiotasolla ja kirjaston osat ovat siirrettävissä ja erotettavissa toisistaan. Joissakin kohdissa GTK+:n ja etenkin sen C++-rajapinnan GTKmm:n lähdekoodi on kuitenkin tarpeettoman monimutkaista. WxWidgetsin toteutuksen havaittiin Qt:n tavoin olevan hyvin itsenäinen kokonaisuus, WxWidgetsin lähdekoodin monimutkaisuus on useimmiten jotakin GTK+:n ja Qt:n väliltä. WxWidgets on Qt:a vähemmän itsenäinen mutta kuitenkin itsenäisempi kuin GTK+. Kuten muutkin kirjastot myös wxWidgetsillä on omat kohtansa, joissa sen lähdekoodi on tarpeettoman monimutkaista.

Suunnitelma WWW-palvelun monikanavaistamiseksi

Tämän diplomityön tavoitteena on kuvata suunnitelma, jossa alun perin WWW-ympäristöön kehitettyä palvelua muokataan siten, että palvelu skaalautuu mahdollisimman hyvin tulevaisuuden laajennuksiin. Selainpohjaisten palveluiden lisäksi esimerkiksi mobiili-palvelut ja erilaiset työpöytäsovellusintegraatiot ovat kasvattaneet suosiotaan. Samoin eri palveluiden välisestä yhteistoiminnasta on kasvanut merkittävä osa Internet-palveluiden loppukäyttäjilleen tarjoamaa palvelukokonaisuutta. Esimerkkejä WWW-palveluiden integroinneista päätelaitteille ovat hakukoneiden ja pikaviestimien mobiili-versiot, ja palveluiden yhteistoiminnasta erilaisten uutispalveluiden ja sosiaalisten palveluiden, kuten Facebook, väliset yhteisölinkitykset. Tässä diplomityössä selvitetään aluksi Internet-pohjaisten palveluiden kehitystä sekä tutustutaan tarkemmin palveluiden monikanavaisuuteen. Tämän jälkeen käydään läpi loppukäyttäjien saatavilla olevia päätelaitteita verkkoyhteyksineen ja WWW-palveluiden suunnittelumalleja. Suunnittelun lähtökohtana oli se, että erilaisten päätelaitteiden, päätelaitteiden ohjelmistojen ja käytössä olevien verkkoyhteyksien muodostamien palvelualustojen liittäminen palveluun olisi mahdollisimman yksinkertaista. Ja tukea uusien palvelualustojen käyttäjien ja sisällön sovittamista olemassa olevaan palveluun. Työn lopputuloksena on suunnitelma, joka pohjautuu välikerroksen rakentamiseen uusien palvelualustojen ja vanhan palvelun väliin. Palveluun tarjotaan välikerroksen kautta personoitu rajapinta luotetuille asiakkaille sekä kaikille avoin julkinen rajapinta. Välikerros suunniteltiin yksinkertaisella REST-arkkitehtuurityylillä, mikä mahdollistaa palvelun tarjonnan turvallisesti ja tehokkaasti. Tähän välikerrokseen lisätään käyttäjän- ja sisällönhallinnan komponentteja pitämään huolen palvelun eheydestä. Tämä diplomityö osoittaa, että oikealla arkkitehtuurilla suunniteltu monikerroksinen väliohjelmisto tarjoaa tehokkaan tavan integroida ja hallinnoida uusia alustoja.

Julkishallinnon sähköisten palveluiden arkkitehtuurit

Sähköinen asiointi on yleistynyt viime vuosien aikana nopeasti. Toimivia julkishallinnon sähköisiä palveluita kehitetään jatkuvasti yhä uusiin tarkoituksiin. Tällä hetkellä sähköisten palveluiden tarjontaa leimaa hajanaisuus. Jokainen palveluita tarjoava organisaatio kehittää palveluita itsenäisesti, omalla tavallaan. Palveluiden kehittäminen asiakaslähtöisesti edellyttää palvelukokonaisuuksien suunnittelua arkkitehtuuritasolla. Yksittäisten sovellusten kehittämisen lisäksi on huomioitava näiden sovellusten toimivuus yhteen, osana suurempaa kokonaisuutta. Palvelukeskeisessä arkkitehtuurisuunnittelussa lähtökohta on se, että jokainen yksittäinen sovellus on itsessään palvelu, joka tuottaa määritelmänsä mukaisen tulosteen sellaisessa muodossa, jota muut sovellukset kykenevät ymmärtämään. Työn tuloksena havaittiin, että vaikka sähköiselle hallinnolle on kehitetty useita viitearkkitehtuureja, on käytännön työ palveluiden integroimiseksi vielä kesken. Yksittäisten palveluiden liittäminen suuremmiksi kokonaisuuksiksi vaatii määrätietoista arkkitehtuurisuunnittelua sekä kansallista suunnittelun koordinointia. Tiedon jakaminen organisaatiorajojen yli muodostaa joukon kysymyksiä, joihin ei ole vielä vastausta. Tietosuojaa ja yksityisyyttä ei voida uhrata sähköistä hallintoa suunniteltaessa.

Toiminnanohjausjärjestelmä tarrapainolle

Tämä diplomityö on selostus tarraetikettejä valmistavalle yritykselle talon sisäisesti toteutetusta toiminnanohjausjärjestelmän kehitysprojektista. Projektissa luotiin ohjelmisto tukemaan yrityksen keskeisimpiä toimintoja, kuten myyntiä, asiakkuuksien hallintaa, tuotantoa, materiaalihallintoa sekä johdon päätöksentekoa. Työssä tarkastellaan ensin yrityksen menettelytapoja ja valmistusmenetelmiä, ja kerätään niistä konkreettisia vaatimuksia järjestelmälle. Nämä yhdistetään muista tutkimuksista kerättyihin toiminnanohjausjärjestelmien mahdollisuuksiin ja riskeihin sekä laaditaan näistä projektin tavoitteet. Seuraavaksi käydään läpi toteutuksessa tehdyt suunnitteluratkaisut ja niihin johtaneet seikat. Toteutetut toiminnot ja ominaisuudet esitellään perusteluineen. Lopuksi analysoidaan projektin onnistumista peilaten sitä muihin aiheeseen liittyviin tutkimustuloksiin. Käyttöönottoprosessin vaiheet ja siinä esiintyneet ongelmat käydään myös lyhyesti läpi.

LVI-suunnittelun ohjaus IPD-projekteissa

Tässä diplomityössä on tutkittu LVI-suunnittelun ohjaamista ja sen kehittämistä integroiduissa rakennushankkeissa. Tutkimuksen tavoitteena on löytää kehitysehdotuksia LVI-suunnittelun eteenpäinviemiseksi integroiduissa hankkeissa. Tutkimus on tehty hyödyntäen kirjallisia lähteitä ja haastattelemalla integroiduissa projekteissa mukana ollutta henkilöstöä. Perinteisessä rakennushankkeessa eri suunnittelualat toimitetaan useasta yrityksestä. Tässä työssä lähtökohtana on, että merkittävimmät suunnittelualat kuten arkkitehti-, rakenne- ja talotekninensuunnittelu tulevat samalta toimittajalta. Toimituslaajuuteen voidaan lisätä myös mm. rakennuttajakonsultointi- ja kiinteistönkehitysprosessi. Tutkimuksen tuloksena saatiin määritettyä kehitysehdotukset integroituihin hankkeisiin yleiseltä ja LVI-suunnittelun kannalta. Kehitystyössä tulee panostaa tietomallintamiseen, aikataulutukseen ja yhteistyöhön. Tietomallintamista voidaan parantaa koulutuksen, Yleisten tietomallivaatimusten 2012 ja tietomallien tarkasteluohjelmistojen avulla. Aikataulutus paranee, kun suunnittelijat saadaan hankkeeseen mukaan riittävän aikaisessa vaiheessa ja kun suunnittelijat pyrkivät aktiivisesti vaikuttamaan hankkeen tarjouksen- ja sopimuksentekoon. Yhteistyötä voidaan parantaa avoimen ilmapiirin korostamisella ja projektiorganisaation tiivistämisellä.

Designing and manufacturing of a soybean harvest residue picker

ABSTRACT Soy harvest matches seasons with shortage of dry matter supply for ruminant feeding in most Brazilian soy-growing areas. Agricultural machinery-producing companies must have market perception, observing new opportunities and developing equipment to meet costumers’ needs. This paper aims to design, build, and test a device to collect soybean crop residues from the combine cleaning mechanism, consisting mainly of vegetable straw (chaff), and the other plant parts (stems) remain being deposited onto the ground. For equipment designing, we made use of the architectural design methodology proposed in the reference model for the agricultural machinery development process. The equipment was designed and built following the proposed methodology, then installed and put into operation in a John Deere 1165 combine. After initial testing and few adjustments, the device showed satisfactory chaff-collecting performance. The equipment consists of a screw conveyor assembled transversely to the combine and a centrifugal fan assembled on the side. The collected chaff is dumped into a trailer towed by tractor.

Formal development and quantitative verification of dependable systems

-

On Energy Efficient Computing Platforms

In accordance with the Moore's law, the increasing number of on-chip integrated transistors has enabled modern computing platforms with not only higher processing power but also more affordable prices. As a result, these platforms, including portable devices, work stations and data centres, are becoming an inevitable part of the human society. However, with the demand for portability and raising cost of power, energy efficiency has emerged to be a major concern for modern computing platforms. As the complexity of on-chip systems increases, Network-on-Chip (NoC) has been proved as an efficient communication architecture which can further improve system performances and scalability while reducing the design cost. Therefore, in this thesis, we study and propose energy optimization approaches based on NoC architecture, with special focuses on the following aspects. As the architectural trend of future computing platforms, 3D systems have many bene ts including higher integration density, smaller footprint, heterogeneous integration, etc. Moreover, 3D technology can signi cantly improve the network communication and effectively avoid long wirings, and therefore, provide higher system performance and energy efficiency. With the dynamic nature of on-chip communication in large scale NoC based systems, run-time system optimization is of crucial importance in order to achieve higher system reliability and essentially energy efficiency. In this thesis, we propose an agent based system design approach where agents are on-chip components which monitor and control system parameters such as supply voltage, operating frequency, etc. With this approach, we have analysed the implementation alternatives for dynamic voltage and frequency scaling and power gating techniques at different granularity, which reduce both dynamic and leakage energy consumption. Topologies, being one of the key factors for NoCs, are also explored for energy saving purpose. A Honeycomb NoC architecture is proposed in this thesis with turn-model based deadlock-free routing algorithms. Our analysis and simulation based evaluation show that Honeycomb NoCs outperform their Mesh based counterparts in terms of network cost, system performance as well as energy efficiency.

Reusable formal architectures for networked systems

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.