A symbolic manipulator for automated verification of reactive systems with heterogeneous data types

In this paper, we present the design and implementation of the Composite Symbolic Library, a symbolic manipulator for model checking systems with heterogeneous data types. Our tool provides a common interface for different symbolic representations, such as BDDs, for representing Boolean logic formulas and polyhedral representations for linear arithmetic formulas. Based on this common interface, these data structures are combined using a disjunctive composite representation. We propose several heuristics for efficient manipulation of this composite representation and present experimental results that demonstrate their performance. We used an object-oriented design to implement the Composite Symbolic Library. We imported the CUDD library (a BDD library) and the Omega Library (a linear arithmetic constraint manipulator that uses polyhedral representations) to our tool by writing wrappers around them which conform to our symbolic representation interface. Our tool supports polymorphic verification procedures which dynamically select symbolic representations based on the input specification. Our symbolic representation library can be used as an interface between different symbolic libraries, model checkers, and specification languages. We expect our tool to be useful in integrating different tools and techniques for symbolic model checking, and in comparing their performance.     

Vulcanization of chlorinated polyethylene / chloroprene rubber compounds at lower temperatures in the presence of reactive silanes

Vulcanization at lower temperatures can be considered as a good alternative to reduce both investment and operation costs for cable insulation sheat and special purpose hose production lines. In this study, silane vulcanization of chlorinated polyethylene and chloroprene rubber blends at lower temperature was investigated. Rubber compounds were prepared by using internal mixer instead of an extrusion system which is widespread used for projected applications. Rheological and dynamic properties of the rubber compounds were studied. After vulcanization, physico-mechanical, thermal, morphological and temperature scanning stress-relaxation properties were investigated before and after thermal aging. Structural analysis was performed by using Fourier transform infrared spectroscopy and X-ray photoelectron spectroscopy so as to identify vulcanization reaction mechanism. All the compound compositions could be vulcanized at 110°C in the presence of water. Amino silane was found to be more effective than epoxy silane.     

Determining power consumption using neural model in multibody systems with clearance and flexible joints

Multibody System Dynamics - Even if today’s manufacturing technology has great advances, clearance between joint parts in a multibody system is inevitable due to the assemblage and relative...     

First national survey of atmospheric heavy metal deposition in Hungary by the analysis of mosses

The atmospheric deposition of Cd, Cr, Cu, Fe, Ni, Pb, V and Zn in Hungary was investigated by using moss species as bioindicators. Our research was part of an international mapping project (Atmospheric Heavy Metal Deposition in Europe) [NORD 21 (1987) 1-44; NORD 9 (1994)] carried out in the most European countries in the 1990s to determine and to compare atmospheric heavy metal background pollution by standardized methods. Sampling was performed at 116 sites distributed over Hungary in the autumn of 1997. Moss species of Hypnum cupressiforme (72.4%) were preferred. But where it could not be collected, other species were taken. Unwashed, dried samples were digested with H(2)O(2)/HNO(3), and the concentrations of heavy metals were determined by ICP-AES. The results reflect local emission points. Background mean levels of Cd, Fe and Ni were mildly elevated in comparison to European means [NORD 9 (1994)]. Probably, that was due not only to pollution, but to the use of Hypnum cupressiforme, which can accumulate higher concentrations of heavy metals compared to other species. The results are presented on colored contour maps obtained with the SURFER program (Golden Software Inc. Co).     

Timing analysis of scan design integrated circuits using stimulation by an infrared diode laser in externally triggered pulsing condition

This paper presents a new timing analysis methodology for clock driven scan design integrated circuits, based on externally triggered pulsed laser stimulation. The laser pulse can easily be shifted to time windows of interest in reference to clock and scan pattern. It is demonstrated that the technique is able to identify the most sensitive signal condition for fault injection with a time resolution correlated to the signal switching time, offering new opportunities to failure analysis.     

Microstructure and ionic conductivity properties of gadolinia doped ceria (GdxCe1−xO2−x/2) electrolytes for intermediate temperature SOFCs prepared by the polyol method

Gd_0.1Ce_0.9O_1.95 and Gd_0.2Ce_0.8O_1.9 powders were prepared through the polyol process without using any protective agent. Microstructural and physical properties of the samples were characterized with X-ray diffraction (XRD), scanning electron microscopy (SEM), thermogravimetry (TG) and impedance analysis methods. The results of the thermogravimetry/differential thermal analysis (TG/DTA) and XRD indicated that a single-phase fluorite structure formed at the relatively low calcination temperature of 500 °C. The XRD patterns of the samples revealed that the crystallite size of the samples increased as calcination temperatures increased. The sintering behavior and ionic conductivity of pellets prepared from gadolinia doped ceria (GDC) powders, which were calcined at 500 °C, were also investigated. The relative densities of the pellets, which were sintered at temperatures above 1300 °C, were higher than 95%. The results of the impedance spectroscopy revealed that the GDC-20 sample that was sintered at 1400 °C exhibited an ionic conductivity of 3.25×10⁻² S cm⁻¹ at 800 °C in air. This result clearly indicates that GDC powder with adequate ionic conductivity can be prepared through the polyol process at low temperatures.     

Thermal conductivity of MgO-C refractory ceramics: Effects of pyrolytic liquid and pyrolytic carbon black obtained from waste tire

In the present study, thermal conductivity and mechanical properties of MgO-C refractory ceramic bricks were investigated. Pyrolytic liquid and pyrolytic carbon black obtained from pyrolysis of waste tires were used as a resin and carbon source, respectively. The pyrolysis of the tires was conducted in a fixed bed reactor at the temperature of 500?°C with a 15?°C/min heating rate under nitrogen flow (0.5?lt/min). Before using in MgO-C refractory ceramic blends, pyrolytic products were purified with the acidic extraction methods which resulted in 61and 66?wt%. decreases in sulfur and ash contents in pyrolytic carbon, respectively. After this treatment of pyrolytic liquid, the sulfur content was reduced by 24?wt%. Eight different blends of MgO-C refractory ceramics consisting of different pyrolytic product contents were prepared, pressed, and tempered at 250?°C, and then characterized in terms of porosity, thermal conductivity, and density. The mechanical behavior of the samples was tested using a three-point bending test. Archimedes test was employed to determine the porosity and density. Surface properties of the bricks were analyzed by scanning electron microscopy (SEM). The obtained results were compared with a reference consisting of graphite and resin. The results revealed that mechanical and thermal properties of the developed bricks were highly sensitive to the porosity and the carbon source as well as the type of binder.     

Boron containing UV-curable epoxy acrylate coatings

In the present work boron acrylate monomer was synthesized by esterification reaction. UV-curable boron containing epoxy acrylate coatings were prepared and applied on plexiglass substrates to obtain thermally and mechanically stable coatings. The physical and mechanical properties of UV-cured coatings were investigated such as gel content, solvent resistance, hardness, flexibility and tensile tests. The thermal behavior of coatings was also evaluated. It was observed that the tensile properties and thermal stabilities of boron modified epoxy coatings mainly depend on the boron content.