Aaltovoimalaitteen toimintaperiaatteen analysointi

Diplomityö tehtiin Wello Oy:n toimeksiannosta. Wello Oy on vesi- ja tuulivoimaratkaisuihin keskittynyt yritys, joka kehittää aaltovoimalaitekonseptia. Työssä selvitettiin aaltovoimaan liittyviä ilmiöitä ja aaltovoimalaitteen mekaanista konseptia ja tehtiin arvio niiden tehokkuudesta. Työssä käytettiin kaupallisia simulointityökaluja kuten monikappaledynamiikan simulointiohjelmaa MSC.ADAMS R3:a ja yleistä matematiikka ohjelmaa Matlab Simulink:ia. Simulointimallia käytettiin arvioimaan laitteen yleistä käyttäytymistä. Lisäksi laitteen analyyttisiä malleja käytettiin laitteen toimintaperiaatteen selvitykseen. Simulointia käytettiin kelluvan laitteen mekanismin tutkimukseen. Tuloksiin pohjautuen laitteelle määriteltiin teoreettiset maksimiteho rajat ja rajoitteet, jotka vaikuttavat laitteen tehokkuuteen.

Estudo de liberação e permeação in vitro do diclofenaco de dietilamônio em microemulsão gel-like

The goal of this study was to produce and characterize a new microemulsion gel-like carrier system (MEG) by using the pseudo-ternary phase-diagram concept. The diclofenac diethylamine (DDA) was incorporated in the MEG and its in vitro release and permeation profiles were performed using Franz-type diffusion cells. The results revealed that the commercial DDA emulgel provided significantly higher Kp of DDA (2.2-fold) as compared to the MEG. Similar data were obtained in the permeation studies in which DDA Kp 4.7-fold higher. Therefore, MEG presents higher potential as a topical delivery system for DDA when compared to the commercial DDA emulgel.

Caracterização da fusão peritética do cloreto de sódio di-hidratado por curvas de aquecimento

Binary mixture phase diagrams are normally obtained from thermal analysis involving freezing point curves. However, that approach is not always reliable and easy to follow to all kinds of mixtures in any proportion. In fact, even for a simple system, such as NaCl-H2O, this freezing methodology gives mixed results when one starts from a solid-solution system, due mostly to the formation of the NaCl.2H2O, which has an incongruent melting point, and the dependence of its solubility with the temperature. In this work we report a trustworthy, simple and cheap method involving heating curves to drawn the NaCl-H2O phase diagram.

Constantes de acidez de ácidos dipróticos a partir de titulações potenciométricas: ilustração dos princípios do cálculo através da construção de um algoritmo muito simples

This work describes the creation of an very simple calculation algorithm, based in basic chemical and mathematic principles, for the calculation of weak diprotic acid dissociation constants as, for example, amino acids, from potentiometric titrations. For an easier understanding of the algorithm the logical reasoning of this calculus is schematized in a diagram of blocks. In the second part of the work the algorithm is applied to an Excel calculation sheet to determine the dissociation constants of Nicotinic Acid and Glycine, from the respective potentiometric titration curves. The values obtained using this algorithm are compared with those estimated by Hyperquad2008 (program generally used for this type of calculus) and also with the values of a stability constants database.

Improving the solubility of the antichagasic drug benznidazole through formation of inclusion complexes with cyclodextrins

This study describes unpublished research on improving the solubility of benznidazole by the formation of an inclusion complex. The cyclodextrins selected were αCD, βCD, γCD, HPβCD, RMβCD and SBβCD. All complexes were obtained in solution, presenting 1:1 stoichiometry according to the phase solubility diagram. The highest association constants were obtained with RMβCD and SBβCD, being selected for attainment of solid state complexes. These were characterized using XRD, SEM and dissolution test. The data obtained suggest the formation of complexes and indicate that these may provide a promising alternative way of developing solid doses of drug with suitable biopharmaceutical properties.

Uso de diagrama V modificado como relatório em aulas teórico-práticas de química geral

In this article, we present data from a study in practical classes for General Chemistry. To this end, it was proposed to use a modified V diagram to replace traditional reporting. These reports consist of material commonly prepared in the subject, including introduction, materials and methods, results and discussion and conclusions. From the preparation of the modified V, the students were able to establish relationships between the theoretical and methodological aspects necessary for understanding the objects and events studied. Thus, student learning can be evaluated in light of the Theory of Meaningful Learning.

DESENVOLVIMENTO DE UMA TÉCNICA ULTRASSÔNICA PARA AVALIAR TEORES DE ÓLEO E GRAXA EM EFLUENTES DE BIOCOMBUSTÍVEIS

Ultrasound as a metrology tool has many applications in health care, industrial, and chemical analyses. Ultrasonic techniques are rapid, low-cost, non-invasive, and highly repeatable. Although ultrasound can be used to measure emulsions, no effort had been made thus far to optimize its sensitivity for metrological analysis. In this work, a technique for analyzing oil in water was validated. The wave velocity and attenuation were chosen as the ultrasonic parameters. The technique was implemented in the boundary region established by law for effluents from industrial plants involved with biofuel manufacturing. A technical effort of this study was to establish stable emulsions in concentrations close to the desired limit of study. The phase behaviours of pseudo-ternary oil, sodium chloride, and sodium lauryl sulphate were studied. The composition in the widest region of the diagram allowed for the formation of a stable emulsion, from which the ultrasound measurement was carried out. An analytical curve was obtained using ultrasonic attenuation to determine the content of oils and greases in wastewater ranging 15–240 ppm. The speed of sound did not appear to be an applicable parameter for this application. The technique was demonstrated to be an important alternative solution for the continuous monitoring of wastewater with regard to oil concentrations.

Análise da dinâmica e estrutura de focos da morte súbita dos citros

A morte súbita dos citros (MSC) é uma nova e destrutiva doença que afeta laranjeiras doces (Citrus sinensis) e algumas tangerineiras (C. reticulata) enxertadas em limoeiro 'Cravo' (C. limonia). Sua etiologia e mecanismos de transmissão são ainda desconhecidos e estudos epidemiológicos foram iniciados recentemente. Com o objetivo de caracterizar a disseminação da MSC, foi empregada a técnica de análise da dinâmica e estrutura de focos (ADEF) em 166 mapas de distribuição espacial de plantas com sintomas de MSC, provenientes de 51 talhões do norte do Estado de São Paulo e sul do Triângulo Mineiro. Pela ADEF, as epidemias de MSC se iniciam com focos unitários distribuídos de maneira aleatória no talhão. Em talhões com até 2% de incidência, 85% dos focos continham uma planta. Posteriormente, o progresso da doença ocorreu mais pelo aumento de novos focos, que pelo aumento do tamanho dos focos, indicado pelo aumento do número de focos até 18% de incidência e pelo número reduzido de plantas por foco (menos de quatro plantas por foco a 20% de incidência). Na maioria dos casos (71,5%), os focos apresentaram maior expansão na direção da linha de plantio que entre as linhas. A diminuição da compacidade dos focos com o aumento da incidência da MSC sugere que os focos maiores tendem a ser menos compactos e que a disseminação da doença não ocorre de forma homogênea e contínua ao redor da primeira planta afetada. Estes padrões são similares aos padrões de doenças causadas por um agente infeccioso, transmitido por vetores.

Danos da morte súbita dos citros sobre a produção de laranja

A Morte Súbita dos Citros (MSC) afeta laranjeiras doces (Citrus sinensis) e algumas tangerineiras (Citrus reticulata) enxertadas em limoeiro 'Cravo' (Citrus limonia) no norte do Estado de São Paulo e sul do Triângulo Mineiro. O progresso da doença nos pomares têm causado grande preocupação para o agronegócio citrícola. Para caracterizar e quantificar os danos causados pela MSC, a produção de frutos (peso total e número de frutos por planta e tamanho dos frutos) foi avaliada em quatro talhões para cada combinação variedade ('Hamlin', 'Pêra', 'Natal' e 'Valência') / classe de idade (três a cinco anos, seis a dez anos e 11 a 15 anos). Em cada talhão, as plantas foram classificadas de acordo com a severidade de MSC (0 = sadia, 1 = sintomas iniciais e 2 = sintomas severos). Para cada nível de severidade foram colhidas dez plantas escolhidas ao acaso. Os danos foram caracterizados pela redução do peso total de frutos por planta (28% e 50% para o nível 1 e 2, respectivamente), do número total de frutos por planta (12% e 26% para o nível 1 e 2, respectivamente) e do tamanho do fruto (22% e 41% para nível 1 e 2, respectivamente). As variedades de laranja não diferiram em relação à porcentagem de redução para todas as variáveis de produção avaliadas. As plantas mais jovens tiveram a maior redução no número total de frutos por planta e as plantas com mais de cinco anos de idade tiveram as maiores reduções no tamanho dos frutos. As classes de idade não diferiram na porcentagem de redução do peso total de frutos por planta.

Resultados científicos do cruzeiro do Baependi e do Vega à Ilha da Trindade: oceanografia física - contribuição para o conhecimento das características físicas e químicas das águas

In May 1950 a trip was undertaken by the ships "Baependi" and "Vega" to the Trindade Island - 20º30'S and 29º20'W - Approximately 1200 km off the coast of Espirito Santo State. This scientific expedition was realized by the iniciative of the Minister J. A. Lins de Barros. In this expedition the supervisor of the oceanographic works was Prof. W. Besnard, the director of the São Paulo Oceanographic Institute. He brougth home 42 samples of water for study, collected upon the insular terrace of the island, referring to the 15 established stations - see table I - with depths varying between 0 m and 115 m. The physical and chemical properties of them are to be seen on table II. The results obtained were compared with those of the German Expedition to the South Atlantic, 1925/27 ("Meteor"), observed at the stations 157-158-159-163 of profile VI and 168-169-170 of profile VII. The mean results obtaneid by the boats "Baependi" and "Vega" are represented on table IV. We constructed vertical sections - I to VI - of each group of Stations, showing the slope of the insular shelves and, in a general manner, the distribution of salinity. We made also longitudinal section - E, M, I - involving the island and corresponding, respectively, to the groups of stations, the farthest, nearest and intermediary ones. As the number of samples received is reduced and consequently the data obtained are few, no conclusions could be deduced. We made only a commentary supposing that the predominating waters surrounding the island are the same as those coming from the mentioned stations on Profile VI, marked by the "Meteor". No indication authorizes the supposition that waters of the Brazil Current or those of Profile VII of the "Meteor" reach the Trindade Island. On the contrary, its waters must be warm and salted to which Albert Defant (Die Troposphaere, Wiss. Erg. D. Atl. Exp. "Meteor" Band VI, 1 Tel Lief. 3, Berlin, 1936) has referred, as the island is located very near to the limits of the perspective diagram of warm water circulation pointed out. (Kieler Meeresforschungen, Inst. Meereskunde, Universit. Kiel, Band VII, Heft 1, S 24, 1950).

Pk-yrityksen layout-suunnittelu ohutlevytuoteteollisuudessa

Diplomityössä käsitellään omistajanvaihdon myötä tapahtuvaa yritysten yhdentymistä pkt- sektorilla. Tutkimuksen tarkoituksena oli suunnitella layout uuteen halliin sekä suunnitella muuttoprosessi kokonaisuudessaan. Tutkimuksessa käsiteltiin koneiden siirron lisäksi myös yritysten yhdentymistä ja yritysfuusiota. Ratkaisumalleja haettiin kirjallisuudesta, tuotannon seuraamisesta ja edellisistä muutoista syntyneistä kokemuksista. Työn aikana kartoitettiin yritysten nykytilanne ja etsittiin siellä olevat parantamista vaativat kohdat. Lisäksi selvitettiin yritysten tuotanto layout -suunnittelua varten. Layoutin tekemisen runkona käytettiin Mutherin -layoutkaaviota. Tietojen pohjalta tehtiin kolme erillistä mallia, joista hyötyarvomatriisia hyväksi käyttäen valittiin yksi. Lisäksi yritysten yhdentymisen työkirjan avulla tehtiin lista tarvittavista toimenpiteistä ennen muuttoa sekä muuton jälkeen. Tutkimuksessa käsiteltiin myös yrityksen ohjelmainvestointeja sekä levytyökeskuksen että laserleikkauskoneen nestaukseen. Lisäksi työssä käsiteltiin myös uusia koneinvestointeja ja uutta organisaatiokaaviota.

Membrane emulsification in preparation of single site catalyst

In the theory part the membrane emulsification was studied. Emulsions are used in many industrial areas. Traditionally emulsions are prepared by using high shear in rotor-stator systems or in high pressure homogenizer systems. In membrane emulsification two immiscible liquids are mixed by pressuring one liquid through the membrane into the other liquid. With this technique energy could be saved, more homogeneous droplets could be formed and the amount of surfactant could be decreased. Ziegler-Natta and single-site catalysts are used in olefin polymerization processes. Nowadays, these catalysts are prepared according to traditional mixing emulsification. More homogeneous catalyst particles that have narrower particle size distribution might be prepared with membrane emulsification. The aim of the experimental part was to examine the possibility to prepare single site polypropylene catalyst using membrane emulsification technique. Different membrane materials and solidification techniques of the emulsion were examined. Also the toluene-PFC phase diagram was successfully measured during this thesis work. This phase diagram was used for process optimization. The polytetrafluoroethylene membranes had the largest contact angles with toluene and also the biggest difference between the contact angles measured with PFC and toluene. Despite of the contact angle measurement results no significant difference was noticed between particles prepared using PTFE membrane or metal sinter. The particle size distributions of catalyst prepared in these tests were quite wide. This would probably be fixed by using a membrane with a more homogeneous pore size distribution. It is also possible that the solidification rate has an effect on the particle sizes and particle morphology. When polymeric membranes are compared PTFE is probably still the best material for the process as it had the best chemical durability.

Factors Regulating Chondrogenic Differentiation

Chondrogenesis is a co-ordinated differentiation process in which mesenchymal cells condensate, differentiate into chondrocytes and begin to secrete molecules that form the extracellular matrix. It is regulated in a spatio-temporal manner by cellular interactions and growth and differentiation factors that modulate cellular signalling pathways and transcription of specific genes. Moreover, post-transcriptional regulation by microRNAs (miRNAs) has appeared to play a central role in diverse biological processes, but their role in skeletal development is not fully understood. Mesenchymal stromal cells (MSCs) are multipotent cells present in a variety of adult tissues, including bone marrow and adipose tissue. They can be isolated, expanded and, under defined conditions, induced to differentiate into multiple cell lineages including chondrocytes, osteoblasts and adipocytes in vitro and in vivo. Owing to their intrinsic capability to self-renew and differentiate into functional cell types, MSCs provide a promising source for cell-based therapeutic strategies for various degenerative diseases, such as osteoarthritis (OA). Due to the potential therapeutic applications, it is of importance to better understand the MSC biology and the regulatory mechanisms of their differentiation. In this study, an in vitro assay for chondrogenic differentiation of mouse MSCs (mMSCs) was developed for the screening of various factors for their chondrogenic potential. Conditions were optimized for pellet cultures by inducing mMSC with different bone morphogenetic proteins (BMPs) that were selected based on their known chondrogenic relevance. Characterization of the surface epitope profile, differentiation capacity and molecular signature of mMSCs illustrated the importance of cell population composition and the interaction between different populations in the cell fate determination and differentiation of MSCs. Regulation of Wnt signalling activity by Wnt antagonist sFRP-1 was elucidated as a potential modulator of lineage commitment. Delta-like 1 (dlk1), a factor regulating adipogenesis and osteogenesis, was shown to exhibit stage-specific expression during embryonic chondrogenesis and identified as a novel regulator of chondrogenesis, possibly through mediating the effect of TGF-beta1. Moreover, miRNA profiling demonstrated that MSCs differentiating into a certain lineage exhibit a specific miRNA expression profile. The complex regulatory network between miRNAs and transcription factors is suggested to play a crucial role in fine-tuning the differentiation of MSCs. These results demonstrate that commitment of mesenchymal stromal cells and further differentiation into specific lineages is regulated by interactions between MSCs, various growth and transcription factors, and miRNA-mediated translational repression of lineage-specific genes.

Determination of sugars and organic acids in pulp samples by capillary electrophoresis with UV detection

This MSc work was done in the project of BIOMECON financed by Tekes. The prime target of the research was, to develop methods for separation and determination of carbohydrates (sugars), sugar acids and alcohols, and some other organic acids in hydrolyzed pulp samples by capillary electrophoresis (CE) using UV detection. Aspen, spruce, and birch pulps are commonly used for production of papers in Finland. Feedstock components in pulp predominantly consist of carbohydrates, organic acids, lignin, extractives, and proteins. Here in this study, pulps have been hydrolyzed in analytical chemistry laboratories of UPM Company and Lappeenranta University in order to convert them into sugars, acids, alcohols, and organic acids. Foremost objective of this study was to quantify and identify the main and by-products in the pulp samples. For the method development and optimization, increased precision in capillary electrophoresis was accomplished by calculating calibration data of 16 analytes such as D-(-)-fructose, D(+)-xylose, D(+)-mannose, D(+)-cellobiose, D-(+)-glucose, D-(+)-raffinose, D(-)-mannitol, sorbitol, rhamnose, sucrose, xylitol, galactose, maltose, arabinose, ribose, and, α-lactose monohydratesugars and 16 organic acids such as D-glucuronic, oxalic, acetic, propionic, formic, glycolic, malonic, maleic, citric, L-glutamic, tartaric, succinic, adipic, ascorbic, galacturonic, and glyoxylic acid. In carbohydrate and polyalcohol analyses, the experiments with CE coupled to direct UV detection and positive separation polarity was performed in 36 mM disodium hydrogen phosphate electrolyte solution. For acid analyses, CE coupled indirect UV detection, using negative polarity, and electrolyte solution made of 2,3 pyridinedicarboxylic acid, Ca2+ salt, Mg2+ salts, and myristyltrimethylammonium hydroxide in water was used. Under optimized conditions, limits of detection, relative standard deviations and correlation coefficients of each compound were measured. The optimized conditions were used for the identification and quantification of carbohydrates and acids produced by hydrolyses of pulp. The concentrations of the analytes varied between 1 mg – 0.138 g in liter hydrolysate.

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.