Muutosilmiöt soodakattilakeossa

Soodakattilan sulakeon epästationaarinen käyttäytyminen sekä keon pitkä jäähtymisaika alasajon jälkeen ovat aiheuttaneet ongelmia kattilan taloudellisessa käytettävyydessä. Keon käyttäytymisestä on luotu CFD-malleja, joiden tavoitteena on havainnollistaa keon lämpötilajakaumaa ja rakennetta. Mallien ongelmana on se, että niissä huomioidaan vain keon aktiivinen pintakerros. Keon sisäosan rakennetta ja siinä tapahtuvia prosesseja ei toistaiseksi tunneta kunnolla luotettavan, koko keon kattavan mallin luomiseen. Tässä työssä tutkittiin sulakeon käytön aikana havaittuja muutosilmiöitä, jotka vaikuttavat keon rakenteeseen ja ominaisuuksiin sekä tutkittiin ilmiöiden taustalla olevia tekijöitä. Näitä tekijöitä ovat keon sisässä tapahtuvat kemialliset ja fyysiset prosessit, jotka aiheuttavat muutoksia niin lämpöteknisesti kuin fyysisesti sekä ulkoapäin tulevat tekijät, jotka aiheutuvat ajotilanteiden seurauksena tapahtuvista muutoksista. Työn kokeellisena osana luotiin sulakeon jäähtymismalli käyttäen 1-dimensionaalista ADL-mallia. Mallin pohjana käytettiin StoraEnso Oy:ltä Oulun soodakattilan sulakeosta saatua mittausraporttia. ADL-mallin avulla luotiin keon jäähtymiskäyrät lämpötilan ja syvyyden funktiona. Saadut käyrät täsmäsivät hyvin mittausraportin tuloksiin. Mallin avulla keolle saatiin muodostettua energiatase, jonka tuloksena keosta 12 tunnin aikana poistuva lämpövirta pinnalla oli noin 9.8kW/m2 ja pinnan lämmönsiirtokerroin 58.3W/m²°C. Pohjan poistuvaksi lämpövirraksi saatiin 14.1kW/m2 ja lämmönsiirtokertoimeksi 75.4W/m²°C. Termiseksi diffuusiokertoimeksi saatiin 3.9•10-7m²/s.

Building the map of innovation for membrane materials (Ceramic membranes)

This work proposes a method of visualizing the trend of research in the field of ceramic membranes from 1999 to 2006. The presented approach involves identifying problems encountered during research in the field of ceramic membranes. Patents from US patent database and articles from Science Direct(& by ELSEVIER was analyzed for this work. The identification of problems was achieved with software Knowledgist which focuses on the semantic nature of a sentence to generate series of subject action object structures. The identified problems are classified into major research issues. This classification was used for the visualization of the intensity of research. The image produced gives the relation between the number of patents, with time and the major research issues. The identification of the most cited papers which strongly influence the research of the previously identified major issues in the given field was also carried out. The relations between these papers are presented using the metaphor of social network. The final result of this work are two figures, a diagram showing the change in the studied problems a specified period of time and a figure showing the relations between the major papers and groups of the problems

Vivianite and siderite in lateritic iron crust: an example of bioreduction

Lateritic iron crust (LIC) samples from Padauari (AM) were analysed by XRD, optical microscopy and SEM-EDS. The equilibrium of iron minerals (IM) was studied using Eh-pH diagram. It was shown that the minerals of the LIC are goethite (alpha-FeOOH), vivianite [Fe3(PO4)2.8H2O] and siderite (FeCO3). Carbonate grains are a solid solution of FeCO3-MnCO3. The LIC presents textures and structures of dissolution of IM. The siderite and vivianite are stable from Eh =-0.3 to 0.0 V and pH=5.0-7.5. These results indicate that vivianite and siderite are products of bioreduction through biogenic dissolution of IM, the new conditions of ecosystems of the Amazon region.

Diagramas de Ellingham e de Van't Hoff: algumas considerações

The main subject of this article is to show the parallelism betwen the Ellingham and Van't Hoff diagrams. The first one is a graphic representation of the changes in the standard Gibbs free energy (deltarGtheta) as a function of T and was introduced by Ellingham in 1944, in order to study metallurgic processes involving oxides and sulphides. On the other hand, the Van't Hoff diagram is a representation of the function ln K versus (1/T). The equivalence between both diagrams is easily demonstrated, making simple mathematical manipulations. In order to show the parallelism between both diagrams, they are presented briefly and two examples are discussed. The comparison of the both diagrams surely will be helpful to students and teachers in their learning and teaching activities, and will certainly enrich important aspects of chemical thermodynamics.

Uma introdução à espectroscopia atômica: II - o espectro do sódio

The present article is devoted to Chemistry or Physics undergraduate students, given their difficulty to understand fundamental concepts and technical language used in atomic spectroscopy and quantum mechanics. An easy approach is shown in the treatment of the emission spectrum of the sodium atom without any involved calculations. In a previous article, the hydrogen spectrum was considered and the energy degeneracy of the angular momentum quantum number was observed. For the sodium spectrum, due to the valence electron penetration into internal shells, a breakdown of this degeneracy occurs and a dependence of this penetration on the angular momentum quantum number is observed. The eigenvalues are determined introducing the quantum defect correction (Rydberg correction) in the denominator of the Balmer equation, and the energy diagram is obtained. The intensity ratio for the observed doublets is explained by introducing new wave functions, containing the magnetic quantum number of the total angular momentum.

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.

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.

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.