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.

Approximate algorithms for credal networks with binary variables

This paper presents a family of algorithms for approximate inference in credal networks (that is, models based on directed acyclic graphs and set-valued probabilities) that contain only binary variables. Such networks can represent incomplete or vague beliefs, lack of data, and disagreements among experts; they can also encode models based on belief functions and possibilistic measures. All algorithms for approximate inference in this paper rely on exact inferences in credal networks based on polytrees with binary variables, as these inferences have polynomial complexity. We are inspired by approximate algorithms for Bayesian networks; thus the Loopy 2U algorithm resembles Loopy Belief Propagation, while the Iterated Partial Evaluation and Structured Variational 2U algorithms are, respectively, based on Localized Partial Evaluation and variational techniques. (C) 2007 Elsevier Inc. All rights reserved.

Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.

Sequential decision making with partially ordered preferences

This paper presents new insights and novel algorithms for strategy selection in sequential decision making with partially ordered preferences; that is, where some strategies may be incomparable with respect to expected utility. We assume that incomparability amongst strategies is caused by indeterminacy/imprecision in probability values. We investigate six criteria for consequentialist strategy selection: Gamma-Maximin, Gamma-Maximax, Gamma-Maximix, Interval Dominance, Maximality and E-admissibility. We focus on the popular decision tree and influence diagram representations. Algorithms resort to linear/multilinear programming; we describe implementation and experiments. (C) 2010 Elsevier B.V. All rights reserved.

Simulated annealing with adaptive neighborhood: A case study in off-line robot path planning

Simulated annealing (SA) is an optimization technique that can process cost functions with degrees of nonlinearities, discontinuities and stochasticity. It can process arbitrary boundary conditions and constraints imposed on these cost functions. The SA technique is applied to the problem of robot path planning. Three situations are considered here: the path is represented as a polyline; as a Bezier curve; and as a spline interpolated curve. In the proposed SA algorithm, the sensitivity of each continuous parameter is evaluated at each iteration increasing the number of accepted solutions. The sensitivity of each parameter is associated to its probability distribution in the definition of the next candidate. (C) 2010 Elsevier Ltd. All rights reserved.

Structural ceramics made with clay and steel dust pollutants

Electric arc furnace steel dust is a by-product of the steelmaking process and contains high amounts of the iron and zinc and significant amounts of lead, chromium, and cadmium. Metal recycling however, is not always economically feasible, especially due to the complex mineralogical composition of this material. In this study an application of this material is presented. Ceramics were produced with clay and variable amounts of steel dust. The bulk material was fired between 800 and 1100 degrees C. The influence of the composition and the processing temperature on the mechanical strength, linear shrinkage, water absorption, apparent density and bending strength and metal leaching of the ceramic samples was investigated. A blend of clay with up to 20% dust yielded ceramics with limited metal contamination risk and may thus be used for structural ceramics production. (C) 2011 Elsevier B.V. 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.

Reaction rate and product morphology in carbon composite iron ore pellets with and without Portland cement

The aim of this work is to study the reaction rate and the morphology of intermediate reaction products during iron ore reduction when iron ore and carbonaceous materials are agglomerated together with or without Portland cement. The reaction was performed at high temperatures, and used small size samples in order to minimise heat transfer constraints. Coke breeze and pure graphite were the carbonaceous materials employed. Portland cement was applied as a binder, and pellet diameters were in the range 5.6-6.5 mm. The experimental technique involved the measurement of the pellet weight loss, as well as the interruption of the reaction at different stages, in order to submit the partially reduced pellet to scanning electron microscopy. The experimental temperature was in the range 1423-1623 K, and the total reaction time varied from 240 to 1200 s. It was observed that above 1523 K the formation of liquid slag occurred inside the pellets, which partially dissolved iron oxides. The apparent activation energies obtained were 255 kJ mol(-1) for coke breeze containing pellets, and 230 kJ mol(-1) for those pellets containing graphite. It was possible to avoid heat transfer control of the reaction rate up to 1523 K by employing small composite pellets.

High temperature flexural strength and fracture toughness of AlN with Y(2)O(3) ceramic

The effects of temperature on the fast fracture behavior of aluminum nitride with 5 wt% Y(2)O(3) ceramic were investigated. Four-point flexural strength and fracture toughness were measured in air at several temperatures (30-1,300 A degrees C). The flexural strength gradually decreased with the increase of temperature up to 1,000 A degrees C due to the change in the fracture mode from transgranular to intergranular, and then became almost constant up to 1,300 A degrees C. Two main flaw types as fracture origin were identified: small surface flaw and large pores. The volume fraction of the large pores was only 0.01%; however, they limited the strength on about 50% of the specimens. The fracture toughness decreased slightly up to 800 A degrees C controlled by the elastic modulus change, and then decreased significantly at 1,000 A degrees C due to the decrease in the grain-boundary toughness. Above 1,000 A degrees C, the fracture toughness increased significantly, and at 1,300 A degrees C, its value was close to that measured at room temperature.

Light scattering in polycrystalline alumina with bi-dimensionally large surface grains

Alumina ceramics with high in-line transmittance at 0.5-1.0 mm-thickness were prepared with different doping additives by sintering at 1850 degrees C in vacuum for 1-8 h. Depending on the additive contents and sintering variables bi-dimensionally large surface grains, caused by surface evaporation of MgO, had grown parallel to the surface with similar to 100 mu m thickness and lateral sizes up to the millimeter range. The abnormal grain-growth process also resulted in the formation of pores entrapped inside the large surface grains within a narrow zone at 10-20 mu m distance from the surface. The fraction of these pores is thickness-invariant. Scattering factors associated to the pores entrapped inside the bi-dimensionally large surface grains, second-phase particles, grain-boundaries, and microstructural surface defects are derived from the results of in-line transmission (at 600 nm) and are used together with microstructural characteristics to explain the light transmittance in these materials. (C) 2008 Elsevier Ltd. All rights reserved.

Polyethylene/(organo-montmorillonite) composites modified with ethylene/ methacrylic acid copolymer: Morphology and mechanical properties

Several composites based on high-density polyethylene (PE), organically modified montmorillonite (OMMT) and ethylene/methacrylic acid copolymer (EMAA) were prepared by melt compounding. Three Na(+)-montmorillonites (MMT) of different precedence were modified with hexadecyl trimethyl ammonium chloride in order to change their nature from hydrophilic to organophilic. The composites morphology was examined by XRD, SEM and TEM. Mechanical properties were evaluated under static conditions. A slight reinforcement was achieved only when OMMT was added to PE. When EMAA was added to the composites, it negatively interacted with OMMT, diminishing the interlayer distance of OMMT, changing the composite morphology, as if OMMT was not present in composites, and deteriorating their mechanical properties. (C) 2008 Elsevier Ltd. All rights reserved.

Modeling of Effect of Plastic Deformation on Barkhausen Noise and Magnetoacoustic Emission in Iron With 2% Silicon

Before one models the effect of plastic deformation on magnetoacoustic emission (MAE), one must first treat non-180 degrees domain wall motion. In this paper, we take the Alessandro-Beatrice-Bertotti-Montorsi (ABBM) model and modify it to treat non-180 degrees wall motion. We then insert a modified stress-dependent Jiles-Atherton model, which treats plastic deformation, into the modified ABBM model to treat MAE and magnetic Barkhausen noise (HBN). In fitting the dependence of these quantities on plastic deformation, we apply a model for when deformation gets into the stage where dislocation tangles are formed, noting two chief effects, one due to increased density of emission centers owing to increased dislocation density, and the other due to a more gentle increase in the residual stress in the vicinity of the dislocation tangles as deformation is increased.

Lack of magnetoacoustic emission in iron with 6.5% silicon

The phenomenon of magnetoacoustic emission (MAE) has been ascribed usually to one of two origins: either (1) motion of non-180 degrees domain walls or (2) creation or annihilation of domains. In this paper, we present strong evidence for the argument that the only origin for MAE is motion of non-180 degrees domain walls. The proof is evident as a result of measurements of zero MAE for a wide range of stress in the isotropic zero magnetostrictive polycrystalline alloy of iron with 6.5% silicon. We also explain why it was that the alternative origin was proposed and how the data in that same experiment can be reinterpreted to be consistent with the non-180 degrees wall motion origin. (C) 2008 Elsevier B.V. All rights reserved.

Pellets prepared with mechanically activated iron ore

This work analyses pellets prepared with iron ore that has been mechanically activated by high energy ball milling. Pellet feed iron ore was submitted to high-energy ball milling for 60 minutes, and the resulting material was analysed through measurements of particle size and specific surface area, as well as X-ray diffraction. Pellets were prepared from this material. The pellets were heated at temperatures ranging from 1000 to 1250 degrees C in a muffle furnace, and submitted to the maximum temperature during 10 - 12 minutes. The samples were then tested regarding crushing strength, densification and porosity, and were examined in a scanning electronic microscope. The results were compared to those obtained with similar samples made from non-milled pellet feed. It has been shown that through high-energy ball milling of iron ore it is possible to achieve pellets presenting high densification and compressive strength at firing temperatures lower than the usual ones.

Failure assessments of corroded pipelines with axial defects using stress-based criteria: Numerical studies and verification analyses

Conventional procedures used to assess the integrity of corroded piping systems with axial defects generally employ simplified failure criteria based upon a plastic collapse failure mechanism incorporating the tensile properties of the pipe material. These methods establish acceptance criteria for defects based on limited experimental data for low strength structural steels which do not necessarily address specific requirements for the high grade steels currently used. For these cases, failure assessments may be overly conservative or provide significant scatter in their predictions, which lead to unnecessary repair or replacement of in-service pipelines. Motivated by these observations, this study examines the applicability of a stress-based criterion based upon plastic instability analysis to predict the failure pressure of corroded pipelines with axial defects. A central focus is to gain additional insight into effects of defect geometry and material properties on the attainment of a local limit load to support the development of stress-based burst strength criteria. The work provides an extensive body of results which lend further support to adopt failure criteria for corroded pipelines based upon ligament instability analyses. A verification study conducted on burst testing of large-diameter pipe specimens with different defect length shows the effectiveness of a stress-based criterion using local ligament instability in burst pressure predictions, even though the adopted burst criterion exhibits a potential dependence on defect geometry and possibly on material`s strain hardening capacity. Overall, the results presented here suggests that use of stress-based criteria based upon plastic instability analysis of the defect ligament is a valid engineering tool for integrity assessments of pipelines with axial corroded defects. (C) 2008 Elsevier Ltd. All rights reserved.