84 resultados para inductive reasoning
Resumo:
Rising population, rapid urbanisation and growing industrialisation have severely stressed water quality and its availability in Malawi. In addition, financial and institutional problems and the expanding agro industry have aggravated this problem. The situation is worsened by depleting water resources and pollution from untreated sewage and industrial effluent. The increasing scarcity of clean water calls for the need for appropriate management of available water resources. There is also demand for a training system for conceptual design and evaluation for wastewater treatment in order to build the capacity for technical service providers and environmental practitioners in the country. It is predicted that Malawi will face a water stress situation by 2025. In the city of Blantyre, this situation is aggravated by the serious pollution threat from the grossly inadequate sewage treatment capacity. This capacity is only 23.5% of the wastewater being generated presently. In addition, limited or non-existent industrial effluent treatment has contributed to the severe water quality degradation. This situation poses a threat to the ecologically fragile and sensitive receiving water courses within the city. This water is used for domestic purposes further downstream. This manuscript outlines the legal and policy framework for wastewater treatment in Malawi. The manuscript also evaluates the existing wastewater treatment systems in Blantyre. This evaluation aims at determining if the effluent levels at the municipal plants conform to existing standards and guidelines and other associated policy and regulatory frameworks. The raw material at all the three municipal plants is sewage. The typical wastewater parameters are Biochemical Oxygen Demand (BOD5), Chemical Oxygen Demand (COD), and Total Suspended Solids (TSS). The treatment target is BOD5, COD, and TSS reduction. Typical wastewater parameters at the wastewater treatment plant at MDW&S textile and garments factory are BOD5 and COD. The treatment target is to reduce BOD5 and COD. The manuscript further evaluates a design approach of the three municipal wastewater treatment plants in the city and the wastewater treatment plant at Mapeto David Whitehead & Sons (MDW&S) textile and garments factory. This evaluation utilises case-based design and case-based reasoning principles in the ED-WAVE tool to determine if there is potential for the tool in Blantyre. The manuscript finally evaluates the technology selection process for appropriate wastewater treatment systems for the city of Blantyre. The criteria for selection of appropriate wastewater treatment systems are discussed. Decision support tools and the decision tree making process for technology selection are also discussed. Based on the treatment targets and design criteria at the eight cases evaluated in this manuscript in reference to similar cases in the ED-WAVE tool, this work confirms the practical use of case-based design and case-based reasoning principles in the ED-WAVE tool in the design and evaluation of wastewater treatment 6 systems in sub-Sahara Africa, using Blantyre, Malawi, as the case study area. After encountering a new situation, already collected decision scenarios (cases) are invoked and modified in order to arrive at a particular design alternative. What is necessary, however, is to appropriately modify the case arrived at through the Case Study Manager in order to come up with a design appropriate to the local situation taking into account technical, socio-economic and environmental aspects. This work provides a training system for conceptual design and evaluation for wastewater treatment.
Resumo:
Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.
Resumo:
The computer is a useful tool in the teaching of upper secondary school physics, and should not have a subordinate role in students' learning process. However, computers and computer-based tools are often not available when they could serve their purpose best in the ongoing teaching. Another problem is the fact that commercially available tools are not usable in the way the teacher wants. The aim of this thesis was to try out a novel teaching scenario in a complicated subject in physics, electrodynamics. The didactic engineering of the thesis consisted of developing a computer-based simulation and training material, implementing the tool in physics teaching and investigating its effectiveness in the learning process. The design-based research method, didactic engineering (Artigue, 1994), which is based on the theoryof didactical situations (Brousseau, 1997), was used as a frame of reference for the design of this type of teaching product. In designing the simulation tool a general spreadsheet program was used. The design was based on parallel, dynamic representations of the physics behind the function of an AC series circuit in both graphical and numerical form. The tool, which was furnished with possibilities to control the representations in an interactive way, was hypothesized to activate the students and promote the effectiveness of their learning. An effect variable was constructed in order to measure the students' and teachers' conceptions of learning effectiveness. The empirical study was twofold. Twelve physics students, who attended a course in electrodynamics in an upper secondary school, participated in a class experiment with the computer-based tool implemented in three modes of didactical situations: practice, concept introduction and assessment. The main goal of the didactical situations was to have students solve problems and study the function of AC series circuits, taking responsibility for theirown learning process. In the teacher study eighteen Swedish speaking physics teachers evaluated the didactic potential of the computer-based tool and the accompanying paper-based material without using them in their physics teaching. Quantitative and qualitative data were collected using questionnaires, observations and interviews. The result of the studies showed that both the group of students and the teachers had generally positive conceptions of learning effectiveness. The students' conceptions were more positive in the practice situation than in the concept introduction situation, a setting that was more explorative. However, it turned out that the students' conceptions were also positive in the more complex assessment situation. This had not been hypothesized. A deeper analysis of data from observations and interviews showed that one of the students in each pair was more active than the other, taking more initiative and more responsibilityfor the student-student and student-computer interaction. These active studentshad strong, positive conceptions of learning effectiveness in each of the threedidactical situations. The group of less active students had a weak but positive conception in the first iv two situations, but a negative conception in the assessment situation, thus corroborating the hypothesis ad hoc. The teacher study revealed that computers were seldom used in physics teaching and that computer programs were in short supply. The use of a computer was considered time-consuming. As long as physics teaching with computer-based tools has to take place in special computer rooms, the use of such tools will remain limited. The affordance is enhanced when the physical dimensions as well as the performance of the computer are optimised. As a consequence, the computer then becomes a real learning tool for each pair of students, smoothly integrated into the ongoing teaching in the same space where teaching normally takes place. With more interactive support from the teacher, the computer-based parallel, dynamic representations will be efficient in promoting the learning process of the students with focus on qualitative reasoning - an often neglected part of the learning process of the students in upper secondary school physics.
Resumo:
Visual art practice has generally been described as a lonely affair, thinking about what an artist has experienced in the outside world. This study is an inquiry into a visual art practice of another kind: the relational one. The research purpose is twofold. The first purpose is to shed light on a visual artist’s conceptions of art, education and scholarship. The second purpose is to by reasoning on imagination and a rhizomatic formation interpret the relations created between art, multimodality and literacy learning as an aesthetic approach to education. By inquiry into a specific collaborated long-term art practice, the study conveys how the meaning making elements of an arts based learning practice gradually transform an artist’s and a teacher’s concepts of art education to an aesthetic approach to education. In the art practice examined the typical Finnish rye bread and a poem have represented a cultural theme that has been elaborated through art conventions. The poem and the rye bread have in the art practice been articulated as cultural representations of as well as symbolic projections on the Swedishspeaking minority culture in Finland. The study connects art informed inquiry to a hermeneutic research rationale where the research reasoning is generated through a rhizomatic alliance between empiric data and theories. The reasoning is constructed as an interpretation pattern that expands throughout the study. The study arguments that the rhizome as an aesthetic formation can be appropriate to refer to when articulating arts based meaning making and when creating arts based educational strategies, dialogues, aesthetic learning and multimodal literacy in education. The study investigates an aesthetic approach to research in education, which means that the art practice surveyed is interpreted through articulation appropriate to poetic aspects of art, education and research.
Resumo:
Earlier research has shown that strong experiences related to music (SEM) can occur in very different contexts and take on many different forms. Experiences like these seem significant and have among other things reportedly had an affect on the individual's continuing relationship towards music, which makes them interesting from a pedagogical point of view. Formal teaching situations, though, are under-represented in studies where people have been asked to describe strong experiences that they have had in connection with music. The purpose of my thesis is to investigate what SEM may mean to pupils and teachers in lower secondary school (grades 7-9), and to inquire more deeply into the potential "space" for such experiences within school music education. On a comprehensive level my ambition is to deepen the understanding for SEM as a possible element in pedagogical situations. Three empirical perspectives are employed: pupil-, teacher- and curriculum perspectives. The pupil perspective involved an analysis of written accounts of 166 fifteen-year-olds, describing own strong experiences. The teacher perspective involved studying 28 music teachers' conceptions of the purpose of teaching music in school as well as their understanding about strong music experiences in school context. Further, the teachers' descriptions of SEM that they have had themselves were analysed. The curriculum perspective is reflected through a study of how music experience was represented in 24 local and 2 national curriculum texts for music. Grounded in a phenomenological-hermeneutical perspective the material have been analyzed both qualitatively and quantitatively. The result points towards the fact that the music education in school has the potential to become an arena for SEM and that this can happen in relation to a multitude of activities and genres and take on many different expressions. Only one pupil referred to a musical encounter in the classroom environment; all other experiences that occurred inside the frame of school activity had taken place in other arenas (the school hall, public concert halls, and so on). However, more than 98 % of the descriptions concerned musical encounters in leisure time contexts. The significance of SEM is further clarified by narrative constructions. SEM as a conception does not occur on the curriculum level; however the analyze revealed a number of interesting "openings" which are illustrated. Even though all teachers displayed a fundamentally positive attitude towards the idea of regarding SEM as a feature of formal musical learning, it became clear that many teachers never had approached this theme from a pedagogical point of view before. Still, they proved to have an evident "familiarity" towards the phenomenon based on their own experiences of receptive and performative musical encounter. The possible space for strong musical experiences within school music education is specified through a detailed illustration of six specific themes derived from the reasoning of the teachers. Furthermore, this is described through a mapping of the potential experiencing zone, constructed from the teachers descriptions of educational aims.
Resumo:
Keskitaajuudella toimivia muuntajia käytetään laajalti tehoelektroniikkasovelluksissa kuten DC/DC-konverttereissa ja muissa hakkuriteholähteissä. Muuntaja on induktiivinen komponentti, jonka magneettisen tasapainon säilyttäminen hakkuriteholähteissä on laitteen virheettömän toiminnan kannalta tärkeää. Muuntajaa syöttävän virtapiirin on muodostettava symmetrinen syöttöjännite, jotta muuntajan vuo ei ajaudu positiiviseen tai negatiiviseen kyllästykseen. Tässä diplomityössä esitetään muuntajan sähkömagneettinen toimintaperiaate, kyllästymisen syyt hakkuriteholähteissä sekä kehitetään aktiivinen ohjaus vuotasapainon säilyttämiseksi. Hakkuriteholähteissä käytettävissä muuntajissa on monesti useampi kuin kaksi käämiä. Tässä työssä tutkittavassa muuntajassa on useita ensiöitä ja useita toisioita ja muuntajaa syötetään keskitaajuudella. Tämä tuo uusia ongelmia verrattuna perinteiseen yksivaiheiseen DC/DC-konvertteriin. Näihin ongelmiin esitetään ratkaisut diplomityön tutkimuksessa.
Resumo:
Työssä suunnitellaan kierrosnopeusmittauksen toteutus vanhaan Ford -teollisuusdieseliin käyttäen moottorin alkuperäistä kierrosnopeusanturia. Anturi kunnostetaan vaihtamalla vanha, palanut käämi uuteen digitaaliseen järjestelmään soveltuvaan käämiin. Sen toimin-ta halutulla kierrosnopeusalueella varmistetaan mittauksin ja tämän perusteella suunnitel-laan kytkentä sen liittämiseksi kierrosnopeuden laskevaan mikrokontrolleriin. Kytkennän toimivuutta testataan simuloimalla ennen prototyypin rakentamista. Erilaisia vaihtoehtoja analogisen näytön toteuttamiseksi tutkitaan ja niistä valitaan yksi ve-nekäyttöön soveltuva, joka toteutetaan järjestelmän näyttöratkaisuksi. Järjestelmälle suunnitellaan piirilevy, jolle prototyyppi kasataan. Mikrokontrollerille koodataan C -ohjelmointikielellä ohjelma, joka laskee dieselmoottorin kierrosnopeuden anturipulssien perusteella ja ohjaa näyttöä.
Resumo:
Djur och djurskyddet hör till ett rättsligt regleringsområde som inte varit föremål för omfattande rättsvetenskaplig forskning i vårt land även om intresset för djurs välbefinnande ökat både i samhället och inom EU. Avhandlingen har avfattats som en artikelavhandling och är en offentligrättslig studie om djurskyddslagstiftningen och förvaltningen av djurskyddsärenden i Finland. Tematiken har behandlats både ur djurens och djurens ägares eller innehavares synvinkel med utgångspunkt i djurskyddslagstiftningen och förvaltningen av djurskyddsärenden i Finland. Forskningen är fokuserad huvudsakligen på skyddet av och välbefinnandet hos produktions- och slaktdjur även om bland annat de begrepp som granskas också berör andra djurkategorier. De övergripande frågeställningarna i avhandlingen är två. För det första, vad är det som avses med djurs välbefinnande och skydd i regleringen av djurskyddet och för det andra, hur realiseras dessa i djurskyddsmyndigheternas förvaltningsverksamhet? I forskningen presenteras och diskuteras bland annat en ny begreppskonstruktion: djurs rättsliga välbefinnande. Den empiriska delen i avhandlingen omfattar förvaltningsverksamheten inom området av djurskydd under åren 1996–2006. Sammanlagt 10468 dokument som upprättats av djurskyddsmyndigheten i samband med verkställandet av djurskyddsövervakning ingår i undersökningen. Forskningen utmynnar i en åtgärdsförteckning med förslag till utvecklingen av området för djurskydd.
Resumo:
Tutkimus käynnistyi Maanpuolustuskorkeakoulun taktiikan laitoksen esittäessä aihepiiriä tutkittavaksi. Tutkimuksen tavoitteena on ollut lisätä tietämystä viestitaktiikan kehittymisestä yhtymän viestijärjestelmän käyttöönoton jälkeen 1980 – 2000-luvuilla osana operatiivistaktisten toimintaperiaatteiden ja -tapojen kehittymistä. Tutkimuksella on pyritty syventämään tietämystä taktisten periaatteiden muutoksista viestitaktiikan näkökulmasta. Tutkimuksessa tarkasteltiin maavoimien YVI-järjestelmillä varustettujen yhtymien viestitaktiikkaa sekä niissä tapahtuneita muutoksia. Muutoksia tarkasteltaessa tutkimuksessa keskityttiin käsitykseen viestitaktiikasta, viestitaktisiin periaatteisiin sekä viestipäällikköön ja hänen toimintakenttäänsä. Viestitaktisia periaatteita ja niissä tapahtuneita muutoksia vertailtiin myös yleisiin taktisiin periaatteisiin ja niiden painotuksissa tapahtuneisiin muutoksiin. Tutkimus on luonteeltaan kvalitatiivinen. Tutkimusongelmia lähestyttiin fenomenografisella tutkimusotteella, jossa tavoitteena on kuvailla, analysoida ja ymmärtää erilaisia käsityksiä ilmiöistä sekä käsitysten keskinäisistä suhteista. Lähdeaineiston muodostivat 18 viestitaktiikan asiantuntijan kokemusperäiset käsitykset viestitaktiikasta ja sen kehittymisestä YVIjärjestelmien käyttöönoton jälkeen. Käsityksistä muodostettiin merkitys- ja kuvauskategorioiden sekä tutkijan esiymmärryksen pohjalta induktiivisen päättelyn avulla tutkimuksen varsinaiset johtopäätökset. Tutkimushenkilöiden käsitysten sekä taktiikan ja viestitaktiikan aikaisempien määritelmien perusteella johtopäätöksenä määritettiin, että viestitaktiikka on tehtävän toteuttamiseen käytettävissä olevan viestillisen kapasiteetin optimaalista suunnittelua, soveltamista ja käyttöä viestivoimana haluttujen päämäärien saavuttamiseksi ja viestitaisteluiden voittamiseksi. Viestitaktikointi edellyttää viestitaisteluun liittyvien keinojen tuntemista sekä taitoa soveltaa niitä käytännössä. Tutkimustulosten perusteella keskeisiksi viestitaktisiksi periaatteiksi tärkeysjärjestyksessä muodostuivat - päämäärän ja tehtävän selkeys - varautuminen odottamattomiin tilanteen vaihteluihin - yksinkertaisuus - aktiivisuus ja oma-aloitteisuus. Keskeisiksi merkitystään lisänneiksi viestitaktisiksi periaatteiksi muodostuivat - voimien vaikutuksen keskittäminen - joukkojen ja voimien jakaminen (reservi) - varautuminen odottamattomiin tilanteen vaihteluihin - salaaminen ja harhauttaminen - turvallisuus. Selkeimpänä viestipäällikön tehtävien muutoksena pidettiin siirtymistä yksityiskohtaisesta viestiyhteyksien suunnittelijasta kokonaisvaltaiseksi yhtymän viestitoiminnan johtajaksi. Tutkimustulosten ja aikaisempien määritelmien perusteella johtopäätöksenä määritettiin, että viestipäällikkö johtaa yhtymän viestitoimintaa komentajan antamien vaatimusten mukaisesti ja vastaa yhtymän johtoryhmän jäsenenä viestitaktisista ratkaisuista haluttujen päämäärien saavuttamiseksi ja viestitaisteluiden voittamiseksi. Viestipäälliköltä edellytetään viestitaisteluun liittyvien keinojen tuntemista sekä taitoa soveltaa niitä käytännössä. Tutkimuksen mukaan yhtymän viestitaktiikkaan merkittävimmin vaikuttaneita tekijöitä olivat yhtymän viestijärjestelmien käyttöönotto, uusien esikunta- ja viestiyksiköiden kehittäminen, kiinteän viestiverkon ja johtamisjärjestelmäalan merkityksen kasvaminen, käytettävien tekniikoiden kehittyminen sekä joukkojen ja johtoportaiden tiedonsiirtotarpeiden kasvaminen. Viestitaktiikan osalta voidaan todeta deterministisen näkemyksen taistelusta ja taistelutilasta muuttuneen yleisten taktisten periaatteiden muutosten mukaisesti aikaisempaa monimuotoisempaan ja rohkeampaan, voluntaarisempaan, suuntaan.
Resumo:
Kirjallisuusarvostelu
Resumo:
The aim of this study is to form the experience-based knowledge of diabetics. The broader intent is to be able to transform this experience-based knowledge as an asset within caring. In this study, a theoretical contact for the empirical data is presented through phronesis, i.e. practical wisdom. Phronesis can be seen as the most suitable form of knowledge to be able to deepen the individual's understanding of experiencebased knowledge. For this research, hermeneutic phenomenology was chosen. Abductive reasoning was the method chosen to approach the data collected through repeated deep interviews with individuals with personal experience of diabetes and the use of insulin pumps. The abductive approach fascilitates a broader interpretation of the primary empirical results via a theory of philosophy of science, such as phronesis, the life-world and the negativity of the experience. The latent message of the empirical data is thereby also additionally highlighted. The synthesis reveals that experience-based knowledge arrives with time, it is personified and praxis-oriented, and before this time, the knowledge and security must be provided by the established care, by people close to the individual or by other external sources. The experience-based knowledge has strenghts and weaknesses. The knowledge is further categorized by the individual's ability to discern and make judgement. Additionally, the experience-based kowledge is a reflecting and action-based knowledge striving to improve the care provided. The experience-based knowledge held by the individual is potentially a great instrument towards improving general knowledge with possible practical applications within the diabetic care. Furthermost, in practical suggestions to fascilitate care. In generally applying knowledge gathered from the individual's experiental point of view, there are inherent risks. These risks could potentially be eliminated through the adoption of a concept where the established care could function as a quality guarantor. A concept taking into account the experiencebased knowledge as a source of information and knowledge in the care for diabetics. Co-created knowledge and understanding is a position found in both self-care and pump-treatment. It is also found through the optimal application of the experience-based knowledge of the individual as well as the knowledge found within the established care, in order to fascilitate well-being. This as expressed by the individual's phronesis-based knowledge.
Resumo:
As this is a dissertation, an academic thesis, it is important to define the objectives of my research, even if ex post facto, explicitly: - To define, develop and study the concept of business and leadership ethics. - To empirically study the phenomena associated with business and leadership from an ethical perspective. - To create a new framework for the development of responsible business. - To create an “acid test” for my body of works, i.e. a test and an evaluation on how well my research and ideas hold up under academic philosophical reflection. The utilitarian reasoning had the most support when the actors justified their actions regarding economic benefit. (=instrumental good). Duty and benefit were often mixed up in people’s speech. Their meaning contents were blurred and the argumentation lines created by the actors were broken. This can be interpreted in a way that supports Frankena’s mixed deontological philosophy as a frame of reference. Deontologica reasoning was used e.g. in describing the personnel management processes of a company. Virtue ethics is a favourable starting point for studying management and leadership ethics. All the actors studied could name virtues for their operations, towards which to aspire to. They also named professional practices already in use that they considered to be virtuous. Finally, I wish to state that normative ethics is an important branch of philosophical ethics, if also very important in applied ethics especially. From the normative standpoint, the results of this dissertation want to lead nations, communities and individuals towards the virtues of democratic leadership and sustainable economic development.
Resumo:
This thesis focuses on integration in project business, i.e. how projectbased companies organize their product and process structures when they deliver industrial solutions to their customers. The customers that invest in these solutions run their businesses in different geographical, political and economical environments, which should be acknowledged by the supplier when providing solutions comprising of larger and more complex scopes than previously supplied to these customers. This means that the suppliers are increasing their supply range by taking over some of the activities in the value chain that have traditionally been handled by the customer. In order to be able to provide the functioning solutions, including more engineering hours, technical equipment and a wider project network, a change is needed in the mindset in order to be able to carry out and take the required responsibility that these new approaches bring. For the supplier it is important to be able to integrate technical products, systems and services, but the supplier also needs to have the capabilities to integrate the cross-functional organizations and departments in the project network, the knowledge and information between and within these organizations and departments, along with inputs from the customer into the product and process structures during the lifecycle of the project under development. Hence, the main objective of this thesis is to explore the challenges of integration that industrial projects meet, and based on that, to suggest a concept of how to manage integration in project business by making use of integration mechanisms. Integration is considered the essential process for accomplishing an industrial project, whereas the accomplishment of the industrial project is considered to be the result of the integration. The thesis consists of an extended summary and four papers, that are based on three studies in which integration mechanisms for value creation in industrial project networks and the management of integration in project business have been explored. The research is based on an inductive approach where in particular the design, commissioning and operations functions of industrial projects have been studied, addressing entire project life-cycles. The studies have been conducted in the shipbuilding and power generation industries where the scopes of supply consist of stand-alone equipment, equipment and engineering, and turnkey solutions. These industrial solutions include demanding efforts in engineering and organization. Addressing the calls for more studies on the evolving value chains of integrated solutions, mechanisms for inter- and intra-organizational integration and subsequent value creation in project networks have been explored. The research results in thirteen integration mechanisms and a typology for integration is proposed. Managing integration consists of integrating the project network (the supplier and the sub-suppliers) and the customer (the customer’s business purpose, operations environment and the end-user) into the project by making use of integration mechanisms. The findings bring new insight into research on industrial project business by proposing integration of technology and engineering related elements with elements related to customer oriented business performance in contemporary project environments. Thirteen mechanisms for combining products and the processes needed to deliver projects are described and categorized according to the impact that they have on the management of knowledge and information. These mechanisms directly relate to the performance of the supplier, and consequently to the functioning of the solution that the project provides. This thesis offers ways to promote integration of knowledge and information during the lifecycle of industrial projects, enhancing the development towards innovative solutions in project business.
Resumo:
Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.
Resumo:
Hoitotyössä infektioiden torjunnan painopistealueena on ollut lisätä potilaiden osallistuvuutta voimavaraistavalla potilasohjauksella. Potilasohjauksen apuna käytetään usein kirjallisia potilasohjeita, joiden rakenne ja laatu tulee olla hyvä. Lisäksi potilasohjeiden tulee omata valmiuksia tukea voimavaraistavaa potilasohjausta. Kirjalliset potilasohjeet ovat hyvä potilasohjauksen keino, mutta systemaattinen tieto potilasohjeiden laadusta, valmiuksista tukea voimavaraistavaa potilasohjausta sekä infektioiden torjunnan sisällöstä puuttuu. Tutkimuksen tarkoituksena oli analysoida Suomen yliopistosairaaloiden kirurgisten potilasohjeiden infektioiden torjuntaan liittyvää sisältöä. Lisäksi oltiin kiinnostuneita potilasohjeiden laadusta hyvien kirjallisten potilasohjeiden ominaispiirteiden toteutumisessa sekä potilasohjeiden valmiuksista tukea voimavaraistavaa potilasohjausta. Tutkimuksen aineistona oli viiden yliopistosairaalan kirurgisille aikuispotilaille tarkoitetut potilasohjeet (N = 237). Organisaatioittain joka viides potilasohje (n = 50) analysoitiin potilasohjeiden laadun osalta sisällönerittelyllä ja aikaisemmin kehitetyn mittarin avulla (Salanterä ym. 2004). Deduktiivisella sisällönanalyysillä analysoitiin potilasohjeiden valmiuksia tukea voimavaraistavaa potilasohjausta, jonka ulottuvuuksien esiintyvyyden arviointiasteikko oli kehitetty tätä tutkimusta varten. Induktiivisella sisällönerittelyllä analysoitiin infektioiden torjuntaan liittyvä sisältö. Potilasohjeiden laadussa oli paljon vaihtelua, ja vain 36 % (n = 18) potilasohjeista oli julkaistu viimeisen kolmen vuoden (2010–2012) aikana. Potilasohjeet olivat ulkoasultaan selkeitä ja johdonmukaisia, jolloin kirjallisten potilasohjeiden ominaisuuksista parhaiten toteutuivat ulkoasun sekä kielen ja rakenteen ominaisuudet. Potilasohjeet kuvasivat toimenpidettä ja siitä selviytymistä, antaen parhaiten valmiuksia tukea toiminnallista ja bio-fysiologista selviytymistä potilasohjauksella. Infektioiden torjuntaan liittyvä sisältö oli pääasiassa esitetty epäsuorasti toisen asian kautta. Infektioiden syntyyn tai torjuntaan ei viitattu, vaan asiaa tarkasteltiin muusta näkökulmasta esimerkiksi ylipainon ja ihon kunnon osalta. Yleisin infektioiden torjuntaan liittyvä sisältö koski käsihygieniaa, vaikka sen toteuttamista ei opastettu tai ohjeistettu. Tutkimus tarjoaa lähtökohdan kehittää potilasohjeiden infektioiden torjuntaan liittyvää sisältöä sekä potilaan osallistuvuuden lisäämistä. Erityisesti tulisi kehittää potilaan osallistuvuuden tukemista voimavaraistavalla potilasohjauksella. Jatkotutkimuksena tulisi kartoittaa potilaiden tarpeet infektioiden torjunnan sisällöstä sekä kehittää kansallinen ohjeistus potilasohjeiden infektioon torjuntaan liittyvästä sisällöstä ja rakenteesta.