901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Venttiili- ja toimilaitetehtaassa kokoonpannaan erilaisia venttiilityyppejä sekä toimi- laitteita. Koko Metso Automationin Helsingin tehtaiden tuotantotilanteen muuttuessa käynnistettiin kehitysprojekti, jonka tarkoituksena oli uudenaikaistaa venttiilien ja toimilaitteiden valmistus vastaamaan nykypäivän vaatimuksia. Laajamittaisen osa- valmistuksen ulkoistuksen ja tuotteiston muutoksen vuoksi tuotannon uudelleen- järjestäminen oli välttämätöntä. Diplomityön tarkoituksena oli suunnitella venttiili- ja toimilaitetehtaan layout sekä uutta tuotantotilannetta vastaavat toimintatavat. Haasteena oli kolmen hyvin erilailla toimivan tuotetehtaan yhdistäminen yhdeksi kokonaisuudeksi, jossa kunkin tehtaan parhaat toimintatavat yhdistyvät. Nykyinen tuotanto ja valmistusmäärät kartoitettiin ja analysoitiin, minkä jälkeen tuotannon suunnittelu uusiin tiloihin käynnistettiin. Työ jaettiin järjestelmällisesti osiin teorian ja käytännön osuuksien kesken siten, että teoria tukee työn käytännön- osuutta. Apuna käytettiin useita erilaisia materiaalivirtojen kartoitusmenetelmiä, lukuisia mittareita, selvityksiä, ennusteita ja erilaisia malleja tulevasta tuotannosta. Layout suunniteltiin käytössäolevaan tehdashalliin, mikä aiheutti runsaasti haasteita ja rajoitteita. Aikataulu tehtiin tarkasti siten, että muuttojärjestys lyötiin lukkoon, mutta kuormitustilanne ja koneiden siirrot aiheuttivat muutoksia aikataulussa. Tavoite tuotannon häiriöttömyydestä toteutui hyvin aikataulun kustannuksella. Käytännönosuudessa tarkasteltiin erityisesti kapasiteetin joustavuutta kuormituksen vaihdellessa sekä kehitettiin toimintatavat, joilla se hallitaan. Lisäksi tutkimuksen aikana käynnistettiin useita kehitysprojekteja työn tulosten pohjalta. Näitä olivat erilaiset varaston hallintaan sekä solujen itseohjautuvuuteen liittyvät asiat. Diplomityön tuloksena saatiin uusi layout sekä sitä tukeva uusi toimintatapa, solujen itseohjautuvuuden kehittäminen käynnistettiin, varastojen hallinnan osittainen ulkoistaminen aloitettiin. Lisäksi tuotannolle kehitettiin lukuisia seurantamittareita. Layoutprojekti toteutettiin loppuun diplomityön aikana

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Past temperature variations are usually inferred from proxy data or estimated using general circulation models. Comparisons between climate estimations derived from proxy records and from model simulations help to better understand mechanisms driving climate variations, and also offer the possibility to identify deficiencies in both approaches. This paper presents regional temperature reconstructions based on tree-ring maximum density series in the Pyrenees, and compares them with the output of global simulations for this region and with regional climate model simulations conducted for the target region. An ensemble of 24 reconstructions of May-to-September regional mean temperature was derived from 22 maximum density tree-ring site chronologies distributed over the larger Pyrenees area. Four different tree-ring series standardization procedures were applied, combining two detrending methods: 300-yr spline and the regional curve standardization (RCS). Additionally, different methodological variants for the regional chronology were generated by using three different aggregation methods. Calibration verification trials were performed in split periods and using two methods: regression and a simple variance matching. The resulting set of temperature reconstructions was compared with climate simulations performed with global (ECHO-G) and regional (MM5) climate models. The 24 variants of May-to-September temperature reconstructions reveal a generally coherent pattern of inter-annual to multi-centennial temperature variations in the Pyrenees region for the last 750 yr. However, some reconstructions display a marked positive trend for the entire length of the reconstruction, pointing out that the application of the RCS method to a suboptimal set of samples may lead to unreliable results. Climate model simulations agree with the tree-ring based reconstructions at multi-decadal time scales, suggesting solar variability and volcanism as the main factors controlling preindustrial mean temperature variations in the Pyrenees. Nevertheless, the comparison also highlights differences with the reconstructions, mainly in the amplitude of past temperature variations and in the 20th century trends. Neither proxy-based reconstructions nor model simulations are able to perfectly track the temperature variations of the instrumental record, suggesting that both approximations still need further improvements.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

PURPOSE: Signal detection on 3D medical images depends on many factors, such as foveal and peripheral vision, the type of signal, and background complexity, and the speed at which the frames are displayed. In this paper, the authors focus on the speed with which radiologists and naïve observers search through medical images. Prior to the study, the authors asked the radiologists to estimate the speed at which they scrolled through CT sets. They gave a subjective estimate of 5 frames per second (fps). The aim of this paper is to measure and analyze the speed with which humans scroll through image stacks, showing a method to visually display the behavior of observers as the search is made as well as measuring the accuracy of the decisions. This information will be useful in the development of model observers, mathematical algorithms that can be used to evaluate diagnostic imaging systems. METHODS: The authors performed a series of 3D 4-alternative forced-choice lung nodule detection tasks on volumetric stacks of chest CT images iteratively reconstructed in lung algorithm. The strategy used by three radiologists and three naïve observers was assessed using an eye-tracker in order to establish where their gaze was fixed during the experiment and to verify that when a decision was made, a correct answer was not due only to chance. In a first set of experiments, the observers were restricted to read the images at three fixed speeds of image scrolling and were allowed to see each alternative once. In the second set of experiments, the subjects were allowed to scroll through the image stacks at will with no time or gaze limits. In both static-speed and free-scrolling conditions, the four image stacks were displayed simultaneously. All trials were shown at two different image contrasts. RESULTS: The authors were able to determine a histogram of scrolling speeds in frames per second. The scrolling speed of the naïve observers and the radiologists at the moment the signal was detected was measured at 25-30 fps. For the task chosen, the performance of the observers was not affected by the contrast or experience of the observer. However, the naïve observers exhibited a different pattern of scrolling than the radiologists, which included a tendency toward higher number of direction changes and number of slices viewed. CONCLUSIONS: The authors have determined a distribution of speeds for volumetric detection tasks. The speed at detection was higher than that subjectively estimated by the radiologists before the experiment. The speed information that was measured will be useful in the development of 3D model observers, especially anthropomorphic model observers which try to mimic human behavior.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The subject of the thesis was the digital audio broadcasting technology developed in the Eureka project 147. The research was based on the literature on the subject. At first, some reasons for the digitisation of broadcasting technology were given. Next, the channel multiplexing and channel coding methods employed by digital radio were discussed. The design of these methods is based on certain phenomena related to the propagation of radio-frequency signals, and these phenomena were also described. After that, audio and data transfer mechanisms as well as the structure of digital radio network were explained. Furthermore, digital audio and data services were considered. Finally, the digital radio was examined from marketing and administrative aspects. From a merely technical point of view, the digital radio technology offers several improvements in comparison with analogue technology. However, the digital radio has not become as widespread as it was perhaps originally expected during its development.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Työn tavoitteena on analysoida ABB Oy:n Indutiokoneet-tulosyksikön tuotantoprosessin loppuosaa tietovirtojen näkökulmasta ja tutkia miten tiedonkulkua tulisi kehittää valmistusprosessin loppupään tehostamiseksi. Teoreettisena viitekehyksessä vertaillaan prosessinkehittämisen koulukuntia jatkuvaa parantamista ja prosessien suunnittelua ja käsitellään prosessin hallintaan ja kehittämiseen tarvittavia tietovirtoja ja niiden käsitteellistämistä sekä prosessinkehitysprojektin vaiheita. Tarkasteltavaa prosessia lähestytään analysoimalla, miten tutkittava osaprosessi toimii tällä hetkellä ja mitä ongelmia prosessin tiedonkulkuun liittyy. Analyysin pohjalta identifioidaan kahdeksan virhettä prosessissa ja virheiden poistamiseksi kehitystoimenpiteet, jotka liittyvät prosessin tekniseen infrastruktuuriin ja tietotekniseen tukeen sekä prosessin henkilöstön ohjeistukseen. Kehitysehdotusten avulla tarkasteltavassa työyksikössä nykyisin suoritettavia, varsinaisia työvaiheita tukevia vaiheita voidaan poistaa, mikä vapauttaa puolipäiväisen työpanoksen muihin tehtäviin ja pakkausprosessin virheiden väheneminen tuo rahallisia säästöjä kuljetuskustannuksissa.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis gathers knowledge about ongoing high-temperature reactor projects around the world. Methods for calculating coolant flow and heat transfer inside a pebble-bed reactor core are also developed. The thesis begins with the introduction of high-temperature reactors including the current state of the technology. Process heat applications that could use the heat from a high-temperature reactor are also introduced. A suitable reactor design with data available in literature is selected for the calculation part of the thesis. Commercial computational fluid dynamics software Fluent is used for the calculations. The pebble-bed is approximated as a packed-bed, which causes sink terms to the momentum equations of the gas flowing through it. A position dependent value is used for the packing fraction. Two different models are used to calculate heat transfer. First a local thermal equilibrium is assumed between the gas and solid phases and a single energy equation is used. In the second approach, separate energy equations are used for the phases. Information about steady state flow behavior, pressure loss, and temperature distribution in the core is obtained as results of the calculations. The effect of inlet mass flow rate to pressure loss is also investigated. Data found in literature and the results correspond each other quite well, considered the amount of simplifications in the calculations. The models developed in this thesis can be used to solve coolant flow and heat transfer in a pebble-bed reactor, although additional development and model validation is needed for better accuracy and reliability.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Kehitystoimintaan liittyvä termi, innovaatio, voidaan määritellä monella eri tavalla. Riippumatta tarkasta määritelmästä innovaatioiden johtaminen voidaan määritellä prosessiksi, jossa eri suoritusvaiheet seuraavat toisiaan. Olennaista on erottaa innovaatioprosessin alkupää ja varsinainen kehitysprojekti toisistaan. Innovaatioprosessin alkupää mielletään usein sumeaksi ja vaikeasti hallittavaksi, kun taas kehitysprojektin johtamiseen on kehitetty systemaattisia menetelmiä, esimerkiksi Stage-Gate-prosessi. Kehitysprojektien johtamisessa ongelmaksi muodostuu resurssien riittämättömyys mahdollisiin projekteihin nähden. Tämä liittää kehitystoiminnan kiinteästi portfoliojohtamiseen. RTD-toiminnalla tarkoitetaan UPM Timberissä kehitystoimintaa, joka sisältää tuotekehityksen lisäksi myös prosessien ja teknologian kehitystoiminnot. UPM Timberiltä on puuttunut systemaattinen toimintamalli RTD-projektien läpiviemiseksi eikä niiden valintaan ja resurssien allokointiin ole ollut järjestelmää. Tutkimuksessa määritetään RTD-toiminnan kriittiset menestystekijät sekä muodostetaan UPM Timberille RTD-toiminnan kehityshaasteet. Niiden perusteella luodaan UPM Timberille systemaattinen toimintamalli, RTD-prosessikuvaus, RTD-projektien läpiviemiseksi sekä integroidaan portfoliojohtaminen toimintamalliin.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tutkimuksen tarkoituksena oli tutkia päähankkijan ja toimittajien välistä yhteistyötä. Tavoitteena oli selvittää voidaanko verkostoyhteistyötä kehittämällä parantaa kilpailukykyä ja saavuttaa tuotteiden parempaa laatua. Ensin selvitettiin verkoston kehityskeinoja kirjallisuuden avulla. Tämän lisäksi kartoitettiin tutkimuskohteena olleen yrityksen nykytilanne kehityksen lähtökohdaksi. Selvitystöiden perusteella määriteltiin tavoitteet verkostoyhteistyön parantamiseksi sekä luotiin malli, jonka pohjalta kohdeyrityksen toimintaa tullaan kehittämään.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The optimal design of a heat exchanger system is based on given model parameters together with given standard ranges for machine design variables. The goals set for minimizing the Life Cycle Cost (LCC) function which represents the price of the saved energy, for maximizing the momentary heat recovery output with given constraints satisfied and taking into account the uncertainty in the models were successfully done. Nondominated Sorting Genetic Algorithm II (NSGA-II) for the design optimization of a system is presented and implemented inMatlab environment. Markov ChainMonte Carlo (MCMC) methods are also used to take into account the uncertainty in themodels. Results show that the price of saved energy can be optimized. A wet heat exchanger is found to be more efficient and beneficial than a dry heat exchanger even though its construction is expensive (160 EUR/m2) compared to the construction of a dry heat exchanger (50 EUR/m2). It has been found that the longer lifetime weights higher CAPEX and lower OPEX and vice versa, and the effect of the uncertainty in the models has been identified in a simplified case of minimizing the area of a dry heat exchanger.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Työn tavoitteena oli selvittää Transpoint Cargon kuljetussuunnittelun nykytila ja kuljetussuunnittelijoiden välisten vastuiden jakaantuminen. Työn tavoitteena oli lisäksi rakentaa kuljetussuunnittelulle alueellinen toimintamalli yrityksen asettamien rajoitteiden mukaisesti. Kuljetussuunnittelun tilaa tutkittiin haastatteluiden, visuaalisen analysoinnin, oman työkokemuksen ja tuotevirta-analyysin avulla. Kuljetussuunnittelun suurimmat kehitystarpeet löytyivät vastuiden loogisemmasta jakamisesta ja suunnittelijoiden tavasta ohjata autoja. Kehitysehdotuksena nykytilanteen parantamiseksi työssä esitetään kuljetussuunnittelijoiden työtehtävien jakaminen klusteri mallin mukaisesti. Klusteri malliin perustuen työssä esitetään kolme eri vaihtoehtoa kuljetussuunnittelun alueellisen toimintamallin toteuttamiseksi.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article presents a review of published literature concerning the use of computer simulations and modeling tools in Chemical Education. The findings about the possibilities of their application in the Chemistry curriculum, their effective implementation, the teaching methods involved, the research methodology and also the instruments of evaluation that were used and their results were described and analyzed. The need to develop adequate theory support to educators who want to start using this new technology in their Chemistry classes became evident along the research, as well as the lack of development of model perception among Chemistry educators and learners.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study investigates the transformation of practical teaching in a Catalan school, connected to the design, implementation and development of project-based learning, and focusing on dialogic learning to investigate its limits and possibilities. Qualitative and design-based research (DBR) methods are applied. These methods are based on empirical educational research with the theory-driven of learning environments. DBR is proposed and applied using practical guidance for the teachers of the school. It can be associated with the current proposals for Embedding Social Sciences and Humanities in the Horizon 2020 Societal Challenges. This position statement defends the social sciences and the humanities as the most fundamental and important ideas to face all societal challenges. The results of this study show that before the training process, teachers apply dialogic learning in specific moments (for example, when they speak about the weekend); however, during the process and after the process, they work systematically with dialogic learning through the PEPT: they start and finish every activity with a individual and group reflection about their own processes, favouring motivation, reasoning and the implication of all the participants. These results prove that progressive transformations of teaching practice benefit cooperative work in class

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Context. The interaction of microquasar jets with their environment can produce non-thermal radiation as in the case of extragalactic outflows impacting on their surroundings. Significant observational evidence of jet/medium interaction in galactic microquasars has been collected in the past few years, although little theoretical work has been done regarding the resulting non-thermal emission. Aims. In this work, we investigate the non-thermal emission produced in the interaction between microquasar jets and their environment, and the physical conditions for its production. Methods. We developed an analytical model based on those successfully applied to extragalactic sources. The jet is taken to be a supersonic and mildly relativistic hydrodynamical outflow. We focus on the jet/shocked medium structure in its adiabatic phase, and assume that it grows in a self-similar way. We calculate the fluxes and spectra of the radiation produced via synchrotron, inverse Compton, and relativistic bremsstrahlung processes by electrons accelerated in strong shocks. A hydrodynamical simulation is also performed to investigate further the jet interaction with the environment and check the physical parameters used in the analytical model. Results. For reasonable values of the magnetic field, and using typical values of the external matter density, the non-thermal particles could produce significant amounts of radiation at different wavelengths, although they do not cool primarily radiatively, but by adiabatic losses. The physical conditions of the analytical jet/medium interaction model are consistent with those found in the hydrodynamical simulation. Conclusions. Microquasar jet termination regions could be detectable at radio wavelengths for current instruments sensitive to ~arcminute scales. At X-ray energies, the expected luminosities are moderate, although the emitter is more compact than the radio one. The source may be detectable by XMM-Newton or Chandra, with 1-10 arcsec of angular resolution. The radiation at gamma-ray energies may be within the detection limits of the next generation of satellite and ground-based instruments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Both the competitive environment and the internal structure of an industrial organization are typically included in the processes which describe the strategic management processes of the firm, but less attention has been paid to the interdependence between these views. Therefore, this research focuses on explaining the particular conditions of an industry change, which lead managers to realign the firm in respect of its environment for generating competitive advantage. The research question that directs the development of the theoretical framework is: Why do firms outsource some of their functions? The three general stages of the analysis are related to the following research topics: (i) understanding forces that shape the industry, (ii) estimating the impacts of transforming customer preferences, rivalry, and changing capability bases on the relevance of existing assets and activities, and emergence of new business models, and (iii) developing optional structures for future value chains and understanding general boundaries for market emergence. The defined research setting contributes to the managerial research questions “Why do firms reorganize their value chains?”, “Why and how are decisions made?” Combining Transaction Cost Economics (TCE) and Resource-Based View (RBV) within an integrated framework makes it possible to evaluate the two dimensions of a company’s resources, namely the strategic value and transferability. The final decision of restructuring will be made based on an analysis of the actual business potential of the outsourcing, where benefits and risks are evaluated. The firm focuses on the risk of opportunism, hold-up problems, pricing, and opportunities to reach a complete contract, and finally on the direct benefits and risks for financial performance. The supplier analyzes the business potential of an activity outside the specific customer, the amount of customer-specific investments, the service provider’s competitive position, abilities to revenue gains in generic segments, and long-term dependence on the customer.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work describes the establishment of the concept of pH and the evolution of its measurement. The origin of the pH definition can be found in the development of the chemistry of aqueous solutions during the XIXth century. The electrolytic dissociation theory by Svante Arrhenius played a central role. After the proposal of the pH scale by Sörensen, many years were necessary for the acceptance of this new parameter among chemists in general. Its importance was first recognized in biochemistry and related areas. Twenty years after, its importance had been recognized in many industrial and laboratorial practices. The previous methods were based on colorimetric and electrometric methods, but both suffered from many problems. Acceptance of pH in Chemistry was only possible after the development of experimental trustable measurements. The invention of the pH meter was the primordial step.