Fast Heuristic and Exact Algorithms for Two-Level Hazard-Free Logic Minimization

None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and automated circuit partitioning techniques. This paper introduces two new 2-level logic minimizers:ESPRESSO-HF, a heuristic method which is loosely based on ESPRESSO-II, and IMPYMIN, an exact method based on implicit data structures. Both minimizers can solve all currently available examples, which range up to 32 inputs and 33 outputs.These include examples that have never been solved before.For examples that can be solved by other minimizers our methods are several orders of magnitude faster. As by-products of these algorithms, we also present two additional results. First, we introduce a fast new algorithm to check if a hazard-free covering problem can feasibly be solved. Second, we introduce a novel formulation of the 2-level hazard-free logic minimization problem by capturing hazard-freedom constraints within a synchronous function by adding new variables

Synthesis for Logical Initializability of Synchronous Finite State Machines

A new method is introduced for the synthesis for logical initializability of synchronous state machines. The goal is to synthesize a gate-level implementation that is initializable when simulated by a 3-valued (0,1,X) simulator. The method builds on an existing approach of Cheng and Agrawal, which uses constrained state assignment to translate functional initializability into logical initializability. Here, a different state assignment method is proposed which, unlike the method of Cheng and Agrawal, is guaranteed safe and yet is not as conservative. Furthermore, it is demonstrated that certain new constraints on combinational logic synthesis are both necessary and sufficient to insure that the resulting gate-level circuit is 3-valued simulatable. Interestingly, these constraints are similar to those used for hazard-free synthesis of asynchronous combinational circuits. Using the above constraints, we present a complete synthesis for initializability method, targeted to both two-level and multi-level circuits

Fast Heuristic and Exact Algorithms for Two-Level Hazard-Free Logic Minimization

None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and automated circuit partitioning techniques. This paper introduces two new 2-level logic minimizers:ESPRESSO-HF, a heuristic method which is loosely based on ESPRESSO-II, and IMPYMIN, an exact method based on implicit data structures. Both minimizers can solve all currently available examples, which range up to 32 inputs and 33 outputs.These include examples that have never been solved before.For examples that can be solved by other minimizers our methods are several orders of magnitude faster. As by-products of these algorithms, we also present two additional results. First, we introduce a fast new algorithm to check if a hazard-free covering problem can feasibly be solved. Second, we introduce a novel formulation of the 2-level hazard-free logic minimization problem by capturing hazard-freedom constraints within a synchronous function by adding new variables

Observation of the cluster spin-glass phase in La_{2-x}Sr_{x}CuO_{4} by anelastic spectroscopy

An increase of the acoustic absorption is found in La_{2-x}Sr_{x}CuO_{4} (x = 0.019, 0.03 and 0.06) close to the temperatures at which freezing of the spin fluctuations in antiferromagnetic-correlated clusters is expected to occur. The acoustic absorption is attributed to changes of the sizes of the quasi-frozen clusters induced by the vibration stress through magnetoelastic coupling.Comment: LaTeX, 2 PostScript figures, submitted to Phys. Rev.

Phase transitions and phase diagram of the ferroelectric perovskite NBT-BT by anelastic and dielectric measurements

The complex elastic compliance and dielectric susceptibility of (Na_{0.5}Bi_{0.5})_{1-x}Ba_{x}TiO_{3} (NBT-BT) have been measured in the composition range between pure NBT and the morphotropic phase boundary included, 0 <= x <= 0.08. The compliance of NBT presents sharp peaks at the rhombohedral/tetragonal and tetragonal/cubic transitions, allowing the determination of the tetragonal region of the phase diagram, up to now impossible due to the strong lattice disorder and small distortions and polarizations involved. In spite of ample evidence of disorder and structural heterogeneity, the R-T transition remains sharp up to x = 0.06, whereas the T-C transition merges into the diffuse and relaxor-like transition associated with broad maxima of the dielectric and elastic susceptibilities. An attempt is made at relating the different features in the anelastic and dielectric curves to different modes of octahedral rotations and polar cation shifts. The possibility is also considered that the cation displacements locally have monoclinic symmetry, as for PZT near the morphotropic phase boundary.Comment: 11 pages, 9 figures, submitted to Phys. Rev.

Low-temperature phase transformations of PZT in the morphotropic phase-boundary region

We present anelastic and dielectric spectroscopy measurements of PbZr(1-x)Ti(x)O(3) with 0.455 < x < 0.53, which provide new information on the low temperature phase transitions. The tetragonal-to-monoclinic transformation is first-order for x < 0.48 and causes a softening of the polycrystal Young's modulus whose amplitude may exceed the one at the cubic-to-tetragonal transformation; this is explainable in terms of linear coupling between shear strain components and tilting angle of polarization in the monoclinic phase. The transition involving rotations of the octahedra below 200 K is visible both in the dielectric and anelastic losses, and it extends within the tetragonal phase, as predicted by recent first-principle calculations.Comment: 4 pages, 4 figure

A Comparison of Term Clusters for Tokenized Words Collected from Controlled Vocabularies, User Keyword Searches, and Online Documents

Tokenized word terms were collected from three sources: controlled vocabulary headings, user keyword searches, and html documents all dealing with issues in water quality. Distances were calculated between word pairs using the Jacquard formula. Distances from the three sources were compared using Spearman rank correlations and clusters were calculated on distances transformed for non-normality using the SAS pseudo-centroid method. Word pair distances from controlled vocabularies were more closely correlated to keyword searches than document distances were to users’ keywords. The mean distance of controlled vocabularies was also closer to that of users. Clusters produced from the three sources were most similar for word pairs with small distances

A Comparison of Term Clusters for Tokenized Words Collected from Controlled Vocabularies, User Keyword Searches, and Online Documents

Tokenized word terms were collected from three sources: controlled vocabulary headings, user keyword searches, and html documents all dealing with issues in water quality. Distances were calculated between word pairs using the Jacquard formula. Distances from the three sources were compared using Spearman rank correlations and clusters were calculated on distances transformed for non-normality using the SAS pseudo-centroid method. Word pair distances from controlled vocabularies were more closely correlated to keyword searches than document distances were to users’ keywords. The mean distance of controlled vocabularies was also closer to that of users. Clusters produced from the three sources were most similar for word pairs with small distances

Faster synthesis of A-type carbonated hydroxyapatite powders prepared by high-temperature reaction

Acknowledgements The authors would like to acknowledge the University of Aberdeen and the Royal Commission for the Exhibition of 1851 for providing financial support as well as Mr Colin Taylor and Mr John Still for their assistance in collecting some of the experimental data presented here.Peer reviewedPostprin

Litter decay rates are determined by lignin chemistry

Litter decay rates are often correlated with the initial lignin:N or lignin:cellulose content of litter, suggesting that interactions between lignin and more labile compounds are important controls over litter decomposition. The chemical composition of lignin may influence these interactions, if lignin physically or chemically protects labile components from microbial attack. We tested the effect of lignin chemical composition on litter decay in the field during a year-long litterbag study using the model system Arabidopsis thaliana. Three Arabidopsis plant types were used, including one with high amounts of guaiacyl-type lignin, one with high aldehyde- and p-hydroxyphenyl-type lignin, and a wild type control with high syringyl-type lignin. The high aldehyde litter lost significantly more mass than the other plant types, due to greater losses of cellulose, hemicellulose, and N. Aldehyde-rich lignins and p-hydroxyphenyl-type lignins have low levels of cross-linking between lignins and polysaccharides, supporting the hypothesis that chemical protection of labile polysaccharides and N is a mechanism by which lignin controls total litter decay rates. 2D NMR of litters showed that lignin losses were associated with the ratio of guaiacyl-to-p-hydroxyphenyl units in lignin, because these units polymerize to form different amounts of labile- and recalcitrant-linkages within the lignin polymer. Different controls over lignin decay and polysaccharide and N decay may explain why lignin:N and lignin:cellulose ratios can be better predictors of decay rates than lignin content alone