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.

Innovación y Aprendizaje: un nuevo modelo para la formación universitaria: ¿Por qué y para qué? = Innovation and Learning: a New Model for University Education: Why and for What?

The legislative reforms in university matters driven in recent years, beyond the provoked controversies, offer to universities the possibility to develop a new model in line with the European environment, focusing on quality aims and adapting to the socioeconomic current challenges. A new educational model centered on the student, on the formation of specific and transverse competitions, on the improvement of the employability and the access to the labor market, on the attraction and fixation of talent, is an indispensable condition for the effective social mobility and for the homogeneous development of a more responsible and sustainable socioeconomic and productive model

Concepções sobre currículo de formadores de professores: o curso de licenciatura em Química do Instituto de Química da Universidade Federal do Rio de Janeiro

In this paper, we discussed the conceptions of curriculum of teachers' trainers from de course of Chemistry from de Chemistry Institute and from the Education School of the Federal University of Rio de Janeiro. We understand that the curriculum results from a social construction, so, we intent to comprehend how happen the constitution of the course's curriculum, based on documents and interviews with the subjects of the research. The study showed that there were competitions for status, resources and territories between the Chemistry Institute and the Education School when the course was created, as well as there were internal competitions in the creation of the disciplines depending on the department of origin of the teachers.

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.

Innovation and Internationalisation in Russian Companies: Challenges and Opportunities for Open Innovation and Cooperation

Increasing globalisation and intensified cross-border cooperation, together with significant technological breakthroughs, create a fascinating gap for the research of the relationship between internationalisation and innovation on national, regional and company levels in Russia. The intensified international trade between countries and regions benefited from favourable institutional conditions, and facilitated the technology transfer and the development of innovations on the national level. This study approaches the same question from the company perspective; if certain companies are more innovative than other domestic companies, will they start internationalisation more easily or get involved in cooperation with international stakeholders? When companies operate in international markets, how do they obtain knowledge? Moreover, would this new knowledge from the foreign market help then to increase innovativeness, competitiveness and develop operations in domestic/local and foreign markets? Considering the role of foreign direct investments (FDI), the research in hand tries to find out the role of companies with FDI on the other players on the home market. Do foreigners bring new technology, innovation to the country? Is there spillover effect observed and how local companies can benefit from them? This dissertation studies the internationalisation and innovation in Russian companies, both from the outward internationalisation and inward internationalisation perspectives. Russian companies developed quickly during the transition period, after the dissolution of the Soviet Union. The common background of these companies, the effects of the change of ownership, and some managerial difficulties make them more sensitive to competitions issues, and in this context, the opportunities brought by the developing innovations are seen in companies and on the governmental level.

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.

Standardization of metachromatic staining method of myofibrillar ATPase activity of myosin to skeletal striated muscle of mules and donkeys

This study aims at standardizing the pre-incubation and incubation pH and temperature used in the metachromatic staining method of myofibrillar ATPase activity of myosin (mATPase) used for asses and mules. Twenty four donkeys and 10 mules, seven females and three males, were used in the study. From each animal, fragments from the Gluteus medius muscle were collected and percutaneous muscle biopsy was performed using a 6.0-mm Bergström-type needle. In addition to the metachromatic staining method of mATPase, the technique of nicotinamide adenine dinucleotide tetrazolium reductase (NADH-TR) was also performed to confirm the histochemical data. The histochemical result of mATPase for acidic pre-incubation (pH=4.50) and alkaline incubation (pH=10.50), at a temperature of 37ºC, yielded the best differentiation of fibers stained with toluidine blue. Muscle fibers were identified according to the following colors: type I (oxidative, light blue), type IIA (oxidative-glycolytic, intermediate blue) and type IIX (glycolytic, dark blue). There are no reports in the literature regarding the characterization and distribution of different types of muscle fibers used by donkeys and mules when performing traction work, cargo transportation, endurance sports (horseback riding) and marching competitions. Therefore, this study is the first report on the standardization of the mATPase technique for donkeys and mules.