982 resultados para inside-outside algorithm
Resumo:
Metastases are the major cause of cancer deaths. Tumor cell dissemination from the primary tumor utilizes dysregulated cellular adhesion and upregulated proteolytic degradation of the extracellular matrix for progeny formation in distant organs. Integrins are transmembrane adhesive receptors mediating cellcell and cellmatrix interactions that are crucial for regulating cell migration, invasion, proliferation, and survival. Consequently, increased integrin activity is associated with augmented migration and invasion capacity in several cancer types. Heterodimeric integrins consist of an alpha - and beta-subunit that are held together in a bent conformation when the receptor is inactive, but extension and separation of subdomains is observed during receptor activation. Either inside-out or outside-in activation of receptors is possible through the intracellular molecule binding to an integrin cytoplasmic domain or extracellular ligand association with an integrin ectodomain, respectively. Several regulatory binding partners have been characterized for integrin cytoplasmic beta-domains, but the regulators interacting with the cytoplasmic alpha-domains have remained elusive. In this study, we performed yeast two-hybrid screens to identify novel binding partners for the cytoplasmic integrin alpha-domains. Further examination of two plausible candidates revealed a significant coregulatory role of an integrin alpha-subunit for cellular signaling processes. T-cell protein tyrosine phosphatase (TCPTP) showed a specific interaction with the cytoplasmic tail of integrin alpha1. This association stimulated TCPTP phosphatase activity, leading to negative regulation of epidermal growth factor receptor (EGFR) signaling and diminished anchorage-independent growth. Another candidate, mammary-derived growth inhibitor (MDGI), exhibited binding to several different integrin cytoplasmic alpha-tails through a conserved GFFKR sequence. MDGI overexpression in breast cancer cells altered EGFR trafficking and caused a remarkable accumulation of EGFR in the cytoplasm. We further demonstrated in vivo that MDGI expression induced a novel form of anti-EGFR therapy resistance. Moreover, MDGI binding to α-tails retained integrin in an inactive conformation attenuating integrin-mediated adhesion, migration, and invasion. In agreement with these results, sustained MDGI expression in breast cancer patients correlated with an increased 10-year distant disease-free survival. Taken together, the integrin signaling network is far from a complete view and future work will doubtless broaden our understanding further.
Resumo:
The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.
Resumo:
This study addresses the role of EFL education, its potential and shortcomings, and the challenges the future of EFL education will bring. It is argued that new societal demands and the limited time we have at our disposal in the classroom make it necessary to rethink goals and content and move away from the transmissionof limited sets of facts and information to helping students develop awareness and competences that can be applied in many different situations, also in a perspective of lifelong learning. The overall aim of the current study is to problematize and increase understanding of the implementation of cultural aspects in the language classroom by addressing the interrelated what, why and how of the cultural dimension within EFL education. This has been conducted by means of theoretical explorations into the area, alongside an attempt at promoting intercultural competence (IC) in a more systematic and insightful manner within my own educational praxis. The focus of the intercultural work in the classroom was on the promotion of awareness of difference and diversity, as well as respect for such difference through the ability to decenter from cultural norms and behavior that previously have been taken for granted. These are two elements that have been suggested as fundamental for other work with IC in the classroom and for the realization of important aspects of the underlying values of basic education. In the context of this study, IC comprises several interconnected components supportingeach other in a variety of ways, with the further aim being interaction with and respect for difference in general, not only concerning e.g. representatives ofcertain English-speaking communities. The methodology was informed by action research, with myself in the role of the teacher-researcher or the reflective practitioner. For the purpose of the project I was authorized to take on the EFL education for the three years of upper comprehensive school of one random class of students originally assigned to one of the language teachers of the selected Finland-Swedish school. Thus, the class of 17 students was not specifically chosen for the project, and the aims and contents chosen for the development project were placed within the framework of the ordinary curriculum. By exploring the students¿ insights concerning different English-speaking cultural groups, mainly through a set of questionnaires, it was possible to outline the work with the cultural dimension in the classroom for the following three years. Work progress was evaluated at specific stages, and the final project evaluations were conducted through individual student interviews in grade 9. The interviews were focused on possible development of students¿ insights concerning different aspects of the cultural dimension. In particular this concerned awareness of difference and diversity, including modification of stereotypes, as well as the ability to decenterin order to be better able to respect such difference. I also explored students¿ awareness and views of the activities and approaches used in class, as well asaffordances both inside and outside the EFL classroom in relation to these intended insights. A further focus area was the perceived relevance to students of different aspects of the cultural dimension. The frameworks and approaches adopted for the work in the classroom all have in common that they are based on a constructivist framework, where knowledge is constructed and reconstructed through interaction with one¿s social and cultural environment, including interaction with others. Reflective processes precede or are simultaneous with the learning of basic factual knowledge. This entails a view of learning as a progression from simple to more complex models rather than as a progression from facts to understanding and analysis. Here, the development of intercultural competence is seen asa cyclical process, or along a spiral curriculum, from simple to more complex levels through a combination of cognitive, affective and behavioral elements within a framework of experiential learning. This project has shown one possible wayforward concerning the development of intercultural competence within EFL education through a more systematic and comprehensive approach regarding linguistic and cultural aspects. The evaluation of the educational process explored in the study suggests the possibilities for work with the promotion of awareness of difference and diversity concerning some specific context that, based on students¿ prior knowledge and preconceptions, would benefit from further work. In this case, the specific context primarily concerned different aspects of both cultural and linguistic conditions in the UK. It is also suggested that many students developed the ability to decenter, described in the study as integral to being able to respect otherness. What still remains to be explored are more individualized approaches considering students¿ different levels of departure. Further work alsoneeds to be put into how to apply insights gained in these specific situations to more general contexts. It is also necessary to explore the use of the suggested approaches in a wider range of different contexts.
Resumo:
The purpose of this dissertation is to examine the dynamics of the socio-technical system in the field of ageing. The study stems from the notion that the ageing of the population as a powerful megatrend has wide societal effects, and is not just a matter for the social and health sector. The central topic in the study is change: not only the age structures and structures of society are changing, but also at the same time there is constant development, for instance, in technologies, infrastructures and cultural perceptions. The changing concept of innovation has widened the understanding of innovations related to ageing from medical and assistive technological innovations to service and social innovations, as well as systemic innovations at different levels, which means the intertwined and co-evolutionary change in technologies, structures, services and thinking models. By the same token, the perceptions of older people and old age are becoming more multi-faceted: old age is no longer equated to illnesses and decline, but visions of active ageing and a third age have emerged, which are framed by choices, opportunities, resources and consumption in later life. The research task in this study is to open up the processes and mechanisms of change in the field of ageing, which are studied as a complex, multi-level and interrelated socio-technical system. The question is about co-effective elements consisting of macro-level landscape changes, the existing socio-technical regime (the rule system, practices and structures) and bottom-up niche-innovations. Societal transitions do not account for the things inside the regime alone, or for the long-term changes in the landscape, nor for the radical innovations, but for the interplay between all these levels. The research problem is studied through five research articles, which offer micro-level case studies to macro-level phenomenon. Each of the articles focus on different aspects related to ageing and change, and utilise various datasets. The framework of this study leans on the studies of socio-technical systems and multi-level perspective on transitions mainly developed by Frank Geels. Essential factors in transition from one socio-technological regime to another are the co-evolutionary processes between landscape changes, regime level and experimental niches. Landscape level changes, like the ageing of the population, destabilise the regime in the forms of coming pressures. This destabilization offers windows for opportunity to niche-innovations outside or at fringe of the regime, which, through their breakthrough, accelerate the transition process. However, the change is not easy because of various kinds of lock-ins and inertia, which tend to maintain the stability of the regime. In this dissertation, a constructionist approach of society is applied leaning mainly to the ideas of Anthony Giddens’ theory of structuration, with the dual nature of structures. The change is taking place in the interplay between actors and structures: structures shape people’s practices, but at the same time these practices constitute and reproduce social systems. Technology and other material aspects, as part of socio-technical systems, and the use of them, also take part in the structuration process. The findings of the study point out that co-evolutionary and co-effective relationships between economic, cultural, technological and institutional fields, as well as relationships between landscape changes, changes in the local and regime-level practices and rule systems, are a very complex and multi-level dynamic socio-technical phenomenon. At the landscape level of ageing, which creates the pressures and triggers to the regime change, there are three remarkable megatrends: demographic change, changes in the global economy and the development of technologies. These exert pressures to the socio-technical regime, which as a rule system is experiencing changes in the form of new markets and consumer habits, new ways of perceiving ageing, new models of organising the health care and other services and as new ways of considering innovation and innovativeness. There are also inner dynamics in the relationships between these aspects within the regime. These are interrelated and coconstructed: the prevailing perceptions of ageing and innovation, for instance, reflect the ageing policies, innovation policies, societal structures, organising models, technology and scientific discussion, and vice versa. Technology is part of the inner dynamics of the sociotechnological regime. Physical properties of the artefacts set limitations and opportunities with regard to their functions and uses. The use of and discussion about technology, contributes producing and reproducing the perceptions of old age. For societal transition, micro-level changes are also needed, in form of niche-innovations, for instance new services, organisational models or new technologies, Regimes, as stabilitystriven systems, tend to generate incremental innovations, but radically new innovations are generated in experimental niches protected from ‘normal’ market selection. The windows of opportunity for radical novelties may be opened if the circumstances are favourable for instance by tensions in the socio-technical regime affected by landscape level changes. This dissertation indicates that a change is taking place, firstly, in the dynamic interactionbetween levels, as a result of purposive action and governance to some extent. Breaking the inertia and using the window of opportunity for change and innovation offered by dynamics between levels, presupposes the actors’ special capabilities and actions such as dynamic capabilities and distance management. Secondly, the change is taking place the socio-technological negotiations inside the regime: interaction between technological and social, which is embodied in the use of technology. The use of technology includes small-level contextual scripts that also participate in forming broader societal scripts (for instance defining old age at the society level), which in their turn affect the formation of policies for innovation and ageing. Thirdly, the change is taking place by the means of active formation of the multi-actor innovation networks, where the role of distance management is crucial to facilitate the communication between actors coming from different backgrounds as well as to help the niches born outside the regime to utilise the window of opportunity offered by regime destabilisation. This dissertation has both theoretical and practical contributions. This study participates in the discussion of action-oriented view on transition by opening up of the socio-technological, coevolutionary processes of the multi-faceted phenomenon of ageing, which has lacked systematic analyses. The focus of this study, however, is not on the large-scale coordination and governance, but rather on opening up the incremental elements and structuration processes, which contribute to the transition little by little, and which can be affected to. This increases the practical importance of this dissertation, by highlighting the importance of very tiny, everyday elements in the change processes in the long run.
Resumo:
In this work a fuzzy linear system is used to solve Leontief input-output model with fuzzy entries. For solving this model, we assume that the consumption matrix from di erent sectors of the economy and demand are known. These assumptions heavily depend on the information obtained from the industries. Hence uncertainties are involved in this information. The aim of this work is to model these uncertainties and to address them by fuzzy entries such as fuzzy numbers and LR-type fuzzy numbers (triangular and trapezoidal). Fuzzy linear system has been developed using fuzzy data and it is solved using Gauss-Seidel algorithm. Numerical examples show the e ciency of this algorithm. The famous example from Prof. Leontief, where he solved the production levels for U.S. economy in 1958, is also further analyzed.
Resumo:
I doktorsavhandlingen undersöks förmågan att lösa hos ett antal lösare för optimeringsproblem och ett antal svårigheter med att göra en rättvis lösarjämförelse avslöjas. Dessutom framläggs några förbättringar som utförts på en av lösarna som heter GAMS/AlphaECP. Optimering innebär, i det här sammanhanget, att finna den bästa möjliga lösningen på ett problem. Den undersökta klassen av problem kan karaktäriseras som svårlöst och förekommer inom ett flertal industriområden. Målet har varit att undersöka om det finns en lösare som är universellt snabbare och hittar lösningar med högre kvalitet än någon av de andra lösarna. Det kommersiella optimeringssystemet GAMS (General Algebraic Modeling System) och omfattande problembibliotek har använts för att jämföra lösare. Förbättringarna som presenterats har utförts på GAMS/AlphaECP lösaren som baserar sig på skärplansmetoden Extended Cutting Plane (ECP). ECP-metoden har utvecklats främst av professor Tapio Westerlund på Anläggnings- och systemteknik vid Åbo Akademi.
Resumo:
Nykypäivän entisestään kovenevassa globaalissa liiketoimintaympäristössä jatkuvan ja pitkäaikaisen kilpailukyvyn ylläpitämiseen ja kehittämiseen vaaditaan laajalti kyvykkyyksiä, kompetensseja ja erilaisia resursseja. Etenkään pienet yritykset eivät pysty vastaamaan nykypäivän liiketoiminnan vaatimuksiin ja tavoitteisiin, jolloin ne tarvitsevat osaamista ja resursseja ulkopuolisilta toimijoilta, jopa mahdollisilta kilpailijoiltaan. Painotus on kilpailutilanteessa siirtynyt yksittäisistä yrityksistä verkostojen välisiksi turnauksiksi liiketoiminnan armottomilla pelikentillä. Diplomityö pohjautuu Lappeenrannan teknillisen yliopiston tutkimuskeskuksessa (TBRC) toteutettuun moniosaiseen tutkimukseen lämpöliiketoiminnan verkostorakenteista ja niiden ominaisuuksista. Tavoitteena on yleisen tietouden kasvattaminen pienten lämpölaitosalan toimijoiden verkostorakenteista, niiden eroista ja tulevaisuuden kehitysmahdollisuuksista. Pääpaino diplomityössä on juuri verkostojen kuvaamisella ja tietouden kasvattamisella, mutta myös rakenteiden ja toimintojen kehittämisessä vertikaalisen ja horisontaalisen verkostokehityksen viitekehyksen avulla, huomioiden operatiiviset ja strategiset tarpeet kilpailukyvyn ylläpitämisessä. Tutkimuksessa tunnistettiin huomattavia eroavaisuuksia lämpölaitosten toiminta-tavoissa sekä verkostorakenteissa ja niissä tapahtuvissa transaktioissa. Kirjallisuudessa esitettyjä onnistuneiden ja tehokkaasti toimivien verkostojen ominaisuuksien korrelaatioita lämpöliiketoiminnan operatiivisiin ja strategisiin toimintoihin vertaillaan tarkoitukseen muokatulla laadun talo -matriisilla. Tärkeimmiksi tulevaisuuden kehityskohteiksi analyysien perusteella havaittiin resurssien ja tietotaidon tehokkaamman jakamisen, yhteistyösuhteiden laajuuksien ja lukumäärien kasvattamisen sekä yhteistyösuhteiden strategisuuden lisäämisen.
Resumo:
Black meshes used in greenhouses provide shade to plants, affecting photosynthesis and presenting certain properties that change the microclimatic conditions in these environments. The objective of this study was to evaluate the variation in climate elements in greenhouse cultivated with gerbera (Gerbera jamesonii, Vr. Rambo) in relation to external conditions and the reference evapotranspiration (ETo) at Teresina, State of Piauí, Brazil. The measurements were obtained from July to October 2007 by an automatic data acquisition system installed inside and outside the greenhouse. The global solar radiation, evapotranspiration, precipitation, temperature, relative humidity, and wind speed were estimated. The results showed that major effect of the shading occurred on the mean air temperature during the 120 days, making it higher than the external environment. Inside the greenhouse, mean values of relative air humidity, reference evapotranspiração, global solar radiation and wind speed were lower compared to those outside the greenhouse.
Resumo:
The research proposes a methodology for assessing broiler breeder response to changes in rearing thermal environment. The continuous video recording of a flock analyzed may offer compelling evidences of thermal comfort, as well as other indications of welfare. An algorithm for classifying specific broiler breeder behavior was developed. Videos were recorded over three boxes where 30 breeders were reared. The boxes were mounted inside an environmental chamber were ambient temperature varied from cold to hot. Digital images were processed based on the number of pixels, according to their light intensity variation and binary contrast allowing a sequence of behaviors related to welfare. The system used the default of x, y coordinates, where x represents the horizontal distance from the top left of the work area to the point P, and y is the vertical distance. The video images were observed, and a grid was developed for identifying the area the birds stayed and the time they spent at that place. The sequence was analyzed frame by frame confronting the data with specific adopted thermal neutral rearing standards. The grid mask overlapped the real bird image. The resulting image allows the visualization of clusters, as birds in flock behave in certain patterns. An algorithm indicating the breeder response to thermal environment was developed.
Resumo:
It is presented a software developed with Delphi programming language to compute the reservoir's annual regulated active storage, based on the sequent-peak algorithm. Mathematical models used for that purpose generally require extended hydrological series. Usually, the analysis of those series is performed with spreadsheets or graphical representations. Based on that, it was developed a software for calculation of reservoir active capacity. An example calculation is shown by 30-years (from 1977 to 2009) monthly mean flow historical data, from Corrente River, located at São Francisco River Basin, Brazil. As an additional tool, an interface was developed to manage water resources, helping to manipulate data and to point out information that it would be of interest to the user. Moreover, with that interface irrigation districts where water consumption is higher can be analyzed as a function of specific seasonal water demands situations. From a practical application, it is possible to conclude that the program provides the calculation originally proposed. It was designed to keep information organized and retrievable at any time, and to show simulation on seasonal water demands throughout the year, contributing with the elements of study concerning reservoir projects. This program, with its functionality, is an important tool for decision making in the water resources management.
Resumo:
After hatching, pullets are transported to brooding area and vaccinated. One day old chicks have not already developed thermoregulation ability; thus, brooding temperature variations may affect pullet quality leading to broiler meat production losses. This research aimed to calculate sensible heat loss in one day old pullets in hatching area and vaccination room. Ten one day old pullets were randomly selected from hatching area of a commercial hatchery. Infrared images were used to calculate bird surface temperature. Exposure areas for the two conditions were quantified, and both air temperature and wind speed was recorded. Total sensible heat loss was calculated as heat loss by radiation plus heat loss by convection. It was found that heat transfer occurs in different ways at different bird body parts. Total heat loss found for hatching baskets was equivalent to 0.81 J s-1 while for vaccination room was 1.16 J s-1. Pullet nutrition is based on energy loss from brooding to farm, and the overall pullet heat loss from hatchery to farm accepted is 13.95 J s-1. Thus, "starter feed" has relevant excess of energy input. These findings indicate that less energy can be used in initial feed, once heat loss is lower than assumed nowadays. Improved knowledge on these conditions may enhance broiler farm feeding strategies and economics during first rearing week.
Resumo:
The focus of the present work was on 10- to 12-year-old elementary school students’ conceptual learning outcomes in science in two specific inquiry-learning environments, laboratory and simulation. The main aim was to examine if it would be more beneficial to combine than contrast simulation and laboratory activities in science teaching. It was argued that the status quo where laboratories and simulations are seen as alternative or competing methods in science teaching is hardly an optimal solution to promote students’ learning and understanding in various science domains. It was hypothesized that it would make more sense and be more productive to combine laboratories and simulations. Several explanations and examples were provided to back up the hypothesis. In order to test whether learning with the combination of laboratory and simulation activities can result in better conceptual understanding in science than learning with laboratory or simulation activities alone, two experiments were conducted in the domain of electricity. In these experiments students constructed and studied electrical circuits in three different learning environments: laboratory (real circuits), simulation (virtual circuits), and simulation-laboratory combination (real and virtual circuits were used simultaneously). In order to measure and compare how these environments affected students’ conceptual understanding of circuits, a subject knowledge assessment questionnaire was administered before and after the experimentation. The results of the experiments were presented in four empirical studies. Three of the studies focused on learning outcomes between the conditions and one on learning processes. Study I analyzed learning outcomes from experiment I. The aim of the study was to investigate if it would be more beneficial to combine simulation and laboratory activities than to use them separately in teaching the concepts of simple electricity. Matched-trios were created based on the pre-test results of 66 elementary school students and divided randomly into a laboratory (real circuits), simulation (virtual circuits) and simulation-laboratory combination (real and virtual circuits simultaneously) conditions. In each condition students had 90 minutes to construct and study various circuits. The results showed that studying electrical circuits in the simulation–laboratory combination environment improved students’ conceptual understanding more than studying circuits in simulation and laboratory environments alone. Although there were no statistical differences between simulation and laboratory environments, the learning effect was more pronounced in the simulation condition where the students made clear progress during the intervention, whereas in the laboratory condition students’ conceptual understanding remained at an elementary level after the intervention. Study II analyzed learning outcomes from experiment II. The aim of the study was to investigate if and how learning outcomes in simulation and simulation-laboratory combination environments are mediated by implicit (only procedural guidance) and explicit (more structure and guidance for the discovery process) instruction in the context of simple DC circuits. Matched-quartets were created based on the pre-test results of 50 elementary school students and divided randomly into a simulation implicit (SI), simulation explicit (SE), combination implicit (CI) and combination explicit (CE) conditions. The results showed that when the students were working with the simulation alone, they were able to gain significantly greater amount of subject knowledge when they received metacognitive support (explicit instruction; SE) for the discovery process than when they received only procedural guidance (implicit instruction: SI). However, this additional scaffolding was not enough to reach the level of the students in the combination environment (CI and CE). A surprising finding in Study II was that instructional support had a different effect in the combination environment than in the simulation environment. In the combination environment explicit instruction (CE) did not seem to elicit much additional gain for students’ understanding of electric circuits compared to implicit instruction (CI). Instead, explicit instruction slowed down the inquiry process substantially in the combination environment. Study III analyzed from video data learning processes of those 50 students that participated in experiment II (cf. Study II above). The focus was on three specific learning processes: cognitive conflicts, self-explanations, and analogical encodings. The aim of the study was to find out possible explanations for the success of the combination condition in Experiments I and II. The video data provided clear evidence about the benefits of studying with the real and virtual circuits simultaneously (the combination conditions). Mostly the representations complemented each other, that is, one representation helped students to interpret and understand the outcomes they received from the other representation. However, there were also instances in which analogical encoding took place, that is, situations in which the slightly discrepant results between the representations ‘forced’ students to focus on those features that could be generalised across the two representations. No statistical differences were found in the amount of experienced cognitive conflicts and self-explanations between simulation and combination conditions, though in self-explanations there was a nascent trend in favour of the combination. There was also a clear tendency suggesting that explicit guidance increased the amount of self-explanations. Overall, the amount of cognitive conflicts and self-explanations was very low. The aim of the Study IV was twofold: the main aim was to provide an aggregated overview of the learning outcomes of experiments I and II; the secondary aim was to explore the relationship between the learning environments and students’ prior domain knowledge (low and high) in the experiments. Aggregated results of experiments I & II showed that on average, 91% of the students in the combination environment scored above the average of the laboratory environment, and 76% of them scored also above the average of the simulation environment. Seventy percent of the students in the simulation environment scored above the average of the laboratory environment. The results further showed that overall students seemed to benefit from combining simulations and laboratories regardless of their level of prior knowledge, that is, students with either low or high prior knowledge who studied circuits in the combination environment outperformed their counterparts who studied in the laboratory or simulation environment alone. The effect seemed to be slightly bigger among the students with low prior knowledge. However, more detailed inspection of the results showed that there were considerable differences between the experiments regarding how students with low and high prior knowledge benefitted from the combination: in Experiment I, especially students with low prior knowledge benefitted from the combination as compared to those students that used only the simulation, whereas in Experiment II, only students with high prior knowledge seemed to benefit from the combination relative to the simulation group. Regarding the differences between simulation and laboratory groups, the benefits of using a simulation seemed to be slightly higher among students with high prior knowledge. The results of the four empirical studies support the hypothesis concerning the benefits of using simulation along with laboratory activities to promote students’ conceptual understanding of electricity. It can be concluded that when teaching students about electricity, the students can gain better understanding when they have an opportunity to use the simulation and the real circuits in parallel than if they have only the real circuits or only a computer simulation available, even when the use of the simulation is supported with the explicit instruction. The outcomes of the empirical studies can be considered as the first unambiguous evidence on the (additional) benefits of combining laboratory and simulation activities in science education as compared to learning with laboratories and simulations alone.
Resumo:
Työn tarkoituksena on tutkia, mitkä ovat tärkeimpiä tekijöitä, joita Balanced Scorecard johtamisjärjestelmää käyttävän organisaatioiden tulee huomioida innovaatioprosessinsa suunnittelussa ja toteutuksessa. Lisäksi työssä tutkitaan, millaisia kytkentöjä innovaatioprosessilla on BSC-johtamisjärjestelmän muihin osa-alueisiin sekä onko BSC ylipäätään sopiva johtamisjärjestelmä innovatiivisuutta tavoittelevalla organisaatiolle. Tutkimusstrategiana on kvalitatiivinen tutkimus ja tutkimusmetodina puolestaan puolistrukturoimaton haastattelu. Työn tärkein tutkimustulos on, että BSC-johtamisjärjestelmää käyttävän organisaation innovaatioprosessin onnistuminen ratkaistaan pitkälti aivan muualla kuin prosessin sisällä itsessään. Organisaation tulee ensinnäkin keskittyä edistämään innovaatioille suotuisaa kulttuuria, tässä organisaation arvot ovat yksi tärkein työväline. Toiseksi, organisaation tulee systemaattisesti kehittää yhteistyötä eri funktioiden ja niissä työskentelevien ihmisten välillä. Kolmanneksi, organisaation tulee mitata systemaattisesti niitä asioita, jotka indikoivat innovaatioiden edellytyksistä ja itse innovaatioprosessin toimivuudesta. Kaikki kolme mainittua tulosta liitetään työssä kirjoittajan toimesta yläkäsitteen johtaminen alle. Työssä tuodaan myös esille se, että organisaatioiden on syytä tarkastella edellä mainittuja kolmea teemaa kahdessa aikaulottuvuudessa – ajassa ennen innovaatioita ja varsinaisen innovaation jälkeen. Siten kunkin kolmen teeman olennaisin sisältö riippuukin aikaperspektiivistä. Yhtenä olennaisena johtopäätöksenä työn tekijä esittää, että BSC-johtamisjärjestelmää käyttävän organisaation ei tulisi investoida merkittävästi varsinaiseen innovaatioprosessiinsa ennen kuin se on kyennyt luomaan innovatiivisuutta tukevaa kulttuuria oppimisen ja kasvun näkökulmassa. Ilman innovaatioita tukevaa kulttuuria prosessissa itsessään tuskin on laadukasta sisältöä. Tämä johtopäätös on selkeä viesti organisaatioille toiminnan priorisoinnin kannalta.
Resumo:
In this doctoral thesis, methods to estimate the expected power cycling life of power semiconductor modules based on chip temperature modeling are developed. Frequency converters operate under dynamic loads in most electric drives. The varying loads cause thermal expansion and contraction, which stresses the internal boundaries between the material layers in the power module. Eventually, the stress wears out the semiconductor modules. The wear-out cannot be detected by traditional temperature or current measurements inside the frequency converter. Therefore, it is important to develop a method to predict the end of the converter lifetime. The thesis concentrates on power-cycling-related failures of insulated gate bipolar transistors. Two types of power modules are discussed: a direct bonded copper (DBC) sandwich structure with and without a baseplate. Most common failure mechanisms are reviewed, and methods to improve the power cycling lifetime of the power modules are presented. Power cycling curves are determined for a module with a lead-free solder by accelerated power cycling tests. A lifetime model is selected and the parameters are updated based on the power cycling test results. According to the measurements, the factor of improvement in the power cycling lifetime of modern IGBT power modules is greater than 10 during the last decade. Also, it is noticed that a 10 C increase in the chip temperature cycle amplitude decreases the lifetime by 40%. A thermal model for the chip temperature estimation is developed. The model is based on power loss estimation of the chip from the output current of the frequency converter. The model is verified with a purpose-built test equipment, which allows simultaneous measurement and simulation of the chip temperature with an arbitrary load waveform. The measurement system is shown to be convenient for studying the thermal behavior of the chip. It is found that the thermal model has a 5 C accuracy in the temperature estimation. The temperature cycles that the power semiconductor chip has experienced are counted by the rainflow algorithm. The counted cycles are compared with the experimentally verified power cycling curves to estimate the life consumption based on the mission profile of the drive. The methods are validated by the lifetime estimation of a power module in a direct-driven wind turbine. The estimated lifetime of the IGBT power module in a direct-driven wind turbine is 15 000 years, if the turbine is located in south-eastern Finland.
Resumo:
Tutkimuksen tavoitteena oli osaamisen johtamisen holistinen tarkastelu pk-yrityksen kansainvälisen kasvun elinkaarella. Osaamisen johtamisen malli sisältää osaamisen, tiedon, eriasteiset ja hierarkisesti eritasoiset liittoumat ja verkostot sekä internetin tarjonnan organisaation oppimisen ohella. Pk-yrityksen syntyminen, kasvu kotimarkkinoilla ja kansainvälinen kasvu voivat perustua kansainvälisyyteen. Holistinen kansainvälistyminen voi alkaa mistä funktiosta tai prosessista tahansa ja ulottua eriasteisena muihin funktioihin ja/tai prosesseihin. Kansainvälistyminen ja kansainvälinen toiminta voi katketa kokonaan tai funktioitain ja alkaa uudelleen. Tutkimuksen holistisella mallilla analysoitiin tapausyritykset hyödyntämällä osa-aluekronologiaa. Tuloksilla tarkennettiin mallia. Tarkennettu malli korostaa kasvu ja/tai kansainvälistymisärsykkeen/impulssin syntyvän sekä kotiettä ulkomaisilta kysyntä- ja/tai tarjontamarkkinoilta sekä yrityksen sisä- että ulkopuolelta tai olevan piilevänä omistajayrittäjässä. Holistisuus korostaa mallin kaikissa osissa ennen alkua (pre-start) vaiheen asemaa, päättymätöntä uudistumisprosessia. Osaamisen johtamisessa korostuu proaktiivisuus. Jokainen uudistamisprosessi edellyttää olevan osaamisen vahvistamista, ja organisaation ulkopuolisen osaamis- ja tietopääoman hyödyntämistä. Osaamisen johtaminen sisältää varsinaisen ja laajennetun organisaation yksilöiden, ryhmien ja yksiköiden visio- ja strategiaperusteisen johtamisen. Tämä edellyttää sitouttamista, motivointia ja omaehtoisuuden sekä organisaation sisäisen ja ulkoisen kulttuurietäisyyden hyödyntämistä. Yksilön fokus osaamisen johtamisen näkökulmasta on tehtävään sitoutuminen ja itsensä toteuttaminen. Fokukset ovat proaktiiviisia vaihdellen funktioiden ja prosessien elinkaarilla dynaamisesti. Tutkimus myötävaikuttaa omistajayrittäjän roolin korostamiseen, kasvu- ja kansainvälistymisimpulssin ja ennen alkua (pre start) vaiheen holistisuuden ymmärtämiseen laaja-alaisesti. Kasvu- ja kansainvälistymisimpulsseja/ärsykkeitä ja niistä seuraavia pre start vaiheita/osa-alueita on pk-yrityksen elinkaarella (1+n) kappaletta; (n: 0- oo). Malli myötävaikuttaa ymmärtämään aineettomia osaamis- ja tieto-optioita sekä korostaa transnationalpiirteitä kansainvälistä kasvua vahvistavina.