Theoretical and Experimental Study of Polarization Dependent Loss in a Optical Recirculating Loop

An experimental study of the Polarization Dependent Loss (PDL) is performed in an Optical Recirculating Loop (RCL). The RCL enables to simulate the transmission through various optical links using just one optical fiber spool, one in line amplifier, some optical filters and devices in a low cost manner. The total amount of PDL in a Recirculating loop, due to its statistical nature, is different of the simple sum of each element of the recirculating loop because of the alignment variation of the PDL elements with time, depending on the environmental conditions such as fiber stress and temperature. In this paper theoretical studies are also performed using formalism of Jones and Mueller matrices in order to represent the different optical elements in the recirculating loop. The PDL must be correctly characterized in order to evaluate properly the impact on the performance of next generation DWDM systems. Theoretical and experimental results comparison shows that a depolarization of 7% occurs in the experimental setup, probably by the optical amplifier due to the depolarized nature of the amplified spontaneous emission.

Greenhouse gas emissions and energy balance of palm oil biofuel

The search for alternatives to fossil fuels is boosting interest in biodiesel production. Among the crops used to produce biodiesel, palm trees stand out due to their high productivity and positive energy balance. This work assesses life cycle emissions and the energy balance of biodiesel production from palm oil in Brazil. The results are compared through a meta-analysis to previous published studies: Wood and Corley (1991) [Wood BJ, Corley RH. The energy balance of oil palm cultivation. In: PORIM intl. palm oil conference agriculture; 1991.], Malaysia; Yusoff and Hansen (2005) [Yusoff S. Hansen SB. Feasibility study of performing an life cycle assessment on crude palm oil production in Malaysia. International Journal of Life Cycle Assessment 2007;12:50-8], Malaysia; Angarita et al. (2009) [Angarita EE, Lora EE, Costa RE, Torres EA. The energy balance in the palm oil-derived methyl ester (PME) life cycle for the cases in Brazil and Colombia. Renewable Energy 2009;34:2905-13], Colombia; Pleanjai and Gheewala (2009) [Pleanjai S. Gheewala SH. Full chain energy analysis of biodiesel production from palm oil in Thailand. Applied Energy 2009;86:S209-14], Thailand; and Yee et al. (2009) [Yee KF, Tan KT, Abdullah AZ, Lee la. Life cycle assessment of palm biodiesel: revealing facts and benefits for sustainability. Applied Energy 2009;86:S189-96], Malaysia. In our study, data for the agricultural phase, transport, and energy content of the products and co-products were obtained from previous assessments done in Brazil. The energy intensities and greenhouse gas emission factors were obtained from the Simapro 7.1.8. software and other authors. These factors were applied to the inputs and outputs listed in the selected studies to render them comparable. The energy balance for our study was 1:5.37. In comparison the range for the other studies is between 1:3.40 and 1:7.78. Life cycle emissions determined in our assessment resulted in 1437 kg CO(2)e/ha, while our analysis based on the information provided by other authors resulted in 2406 kg CO(2)e/ha, on average. The Angarita et al. (2009) [Angarita EE, Lora EE, Costa RE, Torres EA. The energy balance in the palm oil-derived methyl ester (PME) life cycle for the cases in Brazil and Colombia. Renewable Energy 2009:34:2905-13] study does not report emissions. When compared to diesel on a energy basis, avoided emissions due to the use of biodiesel account for 80 g CO(2)e/MJ. Thus, avoided life Cycle emissions associated with the use of biodiesel yield a net reduction of greenhouse gas emissions. We also assessed the carbon balance between a palm tree plantation, including displaced emissions from diesel, and a natural ecosystem. Considering the carbon balance outcome plus life cycle emissions the payback time for a tropical forest is 39 years. The result published by Gibbs et al. (2008) [Gibbs HK, Johnston M, Foley JA, Holloway T, Monfreda C, Ramankutty N, et al., Carbon payback times for crop-based biofuel expansion in the tropics: the effects of changing yield and technology. Environmental Research Letters 2008;3:10], which ignores life cycle emissions, determined a payback range for biodiesel production between 30 and 120 years. Crown Copyright (C) 2010 Published by Elsevier Ltd. All rights reserved.

A safety assessment methodology applied to CNS/ATM-based air traffic control system

In the last decades, the air traffic system has been changing to adapt itself to new social demands, mainly the safe growth of worldwide traffic capacity. Those changes are ruled by the Communication, Navigation, Surveillance/Air Traffic Management (CNS/ATM) paradigm, based on digital communication technologies (mainly satellites) as a way of improving communication, surveillance, navigation and air traffic management services. However, CNS/ATM poses new challenges and needs, mainly related to the safety assessment process. In face of these new challenges, and considering the main characteristics of the CNS/ATM, a methodology is proposed at this work by combining ""absolute"" and ""relative"" safety assessment methods adopted by the International Civil Aviation Organization (ICAO) in ICAO Doc.9689 [14], using Fluid Stochastic Petri Nets (FSPN) as the modeling formalism, and compares the safety metrics estimated from the simulation of both the proposed (in analysis) and the legacy system models. To demonstrate its usefulness, the proposed methodology was applied to the ""Automatic Dependent Surveillance-Broadcasting"" (ADS-B) based air traffic control system. As conclusions, the proposed methodology assured to assess CNS/ATM system safety properties, in which FSPN formalism provides important modeling capabilities, and discrete event simulation allowing the estimation of the desired safety metric. (C) 2011 Elsevier Ltd. All rights reserved.

Quantification of MgO surface excess on the SnO(2) nanoparticles and relationship with nanostability and growth

In this work, we experimentally showed that the spontaneous segregation of MgO as surface excess in MgO doped SnO(2) nanoparticles plays an important role in the system`s energetics and stability. Using Xray fluorescence in specially treated samples, we quantitatively determined the fraction of MgO forming surface excess when doping SnO(2) with several different concentrations and established a relationship between this amount and the surface energy of the nanoparticles using the Gibbs approach. We concluded that the amount of Mg ions on the surface was directly related to the nanoparticles total free energy, in a sense that the dopant will always spontaneously distribute itself to minimize it if enough diffusion is provided. Because we were dealing with nanosized particles, the effect of MgO on the surface was particularly important and has a direct effect on the equilibrium particle size (nanoparticle stability), such that the lower the surface energy is, the smaller the particle sizes are, evidencing and quantifying the thermodynamic basis of using additives to control SnO(2) nanoparticles stability. (C) 2010 Elsevier B.V. All rights reserved.

Phase Equilibrium and Optimization Tools: Application for Enhanced Structured Lipids for Foods

Solid-liquid phase equilibrium modeling of triacylglycerol mixtures is essential for lipids design. Considering the alpha polymorphism and liquid phase as ideal, the Margules 2-suffix excess Gibbs energy model with predictive binary parameter correlations describes the non ideal beta and beta` solid polymorphs. Solving by direct optimization of the Gibbs free energy enables one to predict from a bulk mixture composition the phases composition at a given temperature and thus the SFC curve, the melting profile and the Differential Scanning Calorimetry (DSC) curve that are related to end-user lipid properties. Phase diagram, SFC and DSC curve experimental data are qualitatively and quantitatively well predicted for the binary mixture 1,3-dipalmitoyl-2-oleoyl-sn-glycerol (POP) and 1,2,3-tripalmitoyl-sn-glycerol (PPP), the ternary mixture 1,3-dimyristoyl-2-palmitoyl-sn-glycerol (MPM), 1,2-distearoyl-3-oleoyl-sn-glycerol (SSO) and 1,2,3-trioleoyl-sn-glycerol (OOO), for palm oil and cocoa butter. Then, addition to palm oil of Medium-Long-Medium type structured lipids is evaluated, using caprylic acid as medium chain and long chain fatty acids (EPA-eicosapentaenoic acid, DHA-docosahexaenoic acid, gamma-linolenic-octadecatrienoic acid and AA-arachidonic acid), as sn-2 substitutes. EPA, DHA and AA increase the melting range on both the fusion and crystallization side. gamma-linolenic shifts the melting range upwards. This predictive tool is useful for the pre-screening of lipids matching desired properties set a priori.

AN ASSESSMENT ON THE USE OF THE DEBYE-HUCKEL EQUATION FOR THE THERMODYNAMIC MODELING OF AQUEOUS SYSTEMS CONTAINING POLYMERS AND SALTS

In this work, a study on the role of the long-range term of excess Gibbs energy models in the modeling of aqueous systems containing polymers and salts is presented. Four different approaches on how to account for the presence of polymer in the long-range term were considered, and simulations were conducted considering aqueous solutions of three different salts. The analysis of water activity curves showed that, in all cases, a liquid-phase separation may be introduced by the sole presence of the polymer in the long-range term, regardless of how it is taken into account. The results lead to the conclusion that there is no single exact solution for this problem, and that any kind of approach may introduce inconsistencies.

WATER ACTIVITY OF AQUEOUS SOLUTIONS OF ETHYLENE OXIDE-PROPYLENE OXIDE BLOCK COPOLYMERS AND MALTODEXTRINS

The water activity of aqueous solutions of EO-PO block copolymers of six different molar masses and EO/PO ratios and of maltodextrins of three different molar masses was determined at 298.15 K. The results showed that these aqueous solutions present a negative deviation from Raoult`s law. The Flory-Huggins and UNIFAC excess Gibbs energy models were employed to model the experimental data. While a good agreement was obtained with the Flory-Huggins equation, discrepancies were observed when predicting the experimental behavior with the UNIFAC model. The water activities of ternary systems formed by a synthetic polymer, maltodextrin and water were also measured and used to test the predictive capability of both models.

Thermodynamics of aqueous solutions of polyelectrolytes: Experimental results for the activity of water in aqueous solutions of (a single synthetic polyelectrolyte and sodium chloride)

Experimental results for the activity of water in aqueous solutions of 10 single, synthetic polyelectrolytes (polysodium acrylate, polysodium methacrylate, polyammonium acrylate, polysodium ethylene sulfonate, and polysodium styrene sulfonate) and sodium chloride at 298.2 K are presented. The experimental work was performed by applying the isopiestic method with sodium chloride as a reference substance. As expected, the activity of water decreases when the concentration of a polyelectrolyte and/or sodium chloride increases. At constant concentration of a polyelectrolyte and sodium chloride, the activity of water depends on the monomer unit and the molecular mass of the polyelectrolyte. The new data are to be used in future work to develop and test models for the Gibbs excess energy of aqueous solutions of polyelectrolytes.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Thermodynamic modelling of an Al(2)O(3)-MnO system using the ionic model

The thermodynamic assessment of an Al(2)O(3)-MnO pseudo-binary system has been carried out with the use of an ionic model. The use of the electro-neutrality principles in addition to the constitutive relations, between site fractions of the species on each sub-lattice, the thermodynamics descriptions of each solid phase has been determined to make possible the solubility description. Based on the thermodynamics descriptions of each phase in addition to thermo-chemical data obtained from the literature, the Gibbs energy functions were optimized for each phase of the Al(2)O(3)-MnO system with the support of PARROT(R) module from ThemoCalc(R) package. A thermodynamic database was obtained, in agreement with the thermo-chemical data extracted from the literature, to describe the Al(2)O(3)-MnO system including the solubility description of solid phases. (C) 2009 Elsevier Ltd. All rights reserved.

Double generalized linear model for tissue culture proportion data: a Bayesian perspective

Joint generalized linear models and double generalized linear models (DGLMs) were designed to model outcomes for which the variability can be explained using factors and/or covariates. When such factors operate, the usual normal regression models, which inherently exhibit constant variance, will under-represent variation in the data and hence may lead to erroneous inferences. For count and proportion data, such noise factors can generate a so-called overdispersion effect, and the use of binomial and Poisson models underestimates the variability and, consequently, incorrectly indicate significant effects. In this manuscript, we propose a DGLM from a Bayesian perspective, focusing on the case of proportion data, where the overdispersion can be modeled using a random effect that depends on some noise factors. The posterior joint density function was sampled using Monte Carlo Markov Chain algorithms, allowing inferences over the model parameters. An application to a data set on apple tissue culture is presented, for which it is shown that the Bayesian approach is quite feasible, even when limited prior information is available, thereby generating valuable insight for the researcher about its experimental results.

Rational Design and 3D-Pharmacophore Mapping of 5 `-Thiourea-Substituted alpha-Thymidine Analogues as Mycobacterial TMPK Inhibitors

Thymidine monophosphate kinase (TMPK) has emerged as an attractive target for developing inhibitors of Mycobacterium tuberculosis growth. In this study the receptor-independent (RI) 4D-QSAR formalism has been used to develop QSAR models and corresponding 3D-pharmacophores for a set of 5`-thiourea-substituted alpha-thymidine inhibitors. Models were developed for the entire training set and for a subset of the training set consisting of the most potent inhibitors. The optimized (RI) 4D-QSAR models are statistically significant (r(2) = 0.90, q(2) = 0.83 entire set, r(2) = 0.86, q(2) = 0.80 high potency subset) and also possess good predictivity based on test set predictions. The most and least potent inhibitors, in their respective postulated active conformations derived from the models, were docked in the active site of the TMPK crystallographic structure. There is a solid consistency between the 3D-pharmacophore sites defined by the QSAR models and interactions with binding site residues. This model identifies new regions of the inhibitors that contain pharmacophore sites, such as the sugar-pyrimidine ring structure and the region of the 5`-arylthiourea moiety. These new regions of the ligands can be further explored and possibly exploited to identify new, novel, and, perhaps, better antituberculosis inhibitors of TMPKmt. Furthermore, the 3D-pharmacophores defined by these models can be used as a starting point for future receptor-dependent antituberculosis drug design as well as to elucidate candidate sites for substituent addition to optimize ADMET properties of analog inhibitors.

On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Ladder operator for the one-dimensional Hubbard model

The one-dimensional Hubbard model is integrable in the sense that it has an infinite family of conserved currents. We explicitly construct a ladder operator which can be used to iteratively generate all of the conserved current operators. This construction is different from that used for Lorentz invariant systems such as the Heisenberg model. The Hubbard model is not Lorentz invariant, due to the separation of spin and charge excitations. The ladder operator is obtained by a very general formalism which is applicable to any model that can be derived from a solution of the Yang-Baxter equation.

Matrix elements of U(2n) generators in a multishell spin-orbit basis. I. The del-operator MEs in a two-shell composite Gelfand-Paldus basis

This is the first in a series of three articles which aimed to derive the matrix elements of the U(2n) generators in a multishell spin-orbit basis. This is a basis appropriate to many-electron systems which have a natural partitioning of the orbital space and where also spin-dependent terms are included in the Hamiltonian. The method is based on a new spin-dependent unitary group approach to the many-electron correlation problem due to Gould and Paldus [M. D. Gould and J. Paldus, J. Chem. Phys. 92, 7394, (1990)]. In this approach, the matrix elements of the U(2n) generators in the U(n) x U(2)-adapted electronic Gelfand basis are determined by the matrix elements of a single Ll(n) adjoint tensor operator called the del-operator, denoted by Delta(j)(i) (1 less than or equal to i, j less than or equal to n). Delta or del is a polynomial of degree two in the U(n) matrix E = [E-j(i)]. The approach of Gould and Paldus is based on the transformation properties of the U(2n) generators as an adjoint tensor operator of U(n) x U(2) and application of the Wigner-Eckart theorem. Hence, to generalize this approach, we need to obtain formulas for the complete set of adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis. The nonzero shift coefficients are uniquely determined and may he evaluated by the methods of Gould et al. [see the above reference]. In this article, we define zero-shift adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis which are appropriate to the many-electron problem. By definition, these are proportional to the corresponding two-shell del-operator matrix elements, and it is shown that the Racah factorization lemma applies. Formulas for these coefficients are then obtained by application of the Racah factorization lemma. The zero-shift adjoint reduced Wigner coefficients required for this procedure are evaluated first. All these coefficients are needed later for the multishell case, which leads directly to the two-shell del-operator matrix elements. Finally, we discuss an application to charge and spin densities in a two-shell molecular system. (C) 1998 John Wiley & Sons.