877 resultados para Indutive 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:
Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.
Resumo:
ABSTRACT When Hume, in the Treatise on Human Nature, began his examination of the relation of cause and effect, in particular, of the idea of necessary connection which is its essential constituent, he identified two preliminary questions that should guide his research: (1) For what reason we pronounce it necessary that every thing whose existence has a beginning should also have a cause and (2) Why we conclude that such particular causes must necessarily have such particular effects? (1.3.2, 14-15) Hume observes that our belief in these principles can result neither from an intuitive grasp of their truth nor from a reasoning that could establish them by demonstrative means. In particular, with respect to the first, Hume examines and rejects some arguments with which Locke, Hobbes and Clarke tried to demonstrate it, and suggests, by exclusion, that the belief that we place on it can only come from experience. Somewhat surprisingly, however, Hume does not proceed to show how that derivation of experience could be made, but proposes instead to move directly to an examination of the second principle, saying that, "perhaps, be found in the end, that the same answer will serve for both questions" (1.3.3, 9). Hume's answer to the second question is well known, but the first question is never answered in the rest of the Treatise, and it is even doubtful that it could be, which would explain why Hume has simply chosen to remove any mention of it when he recompiled his theses on causation in the Enquiry concerning Human Understanding. Given this situation, an interesting question that naturally arises is to investigate the relations of logical or conceptual implication between these two principles. Hume seems to have thought that an answer to (2) would also be sufficient to provide an answer to (1). Henry Allison, in his turn, argued (in Custom and Reason in Hume, p. 94-97) that the two questions are logically independent. My proposal here is to try to show that there is indeed a logical dependency between them, but the implication is, rather, from (1) to (2). If accepted, this result may be particularly interesting for an interpretation of the scope of the so-called "Kant's reply to Hume" in the Second Analogy of Experience, which is structured as a proof of the a priori character of (1), but whose implications for (2) remain controversial.
Resumo:
Abstract BRICS has philosophical significance. It creates new pressure on cross-cultural skill. This is analysed here as requiring transduction: a variety of defeasible practical reasoning. This replaces a simplistic model of the relation between knowledge and action with a more realistic and contemporary model. The transduction format has utility in cross-cultural training.
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:
The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.
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:
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:
The objective of this review on the investigation of "cara inchada" in cattle (CI), pursued over the last 30 years, was to elucidate the pathogenicity of the disease and come to proper conclusions on its etiology. CI has been widely considered to be of nutritional origin, caused primarily by mineral deficiency or imbalance. However, the disease consists of a rapidly progressive periodontitis, affecting the periodontal tissues at the level of the premolars and molars during the period of tooth eruption generally starting in young calves. The disease led to great economic losses for farmers in central-western Brazil, after the occupation of new land for cattle raising in the 1960s and 1970s. The lateral enlargement of the maxillary bones of affected calves gave the disease the popular name of "cara inchada", i.e., swollen or enlarged face. The enlargement was found to be due to a chronic ossifying periostitis resulting from the purulent alveolitis of CI. Black-pigmented non-saccharolytic Bacteroides melaninogenicus, always together with Actinomyces (Corynebacterium) pyogenes, were isolated in large numbers from the periodontal lesions. B. melaninogenicus could be isolated in small numbers also from the marginal gingiva of a few healthy calves maintained on CI-free farms. "In vitro"-assays showed that streptomycin and actinomycin, as well as the supernatants of cultivates of actinomycetes from soils of CI-prone farms, applied in subinhibitory concentrations to the bacteria tested, enhanced significantly (up to 10 times) the adherence of the black-pigmented B.melaninogenicus to epithelial cells of the bovine gingiva. The antibiotics are apparently produced in large quantities by the increased number of soil actinomycetes, including the genus Streptomyces, that develop when soil microflora are modified by cultivating virgin forest or "Cerrado" (tree-savanna) for the first time for cattle grazing. The epidemiology of CI now provides strong evidence that the ingestion with the forage of such antibiotics could possibly be an important determinant factor for the onset and development of this infectious periodontitis. The antibiotic enhanced adherence of B.melaninogenicus to the sulcus-epithelium of the marginal gingiva, is thought to allow it to colonize, form a plaque and become pathogenic. There is experimental evidence that this determinant factor for the development of the periodontitis is present also in the milk of the mothers of CI-diseased calves. It has been shown that the bacteria isolated from the periodontal CI-lesions produce enzymes and endotoxins capable of destroying the periodontal tissues. The epidemiology of CI, with its decline in incidence and its disappearance after several years, could be explained by the fact that the former equilibrium of the microflora of the once undisturbed virgin soil has been reached again and that the number of antibiotic producing actinomycetes has been anew reduced. By this reasoning and all the data available, CI should be considered as a multifactorial infectious disease, caused primarily by the anaerobic black-pigmented non-saccharolytic Bacteroides melaninogenicus, always together with the micro-anaerobic Actinomyces pyogenes. Accordingly, the onset and development of the infectious periodontitis is apparently determined by ingestion with the forage of subinhibitory concentrations of antibiotics produced in recently cultivated virgin soils. This hypothesis is supported by the recent observation of renewed outbreaks of CI-periodontitis in former CI-prone areas, following fresh cultivation after many years. The infectious nature of CI is confirmed by trials in which virginiamycin was used efficiently for the oral treatment of CI-diseased cattle. Previously it has been shown, that spiramycin and virginiamycin, used as additives in mineral supplements, prevented CI-periodontitis.