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.     

Forensic image analysis using inconsistent noise pattern

With the advancement of image acquisition devices and social networking services, a huge volume of image data is generated. Using different image and video processing applications, these image data are manipulated, and thus, original images get tampered. These tampered images are the prime source of spreading fake news, defaming the personalities and in some cases (when used as evidence) misleading the law bodies. Hence before relying totally on the image data, the authenticity of the image must be verified. Works of the literature are reported for the verification of the authenticity of an image based on noise inconsistency. However, these works suffer from limitations of confusion between edges and noise, post-processing operation for localization and need of prior knowledge about an image. To handle these limitations, a noise inconsistency-based technique has been presented here to detect and localize a false region in an image. This work consists of three major steps of pre-processing, noise estimation and post-processing. For the experimental purpose two, publicly available datasets are used. The result is discussed in terms of precision, recall, accuracy and f1-score on the pixel level. The result of the presented work is also compared with the recent state-of-the-art techniques. The average accuracy of the proposed work on datasets is 91.70%, which is highest among state-of-the-art techniques.

     

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.