Recuperação de compostos de iodo de reagentes e soluções laboratoriais

This work presents simple routes to recover iodine compounds from oxidized laboratory chemicals and aqueous solutions (HI and KI) used in laboratory chemistry classes. These routes are based on the oxidation of iodide ions (I-) to iodine (I2) by an oxidant (H2O2) or reduction of oxidized iodine by red phosphorus or hydrazine. Both routes presented high yields. The oxidative route is of general use whereas the reductive one is appropriate for restoring original iodine reagents. Final wastes were generated in low amounts. This work is appropriate for teaching many laboratory techniques (e.g., distillation, titration and filtration) in the chemical laboratory.

ENZYMATIC RESOLUTION OF ANTIDEPRESSANT DRUG PRECURSORS IN AN UNDERGRADUATE LABORATORY

The use of biocatalysts in synthetic chemistry is a conventional methodology for preparing enantiomerically enriched compounds. Despite this fact, the number of experiments in chemical teaching laboratories that demonstrate the potential of enzymes in synthetic organic chemistry is limited. We describe a laboratory experiment in which students synthesized a chiral secondary alcohol that can be used in the preparation of antidepressant drugs. This experiment was conducted by individual students as part of a Drug Synthesis course held at the Pharmacy Faculty, Lisbon University. This laboratory experiment requires six laboratory periods, each lasting four hours. During the first four laboratory periods, students synthesized and characterized a racemic ester using nuclear magnetic resonance spectroscopy and gas chromatography. During the last two laboratory periods, they performed enzymatic hydrolysis resolution of the racemic ester using Candida antarctica lipase B to yield enantiomerically enriched secondary alcohol. Students successfully prepared the racemic ester with a 70%-81% overall yield in three steps. The enzymatic hydrolysis afforded (R)- secondary alcohol with good enantioselectivity (90%-95%) and reasonable yields (10%-19%). In these experiments, students were exposed to theoretical and practical concepts of aromatic acylation, ketone reduction, esterification, and enzymatic hydrolysis.

A study of combustion phenomena in circulating fluidized beds by developing and applying experimental and modelling methods for laboratory-scale reactors

The results shown in this thesis are based on selected publications of the 2000s decade. The work was carried out in several national and EC funded public research projects and in close cooperation with industrial partners. The main objective of the thesis was to study and quantify the most important phenomena of circulating fluidized bed combustors by developing and applying proper experimental and modelling methods using laboratory scale equipments. An understanding of the phenomena plays an essential role in the development of combustion and emission performance, and the availability and controls of CFB boilers. Experimental procedures to study fuel combustion behaviour under CFB conditions are presented in the thesis. Steady state and dynamic measurements under well controlled conditions were carried out to produce the data needed for the development of high efficiency, utility scale CFB technology. The importance of combustion control and furnace dynamics is emphasized when CFB boilers are scaled up with a once through steam cycle. Qualitative information on fuel combustion characteristics was obtained directly by comparing flue gas oxygen responses during the impulse change experiments with fuel feed. A one-dimensional, time dependent model was developed to analyse the measurement data Emission formation was studied combined with fuel combustion behaviour. Correlations were developed for NO, N2O, CO and char loading, as a function of temperature and oxygen concentration in the bed area. An online method to characterize char loading under CFB conditions was developed and validated with the pilot scale CFB tests. Finally, a new method to control air and fuel feeds in CFB combustion was introduced. The method is based on models and an analysis of the fluctuation of the flue gas oxygen concentration. The effect of high oxygen concentrations on fuel combustion behaviour was also studied to evaluate the potential of CFB boilers to apply oxygenfiring technology to CCS. In future studies, it will be necessary to go through the whole scale up chain from laboratory phenomena devices through pilot scale test rigs to large scale, commercial boilers in order to validate the applicability and scalability of the, results. This thesis shows the chain between the laboratory scale phenomena test rig (bench scale) and the CFB process test rig (pilot). CFB technology has been scaled up successfully from an industrial scale to a utility scale during the last decade. The work shown in the thesis, for its part, has supported the development by producing new detailed information on combustion under CFB conditions.

Tool-supported invariant-based programming

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.

Teaching mathematics and programming : new approaches with empirical evaluation

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.

Integrating environmental education in primary school education in Tanzania : teachers’ perceptions and teaching practices

The study focuses on primary school teachers’ perceptions of environmental education, its integration into primary school education and teachers’ teaching practices in Tanzania. The thesis is based on empirical research. The theoretical underpinnings of the study are based on Palmer’s (1998) model of environmental education. According to the model, meaningful environmental education should include education about, in or through and for the environment. The study is supported by national and international literature from research done on environmental education and education for sustainable development and policy statements. The study is qualitative in nature, adopting phenomenography and phenomenology as points of departure. The empirical data was collected from four primary schools in Morogoro region in Tanzania. The study sample consisted of 31 primary school teachers. Data was collected through interviews and lesson observations. According to the results of the study, primary school teachers expressed variations in their perceptions of environmental education and education for sustainable development. Most of the teachers focused on the aspect of knowledge acquisition. According to Tanzanian education and training policy, environmental education has to be integrated into all subjects. Although there is environmental education in the primary school curriculum, it is not integrated on an equal footing in all subjects. Some subjects like science, social studies and geography have more environmental content than other subjects. Teachers claim that the approach used to integrate environmental education into the school curriculum was not favoured because many claimed that what is to be taught as environmental education in the various subjects is not shown clearly. As a result, many teachers suggested that to ensure that it is taught properly it should be included in the curriculum as an independent subject or as specific topics. The study revealed that teachers’ teaching practices in integrating environmental education varied from one subject to another. Although most of the teachers said that they used participatory methods, lesson observations showed that they limited themselves to question and answer and group discussion. However, the teachers faced a number of barriers in the teaching of environmental education, some of which include lack of teaching and learning resources, time and large class size. The role of teachers in the implementation of environmental education in developing an environmentally literate citizenry is of great significance. The responsibility of the government in developing a curriculum with clear goals and content, developing teachers’ capacity in the teaching of environmental education and provision of teaching and learning materials needs to be taken seriously by the government in educational plans and programs.

Learning through role-playing games: an approach for active learning and teaching

This study evaluates the use of role-playing games (RPGs) as a methodological approach for teaching cellular biology, assessing student satisfaction, learning outcomes, and retention of acquired knowledge. First-year undergraduate medical students at two Brazilian public universities attended either an RPG-based class (RPG group) or a lecture (lecture-based group) on topics related to cellular biology. Pre- and post-RPG-based class questionnaires were compared to scores in regular exams and in an unannounced test one year later to assess students' attitudes and learning. From the 230 students that attended the RPG classes, 78.4% responded that the RPG-based classes were an effective tool for learning; 55.4% thought that such classes were better than lectures but did not replace them; and 81% responded that they would use this method. The lecture-based group achieved a higher grade in 1 of 14 regular exam questions. In the medium-term evaluation (one year later), the RPG group scored higher in 2 of 12 questions. RPG classes are thus quantitatively as effective as formal lectures, are well accepted by students, and may serve as educational tools, giving students the chance to learn actively and potentially retain the acquired knowledge more efficiently.

Frequency-Domain and Wide-Pulse Time-Domain Measurements of Lanthanide Luminescence and Lanthanide-Based Resonance Energy Transfer

Resonance energy transfer (RET) is a non-radiative transfer of the excitation energy from the initially excited luminescent donor to an acceptor. The requirements for the resonance energy transfer are: i) the spectral overlap between the donor emission spectrum and the acceptor absorption spectrum, ii) the close proximity of the donor and the acceptor, and iii) the suitable relative orientations of the donor emission and the acceptor absorption transition dipoles. As a result of the RET process the donor luminescence intensity and the donor lifetime are decreased. If the acceptor is luminescent, a sensitized acceptor emission appears. The rate of RET depends strongly on the donor–acceptor distance (r) and is inversely proportional to r6. The distance dependence of RET is utilized in binding assays. The proximity requirement and the selective detection of the RET-modified emission signal allow homogeneous separation free assays. The term lanthanide-based RET is used when luminescent lanthanide compounds are used as donors. The long luminescence lifetimes, the large Stokes’ shifts and the intense, sharply-spiked emission spectra of the lanthanide donors offer advantages over the conventional organic donor molecules. Both the organic lanthanide chelates and the inorganic up-converting phosphor (UCP) particles have been used as donor labels in the RET based binding assays. In the present work lanthanide luminescence and lanthanide-based resonance energy transfer phenomena were studied. Luminescence lifetime measurements had an essential role in the research. Modular frequency-domain and time-domain luminometers were assembled and used successfully in the lifetime measurements. The frequency-domain luminometer operated in the low frequency domain ( 100 kHz) and utilized a novel dual-phase lock-in detection of the luminescence. One of the studied phenomena was the recently discovered non-overlapping fluorescence resonance energy transfer (nFRET). The studied properties were the distance and temperature dependences of nFRET. The distance dependence was found to deviate from the Förster theory and a clear temperature dependence was observed whereas conventional RET was completely independent of the temperature. Based on the experimental results two thermally activated mechanisms were proposed for the nFRET process. The work with the UCP particles involved the measurement of the luminescence properties of the UCP particles synthesized in our laboratory. The goal of the UCP particle research is to develop UCP donor labels for binding assays. In the present work the effect of the dopant concentrations and the core–shell structure on the total up-conversion luminescence intensity, the red–green emission ratio, and the luminescence lifetime was studied. Also the non-radiative nature of the energy transfer from the UCP particle donors to organic acceptors was demonstrated for the first time in aqueous environment and with a controlled donor–acceptor distance.

Poster presentation as a report of a self-designed laboratory experiment : a case study

Julkaisumaa: 203 CZ CZE Tšekki

Development and evaluation of a loop-mediated isothermal amplification (LAMP) assay for rapid detection of Actinobacillus pleuropneumoniae based the dsbE-like gene

This paper reports on the development and validation of a loop-mediated isothermal amplification assay (LAMP) for the rapid and specific detection of Actinobacillus pleuropneumoniae (A. pleuropneumoniae). A set of six primers were designed derived from the dsbE-like gene of A.pleuropneumoniae and validate the assay using 9 A. pleuropneumoniae reference/field strains, 132 clinical isolates and 9 other pathogens. The results indicated that positive reactions were confirmed for all A. pleuropneumoniae strains and specimens by LAMP at 63ºC for 60 min and no cross-reactivity were observed from other non-A.pleuropneumoniae including Haemophilus parasuis, Escherichia coli, Pasteurella multocida, Bordetella bronchiseptica, Streptococcus suis, Salmonella enterica, Staphylococcus, porcine reproductive and respiratory syndrome virus (PRRSV), and Pseudorabies virus. The detection limit of the conventional PCR was 10² CFU per PCR test tube, while that of the LAMP was 5 copies per tube. Therefore, the sensitivity of LAMP was higher than that of PCR. Moreover, the LAMP assay provided a rapid yet simple test of A. pleuropneumoniae suitable for laboratory diagnosis and pen-side detection due to ease of operation and the requirement of only a regular water bath or heat block for the reaction.

Molecular diagnosis of Anaplasma marginale in cattle: quantitative evaluation of a real-time PCR (Polymerase Chain Reaction) based on msp5 gene

The rickettsia Anaplasma marginale is considered the main agent of bovine anaplasmosis. Due the nonspecific clinical signs of the anaplasmosis, the diagnosis of infection depends of laboratory confirmation. In recent years, molecular diagnostic methods have been used to detect A. marginale in cattle. However, the existence of a large number of assays of different sensitivity and cost makes the choice of an appropriate test difficult. In the present study, a real-time Polymerase Chain Reaction (PCR) based on the msp5 target gene was quantitatively assessed and compared to an end point PCR. Both reactions were subjected to sensitivity and specificity evaluation using plasmid DNA and samples from cattle experimentally infected with A. marginale. A comparative field trial of the tests was carried out using samples of cattle from a stable enzootic area for A. marginale. The real-time PCR showed a higher sensitivity than the end point PCR. This reaction (i.e. real-time PCR) was able to detect one copy of the msp5 gene in 100 ηg of plasmidial DNA, and more than 80% of its results were positive among experimentally infected animals seven days after infection. In addition, based on in silico analysis, the real-time PCR evaluated in the present study appears to be useful for the detection of A. ovis.

The nature of communication structures of university students in an international web-based computer-supported collaborative learning (CSCL) course

Communication, the flow of ideas and information between individuals in a social context, is the heart of educational experience. Constructivism and constructivist theories form the foundation for the collaborative learning processes of creating and sharing meaning in online educational contexts. The Learning and Collaboration in Technology-enhanced Contexts (LeCoTec) course comprised of 66 participants drawn from four European universities (Oulu, Turku, Ghent and Ramon Llull). These participants were split into 15 groups with the express aim of learning about computer-supported collaborative learning (CSCL). The Community of Inquiry model (social, cognitive and teaching presences) provided the content and tools for learning and researching the collaborative interactions in this environment. The sampled comments from the collaborative phase were collected and analyzed at chain-level and group-level, with the aim of identifying the various message types that sustained high learning outcomes. Furthermore, the Social Network Analysis helped to view the density of whole group interactions, as well as the popular and active members within the highly collaborating groups. It was observed that long chains occur in groups having high quality outcomes. These chains were also characterized by Social, Interactivity, Administrative and Content comment-types. In addition, high outcomes were realized from the high interactive cases and high-density groups. In low interactive groups, commenting patterned around the one or two central group members. In conclusion, future online environments should support high-order learning and develop greater metacognition and self-regulation. Moreover, such an environment, with a wide variety of problem solving tools, would enhance interactivity.

Sport-based corporate social responsibility in European professional football

In the past few decades, sport has become a major business with remarkable international reach. As part of the commercial sector of sport, professional sport is said to be intrinsically different from other businesses due to its unique characteristics, such as the peculiar economics and the intense loyalty of fans. Simultaneously with the growing business aspect, sport continues to have great social and cultural impacts on our society. Sport has also become an increasingly popular means of attending social problems due to its alleged suitability for such purposes and its popular appeal. A great number of actors in the professional sport industry have long been involved in socially responsible activities, many of which have been sport-related. While Corporate Social Responsibility (CSR) has been extensively studied in general, its role in the professional sport industry has received less attention in the academic research until recently. It has been argued that due to the unique characteristics of professional sport, CSR should also be studied in this particular context. The objective of this study was to contribute to filling the research gap and increase the understanding of CSR in the context of professional sport by examining sport-related CSR realized by professional football clubs in Europe. The theoretical part of this study leaned on previous literature about using sport as a means of attending social issues and the role of CSR in professional sport industry. The empirical part of the study was carried out through web site analyses and interviews. The clubs to be examined were chosen by using purposive sampling technique and taking into consideration the accessibility and suitability of information the clubs could offer. The method used for analyzing the data was qualitative content analysis. The empirical findings were largely in line with the theoretical framework of the study. The sportrelated CSR of the clubs was concentrated on teaching the participants diverse skills and values, improving their health, encouraging social inclusion, supporting disabled people, and promoting overall participation in sport. The clubs also emphasized the importance of local communities as targets of their CSR. CSR had been an integral part of the clubs’ activities from the beginning, but there were remarkable differences between large and small clubs in terms of structured organization and realization of their CSR. Measuring and evaluation of CSR appeared to be a challenge for most clubs regardless of their size and resources. The motives for the clubs to engage in CSR seemed to be related to the clubs’ values or to their stakeholders’ interests. In general, the clubs’ CSR went beyond what the society is likely to expect from them in legal or ethical sense.

Mathematical modeling of laboratory scale three-phase fixed bed reactors

Detta arbete fokuserar på modellering av katalytiska gas-vätskereaktioner som genomförs i kontinuerliga packade bäddar. Katalyserade gas-vätskereaktioner hör till de mest typiska reaktionerna i kemisk industri; därför behandlas här packade bäddreaktorer som ett av de populäraste alternativen, då kontinuerlig drift eftersträvas. Tack vare en stor katalysatormängd per volym har de en kompakt struktur, separering av katalysatorn behövs inte och genom en professionell design kan den mest fördelaktiga strömningsbilden upprätthållas i reaktorn. Packade bäddreaktorer är attraktiva p.g.a. lägre investerings- och driftskostnader. Även om packade bäddar används intensivt i industri, är det mycket utmanande att modellera. Detta beror på att tre faser samexisterar och systemets geometri är komplicerad. Existensen av flera reaktioner gör den matematiska modelleringen även mera krävande. Många förenklingar blir därmed nödvändiga. Modellerna involverar typiskt flera parametrar som skall justeras på basis av experimentella data. I detta arbete studerades fem olika reaktionssystem. Systemen hade studerats experimentellt i vårt laboratorium med målet att nå en hög produktivitet och selektivitet genom ett optimalt val av katalysatorer och driftsbetingelser. Hydrering av citral, dekarboxylering av fettsyror, direkt syntes av väteperoxid samt hydrering av sockermonomererna glukos och arabinos användes som exempelsystem. Även om dessa system hade mycket gemensamt, hade de också unika egenskaper och krävde därför en skräddarsydd matematisk behandling. Citralhydrering var ett system med en dominerande huvudreaktion som producerar citronellal och citronellol som huvudprodukter. Produkterna används som en citrondoftande komponent i parfymer, tvålar och tvättmedel samt som plattform-kemikalier. Dekarboxylering av stearinsyra var ett specialfall, för vilket en reaktionsväg för produktion av långkedjade kolväten utgående från fettsyror söktes. En synnerligen hög produktselektivitet var karakteristisk för detta system. Även processuppskalning modellerades för dekarboxylerings-reaktionen. Direkt syntes av väteperoxid hade som målsättning att framta en förenklad process att producera väteperoxid genom att låta upplöst väte och syre reagera direkt i ett lämpligt lösningsmedel på en aktiv fast katalysator. I detta system förekommer tre bireaktioner, vilka ger vatten som oönskad produkt. Alla dessa tre reaktioner modellerades matematiskt med hjälp av dynamiska massbalanser. Målet med hydrering av glukos och arabinos är att framställa produkter med en hög förädlingsgrad, nämligen sockeralkoholer, genom katalytisk hydrering. För dessa två system löstes ämnesmängd- och energibalanserna simultant för att evaluera effekter inne i porösa katalysatorpartiklar. Impulsbalanser som bestämmer strömningsbetingelser inne i en kemisk reaktor, ersattes i alla modelleringsstudier med semi-empiriska korrelationsuttryck för vätskans volymandel och tryckförlust och med axiell dispersionsmodell för beskrivning av omblandningseffekter. Genom att justera modellens parametrar kunde reaktorns beteende beskrivas väl. Alla experiment var genomförda i laboratorieskala. En stor mängd av kopplade effekter samexisterade: reaktionskinetik inklusive adsorption, katalysatordeaktivering, mass- och värmeöverföring samt strömningsrelaterade effekter. En del av dessa effekter kunde studeras separat (t.ex. dispersionseffekter och bireaktioner). Inverkan av vissa fenomen kunde ibland minimeras genom en noggrann planering av experimenten. På detta sätt kunde förenklingar i modellerna bättre motiveras. Alla system som studerades var industriellt relevanta. Utveckling av nya, förenklade produktionsteknologier för existerande kemiska komponenter eller nya komponenter är ett gigantiskt uppdrag. Studierna som presenterades här fokuserade på en av den teknisk-vetenskapliga utfärdens första etapper.