Multifunctional current reference generation strategy for grid-tied power electronic converter

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

INVESTIGATION INTO CURRENT EFFICIENCY FOR PULSE ELECTROCHEMICAL MACHINING OF NICKEL ALLOY

INVESTIGATION INTO CURRENT EFFICIENCY FOR PULSE ELECTROCHEMICAL MACHINING OF NICKEL ALLOY Yu Zhang, M.S. University of Nebraska, 2010 Adviser: Kamlakar P. Rajurkar Electrochemical machining (ECM) is a nontraditional manufacturing process that can machine difficult-to-cut materials. In ECM, material is removed by controlled electrochemical dissolution of an anodic workpiece in an electrochemical cell. ECM has extensive applications in automotive, petroleum, aerospace, textile, medical, and electronics industries. Improving current efficiency is a challenging task for any electro-physical or electrochemical machining processes. The current efficiency is defined as the ratio of the observed amount of metal dissolved to the theoretical amount predicted from Faraday’s law, for the same specified conditions of electrochemical equivalent, current, etc [1]. In macro ECM, electrolyte conductivity greatly influences the current efficiency of the process. Since there is a certain limit to enhance the conductivity of the electrolyte, a process innovation is needed for further improvement in current efficiency in ECM. Pulse electrochemical machining (PECM) is one such approach in which the electrolyte conductivity is improved by electrolyte flushing in pulse off-time. The aim of this research is to study the influence of major factors on current efficiency in a pulse electrochemical machining process in macro scale and to develop a linear regression model for predicting current efficiency of the process. An in-house designed electrochemical cell was used for machining nickel alloy (ASTM B435) by PECM. The effects of current density, type of electrolyte, and electrolyte flow rate, on current efficiency under different experimental conditions were studied. Results indicated that current efficiency is dependent on electrolyte, electrolyte flow rate, and current density. Linear regression models of current efficiency were compared with twenty new data points graphically and quantitatively. Models developed were close enough to the actual results to be reliable. In addition, an attempt has been made in this work to consider those factors in PECM that have not been investigated in earlier works. This was done by simulating the process by using COMSOL software. However, it was found that the results from this attempt were not substantially different from the earlier reported studies.

Interface tailoring for adhesion enhancement of diamond-like carbon thin films

We have explored the suitability and characteristics of interface tailoring as a tool for enhancing the adhesion of hydrogen-free diamond-like carbon (DLC) thin films to silicon substrates. DLC films were deposited on silicon with and without application of an initial high energy carbon ion bombardment phase that formed a broad Si-C interface of gradually changing Si:C composition. The interface depth profile was calculated using the TRIDYN simulation program, revealing a gradient of carbon concentration including a region with the stoichiometry of silicon carbide. DLC films on silicon, with and without interface tailoring, were characterized using Raman spectroscopy, scanning electron microscopy, atomic force microscopy and scratch tests. The Raman spectroscopy results indicated sp3-type carbon bonding content of up to 80%. Formation of a broadened Si:C interface as formed here significantly enhances the adhesion of DLC films to the underlying silicon substrate. (C) 2012 Elsevier B.V. All rights reserved.

Exact field-driven interface dynamics in the two-dimensional stochastic Ising model with helicoidal boundary conditions

We investigate the interface dynamics of the two-dimensional stochastic Ising model in an external field under helicoidal boundary conditions. At sufficiently low temperatures and fields, the dynamics of the interface is described by an exactly solvable high-spin asymmetric quantum Hamiltonian that is the infinitesimal generator of the zero range process. Generally, the critical dynamics of the interface fluctuations is in the Kardar-Parisi-Zhang universality class of critical behavior. We remark that a whole family of RSOS interface models similar to the Ising interface model investigated here can be described by exactly solvable restricted high-spin quantum XXZ-type Hamiltonians. (C) 2012 Elsevier B.V. All rights reserved.

Surface-Potential-Based Drain Current Analytical Model for Triple-Gate Junctionless Nanowire Transistors

This paper proposes a drain current model for triple-gate n-type junctionless nanowire transistors. The model is based on the solution of the Poisson equation. First, the 2-D Poisson equation is used to obtain the effective surface potential for long-channel devices, which is used to calculate the charge density along the channel and the drain current. The solution of the 3-D Laplace equation is added to the 2-D model in order to account for the short-channel effects. The proposed model is validated using 3-D TCAD simulations where the drain current and its derivatives, the potential, and the charge density have been compared, showing a good agreement for all parameters. Experimental data of short- channel devices down to 30 nm at different temperatures have been also used to validate the model.

Detection of human T-cell lymphotropic virus type 1 in plasma samples

Human T-cell lymphotropic virus type 1 (HTLV-1) is-an RNA virus responsible for diseases such as HTLV-1-associated myelopathy/tropical spastic paraparesis (HAM/TSP) and adult T-cell leukemia/lymphoma (ATL). Cell-to-cell contact and Tax-induced clonal expansion of infected cells are the main modes of virus replication, making virus detection during the viremic stage difficult. Consequently, the proviral load is the current virologic marker for disease monitoring, but the mechanisms of progression have not been established yet. Thus, this study investigated the presence of virus in plasma from asymptomatic HTLV-1 carriers and from HAM/TSP patients. Real-time PCR was performed on DNA from 150 plasma samples; 12(8%) had detectable DNA amplification, including 6(4%) asymptomatic HTLV-1 carriers and 14(26%) HAM/TSP patients (p < 0.005). Of the 33 samples submitted for nested PCR, six (18%, p = 0.02) were positive for HTLV-1 RNA in the plasma. Additionally, 26 plasma samples were treated with DNAse enzyme to eliminate any DNA contamination before RNA extraction. Two of them (8%) showed amplification for HTLV-1 (p = 0.5). Therefore, this study described for the first time the detection of free HTLV-1 RNA in plasma from HTLV-1-infected subjects, regardless of their clinical status. Thus, HTLV-1 viral replication does occur in plasma, and other transmission pathways for HTLV-1 should be investigated further. (C) 2011 Elsevier B.V. All rights reserved.

ELECTROCHEMICAL OXIDATION OF THE HERBICIDE TEBUTHIURON USING DSA (R)-TYPE ELECTRODE

ELECTROCHEMICAL OXIDATION OF THE HERBICIDE TEBUTHIURON USING DSA (R)-TYPE ELECTRODE. Tebuthiuron (TBH) is a herbicide widely used in different cultures and known for its toxic effects. Electrochemical methods are promising for removing pollutants such as pesticides. This study showed the degradation of TBH using a DSA (R) anode operated at current densities of 50 to 200 mA cm(-2). Removal presented pseudo-first order kinetics while high-pressure liquid chromatography (UV detection) showed two peaks, ascribed to degradation intermediates. The maximum percentage of total organic carbon removed was 12.9%. Ion chromatography revealed that higher concentrations of nitrate and nitrite ions formed with increasing current density.

Catalogue of the type material of Neriidae (Diptera, Schizophora) in the collection of the Museum fur Naturkunde Berlin, Germany

The Diptera collection of the Natural History Museum Berlin holds one of the most important collections of Neriidae. In this paper, the type specimens (holotypes, lectotypes, paratypes, paralectotypes, syntypes) of this historical collection are listed. 28 species-group taxa are dealt with. A lectotype designation is made for the species Brachantichir purpusianus Enderlein, 1922 in order to fix the identity of the name. Holotypes are recognized by monotypy of the species Chaetomeristes bullatus Enderlein, 1922; Chaetomeristes peruanus Enderlein, 1922; Derocephalus angusticollis Enderlein, 1922; Glyphidops limbatus Enderlein, 1922; Longina abdominalis Wiedemann, 1830; Loxozus clavicornis Enderlein, 1922; Oncopsia mexicana Enderlein, 1922; Paranerius fibulatus Enderlein, 1922; Telostylinus dahli Enderlein, 1922; Telostylus latibrachium Enderlein, 1922; and Telostylinus luridus Enderlein, 1922. Syntypes are labelled and listed for Brachantichir robusta Enderlein, 1922; Nerius terebratus Enderlein, 1922; Odontoloxozus punctulatus Enderlein, 1922; Telostylinus apicalis Enderlein, 1922; Telostylinus obscuratus Enderlein, 1922; and Telostylinus ornatipennis Enderlein, 1922. The account concludes with geographic and taxonomic summaries; an appendix listing the abbreviations, localities, and collectors cited in the text; and a bibliography. ((c) 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Composites from a forest biorefinery byproduct and agrofibers: Lignosulfonate-phenolic type matrices reinforced with sisal fibers

The replacement of phenol with sodium lignosulfonate and formaldehyde with glutaraldehyde in the preparation of resins resulted in a new resol-type phenolic resin, sodium lignosulfonate-glutaraldehyde resin, in addition to sodium lignosulfonate-formaldehyde and phenol-formaldehyde resins. These resins were then used to prepare thermosets and composites reinforced with sisal fibers. Different techniques were used to characterize raw materials and/or thermosets and composites, including inverse gas chromatography, thermogravimetric analysis, and mechanical impact and flexural tests. The substitution of phenol by sodium lignosulfonate in the formulation of the composite matrices increased the impact strength of the respective composites from approximately 400 Jm(-1) to 800 J m(-1) and 1000 J m(-1), showing a considerable enhancement from the replacement of phenol with sodium lignosulfonate. The wettability of the sisal fibers increased when the resins were prepared from sodium lignosulfonate, generating composites in which the adhesion at the fiber-matrix interface was stronger and favored the transference of load from the matrix to the fiber during impact. Results suggested that the composites experienced a different mechanism of load transfer from the matrix to the fiber when a bending load was applied, compared to that experienced during impact. The thermogravimetric analysis results demonstrated that the thermal stability of the composites was not affected by the use of sodium lignosulfonate as a phenolic-type reagent during the preparation of the matrices.

Constraining the dark energy and smoothness parameter with type Ia supernovae and gamma-ray bursts

The existence of inhomogeneities in the observed Universe modifies the distance-redshift relations thereby affecting the results of cosmological tests in comparison to the ones derived assuming spatially uniform models. By modeling the inhomogeneities through a Zeldovich-Kantowski-Dyer-Roeder approach which is phenomenologically characterized by a smoothness parameter alpha, we rediscuss the constraints on the cosmic parameters based on type Ia supernovae (SNe Ia) and gamma-ray bursts (GRBs) data. The present analysis is restricted to a flat Lambda CDM model with the reasonable assumption that Lambda does not clump. A chi(2) analysis using 557 SNe Ia data from the Union2 compilation data (R. Amanullah et al., Astrophys. J. 716, 712 (2010).) constrains the pair of parameters (Omega(m), alpha) to Omega(m) = 0.27(-0.03)(+0.08) (2 sigma) and alpha >= 0.25. A similar analysis based only on 59 Hymnium GRBs (H. Wei, J. Cosmol. Astropart. Phys. 08 (2010) 020.) constrains the matter density parameter to be Omega(m) = 0.35(-0.24)(+0.62) (2 sigma) while all values for the smoothness parameter are allowed. By performing a joint analysis, it is found that Omega(m) = 0.27(-0.06)(+0.06) and alpha >= 0.52. As a general result, although considering that current GRB data alone cannot constrain the smoothness alpha parameter, our analysis provides an interesting cosmological probe for dark energy even in the presence of inhomogeneities.

HPV type infection in different anogenital sites among HIV-positive Brazilian women

Abstract Objectives To evaluate the prevalence of human papillomavirus (HPV) types, and risk factors for HPV positivity across cervix, vagina and anus, we conducted a study among 138 women with human immunodeficiency virus (HIV). Goal Compare the prevalence of different HPV types and the risk factors for HPV positivity in three sites. Results The most frequently detected HPV types in all sites were, in decreasing order, HPV16, 53, 18, 61 and 81. Agreement between the cervix and vagina was good (kappa 0.60 – 0.80) for HPV16 and 53 and excellent (Kappa > 0.80) for HPV18 and 61. HPV positivity was inversely associated with age for all combinations including the anal site. Conclusion In HIV positive women, HPV18 is the most spread HPV type found in combinations of anal and genital sites. The relationship of anal to genital infection has implications for the development of anal malignancies. Thus, the efficacy of the current HPV vaccine may be considered not only for the cervix, but also for prevention of HPV18 anal infection among immunossuppressed individuals.

Long-term type 1 diabetes impairs decidualization and extracellular matrix remodeling during early embryonic development in mice

Introduction: Endometrial decidualization and associated extracellular matrix (ECM) remodeling are critical events to the establishment of the maternal-fetal interface and successful pregnancy. Here, we investigated the impact of type 1 diabetes on these processes during early embryonic development, in order to contribute to the understanding of the maternal factors associated to diabetic embryopathies. Methods: Alloxan-induced diabetic Swiss female mice were bred after different periods of time to determine the effects of diabetes progression on the development of gestational complications. Furthermore, the analyses focused on decidual development as well as mRNA expression, protein deposition and ultrastructural organization of decidual ECM. Results: Decreased number of implantation sites and decidual dimensions were observed in the group mated 90-110 days after diabetes induction (D), but not in the 50-70D group. Picrosirius staining showed augmentation in the fibrillar collagen network in the 90e110D group and, following immunohistochemical examination, that this was associated with increase in types I and V collagens and decrease in type III collagen and collagen-associated proteoglycans biglycan and lumican. qPCR, however, demonstrated that only type I collagen mRNA levels were increased in the diabetic group. Alterations in the molecular ratio among distinct collagen types and proteoglycans were associated with abnormal collagen fibrillogenesis, analyzed by transmission electron microscopy. Conclusions: Our results support the concept that the development of pregnancy complications is directly related with duration of diabetes (progression of the disease), and that this is a consequence of both systemic factors (i.e. disturbed maternal endocrine-metabolic profile) and uterine factors, including impaired decidualization and ECM remodeling

Type Ia Supernova Cosmology : Quantitative Spectral Analysis

Type Ia supernovae have been successfully used as standardized candles to study the expansion history of the Universe. In the past few years, these studies led to the exciting result of an accelerated expansion caused by the repelling action of some sort of dark energy. This result has been confirmed by measurements of cosmic microwave background radiation, the large-scale structure, and the dynamics of galaxy clusters. The combination of all these experiments points to a “concordance model” of the Universe with flat large-scale geometry and a dominant component of dark energy. However, there are several points related to supernova measurements which need careful analysis in order to doubtlessly establish the validity of the concordance model. As the amount and quality of data increases, the need of controlling possible systematic effects which may bias the results becomes crucial. Also important is the improvement of our knowledge of the physics of supernovae events to assure and possibly refine their calibration as standardized candle. This thesis addresses some of those issues through the quantitative analysis of supernova spectra. The stress is put on a careful treatment of the data and on the definition of spectral measurement methods. The comparison of measurements for a large set of spectra from nearby supernovae is used to study the homogeneity and to search for spectral parameters which may further refine the calibration of the standardized candle. One such parameter is found to reduce the dispersion in the distance estimation of a sample of supernovae to below 6%, a precision which is comparable with the current lightcurve-based calibration, and is obtained in an independent manner. Finally, the comparison of spectral measurements from nearby and distant objects is used to test the possibility of evolution with cosmic time of the intrinsic brightness of type Ia supernovae.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Characterization of L-type Calcium Channel Binding-Site of a new class of Calcium modulators by a Multidisciplinary approach

Many potential diltiazem related L-VDCC blockers were developed using a multidisciplinary approach. This current study was to investigate and compare diltiazem with to the newly developed compounds by mouse Langendorff-perfused heart, Ca2+-transient and on recombinant L-VDCC. Twenty particular compounds were selected by the ligand-based virtual screening procedure (LBVS). From these compounds, five of them (5b, M2, M7, M8 and P1) showed a potent and selective inotropic activity on guinea-pig left atria driven 1 Hz. Further assays displayed an interesting negative inotropic effect of M2, M8, P1 and M7 on guinea pig isolated left papillary muscle driven at 1 Hz, a relevant vasorelaxant activity of 5b, M2, M7, M8 and P1 on K+-depolarized guinea-pig ileum longitudinal smooth muscle and a significant inhibition of contraction of 5b, M2, M8 and P1 on carbachol stimulated ileum longitudinal smooth muscle. Wild-type human heart and rabbit lung α1 subunits were expressed (combined with the regulatory α2δ and β3 subunits) in Xenopus Leavis oocytes using a two-electrode voltage clamp technique. Diltiazem is a benzothiazepine Ca2+ channel blocker used clinically for its antihypertensive and antiarrhythmic effects. Previous radioligand binding assays revealed a complex interaction with the benzothiazepine binding site for M2, M7 and M8. (Carosati E. et al. J. Med Chem. 2006, 49; 5206). In agreement with this findings, the relative order of increased rates of contraction and relaxation at lower concentrations s(≤10-6M) in unpaced hearts was M7>M2>M8>P1. Similar increases in Ca2+ transient were observed in cardiomyocytes. Diltiazem showed negative inotropic effects whereas 5b had no significant effect. Diltiazem blocks Ca2+current in a use-dependent manner and facilitates the channel by accelerating the inactivation and decelerating the recovery from inactivation. In contrast to diltiazem, the new analogs had no pronounced use-dependence. Application of 100 μM M8, M2 showed ~ 10% tonic block; in addition, M8, M2 and P1 shifted the steady state inactivation in hyperpolarized direction and the current inactivation time was significantly decreased compared with control (219.6 ± 11.5 ms, 226 ± 14.5 vs. 269 ± 12.9 vs. 199.28 ± 8.19 ms). Contrary to diltiazem, the recovery from the block by M8 and M2 was comparable to control. Only P1 showed a significantly decrease of the time for the recovery from inactivation. All of the compounds displayed the same sensitivity on the Ca2+ channel rabbit lung α1 except P1. Taken together, these findings suggest that M8, M2 and P1 might directly decrease the binding affinity or allow rapid dissociation from the benzothiazepine binding site.