A segunda lei da termodinâmica

Considering intrinsic characteristics of the system exclusively, both statistical and information theory interpretations of the second law are used to provide more comprehensive meanings for the concepts of entropy, temperature, and Helmholtz and Gibbs energies. The coherence of Clausius inequality to these concepts is emphasized. The aim of this work is to re-discuss the second law of thermodynamics in accordance to homogeneous processes thermodynamics, a temporal science which is the very special oversimplification of continuum mechanics for spatially constant intensive properties.

A brief introduction to molecular orbital theory of simple polyatomic molecules for undergraduate chemistry students

A simple, four-step method for better introducing undergraduate students to the fundamentals of molecular orbital (MO) theory of the polyatomic molecules H2O, NH3, BH3 and SiH4 using group theory is reported. These molecules serve to illustrate the concept of ligand group orbitals (LGOs) and subsequent construction of MO energy diagrams on the basis of molecular symmetry requirements.

Solution thermodynamics of methocarbamol in some ethanol + water mixtures

Apparent thermodynamic functions, Gibbs energy, enthalpy and entropy of solution and mixing, for methocarbamol in ethanol + water mixtures, were evaluated from solubility data determined at temperatures from 293.15 K to 313.15 K and from calorimetric values of drug fusion. The drug solubility was greatest in the mixtures with 0.70 or 0.80 mass fraction of ethanol and lowest in neat water across all temperatures studied. Non-linear enthalpy-entropy compensation was found for the dissolution processes. Accordingly, solution enthalpy drives the respective processes in almost all the solvent systems analyzed.

Caracterización de cristales líquidos por microscopía óptica en sistemas surfactante polietoxilado-alcano-agua

The phase behavior of an alcohol polyethoxylated surfactant with decane and dodecane oil phase varying the water proportion from 5 to 90% to determine compositions in which the formation of liquid crystals and microemulsions ocurred was investigated. Pseudoternary phase diagrams were built to represent the regions of liquid crystals, biphases and microemulsions. Polarized light optical microscopy was used for the analysis and characterization of the separate phases. The micrographs obtained showed characteristics of hexagonal and lamellar phases of liquid crystal, isotropic phases, microemulsions and vesicles. This study is important to propose hypothesis regarding the factors determining the formation and stability of phases composed by surfactant/oil/water systems.

Medição e interpretação de valores do potencial redox (E H) em matrizes ambientais

Direct measurements of Redox Potential (ORP) have been used to infer the degree of electrons availability in waters, wastewaters, sediments and soils. Although the interpretation of the results obtained in direct measurements is not trivial, this parameter is part of a list of compulsory determinations required by many Environmental State Agencies as well as consulting companies. Nonetheless, the vast majority of E H reported values are not corrected to the reference electrode used, what makes most of the data incomparable with the literature, and not suitable for a correct environmental diagnostics.

Idea- ja innovaatioporfolion hallinta

Tässä kandidaatintyössä tarkastellaan idea- ja innovaatioportfolion hallintaa, portfoliojohtamista sekä näihin soveltuvia erilaisia menetelmiä yrityksen näkökulmasta. Tavoitteena on luoda yleiskatsaus yleisimpiin käytettyihin menetelmiin ja viitekehyksiin. Lähteinä työssä on käytetty sähköisiä tietokantoja ja alan kirjallisuutta. Käytetyimmät portfolion hallintamenetelmät voidaan jakaa neljään ryhmään: taloudelliset ja rahamääräiset mittarit, liiketoimintastrategiat, portfoliokartat tai kupla-diagrammit, scorecard:it eli pisteytystaulukot sekä tarkistuslistat. Idea- ja innovaatioportfolion hallinnan tavoitteena on luoda yrityksen kannalta mahdollisimman tehokas ja tuottava portfolio, joka on kuitenkin linjassa yrityksen strategian kanssa. Portfolion projekteille jaettavissa olevat resurssit ovat niukat, joten resurssien jakoon ja tehokkaaseen hyödyntämiseen tulee kiinnittää huomiota. Portfolion tasapainottamiseksi on hyvä tarkastella kehitys- ja tutkimusprojektien määrää, kokoa ja riskiä. Teknologiatiekartta on yrityksen strateginen työkalu, jolla se voi suunnata toimintaansa kohti sen visiota. Teknologiatiekartta koostuu yrityksen valitsemista markkinoista, niille suunnatuista tuotteista tai palveluista, sekä näiden vaatimista tuotekehitysprojekteista ja teknologioista. Projektien etenemistä voidaan tarkastella stage-gate -mallin avulla. Stage-gate jakaa projektin porteilla eri vaiheisiin. Jokaisen portin läpäistäkseen projektin tulee täyttää sille asetetut vaatimukset. Menetelmät eivät takaa menestystä, vaan yrityksen on valittava itselleen sopivat menetelmät siten, että ne tukevat portfoliojohtamista ja sopivat yhteen yrityskulttuurin kanssa. Pelkkä mittareihin tuijottaminen ei riitä, vaan niiden taakse on myös osattava katsoa ja huomioida yrityksen strategia.

Experimental and theoretical investigation of the IR spectra and thermochemistry of four isomers of 2-N,N-dimethylaminecyclohexyl 1-N',N'-dimethylcarbamate

A combined experimental and Density functional theory (DFT) B3LYP/6-311+G* study on the IR spectra of four stable isomers of 2-N,N-dimethylaminecyclohexyl 1-N',N'-dimethylcarbamate was performed. Our theoretical calculations reveal that two new isomers of this compound exist and may be more stable than the known isomers. In addition the entropy, heat capacity, and the enthalpy content of the stable isomers are computed by fitting the calculated data to a standard Shomate equation and IR spectra for the two new isomers are presented.

Study of complexes of cadmium with some L-amino acids and vitamin-C by voltammetric technique

Voltammetric technique was used to study the binary and ternary complexes of cadmium with L-amino acids and vitamin-C (L-ascorbic acid) at pH =7.30 ± 0.01, µ = 1.0M KNO3 at 25ºC and 35ºC. Cd (II) formed 1:1:1, 1:1:2 and 1:2:1 complexes with L-lysine, L-ornithine, L-threonine, L-serine, L-phenylglycine, L-phenylalanine, L-glutamic acid and L-aspartic acid used as primary ligands and L-ascorbic acid used as secondary ligand. The trend of stability constant of complexes was L-lysine < L-ornithine < L-threonine < L-serine < L-phenylglycine < L-phenylalanine < L-glutamic acid < L-aspartic acid which can be explained on the basis of size, basicity and steric hindrance of ligands. The values of stability constant (log β) varied from 2.23 to11.33 confirm that these drugs i.e. L-amino acids or in combination with L-ascorbic acid or their complexes could be used against Cd (II) toxicity. The study has been carried out at 35ºC also to determine the thermodynamic parameters such as enthalpy change (ΔH), Free energy change (ΔG) and entropy change (ΔS) respectively.

Thermodynamic quantities of solvation and dilution for some acetanilide derivatives in octanol and water mutually saturateds

Based on published thermodynamic quantities for solution, partitioning and sublimation of acetanilide (ACN), acetaminophen (ACP) and Phenacetin (PNC), the thermodynamic quantities for drugs solvation in octanol-saturated water (W(ROH)) and water-saturated octanol (ROH(W)) as well as the drugs dilution in ROH(W) were calculated. The Gibbs energies of solvation were favourable in all cases. The respective enthalpies and entropies were negative indicating an enthalpy-driving for the solvation process in all cases. On the other hand, the Gibbs energies of dilution were favourable for ACP and PNC but unfavourable for ACN, whereas the respective enthalpies and entropies were negative for ACP and PNC but positive for ACN indicating enthalpy-driving for the dilution process in the case of the former drugs and entropy-driving for the latter. From the obtained values for the transfer processes, an interpretation based on solute-solvent interactions was developed.

Epäpuhtausmetallien talteenotto sinkkiprosessissa

There are small amounts of valuable metals, such as indium, gallium and germanium, in zinc process solutions. Their solvent extraction was studied in this work in sulphate solutions containing zinc and other metals present in industrial solutions. It was discovered, that a commercial bis(2-ethylhexyl)phosphate (D2EHPA) extractant can be used to extract indium and gallium. Indium was extracted separately at a higher acid concentration than gallium. Zinc was co-extracted faster than gallium and almost as much as gallium at the same pH. However, the scrubbing of zinc was possible using a dilute sulphuric acid and a short contact time while gallium losses were small. Both indium and gallium were stripped with sulphuric acid. Germanium was extracted with 5,8-diethyl-7-hydroxydodecane-6-oxime with the commercial name of LIX 63. Unlike other metals in the solution the extraction of germanium increased with different extractants as the acidity increased. Germanium extraction isotherm was measured for a 125 g/L sulfuric acid solution. The loaded organic phase was washed with pure water. It removed the co-extracted acid and part of the germanium and extracted impurities such as iron and copper. Germanium was stripped using a NaOH solution. A process model utilizing own experimentally determined extraction, scrubbing and stripping isotherms was made with HSC Sim software developed by Outotec Oyj. The model based on McCabe–Thiele diagrams was used in sizing the necessary amount of stages and phase ratios in a recovery process. It was concluded, that indium, gallium and germanium can be recovered in the process from a feed where their concentrations are low (<300 ppm). In an example case the feed contained also more than 20 g/L zinc and 2–8 g/L iron, aluminium and copper. The recoveries of indium, gallium and germanium were more than 90 % when 1–3 stages were used in each extraction, scrubbing and stripping section. Since the number of stages is small mixer-settlers would be well suited for this purpose.

First principles modeling of metallic alloys and alloy surfaces

By alloying metals with other materials, one can modify the metal’s characteristics or compose an alloy which has certain desired characteristics that no pure metal has. The field is vast and complex, and phenomena that govern the behaviour of alloys are numerous. Theories cannot penetrate such complexity, and the scope of experiments is also limited. This is why the relatively new field of ab initio computational methods has much to give to this field. With these methods, one can extend the understanding given by theories, predict how some systems might behave, and be able to obtain information that is not there to see in physical experiments. This thesis pursues to contribute to the collective knowledge of this field in the light of two cases. The first part examines the oxidation of Ag/Cu, namely, the adsorption dynamics and oxygen induced segregation of the surface. Our results demonstrate that the presence of Ag on the Cu(100) surface layer strongly inhibits dissociative adsorption. Our results also confirmed that surface reconstruction does happen, as experiments predicted. Our studies indicate that 0.25 ML of oxygen is enough for Ag to diffuse towards the bulk, under the copper oxide layer. The other part elucidates the complex interplay of various energy and entropy contributions to the phase stability of paramagnetic duplex steel alloys. We were able to produce a phase stability map from first principles, and it agrees with experiments rather well. Our results also show that entropy contributions play a very important role on defining the phase stability. This is, to the author’s knowledge, the first ab initio study upon this subject.

Potentiometric quantification and speciation of oxygenated groups in humic substances using BEST7 software

In this study the BEST7 software was employed to quantify different classes of functional groups and to model the proton titration behavior of humic substances. To illustrate the process, the Suwannee River fulvic acid of the IHSS (International Humic Substances Society) was used. Five categories - two classes of phenolic groups (phenol and cathecol), two classes of carboxylic groups (benzoic and phtalic) and the combination between them (salicylic) - of oxygenated groups were considered as being responsible for the potentiometric behavior of the sample and were quantitatively determined. The most and the least abundant groups were cathecol (3.300 ± 0.010 mmol g-1) and phenol (1.225 ± 0.070 mmol g-1), respectively. The estimated equilibrium constants were also determined and were in good agreement with the literature values for phenol and cathecol groups and for benzoic, phtalic and salicylic acids. Distribution diagrams of the species were generated with the software SPE and SPEPLOT.

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.

Studies on Neuromuscular Blocking Agents and Their Antagonists During Anaesthesia

Neuromuscular blocking agents (NMBAs) are widely used in clinical anaesthesia and emergency medicine. Main objectives are to facilitate endotracheal intubation and to allow surgery by reducing muscle tone and eliminating sudden movements, which may otherwise lead to trauma and complications. The most commonly used NMBAs are non-depolarizing agents with a medium duration of action, such as rocuronium and cisatracurium. They bind to the acetylcholine receptors in the neuromuscular junction, thus inhibiting the depolarization of the postsynaptic (muscular) membrane, which is a prerequisite for muscle contraction to take place. Previously, it has been assumed that nitrous oxide (N2O), which is commonly used in combination with volatile or intravenous anaesthetics during general anaesthesia, has no effect on NMBAs. Several studies have since claimed that N2O in fact does increase the effect of NMBAs when using bolus administration of the relaxant. The effect of N2O on the infusion requirements of two NMBAs (rocuronium and cisatracurium) with completely different molecular structure and pharmacological properties was assessed. A closed-loop feedback controlled infusion of NMBA with duration of at least 90 minutes at a 90% level of neuromuscular block was used. All patients received total intravenous anaesthesia (TIVA) with propofol and remifentanil. In both studies the study group (n=35) received N2O/Oxygen and the control group (n=35) Air/Oxygen. There were no significant differences in the mean steady state infusion requirements of NMBA (rocuronium in Study I; cisatracurium in Study II) between the groups in either study. In Study III the duration of the unsafe period of recovery after reversal of rocuronium-induced neuromuscular block by using neostigmine or sugammadex as a reversal agent was analyzed. The unsafe period of recovery was defined as the time elapsed from the moment of no clinical (visual) fade in the train-of-four (TOF) sequence until an objectively measured TOF-ratio of 0.90 was achieved. The duration of these periods were 10.3 ± 5.5 and 0.3 ± 0.3 min after neostigmine and sugammadex, respectively (P < 0.001). Study IV investigated the possible effect of reversal of a rocuronium NMB by sugammadex on depth of anaesthesia as indicated by the bispectral index and entropy levels in thirty patients. Sugammadex did not affect the level of anaesthesia as determined by EEG-derived indices of anaesthetic depth such as the bispectral index and entropy.

Design of marine generators for alternative diesel-electric power systems

This study compares different electric propulsion systems. Results of the analysis of all the advantages and disadvantages of the different propulsion systems are given. This thesis estimates possibilities to apply different diesel-electric propulsion concepts for different vessel types. Small and medium size vessel’s power ranges are studied. The optimal delivery system is chosen. This choice is made on the base of detailed study of the concepts, electrical equipment market and comparison of mass, volume and efficiency parameters. In this thesis three marine generators are designed. They are: salient pole synchronous generator and two permanent magnet synchronous generators. Their electrical, dimensional, cost and efficiency parameters are compared. To understand all the benefits diagrams with these parameters are prepared. Possible benefits and money savings are estimated. As the result the advantages, disadvantages and boundary conditions for the permanent magnet synchronous generator application in marine electric-power systems are found out.