Hardware implementation of 4x4 DCT/Quantization block using multiplication and error-free algorithm

The 4ÃÂ4 discrete cosine transform is one of the most important building blocks for the emerging video coding standard, viz. H.264. The conventional implementation does some approximation to the transform matrix elements to facilitate integer arithmetic, for which hardware is suitably prepared. Though the transform coding does not involve any multiplications, quantization process requires sixteen 16-bit multiplications. The algorithm used here eliminates the process of approximation in transform coding and multiplication in the quantization process, by usage of algebraic integer coding. We propose an area-efficient implementation of the transform and quantization blocks based on the algebraic integer coding. The designs were synthesized with 90 nm TSMC CMOS technology and were also implemented on a Xilinx FPGA. The gate counts and throughput achievable in this case are 7000 and 125 Msamples/sec.

Counter-free input-determined timed automata

We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal logics in the literature, including MTL. We make use of this characterization to show that MTL+Past satisfies an “ultimate stability” property with respect to periodic sequences of timed words. Our results hold for both the pointwise and continuous semantics. Along the way we generalize the result of McNaughton-Papert to show a counter-free automata characterization of FO-definable finitely varying functions.

Iodine-Catalyzed Amination of Benzoxazoles: A Metal-Free Route to 2-Aminobenzoxazoles under Mild Conditions

A facile metal-free route of oxidative amination of benzoxazole by activation of C-H bonds with secondary or primary amines in the presence of catalytic iodine in aqueous tert-butyl hydroperoxide proceeds smoothly at ambient temperature under neat reaction condition to furnish the high yield of the aminated product. This user-friendly method to form C-N bonds produces tertiary butanol and water as the byproduct, which are environmentally benign. The application of the methodology is demonsrated by synthesizing therapeutically active benzoxazoles.

Evolution of crystallinity of free gold agglomerates and shape transformation

We report the shape evolution of free gold agglomerates with different morphologies that transform to ellipsoidal and then to spherical shapes during the heating cycle. The shape transformation is associated with a structural transition from polycrystalline to single crystalline. The structural transition temperature is shown to be dependent on the final size of the particles and not on the initial morphologies of the agglomerates. It is also shown that the transition occurs well below the melting temperature which is in contrast with the melt-freeze process reported in the literature.

Discrimination of Nuclear Grade Steel Samples Subjected to Different Heat Treatment Procedures Based on Acoustic Emission (AE) Data Profiling at Crack Initiation

The present work is an attempt to study crack initiation in nuclear grade, 9Cr-1Mo ferritic steel using AE as an online NDE tool. Laboratory experiments were conducted on 5 heat treated Compact Tension (CT) specimens made out of nuclear grade 9Cr-1Mo ferritic steel by subjecting them to cyclic tensile load. The CT Specimens were of 12.5 mm thickness. The Acoustic emission test system was setup to acquire the data continuously during the test by mounting AE sensor on one of the surfaces of the specimen. This was done to characterize AE data pertaining to crack initiation and then discriminate the samples in terms of their heat treatment processes based on AE data. The AE signatures at crack initiation could conclusively bring to fore the heat treatment distinction on a sample to sample basis in a qualitative sense.Thus, the results obtained through these investigations establish a step forward in utilizing AE technique as an on-line measurement tool for accurate detection and understanding of crack initiation and its profile in 9Cr-1Mo nuclear grade steel subjected to different processes of heat treatment.