DDFSGEN

This paper presents a functional compiler for the automatic design of Direct Digital Frequency Synthesizer (DDFS) integrated circuits (ICs) using a ROM based table look-up architecture. The compiler allows the user to specify high-level specifications such as the acceptable spurious response and it generates the IC architecture, floorplan, and layout. To construct the layout for different specifications, a library of parameterized macrocells has been developed in 1.2 m CMOS technology.A test chip with a quadrature DDFS module has been generated, using the compiler, and fabricated. The chip has two input signals: one is for frequency control while the other is for phase initialization. Input and output word lengths are 16 bits and 6 bits respectively. The chip complexity is approximately 12,000 transistors (DDFS core) and the die size is 4.8×2.9mm ². A maximum sample rate of 80 MHz has been attained implying a maximum sine (cosine) output frequency of 40 MHz and a frequency resolution of 1.22 kHz. The maximum spurious level measured is –46 dB.     

Recycling of silicone rubber waste: Effect of ground silicone rubber vulcanizate powder on the properties of silicone rubber

The silicone rubber vulcanizate powder (SVP) obtained from silicone rubber by mechanical grinding exists in a highly aggregated state. The particle size distribution of SVP is broad, ranging from 2 µm to 110 µm with an average particle size of 33 µm. X‐ray Photoelectron Spectroscopy (XPS) and Infrared (IR) Spectroscopy studies show that there is no chemical change on the rubber surface following mechanical grinding of the heat‐aged (200°C/10 days) silicone rubber vulcanizate. Addition of SVP in silicone rubber increases the Mooney viscosity, Mooney scorch time, shear viscosity and activation energy for viscous flow. Measurement of curing characteristics reveals that incorporation of SVP into the virgin silicone rubber causes an increase in minimum torque, but marginal decrease in maximum torque and rate constant of curing. However, the activation energy of curing shows an increasing trend with increasing loading of SVP. Expectedly, incorporation of SVP does not alter the glass‐rubber transition and cold crystallization temperatures of silicone rubber, as observed in the dynamic mechanical spectra. It is further observed that on incorporation of even a high loading of SVP (i.e., 60 phr), the tensile and tear strength of the silicone rubber are decreased by only about 20%, and modulus dropped by 15%, while the hardness, tension set and hysteresis loss undergo marginal changes and compression stress‐relaxation is not significantly changed. Atomic Force Microscopy studies reveal that incorporation of SVP into silicone rubber does not cause significant changes in the surface morphology.     

Preparation and dielectric properties of La doped NBCCTO ceramics

Journal of Electroceramics - CaCu3Ti4O12 ceramics have great dielectric constant, excellent temperature stability and good frequency stability. However, due to high dielectric loss, its practical...     

Beyond Market Baskets: Generalizing Association Rules to Dependence Rules

One of the more well-studied problems in data mining is the search for association rules in market basket data. Association rules are intended to identify patterns of the type: A customer purchasing item A often also purchases item B. Motivated partly by the goal of generalizing beyond market basket data and partly by the goal of ironing out some problems in the definition of association rules, we develop the notion of dependence rules that identify statistical dependence in both the presence and absence of items in itemsets. We propose measuring significance of dependence via the chi-squared test for independence from classical statistics. This leads to a measure that is upward-closed in the itemset lattice, enabling us to reduce the mining problem to the search for a border between dependent and independent itemsets in the lattice. We develop pruning strategies based on the closure property and thereby devise an efficient algorithm for discovering dependence rules. We demonstrate our algorithm's effectiveness by testing it on census data, text data (wherein we seek term dependence), and synthetic data.     

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

2010 CAV award announcement

The 2010 CAV (Computer-Aided Verification) award was awarded to Kenneth L. McMillan of Cadence Research Laboratories for a series of fundamental contributions resulting in significant advances in scalability of model checking tools. The annual award recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field.     

Effects of Weathering on Treatment of Lead Contaminated Soils

Treatment of lead-contaminated material focuses on the reduction of leached lead concentrations in laboratory leaching tests. There has been little study on the chemical stability of treated materials after waste disposal. To investigate the effects of weathering on several solidification/stabilization chemistries, lead-contaminated soil was treated with various agents (cement, phosphates, dithiocarbamate, calcium hydroxide, calcium carbonate, and metallic iron) and subjected to natural weathering for one year. Lead concentrations and pH values in field percolates and leachates from toxicity characteristic leaching procedure (TCLP) and water leaching tests were used to evaluate changes in the treatment effectiveness. Weathering altered the treatment chemistry of several additives—alkaline additives were neutralized, while reduced additives were oxidized. Lead concentrations in field percolates from the untreated soil were around 1.0?mg/L, and did not vary over one year of weathering time. After one year of weathering, lead concentrations in field percolates from most samples were reduced to low levels (<0.15 mg/L). Weathering also affected lead concentrations in the TCLP and water leach test leachates from the treated wastes. Treated wastes in which the alkaline additives were neutralized or reduced additives oxidized gave higher TCLP lead concentrations after weathering than before, in contrast to the decreasing lead concentrations in the field percolates. Water leaching tests on the alkaline treated wastes had lower lead concentrations after weathering than before.     

WALRUS: a similarity retrieval algorithm for image databases

Approaches for content-based image querying typically extract a single signature from each image based on color, texture, or shape features. The images returned as the query result are then the ones whose signatures are closest to the signature of the query image. While efficient for simple images, such methods do not work well for complex scenes since they fail to retrieve images that match the query only partially, that is, only certain regions of the image match. This inefficiency leads to the discarding of images that may be semantically very similar to the query image since they may contain the same objects. The problem becomes even more apparent when we consider scaled or translated versions of the similar objects. We propose WALRUS (wavelet-based retrieval of user-specified scenes), a novel similarity retrieval algorithm that is robust to scaling and translation of objects within an image. WALRUS employs a novel similarity model in which each image is first decomposed into its regions and the similarity measure between a pair of images is then defined to be the fraction of the area of the two images covered by matching regions from the images. In order to extract regions for an image, WALRUS considers sliding windows of varying sizes and then clusters them based on the proximity of their signatures. An efficient dynamic programming algorithm is used to compute wavelet-based signatures for the sliding windows. Experimental results on real-life data sets corroborate the effectiveness of WALRUS'S similarity model.     

Analysis of assembly operations’ difficulty using enhanced expert high-level colored fuzzy Petri net model

Majority of the products can be assembled in several ways that means the same final product can be realized by different sequences of assembly operations. Different degree of difficulty is associated with each sequence of assembly operation and such difficulties are caused by the different mechanical constraints forced by the different sequences of operations. In the past, few notable attempts have been made to represent and enumerate the degree of difficulty associated with an assembly sequence (in the form of triangular fuzzy number) by using the concept of assembly graph. However, such representation schemes do not possess the capabilities to model the user's reasoning and preferences. In this research, an intelligent Petri net model that combines the abilities of modelling, planning and performance evaluation for assembly operation is presented. This modelling tool can represent the issues concerning degree of difficulty associated with assembly sequences. The proposed mechanism is enhanced expert high-level colored fuzzy Petri net (EEHLCFPN) that is a hybrid of knowledge-based system and colored Petri net. An example encompassing assembly of subassemblies is considered to efficiently delineate the modelling capabilities of proposed hybrid petri net model.