Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

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.

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.

Methods of Fourier optics in digital holographic microscopy

In this paper, processing methods of Fourier optics implemented in a digital holographic microscopy system are presented. The proposed methodology is based on the possibility of the digital holography in carrying out the whole reconstruction of the recorded wave front and consequently, the determination of the phase and intensity distribution in any arbitrary plane located between the object and the recording plane. In this way, in digital holographic microscopy the field produced by the objective lens can be reconstructed along its propagation, allowing the reconstruction of the back focal plane of the lens, so that the complex amplitudes of the Fraunhofer diffraction, or equivalently the Fourier transform, of the light distribution across the object can be known. The manipulation of Fourier transform plane makes possible the design of digital methods of optical processing and image analysis. The proposed method has a great practical utility and represents a powerful tool in image analysis and data processing. The theoretical aspects of the method are presented, and its validity has been demonstrated using computer generated holograms and images simulations of microscopic objects. (c) 2007 Elsevier B.V. All rights reserved.

Synthesis, characterization, and bactericidal properties of composites based on crosslinked resins containing silver

Two different commercial crosslinked resins (Amberlite GT73 and Amberlite IRC748) were employed for anchoring silver. The -SH and -N(CH2COOH)2 groups, respectively, present on these resins were used for Ag+ chelation from an aqueous solution. The Ag+ ions were reduced with three different reductants: hydrazine, hydroxylamine, and formaldehyde (under an alkaline pH). The produced composites were characterized with thermogravimetry/differential thermogravimetry and scanning electron microscopy combined with a backscattered scanning electron detector. Energy-dispersive X-ray spectroscopy coupled to scanning electron microscopy allowed the observation of submicrometer particles of silver, and chemical microanalysis of emitted X-rays revealed the presence of metal on the internal and external surfaces of the composite microspheres. The amount of incorporated silver was determined by titration. The antibacterial activity of the silver/resin composites was determined toward 10(3)-10(7) cells/mL dilutions of the auxotrophic AB1157 Escherichia coli strain; the networks containing anchored submicrometer silver particles were completely bactericidal within a few minutes because of the combined action of silver and functional groups of the resins. (c) 2007 Wiley Periodicals, Inc.

Characterization of mixed waste of granite and LD slag

This study focuses on the technical feasibility of the utilization of waste from the cutting of granite to adjust the chemical composition of slag from steelworks LD, targeting the addition of clinker Portland cement. For this, chemical characterization of the waste, its mixture and fusion was performed, obtaining a CaO/SiO(2) relationship of around 0.9 to 1.2 for the steelworks slag. We selected samples of the waste, mixed, melted and cooled in water and in the oven. Samples cooled in water, after examining with X-ray difractrograms, had been predominantly amorphous. For samples cooled in the furnace, which had vitreous, there was the presence of mineralogical phases Akermanita and Gehlenita, which is considered as the ideal stage for the mineral water activity of the slag. The adjustment of the chemical composition of the slag from steel works by the addition of waste granite was efficient, transforming the waste into a product that is the same as blast furnace slag and can be used in the manufacture of cement.

Briquetting of steel grit recovered from the ornamental rocks cutting waste

This paper presents the results obtained with the production of briquettes from the steel grit found in the residue of ornamental rocks. The grit recovered by magnetic separation was characterized by titrimetric analysis, EDS (Electron Dispersive Spectroscopy) and X-ray diffraction for the analysis of iron concentration in the residue. The size and distribution of particles were obtained by the granulometric analysis method and scanning electron microscopy (SEM). The process resulted in a concentrate containing 93% metallic iron. The maximum load before fracture of the green briquettes was 1.02kN and of the dry briquettes was 3.59kN.

Effect of precracking method on K(Ic) results for medium-density polyethylene tested under cryogenic condition

The effect of different precracking methods on the results of linear elastic K(Ic) fracture toughness testing with medium-density polyethylene (MDPE) was investigated. Cryogenic conditions were imposed in order to obtain valid K(Ic) values from specimens of suitable size. Most conservative K(Ic) values were obtained by slow pressing a fresh razor blade at the notch root of the specimen. Due to the low deformation level imposed on the crack tip region, the slow pressing razor blade technique also produced less scatter in fracture toughness results. It has been shown that the slow stable crack growth preceding catastrophic brittle failure during K(Ic) tests in MOPE under cryogenic conditions should not be disregarded as it has relevant physical meaning and may affect the fracture toughness results. (C) 2010 Elsevier Ltd. All rights reserved.

Embrittlement of electrical steel laminations by nitrogen pick-up during heat treatment

Heat treated electrical steel laminations have shown evidence of low ductility behavior, characterized by a small number of bends till fracture, on repeated bending tests. The laminations were produced using a new grade of electrical steel with much lower aluminum content than usual. The problem happens when the oxygen potential (measured by the dew point of the atmosphere) of the heat treatment atmosphere is abnormally high. Furthermore, ductility can be restored by a low-oxygen potential heat treatment. Although the heat treatment resulted in a loss of ductility, the magnetic properties were not deteriorated. The low ductility samples always show intergranular fracture, whereas the un-treated laminations fracture by cleavage. The low ductility is associated with the formation of silicon manganese nitride precipitates formed at grain boundaries, although they are not the cause of the low ductility. Ductility could be restored by a low dew point heat treatment but the inclusions remained in the grain boundaries. The low ductility and its recovery must be ascribed to the presence of nitrogen atoms segregated to the grain boundaries when the heat treatment atmosphere has a high oxygen potential. The lack of aluminum in the composition of the steel hinders the scavenging effect of this element on nitrogen atoms in solution in the steel. (C) 2009 Elsevier Ltd. All rights reserved.

Characterization and application of the solid waste generated in the production of calcium carbonate precipitate as a corrective for the soil acidity

The calcium carbonate industry generates solid waste products which, because of their high alkaline content (CaO, CaCO(3) and Ca (OH)(2)), have a substantial impact on the environment. The objectives of this study are to characterize and classify the solid waste products, which are generated during the hydration process of the calcium carbonate industry, according to ABNT`s NBR 10.000 series, and to determine the potential and efficiency of using these solid residues to correct soil acidity. Initially, the studied residue was submitted to gross mass, leaching, solubility, pH. X-ray Diffractometry, Inductive Coupled Plasma - Atomic Emission Spectrometry (ICP-AES), granularity and humidity analyses. The potential and efficiency of the residue for correcting soil acidity was determined by analysis of the quality attributes for soil correctives (PN, PRNT, Ca and Mg contents, granularity). Consequently, the results show that the studied residue may be used as a soil acidity corrective, considering that a typical corrective compound is recommended for each different type of soil. Additionally, the product must be further treated (dried and ground) to suit the specific requirements of the consumer market.

Life cycle assessment and life cycle cost of sugar plants evaporators

The evaporators of sugar plants in Brazil have used carbon steel intensively because of it is, a low priced material, which possesses inferior corrosion resistance. The materials more indicated for the substitution of carbon steel are stainless steels, however they are considered expensive. The environmental and financial performances of evaporator pipes constructed with carbon steel and with types AISI 304 444 and 439 stainless steel were evaluated. For the environmental evaluation, the Life Cycle Assessment (LCA) methodology Was used and it, revealed that stainless steel is more environmentally efficient than carbon steel. The life cycle costing (LCC) technique was the tool chosen for the financial evaluation and it showed that stainless steel is a better investment option compared to carbon steel. The results also indicate that LCA and LCC methodologies must be used together Therefore, it can he seen that safer environmental products can come to be the most profitable investment options.

Corrosion behavior of Eurofer 97 and ODS-Eurofer alloys compared to traditional stainless steels

In the present work, the corrosion resistance of ferritic-martensitic EUROFER 97 and ODS-EUROFER steels was tested in solutions containing NaCl or H(2)SO(4) and KSCN, both at 25 degrees C. The results were compared to those of AISI 430 ferritic and AISI 410 martensitic conventional stainless steels. The as-received samples were tested by electrochemical techniques, specifically, electrochemical impedance spectroscopy, potentiodynamic polarization curves, and double-loop electrochemical potentiokinetic reactivation tests. The surfaces were observed by scanning electron microscopy after exposure to corrosive media. The results showed that EUROFER 97 and ODS-EUROFER alloys present similar corrosion resistance but lower than ferritic AISI 430 and martensitic 410 stainless steels.

Hardness and structure characterization of Ti(6)Al(4)V films produced by reactive magnetron sputtering on a conventional austenitic stainless steel

Ti(6)Al(4)V thin films were grown by magnetron sputtering on a conventional austenitic stainless steel. Five deposition conditions varying both the deposition chamber pressure and the plasma power were studied. Highly textured thin films were obtained, their crystallite size (C) 2008 Elsevier Ltd. All rights reserved.

Influence of Temperature, Basiscity and Particle Size on MnO Reduction

The aim of this work is to study MnO reduction by solid carbon. The influence of size of carbon particles, slag basicity, and bath temperature on MnO reduction was investigated. Fine Manganese ore particles were used as a source of MnO. Three sizes of carbon particles were used; 0.230 mm, 0.162 mm and 0.057 mm, binary basicity of 1 and 1.5 and temperatures of 1550, 1550 and 1600 degrees C. Curves were drawn for Mn content in the bath as a function of time and temperature for the several studied parameters. The MnO reduction rates were determined using these data. [doi:10.2320/matertrans.M2011007]

A mechanistic kinetic model for phenol degradation by the Fenton process

The objective of this paper is to develop and validate a mechanistic model for the degradation of phenol by the Fenton process. Experiments were performed in semi-batch operation, in which phenol, catechol and hydroquinone concentrations were measured. Using the methodology described in Pontes and Pinto [R.F.F. Pontes, J.M. Pinto, Analysis of integrated kinetic and flow models for anaerobic digesters, Chemical Engineering journal 122 (1-2) (2006) 65-80], a stoichiometric model was first developed, with 53 reactions and 26 compounds, followed by the corresponding kinetic model. Sensitivity analysis was performed to determine the most influential kinetic parameters of the model that were estimated with the obtained experimental results. The adjusted model was used to analyze the impact of the initial concentration and flow rate of reactants on the efficiency of the Fenton process to degrade phenol. Moreover, the model was applied to evaluate the treatment cost of wastewater contaminated with phenol in order to meet environmental standards. (C) 2009 Elsevier B.V. All rights reserved.