Extrusion-rotomolding of plasticized PVC formulations

In this work, we present a novel process to produce plasticized PVC articles. Plasticized PVC dispersion resin (dry blend) was extruded and poured into a hot mold. The mold was transferred to a rotomolding machine, where the final geometry was obtained. Formulations using commercial PVC suspension resin and three different types of plasticizers were prepared under different processing conditions. The physical appearance of the articles and the tensile properties of the materials were evaluated.     

Crosslinking of tissue-derived biomaterials in 1-ethyl-3-(3-dimethylaminopropyl)-carbodiimide (EDC)

In contrast to bifunctional reagents such as glutaraldehyde or polyfunctional reagents such as polyepoxides, carbodiimides belong to the class of zero-length crosslinkers which modify amino acid side-groups to permit crosslink formation, but do not remain as part of that linkage. The authors have compared the effects of 1-ethyl-3-(3-dimethylaminopropyl)-carbodiimide (EDC) and glutaraldehyde (the de facto industrial standard crosslinker) on the hydrothermal, biochemical, and uniaxial mechanical properties of bovine pericardium. EDC crosslinking was optimized for maximum increase in collagen denaturation temperature using variables of pH, concentration, and ratio of EDC to N-hydroxysuccinimide (NHS): a reagent for formation of activated esters. EDC and glutaraldehyde crosslinked materials were subjected to hydrothermal denaturation tests, biochemical degradation by enzymes (collagenase, trypsin) and CNBr, amino acid analysis for unreacted lysine, and to high strain rate mechanical tests including: large deformation stress-strain studies (0.1 to 10 Hz), stress relaxation experiments (loading time 0.1 s) and small deformation forced vibration (1 and 10 Hz). A protocol for EDC crosslinking was developed which used 1.15% EDC (2:1 EDC:NHS) at pH 5.5 for 24 h. The increase in denaturation temperature for EDC (from 69.7±1.2°C to 86.0±0.3°C) was equivalent to that produced by glutaraldehyde (85.3±0.4°C). Both treatments equivalently increased resistance to collagenase and CNBr degradation; however, after denaturation, the EDC-treated tissue was slightly more resistant to collagenase, and markedly more resistant to trypsin. EDC-treated materials were more extensible and more elastic than glutaraldehyde-treated materials. Despite the differences in crosslinking mechanism, EDC and glutaraldehyde-treated materials are very similar. Subtle but intriguing differences in biochemical structure remain to be investigated.     

From the individual element test to finite element templates: Evolution of the patch test

This paper starts a sequence of three articles that follow an unconventional approach in finite element research. The ultimate objective is to construct high-performance elements and element-level error estimators for those elements. The approach takes off from our previous work in high-performance elements and culminates with the development of finite element templates. The present paper concentrates on the patch test and evolved versions of the test that have played a key role in this research. Following a brief review of the historical roots, we present the Individual Element Test (IET) of Bergan and Hanssen in an expanded context that encompasses several important classes of new elements. The relationship of the IET to the multielement forms A, B and C of the patch test and to the single-element test are investigated. An important consequence of the IET application is that the element stiffness equations decompose naturally into basic and higher-order parts. The application of this decomposition to the “sanitization” of the non-convergent BCIZ element is described and verified with numerical experiments. Two sequel papers in preparation are subtitled ‘the algebraic approach’ and ‘element-level error estimation’. These apply the fundamental decomposition to the derivation of templates for specific mechanical elements and to the construction of element-level error estimators, respectively.     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Integrating scheduling and control functions in computer integrated manufacturing using artificial intelligence

Proper integration of scheduling and control in Flexible Manufacturing Systems will make available the required level of decision-making capacity to provide a flexibly-automated, efficient, and quality manufacturing process. To achieve this level of integration, the developments in computer technology and sophisticated techniques of artificial intelligence (AI) should be applied to such FMS functions as scheduling. In this paper, we present an Intelligent Scheduling System for FMS under development that makes use of the integration of two AI technologies. These two AI technologies — Neural Networks and Expert Systems — provide the intelligence that the scheduling function requires in order to generate goodschedules within the restrictions imposed by real-time problems. Because the system has the ability to plan ahead and learn, it has a higher probability of success than conventional approaches. The adaptive behavior that will be achieved contribute to the integration of scheduling and control in FMS.     

The Los Alamos beacon receiver array

Describes radio receivers that monitor transmissions from beacons on geosynchronous satellites. The receivers can detect ionospheric perturbations of a 300-3000 s period in the electron density integrated from beacon to receiver, for amplitudes as low as (1-2)×10¹³ m^-2. Data are used in studies of atmospheric acoustic and acoustic-gravity waves     

Longitudinal investigation of the abstinence violation effect in binge eaters.

This study, guided in part by G. A. Marlatt and J. R. Gordon's (1985) abstinence violation effect (AVE) model, examined whether variability in cognitive and emotional reactions to binges accounts for recurrence of binge eating. Attributional, cognitive, and affective reactions to 2 successive binges, as well as the latencies between each binge and a subsequent binge, were evaluated through a series of structured phone interviews with 50 nonpurging normal-weight female bingers. Reported mood after binging was unrelated to binge latency. However, when Ss made more intense internal, global, and uncontrollable causal attributions for a binge, a subsequent binge followed significantly sooner. Within-subject variations in AVEs across binges prospectively predicted within-subject variations in the speed with which another binge followed. Analyses suggested that cognitive states (e.g., AVE and guilt) evoked by particular events were better predictors of how quickly binging repeats than were stable differences in attributional style. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Electrochemical study of 7α,12,20-O-trimethyl-conacytone in acetonitrile

An electrochemical study of the electroreduction in anhydrous acetonitrile of 7α,12,20-O-trimethyl-conacytone, an abietane quinoid diterpene derivative from the natural product 7α-O-methyl-conacytone, showed two reduction signals. At the first reduction step, fast chemical reactions involving the loss of the methoxyl group located at C-7 with simultaneous regeneration of the quinoid moiety were observed. This electrogenerated quinone is reduced again, at the same potential used with the former quinone, resulting in a two-electron peak. These results were obtained by cyclic voltammetry and double-step chronoamperometry experiments. The electrolysis under methylating conditions of 7α-O-methyl-conacytone, at potential values of the second electron transfer, generates as major products, methoxy-hydroquinone, where the methoxy group at C-7 is lost, which is in agreement with the proposed mechanism. Therefore, the second reduction signal was attributed to the reduction of semiquinone intermediates by a mechanism not elucidated.     

A Study of Ozone Generation by Negative Corona Discharge Through Different Plasma Chemistry Models

The Steady radial distribution of chemical species in a wire‐to‐cylinder ozone generator filled with pure oxygen has been computed by applying four different plasma chemistry models of increasing complexity. The most complete model considers ten species (e, O₂ ⁺, O₂ ^?, O₃ ^?, O^?, O₂, O₂(¹Δ_g), O₂(¹∑_g ⁺), O and O₃) and 79 reactions, including ionization by electron impact, electron attachment and detachment, electron-ion recombination, charge transfer, etc. The chemical model is coupled with the electrical model through Poisson's equation. The spatially averaged ozone density has been computed as a function of the current intensity and compared with the experimental values obtained by UV spectroscopy.