Descoloração e Mineralização de Corantes Reativos por Processo Fotocatalítico Utilizando ZnO e Radiação UV

As indústrias consomem volumes elevados de água e outras substâncias químicas na síntese dos seus produtos e geram grande quantidade de rejeitos. Entre os mais importantes poluentes encontrados nos efluentes dessas indústrias estão os corantes sintéticos que representam um problema, pois não são facilmente destruídos por tratamentos convencionais. A fotocatálise heterogênea tem sido considerada como uma alternativa efetiva no tratamento de efluentes contendo esses corantes. Neste trabalho, estudou-se a cinética de descoloração e o grau de mineralização dos corantes sintéticos reativos Yellow 145, Black 5, Red 4 e Blue 21 através da fotocatálise utilizando ZnO puro e impregnado com íons Fe2+ e Co2+. Testes preliminares foram realizados para otimizar a concentração dos corantes e a massa mínima de catalisador a ser utilizado nos experimentos fotocatalíticos. Além da fotocatálise, experimentos individuais de fotólise e adsorção também foram realizados, porém se mostraram poucos eficientes. Através da espectrofotometria UV-Vis, verificou-se o total descoramento individual dos corantes em aproximadamente 30 minutos de irradiação com ZnO. O grau de mineralização de cada corante foi determinado através de análise de carbono orgânico total (COT), atingindo-se cerca de 70 a 80% de mineralização após 240 minutos de tratamento fotocatalítico. Foram comparadas, ainda, as eficiências de cada fotocatalisador ZnO, Fe/ZnO e Co/ZnO na mineralização de uma solução contendo a mistura dos quatro corantes já mencionados após 240 minutos de reação. A eficiência na mineralização da mistura dos corantes seguiu a seguinte ordem: Co/ZnO (32%), ZnO (78%) e Fe/ZnO (87%). A reação de degradação fotocatalítica do corante Black 5 seguiu uma cinética de primeira ordem, enquanto que os corantes Yellow 145, Red 4 e Blue 21 seguiram uma cinética de ordem zero.

大气湍流对斜程传输准单色高斯谢尔光束时间相干性的影响

由第一类零阶贝塞尔函数的级数展开推导出波结构函数在任意湍流条件下的近似表达式。由广义惠更斯菲涅耳原理、随高度变化的Hufnagel-Valley湍流廓线模型以及波结构函数在任意湍流条件下的近似表达式,导出了斜程传输时准单色高斯谢尔光束互相干函数的解析式。然后,利用表征光束时间相干性的纵向相干长度(可由互相干函数导出),研究了斜程传输时大气湍流对准单色高斯谢尔光束时间相干性的影响。研究结果表明,准单色高斯谢尔光束的时间相干性在整个斜程传输过程中保持不变。最后,对该结果在物理上给予了定性解释。

Part I. Approximate Hartree-Fock wavefunctions one-electron properties and electronic structure of the water molecule. Part II. Perturbation-variational calculation of the nuclear spin-spin isotope coupling constant in HD

Part I

Several approximate Hartree-Fock SCF wavefunctions for the ground electronic state of the water molecule have been obtained using an increasing number of multicenter s, p, and d Slater-type atomic orbitals as basis sets. The predicted charge distribution has been extensively tested at each stage by calculating the electric dipole moment, molecular quadrupole moment, diamagnetic shielding, Hellmann-Feynman forces, and electric field gradients at both the hydrogen and the oxygen nuclei. It was found that a carefully optimized minimal basis set suffices to describe the electronic charge distribution adequately except in the vicinity of the oxygen nucleus. Our calculations indicate, for example, that the correct prediction of the field gradient at this nucleus requires a more flexible linear combination of p-orbitals centered on this nucleus than that in the minimal basis set. Theoretical values for the molecular octopole moment components are also reported.

Part II

The perturbation-variational theory of R. M. Pitzer for nuclear spin-spin coupling constants is applied to the HD molecule. The zero-order molecular orbital is described in terms of a single 1s Slater-type basis function centered on each nucleus. The first-order molecular orbital is expressed in terms of these two functions plus one singular basis function each of the types e^-r/r and e^-r ln r centered on one of the nuclei. The new kinds of molecular integrals were evaluated to high accuracy using numerical and analytical means. The value of the HD spin-spin coupling constant calculated with this near-minimal set of basis functions is J_HD = +96.6 cps. This represents an improvement over the previous calculated value of +120 cps obtained without using the logarithmic basis function but is still considerably off in magnitude compared with the experimental measurement of J_HD = +43 0 ± 0.5 cps.

Inverse symmetric Dammann gratings

Inverse symmetric Dammann grating is a special grating, whose transition points are reflection symmetric about the midpoint with inverse phase offset in one period. It can produce even-numbered or odd-numbered array illumination when the phase modulations are pi or a specific value. Numerical solutions optimized by the steepest-descent algorithm for binary phase and multilevel phases with splitting ratio from I x 4 to 1 x 14 are given. Fabrication of 1 x 6 array without the zero-order intensity and 1 x 7 array with the zero-order intensity are made from the same amplitude mask. A 6 x 6 output without the crossed zero-orders was achieved by crossing two one-dimensional 1 x 6 inverse symmetric Dammann gratings. This grating may have potential value for practical applications. (C) 2008 Elsevier B.V. All rights reserved.

1. Ultrasonic studies of binary liquid structure in the critical region. Theory and experiment for the 2,6-lutidine/water system. 2. Hartree-Fock calculations of electric polarizabilities of some simple atoms and molecules, and their practicality. 3. Calculation of vibrational transition probabilities in collinear atom-diatom and diatom-diatom collisions with Lennard-Jones interaction

Part 1. Many interesting visual and mechanical phenomena occur in the critical region of fluids, both for the gas-liquid and liquid-liquid transitions. The precise thermodynamic and transport behavior here has some broad consequences for the molecular theory of liquids. Previous studies in this laboratory on a liquid-liquid critical mixture via ultrasonics supported a basically classical analysis of fluid behavior by M. Fixman (e. g., the free energy is assumed analytic in intensive variables in the thermodynamics)--at least when the fluid is not too close to critical. A breakdown in classical concepts is evidenced close to critical, in some well-defined ways. We have studied herein a liquid-liquid critical system of complementary nature (possessing a lower critical mixing or consolute temperature) to all previous mixtures, to look for new qualitative critical behavior. We did not find such new behavior in the ultrasonic absorption ascribable to the critical fluctuations, but we did find extra absorption due to chemical processes (yet these are related to the mixing behavior generating the lower consolute point). We rederived, corrected, and extended Fixman's analysis to interpret our experimental results in these more complex circumstances. The entire account of theory and experiment is prefaced by an extensive introduction recounting the general status of liquid state theory. The introduction provides a context for our present work, and also points out problems deserving attention. Interest in these problems was stimulated by this work but also by work in Part 3.

Part 2. Among variational theories of electronic structure, the Hartree-Fock theory has proved particularly valuable for a practical understanding of such properties as chemical binding, electric multipole moments, and X-ray scattering intensity. It also provides the most tractable method of calculating first-order properties under external or internal one-electron perturbations, either developed explicitly in orders of perturbation theory or in the fully self-consistent method. The accuracy and consistency of first-order properties are poorer than those of zero-order properties, but this is most often due to the use of explicit approximations in solving the perturbed equations, or to inadequacy of the variational basis in size or composition. We have calculated the electric polarizabilities of H₂, He, Li, Be, LiH, and N₂ by Hartree-Fock theory, using exact perturbation theory or the fully self-consistent method, as dictated by convenience. By careful studies on total basis set composition, we obtained good approximations to limiting Hartree-Fock values of polarizabilities with bases of reasonable size. The values for all species, and for each direction in the molecular cases, are within 8% of experiment, or of best theoretical values in the absence of the former. Our results support the use of unadorned Hartree-Pock theory for static polarizabilities needed in interpreting electron-molecule scattering data, collision-induced light scattering experiments, and other phenomena involving experimentally inaccessible polarizabilities.

Part 3. Numerical integration of the close-coupled scattering equations has been carried out to obtain vibrational transition probabilities for some models of the electronically adiabatic H₂-H₂ collision. All the models use a Lennard-Jones interaction potential between nearest atoms in the collision partners. We have analyzed the results for some insight into the vibrational excitation process in its dependence on the energy of collision, the nature of the vibrational binding potential, and other factors. We conclude also that replacement of earlier, simpler models of the interaction potential by the Lennard-Jones form adds very little realism for all the complication it introduces. A brief introduction precedes the presentation of our work and places it in the context of attempts to understand the collisional activation process in chemical reactions as well as some other chemical dynamics.

X-ray evidence for Ge/Si(001) island columns in multilayer structure

A Ge/Si(0 0 1) multilayer structure is investigated by cross-sectional transmission electron microscopy, atomic force microscopy and double crystal X-lay diffraction. We find that the multilayer-structure-related satellite peaks in the rocking curve exhibit a similar nonuniform broadening and rye fit the zero-order peak with two Lorentz lineshapes. The ratio of the integrated intensity of two peaks is approximately equal with the anal ratio of the top Ge layer deposited between the areas that are and are not occupied by islands. It proves the existence of vertical-aligned island columns from the viewpoint of macroscopic dimension. (C) 2001 Elsevier Science B.V. All rights reserved.

Exciton states in isolated quantum wires

The exciton states in isolated and semi-isolated quantum wires are studied. It is found that the image charges have a large effect on the effective Coulomb potential in wires. For the isolated wire the effective potential approaches the Coulomb potential in vacuum at large z distance. For the semi-isolated wire the effective potential is intermediate between the Coulomb potential in vacuum and the screened Coulomb potential at large distance. The exciton binding energy in the isolated wire is about ten times larger than that in the quantum well, and that in the semi-isolated wire is also intermediate between those in the isolated wire and in the quantum well. When the lateral width increases the binding energy decreases further, and approaches that in the quantum well. The real valence-band structure is taken into account, the exciton wave functions of the ground state in the zero-order approximation are given, and the reduced mass is calculated. The effect of the coupling between the ground and excited states are considered by the degenerate perturbation method, and it is found the coupling effect is small compared to the binding energy.

Liquid-phase hydrodechlorination of chlorinated benzenes over active carbon supported nickel catalysts under mild conditions

Liquid phase hydrodechlorination of chlorinated benzenes was studied over Ni/active carbon (Ni/AC), Ni/gamma-Al2O3, Ni/SiO2 and Raney Ni. The complete dechlorination of chlorobenzene (ClBz) was realized at 333-343 K on Ni/AC under hydrogen atmosphere of 1.0 MPa in the presence of alkaline hydroxide. Dichloro- and trichlorobenzenes were also hydrodechlorinated with 50-95% yields of benzene under the similar conditions, as above. The reaction follows zero-order to ClBz concentration and 1.9 order to hydrogen pressure. The reaction does not proceed in the absence of alkaline hydroxide, suggesting the complete coverage of active nickel surface with produced chlorine and the removal of the chlorine ion with hydroxide ion as a rate-limiting step. The active catalysts were characterized by H-2 chemisorption and transmission electron microscopy techniques. The apparent activity strongly depends on the active area of nickel on catalyst surface. (C) 2004 Published by Elsevier B.V.

Biodegradable electrospun fibers for drug delivery

The influences of surfactants and medical drugs on the diameter size and uniformity of electrospun poly(L-lactic acid) (PLLA) fibers were examined by adding various surfactants (cationic, anionic, and nonionic) and typical drugs into the PLLA solution. Significant diameter reduction and uniformity improvement were observed. It was shown that the drugs were capsulated inside of the fibers and the drug release in the presence of proteinase K followed nearly zero-order kinetics due to the degradation of the PLLA fibers. Such ultrafine fiber mats containing drugs may find clinical applications in the future.

A novel method of studying polymer biodegradation

A novel combination of laser light scattering (LLS) and the micronization of a water-insoluble polymer into narrowly distributed nanoparticles stable in water has provided not only an accurate, reliable and microscopic method to study polymer biodegradation, but also a novel and fast way to evaluate the biodegradability of a given polymer. Using poly(epsilon-caprolactone) (PCL) as a typical example, we have shown that its biodegradation time can be shortened by a factor of more than 10(3) times in comparison with the time required to biodegrade a thin film (10 x 10 x 0.1 mm(3)). Moreover, the biodegradation kinetics can be in-situ monitored in terms of the decrease of the time-average scattering intensity and the particle number. A comparison of static and dynamic LLS results revealed that the enzyme, Lipase Pseudomonas, ''eats'' the PCL nanoparticles in an one-by-one manner and the enzymatic biodegradation of PCL follows a zero-order kinetics. (C) 1998 Elsevier Science Ltd. All rights reserved.

THE CATALYTIC BEHAVIOR AND REACTION-MECHANISM OF THE BI-CE-O SYSTEM CATALYSTS IN THE OXIDATIVE DEHYDROAROMATIZATION OF PROPYLENE

Oxidative dehydroaromatization of propylene was investigated by the pulse technique over two kinds of single oxide catalysts. With the Bi2O3 catalyst, the main dimer product was 1,5-hexadiene, and the dimerization activity was stable to pulse number even if the catalyst was partly reduced to the bulk. With the CeO2 catalyst, benzene was mainly formed instead of 1,5-hexadiene, but the activity decreased rapidly with increasing pulse number, indicating that only the lattice oxygen near the catalyst surface could be used for oxidative dimerization and the further aromatization. The Bi-Ce-O system catalyst was found in this study to give higher aromatization activity and showed better stability, compared to the Bi-Sn-O catalyst. Although the Bi-Ce-O catalyst was only a mixture of the two component oxides from X-ray diffraction analysis, there was a significant combination effect on the selectivity to benzene. The highest and the most stable selectivity of benzene was obtained at Bi/Ce = 1. In the TPD spectrum of Bi-Ce-O catalyst, there are not only the lattice oxygen (beta-oxygen) over 620-degrees-C due to the reduction of Bi2O3, but also a great deal of the alpha-oxygen desorbed about 400-degrees-C, which is considered the absorbed oxygen in the bulk. This absorbed oxygen could probably be a compensation of the lattice oxygen through the route of gaseous --> absorbed --> lattice oxygen in the binary catalyst system. By the kinetic study on the Bi-Ce-O catalyst, the dimer formation rate was the first-order with respect to the partial pressure of propylene and zero-order of oxygen. Although detail investigation would be made further, it was considered that the complete oxidation of propylene would mainly take place parallelly on some different sites, and the rate-determining step of propylene dimerization occurred probably between an adosrbed propylene and a gaseous one by an Eley-Rideal type mechanism.

海洋机器人变参数大时延控制系统补偿方法的研究

本文提出一种变参数大时延系统的补偿方法，具有传输滞后系统的幅相频率特性和时域特性，流体动力学变参数的修正方法和具有传输滞后和零阶保持器滞后的补偿仿真。

Type-alpha DPLs

This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for which termination is guaranteed and proof checking can be performed in time linear in the size of the proof. Type-alpha DPLs allow for lucid proof presentation and for efficient proof checking, but not for proof search. Type-omega DPLs allow for search as well as simple presentation and checking, but termination is no longer guaranteed and proof checking may diverge. We do not study type-omega DPLs here. We start by listing some common characteristics of DPLs. We then illustrate with a particularly simple example: a toy type-alpha DPL called PAR, for deducing parities. We present the abstract syntax of PAR, followed by two different kinds of formal semantics: evaluation and denotational. We then relate the two semantics and show how proof checking becomes tantamount to evaluation. We proceed to develop the proof theory of PAR, formulating and studying certain key notions such as observational equivalence that pervade all DPLs. We then present NDL, a type-alpha DPL for classical zero-order natural deduction. Our presentation of NDL mirrors that of PAR, showing how every basic concept that was introduced in PAR resurfaces in NDL. We present sample proofs of several well-known tautologies of propositional logic that demonstrate our thesis that DPL proofs are readable, writable, and concise. Next we contrast DPLs to typed logics based on the Curry-Howard isomorphism, and discuss the distinction between pure and augmented DPLs. Finally we consider the issue of implementing DPLs, presenting an implementation of PAR in SML and one in Athena, and end with some concluding remarks.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.

Qualitative Circuit Models in Failure Analysis Reasoning

Lee M.H., Qualitative Circuit Models in Failure Analysis Reasoning, AI Journal. vol 111, pp239-276.1999.