Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. The graphical simulation is used to analyse and validate the cell behaviour in a 3D environment, allowing the detection of collisions and the calculation of process times. The motivation for this work comes from the aeronautic industry. The automation of a fuselage assembly process requires the integration of robots with other cell components such as metrological or vision systems. In this cell, the robot trajectories are defined by the supervisory system and results from the coordination of the cell components. The paper presents the application of the approach for an aircraft assembly cell under integration in Brazil. This case study shows the feasibility of the approach and supports the discussion of its main advantages and limits. (C) 2011 Elsevier Ltd. All rights reserved.

Modeling of Distributed Control Systems in Intelligent Building based on Colored Petri Nets

Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure to model and analyze communication networks for distributed control systems in intelligent building. The approach considered for this purpose is based on the characterization of the control system as a discrete event system and application of coloured Petri net as a formal method for specification, analysis and verification of control solutions. With this approach, we develop the models that compose the communication networks for the control systems of intelligent building, which are considered the relationships between the various buildings systems. This procedure provides a structured development of models, facilitating the process of specifying the control algorithm. An application example is presented in order to illustrate the main features of this approach.

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.

Elementary Petri net inside RFID distributed database (PNRD)

Usually, a Petri net is applied as an RFID model tool. This paper, otherwise, presents another approach to the Petri net concerning RFID systems. This approach, called elementary Petri net inside an RFID distributed database, or PNRD, is the first step to improve RFID and control systems integration, based on a formal data structure to identify and update the product state in real-time process execution, allowing automatic discovery of unexpected events during tag data capture. There are two main features in this approach: to use RFID tags as the object process expected database and last product state identification; and to apply Petri net analysis to automatically update the last product state registry during reader data capture. RFID reader data capture can be viewed, in Petri nets, as a direct analysis of locality for a specific transition that holds in a specific workflow. Following this direction, RFID readers storage Petri net control vector list related to each tag id is expected to be perceived. This paper presents PNRD cornerstones and a PNRD implementation example in software called DEMIS Distributed Environment in Manufacturing Information Systems.

Prevalence of mutans streptococci isolated from complete dentures and their susceptibility to mouthrinses

The aims of this study were to evaluate the incidence of mutans streptococci (MS - sessile form) on complete maxillary dentures after use of a specific denture paste, and to determine the minimum inhibitory concentration (MIC) and maximum inhibitory dilution (MID) of 3 oral mouthrinses: Cepacol, Plax and Periogard. Seventy-seven complete denture wearers were randomly assigned into 2 groups, according to the product used for denture cleaning: Control group - conventional dentifrice (Kolynos-Super White); and Test group: experimental denture cleaning paste. Denture biofilm was collected at baseline and after 90 and 180 days after treatment by brushing the dentures with saline solution. After decimal serial dilution, samples were seeded onto agar sucrose bacitracin to count colonies with morphological characteristics of MS. MS identification was performed by the sugar fermentation tests. After this procedure, brain heart infusion broth (BHI) was added to oral mouthrinses (Plax, Cepacol e Periogard) and seeded on Petri dishes. The colonies were seeded using the Steers multiplier and, after the incubation, the MIC and MID of the mouthrinses were calculated. The results showed an incidence of 74.0% (n=57) of MS in the 77 complete dentures examined in the study, being 76.3% (n=29) of the Control group (conventional dentifrice) and 71.8% (28) of the Test group (experimental denture cleaning paste). In both groups, the number of positive cases for MS decreased from day 0 to day 180. In the Test group there was a slight decrease in the incidence of Streptococcus mutans 90 days after use of the experimental denture cleaning paste, which was not observed in the Control group. As regards to mouthrinses, for both groups, Periogard showed antimicrobial action with the highest dilution, followed by Cepacol and Plax. In conclusion, the incidence of MS in complete dentures was high and Periogard was the mouthrinse with the strongest antimicrobial action against MS. The experimental denture cleaning paste showed a slight action against S. mutans after 90 days of treatment.

Maximum inhibitory dilution of mouthwashes containing chlorhexidine and polyhexamethylene biguanide against salivary staphylococcus aureus

OBJECTIVE: The aim of the present study was to determine the in vitro maximum inhibitory dilution (MID) of two chlorhexidinebased oral mouthwashes (CHX): Noplak®, Periogard®, and one polyhexamethylene biguanide-based mouthwash (PHMB): Sanifill Premium® against 28 field Staphylococcus aureus strains using the agar dilution method. MATERIALS AND METHODS: For each product, decimal dilutions ranging from 1/10 to 1/655,360 were prepared in distilled water and added to Mueller Hinton Agar culture medium. After homogenization, the culture medium was poured onto Petri dishes. Strains were inoculated using a Steers multipoint inoculator and dishes were incubated at 37ºC for 24hours. For reading, MID was considered as the maximum dilution of the mouthwash still capable of inhibiting microbial growth. RESULTS: Sanifill Premium® inhibited the growth of all strains at 1/40 dilution and of 1 strain at 1/80 dilution. Noplak® inhibited the growth of 23 strains at 1/640 dilution and of all 28 strains at 1/320 dilution. Periogard® showed inhibited growth of 7 strains at 1/640 dilution and of all 28 strains at 1/320 dilution. Data were submitted to Kruskal-Wallis statistical test, showing significant differences between the mouthwashes evaluated (p<0.05). No significant difference was found between Noplak® and Periogard® (p>0.05). Sanifill Premium® was the least effective (p<0.05). CONCLUSION: It was concluded that CHX-based mouthwashes present better antimicrobial activity against S. Aureus than the PHMB-based mouthwash.

Determination of the maximum inhibitory dilution of cetylpyridinium chloride-based mouthwashes against staphylococcus aureus: an in vitro study

The aim of this in vitro study was to determine the maximum inhibitory dilution (MID) of four cetylpyridinium chloride (CPC)-based mouthwashes: CPC+Propolis, CPC+Malva, CPC+Eucaliptol+Juá+Romã+Propolis (Natural Honey®) and CPC (Cepacol®), against 28 Staphylococcus aureus field strains, using the agar dilution method. Decimal dilutions ranging from 1/10 to 1/655,360 were prepared and added to Mueller Hinton Agar. Strains were inoculated using Steers multipoint inoculator. The inocula were seeded onto the surface of the culture medium in Petri dishes containing different dilutions of the mouthwashes. The dishes were incubated at 37ºC for 24 h. For readings, the MID was considered as the maximum dilution of mouthwash still capable of inhibiting microbial growth. The obtained data showed that CPC+Propolis had antimicrobial activity against 27 strains at 1/320 dilution and against all 28 strains at 1/160 dilution, CPC+Malva inhibited the growth of all 28 strains at 1/320 dilution, CPC+Eucaliptol+Juá+Romã+Propolis inhibited the growth of 2 strains at 1/640 dilution and all 28 strains at 1/320 dilution, and Cepacol® showed antimicrobial activity against 3 strains at 1/320 dilution and against all 28 strains at 1/160 dilution. Data were submitted to Kruskal-Wallis test, showing that the MID of Cepacol® was lower than that determined for the other products (p<0.05). In conclusion, CPC-mouthwashes showed antimicrobial activity against S. aureus and the addition of other substances to CPC improved its antimicrobial effect.

Analysis of contamination of endodontic absorbent paper points

PURPOSE: The aim of this study was to assess the contamination status of endodontic absorbent paper points from sterilized or not sterilized commercial packs, as well as paper points exposed to the dental office environment. METHODS: Twenty absorbent paper points were evaluated for contamination status packed under different conditions: commercial/sterilized pack, commercial/non-sterilized pack, exposed to the clinical environment, and intentionally contaminated (positive control). Contamination was determined qualitatively and quantitatively by aerobiosis, capnophilic growth, and pour plate. The Petri dishes were analyzed with a colony counter, and the results were expressed as colony-forming units. The data were analyzed by Kruskal-Wallis test (α=0.05). RESULTS: No difference in colony-forming units was found among the groups of endodontic absorbent paper points. All groups were contaminated by fungi and bacteria. CONCLUSION: It can be concluded that the sterilization of absorbent endodontic paper points before clinical use should be recommended regardless of commercial presentation

Filmes ultrafinos de ésteres de celulose: preparo, caracterização e imobilização de proteínas

In this study cellulose acetate butyrate (CAB) and carboxymehtylcellulose acetate butyrate (CMCAB) films adsorbed onto silicon wafers were characterized by means of ellipsometry, atomic force microscopy (AFM), sum frequency generation spectroscopy (SFG) and contact angle measurements. The adsorption behavior of lysozyme (LIS) or bovine serum albumin (BSA) onto CAB and CMCAB films was investigated. The amounts of adsorbed LIS or BSA onto CMCAB films were more pronounced than those onto CAB films due to the presence of carboxymethyl group in the CMCAB structure. Besides, the adsorption of BSA molecules on CMCAB films was more favored than that of LIS molecules. Antimicrobial effect of LIS bound to CAB or CMCAB layers was evaluated using Micrococcus luteus as substrate.

Hidrólise Enzimática de Biomassa

Production of ethanol from biomass fermentation has gained much attention recently. Biomass cellulosic material is first converted into glucose either by chemical or by enzymatic process, and then glucose is fermented to ethanol. Considering the current scenario, where many efforts are devoted for the search of green routes to obtaining ethanol from renewable sources, this review presents the relationship between structure and properties of cellulosic material, pre-treatments and hydrolysis of cellulosic material, and structure and function of cellulase enzyme complex.

Adsorção competitiva de inibidor de corrosão usado em poços de perfuração de petróleo sobre aço, esmectita e arenito

A commercial corrosion inhibitor used in petroleum production was characterized by means of infrared spectroscopy and energy dispersive spectroscopy (EDS). Predicting the adsorption behavior of corrosion inhibitor onto steel, sandstone and esmectite is the key to improve working conditions. In this study, the adsorption kinetics of inhibitor formulations in HCl 15% or in Mud Acid (HCl 13,5% and ammonium bifluoride) onto steel, sandstone and esmectite was determined by means of spectrophotometry. Kinetic parameters indicated that adsorption of inhibitor in the presence of bifluoride was favored. Moreover, the adsorption constant rate was the largest when the substrate was esmectite.

Synthesis and structural characterization of block and random low molecular weight copolymers composed of L-lactic acid and isosorbide succinate moieties

Isosorbide succinate moieties were incorporated into poly(L-lactide) (PLLA) backbone in order to obtain a new class of biodegradable polymer with enhanced properties. This paper describes the synthesis and characterization of four types of low molecular weight copolymers. Copolymer I was obtained from monomer mixtures of L-lactide, isosorbide, and succinic anhydride; II from oligo(L-lactide) (PLLA), isosorbide, and succinic anhydride; III from oligo(isosorbide succinate) (PIS) and L-lactide; and IV from transesterification reactions between PLLA and PIS. MALDI-TOFMS and 13C-NMR analyses gave evidence that co-oligomerization was successfully attained in all cases. The data suggested that the product I is a random co-oligomer and the products II-IV are block co-oligomers.

Hybrid layer-by-layer assembly based on animal and vegetable structural materials: multilayered films of collagen and cellulose nanowhiskers

Layer-by-layer (LBL) assembly was used to combine crystalline rod-like nanoparticles obtained from a vegetable source, cellulose nanowhiskers (CNWs), with collagen, the main component of skin and connective tissue found exclusively in animals. The film growth of the multilayered collagen/CNW was monitored by UV-Vis spectroscopy and ellipsometry measurements, whereas the film morphology and surface roughness were characterized by SEM and AFM. UV-Vis spectra showed the deposition of the same amount of collagen, 5 mg m(-2), in each dipping cycle. Ellipsometry data showed an increment in thickness with the number of layers, and the average thickness of each bilayer was found to be 8.6 nm. The multilayered bio-based nanocomposites were formed by single layers of densely packed CNWs adsorbed on top of each thin collagen layer where the hydrogen bonding between collagen amide groups and OH groups of the CNWs plays a mandatory role in the build-up of the thin films. The approach used in this work represents a potential strategy to mimic the characteristics of natural extracellular matrix (ECM) which can be used for applications in the biomedical field.

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.

Specification of Supervisory Control Systems for Ventricular Assist Devices

One of the most important recent improvements in cardiology is the use of ventricular assist devices (VADs) to help patients with severe heart diseases, especially when they are indicated to heart transplantation. The Institute Dante Pazzanese of Cardiology has been developing an implantable centrifugal blood pump that will be able to help a sick human heart to keep blood flow and pressure at physiological levels. This device will be used as a totally or partially implantable VAD. Therefore, an improvement on device performance is important for the betterment of the level of interaction with patient`s behavior or conditions. But some failures may occur if the device`s pumping control does not follow the changes in patient`s behavior or conditions. The VAD control system must consider tolerance to faults and have a dynamic adaptation according to patient`s cardiovascular system changes, and also must attend to changes in patient conditions, behavior, or comportments. This work proposes an application of the mechatronic approach to this class of devices based on advanced techniques for control, instrumentation, and automation to define a method for developing a hierarchical supervisory control system that is able to perform VAD control dynamically, automatically, and securely. For this methodology, we used concepts based on Bayesian network for patients` diagnoses, Petri nets to generate a VAD control algorithm, and Safety Instrumented Systems to ensure VAD system security. Applying these concepts, a VAD control system is being built for method effectiveness confirmation.