Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.

Magnetic interaction in exchange-biased bilayers: a first-order reversal curve analysis

The distributions of coercivities and magnetic interactions in a set of polycrystalline Ni(0.8)Fe(0.2)/FeMn bilayers have been determined using the first-order reversal curve (FORC) formalism. The thickness of the permalloy (Py) film was fixed at 10 nm (nominal), while that of the FeMn film varied within the range 0-20 nm. The FORC diagrams of each bilayer displayed two clearly distinguishable regions. The main region was generated by Py particles whose coercivities were enhanced in comparison with those in which the FeMn film was absent (sample O). The minor region was produced by Py particles with coercivities similar to or slightly higher than those of particles in the Py film of sample O. Each sample presented two distributions of interaction fields, one for each region, and both were centred slightly below the exchange-bias field, thus indicating a prevalence of magnetizing interactions. These results are consistent with a grain size distribution in the Py layer and the presence of uncompensated antiferromagnetic moments.

First-order-reversal-curve analysis of Pr-Fe-B-based exchange spring magnets

Ribbons of nominal composition (Pr(9.5)Fe(84.5)B(6))(0.96)Cr(0.01)(TiC)(0.03) were produced by arc-melting and melt-spinning the alloys on a Cu wheel. X-ray diffraction (XRD) reveals two main phases, one based upon alpha-Fe and the other upon Pr(2)Fe(14)B. The ribbons show exchange spring behavior with H (c) = 12.5 kOe and (BH)(max) = 13.6 MGOe when these two phases are well coupled. Transmission electron microscopy revealed the coupled behavior is observed when the microstructure consists predominantly of alpha-Fe grains (diameter similar to 100 nm.) surrounded by hard material containing Pr(2)Fe(14)B. The microstructure is discussed in terms of a calculation by Skomski and Coey. A first-order-reversal-curve (FORC) analysis was performed for both a well-coupled sample and a poorly coupled sample. The FORC diagrams show two strong peaks for both the poorly coupled sample and for the well-coupled material. In both cases, the localization of the FORC probability suggests magnetizing interactions between particles. Switching field distributions were calculated and are consistent with the sample microstructure.

First-order-reversal-curve analysis of Pr-Fe-B-based nanocomposites

Ribbons of nominal composition (Pr(9.5)Fe(84.5)B(6))(0.96)Cr(0.01)(TiC)(0.03) were produced by arc-melting and melt-spinning the alloys on a Cu wheel. X-ray diffraction reveals two main phases, one based upon alpha-Fe and the other upon Pr(2)Fe(14)B. The ribbons show exchange spring behavior with H(c)=12.5 kOe and (BH)(max)= 13.6 MGOe when these two phases are well coupled. Transmission electron microscopy revealed that the coupled behavior is observed when the microstructure consists predominantly of alpha-Fe grains(diameter similar to 100 nm.) surrounded by hard material containing Pr(2)Fe(14)B. A first-order-reversal-curve (FORC) analysis was performed for both a well-coupled sample and a partially-coupled sample. The FORC diagrams show two strong peaks for both the partially-coupled sample and for the well coupled material. In both cases, the localization of the FORC probability suggests demagnetizing interactions between particles. Switching field distributions were calculated and are consistent with the sample microstructure. (C) 2009 Elsevier B.V. All rights reserved.

First order reversal curve analysis of nanocrystalline Pd(80)Co(20) alloy films

Films of isotropic nanocrystalline Pd(80)Co(20) alloys were obtained by electrodeposition onto brass substrate in plating baths maintained at different pH values. Increasing the pH of the plating bath led to an increase in mean grain size without inducing significant changes in the composition of the alloy. The magnetocrystalline anisotropy constant was estimated and the value was of the same order of magnitude as that reported for samples with perpendicular magnetic anisotropy. First order reversal curve (FORC) analysis revealed the presence of an important component of reversible magnetization. Also, FORC diagrams obtained at different sweep rate of the applied magnetic field, revealed that this reversible component is strongly affected by kinetic effect. The slight bias observed in the irreversible part of the FORC distribution suggested the dominance of magnetizing intergrain exchange coupling over demagnetizing dipolar interactions and microstructural disorder. (c) 2009 Elsevier B.V. All rights reserved.

Influence diagnostics for linear models with first-order autoregressive elliptical errors

We introduce in this paper the class of linear models with first-order autoregressive elliptical errors. The score functions and the Fisher information matrices are derived for the parameters of interest and an iterative process is proposed for the parameter estimation. Some robustness aspects of the maximum likelihood estimates are discussed. The normal curvatures of local influence are also derived for some usual perturbation schemes whereas diagnostic graphics to assess the sensitivity of the maximum likelihood estimates are proposed. The methodology is applied to analyse the daily log excess return on the Microsoft whose empirical distributions appear to have AR(1) and heavy-tailed errors. (C) 2008 Elsevier B.V. All rights reserved.

Using bifurcations in the determination of lock-in ranges for third-order phase-locked loops

Transmission and switching in digital telecommunication networks require distribution of precise time signals among the nodes. Commercial systems usually adopt a master-slave (MS) clock distribution strategy building slave nodes with phase-locked loop (PLL) circuits. PLLs are responsible for synchronizing their local oscillations with signals from master nodes, providing reliable clocks in all nodes. The dynamics of a PLL is described by an ordinary nonlinear differential equation, with order one plus the order of its internal linear low-pass filter. Second-order loops are commonly used because their synchronous state is asymptotically stable and the lock-in range and design parameters are expressed by a linear equivalent system [Gardner FM. Phaselock techniques. New York: John Wiley & Sons: 1979]. In spite of being simple and robust, second-order PLLs frequently present double-frequency terms in PD output and it is very difficult to adapt a first-order filter in order to cut off these components [Piqueira JRC, Monteiro LHA. Considering second-harmonic terms in the operation of the phase detector for second order phase-locked loop. IEEE Trans Circuits Syst [2003;50(6):805-9; Piqueira JRC, Monteiro LHA. All-pole phase-locked loops: calculating lock-in range by using Evan`s root-locus. Int J Control 2006;79(7):822-9]. Consequently, higher-order filters are used, resulting in nonlinear loops with order greater than 2. Such systems, due to high order and nonlinear terms, depending on parameters combinations, can present some undesirable behaviors, resulting from bifurcations, as error oscillation and chaos, decreasing synchronization ranges. In this work, we consider a second-order Sallen-Key loop filter [van Valkenburg ME. Analog filter design. New York: Holt, Rinehart & Winston; 1982] implying a third order PLL The resulting lock-in range of the third-order PLL is determined by two bifurcation conditions: a saddle-node and a Hopf. (C) 2008 Elsevier B.V. All rights reserved.

Recording from Two Neurons: Second-Order Stimulus Reconstruction from Spike Trains and Population Coding

We study the reconstruction of visual stimuli from spike trains, representing the reconstructed stimulus by a Volterra series up to second order. We illustrate this procedure in a prominent example of spiking neurons, recording simultaneously from the two H1 neurons located in the lobula plate of the fly Chrysomya megacephala. The fly views two types of stimuli, corresponding to rotational and translational displacements. Second-order reconstructions require the manipulation of potentially very large matrices, which obstructs the use of this approach when there are many neurons. We avoid the computation and inversion of these matrices using a convenient set of basis functions to expand our variables in. This requires approximating the spike train four-point functions by combinations of two-point functions similar to relations, which would be true for gaussian stochastic processes. In our test case, this approximation does not reduce the quality of the reconstruction. The overall contribution to stimulus reconstruction of the second-order kernels, measured by the mean squared error, is only about 5% of the first-order contribution. Yet at specific stimulus-dependent instants, the addition of second-order kernels represents up to 100% improvement, but only for rotational stimuli. We present a perturbative scheme to facilitate the application of our method to weakly correlated neurons.

Second-order negative-curvature methods for box-constrained and general constrained optimization

A Nonlinear Programming algorithm that converges to second-order stationary points is introduced in this paper. The main tool is a second-order negative-curvature method for box-constrained minimization of a certain class of functions that do not possess continuous second derivatives. This method is used to define an Augmented Lagrangian algorithm of PHR (Powell-Hestenes-Rockafellar) type. Convergence proofs under weak constraint qualifications are given. Numerical examples showing that the new method converges to second-order stationary points in situations in which first-order methods fail are exhibited.

Degradação de corantes ácidos por processos oxidativos avançados usando um reator com disco rotatório de baixa velocidade

Three technologies were tested (TiO2/UV, H2O2/UV, and TiO2/H2O2/UV) for the degradation and color removal of a 25 mg L-1 mixture of three acid dyes: Blue 9, Red 18, and Yellow 23. A low speed rotating disc reactor (20 rpm) and a H2O2 concentration of 2.5 mmol L-1 were used. The dyes did not significantly undergo photolysis, although they were all degraded by the studied advanced oxidation processes. With the TiO2/H2O2/UV process, a strong synergism was observed (color removal reached 100%). Pseudo first order kinetic constants were estimated for all processes, as well as the respective apparent photonic efficiencies.

Tempo de vida útil de propelentes base-simples

The purpose of this work was to determine the safe shelf life of single-base propellants. The kinetic parameters relative to the consumption of the stabilizer diphenylamine (DPA) added to the propellant were determined as a function of the storage and ageing time. High Performance Liquid Chromatography (HPLC) with spectrophotometric detection was used to determine the DPA percentage before and after the artificial ageing at 60, 70 and 80 ºC. The experimental data were very well adjusted to a pseudo-first order kinetic model and the respective kinetic constants are 8.0-10-3 day-1 (60 ºC); 1.9-10-2 day-1 (70 ºC); 1.2-10-1 day-1 (80 ºC). The activation energy was calculated as 130 kJ mol-1 and the half-time for depletion of the DPA at the hypothetical temperature of 40 ºC of storage was estimated as being 6 years.

Quasiharmonic elastic constants corrected for deviatoric thermal stresses

The quasiharmonic approximation (QHA), in its simplest form also called the statically constrained (SC) QHA, has been shown to be a straightforward method to compute thermoelastic properties of crystals. Recently we showed that for noncubic solids SC-QHA calculations develop deviatoric thermal stresses at high temperatures. Relaxation of these stresses leads to a series of corrections to the free energy that may be taken to any desired order, up to self-consistency. Here we show how to correct the elastic constants obtained using the SC-QHA. We exemplify the procedure by correcting to first order the elastic constants of MgSiO(3) perovskite and MgSiO(3) postperovskite, the major phases of the Earth's lower mantle. We show that this first-order correction is quite satisfactory for obtaining the aggregated elastic averages of these minerals and their velocities in the lower mantle. This type of correction is also shown to be applicable to experimental measurements of elastic constants in situations where deviatoric stresses can develop, such as in diamond-anvil cells.

Fully Connected PLL Networks: How Filter Determines the Number of Nodes

Synchronization plays an important role in telecommunication systems, integrated circuits, and automation systems. Formerly, the masterslave synchronization strategy was used in the great majority of cases due to its reliability and simplicity. Recently, with the wireless networks development, and with the increase of the operation frequency of integrated circuits, the decentralized clock distribution strategies are gaining importance. Consequently, fully connected clock distribution systems with nodes composed of phase-locked loops (PLLs) appear as a convenient engineering solution. In this work, the stability of the synchronous state of these networks is studied in two relevant situations: when the node filters are first-order lag-lead low-pass or when the node filters are second-order low-pass. For first-order filters, the synchronous state of the network shows to be stable for any number of nodes. For second-order filter, there is a superior limit for the number of nodes, depending on the PLL parameters. Copyright (C) 2009 Atila Madureira Bueno et al.

Mechanism of Heparin Acceleration of Tissue Inhibitor of Metalloproteases-1 (TIMP-1) Degradation by the Human Neutrophil Elastase

Heparin has been shown to regulate human neutrophil elastase (HNE) activity. We have assessed the regulatory effect of heparin on Tissue Inhibitor of Metalloproteases-1 [TIMP-1] hydrolysis by HNE employing the recombinant form of TIMP-1 and correlated FRET-peptides comprising the TIMP-1 cleavage site. Heparin accelerates 2.5-fold TIMP-1 hydrolysis by HNE. The kinetic parameters of this reaction were monitored with the aid of a FRET-peptide substrate that mimics the TIMP-1 cleavage site in pre-steady-state conditionsby using a stopped-flow fluorescence system. The hydrolysis of the FRET-peptide substrate by HNE exhibits a pre-steady-state burst phase followed by a linear, steady-state pseudo-first-order reaction. The HNE acylation step (k(2)=21 +/- 1 s(-1)) was much higher than the HNE deacylation step (k(3)=0.57 +/- 0.05 s(-1)). The presence of heparin induces a dramatic effect in the pre-steady-state behavior of HNE. Heparin induces transient lag phase kinetics in HNE cleavage of the FRET-peptide substrate. The pre-steady-state analysis revealed that heparin affects all steps of the reaction through enhancing the ES complex concentration, increasing k(1) 2.4-fold and reducing k(-1) 3.1-fold. Heparin also promotes a 7.8-fold decrease in the k(2) value, whereas the k(3) value in the presence of heparin was increased 58-fold. These results clearly show that heparin binding accelerates deacylation and slows down acylation. Heparin shifts the HNE pH activity profile to the right, allowing HNE to be active at alkaline pH. Molecular docking and kinetic analysis suggest that heparin induces conformational changes in HNE structure. Here, we are showing for the first time that heparin is able to accelerate the hydrolysis of TIMP-1 by HNE. The degradation of TIMP-1is associated to important physiopathological states involving excessive activation of MMPs.

Simplified Mathematical Model for an Anaerobic Sequencing Batch Biofilm Reactor Treating Lipid-Rich Wastewater Subject to Rising Organic Loading Rates

This study proposes a simplified mathematical model to describe the processes occurring in an anaerobic sequencing batch biofilm reactor (ASBBR) treating lipid-rich wastewater. The reactor, subjected to rising organic loading rates, contained biomass immobilized cubic polyurethane foam matrices, and was operated at 32 degrees C +/- 2 degrees C, using 24-h batch cycles. In the adaptation period, the reactor was fed with synthetic substrate for 46 days and was operated without agitation. Whereas agitation was raised to 500 rpm, the organic loading rate (OLR) rose from 0.3 g chemical oxygen demand (COD) . L(-1) . day(-1) to 1.2 g COD . L(-1) . day(-1). The ASBBR was fed fat-rich wastewater (dairy wastewater), in an operation period lasting for 116 days, during which four operational conditions (OCs) were tested: 1.1 +/- 0.2 g COD . L(-1) . day(-1) (OC1), 4.5 +/- 0.4 g COD . L(-1) . day(-1) (OC2), 8.0 +/- 0.8 g COD . L(-1) . day(-1) (OC3), and 12.1 +/- 2.4 g COD . L(-1) . day(-1) (OC4). The bicarbonate alkalinity (BA)/COD supplementation ratio was 1:1 at OC1, 1:2 at OC2, and 1:3 at OC3 and OC4. Total COD removal efficiencies were higher than 90%, with a constant production of bicarbonate alkalinity, in all OCs tested. After the process reached stability, temporal profiles of substrate consumption were obtained. Based on these experimental data a simplified first-order model was fit, making possible the inference of kinetic parameters. A simplified mathematical model correlating soluble COD with volatile fatty acids (VFA) was also proposed, and through it the consumption rates of intermediate products as propionic and acetic acid were inferred. Results showed that the microbial consortium worked properly and high efficiencies were obtained, even with high initial substrate concentrations, which led to the accumulation of intermediate metabolites and caused low specific consumption rates.