Binary decompositions and acyclic schemes

It is well known that the notions of normal forms and acyclicity capture many practical desirable properties for database schemes. The basic schema design problem is to develop design methodologies that strive toward these ideals. The usual approach is to first normalize the database scheme as far as possible. If the resulting scheme is cyclic, then one tries to transform it into an acyclic scheme. In this paper, we argue in favor of carrying out these two phases of design concurrently. In order to do this efficiently, we need to be able to incrementally analyze the acyclicity status of a database scheme as it is being designed. To this end, we propose the formalism of "binary decompositions". Using this, we characterize design sequences that exactly generate theta-acyclic schemes, for theta = agr,beta. We then show how our results can be put to use in database design. Finally, we also show that our formalism above can be effectively used as a proof tool in dependency theory. We demonstrate its power by showing that it leads to a significant simplification of the proofs of some previous results connecting sets of multivalued dependencies and acyclic join dependencies.

Microstructural study of rapidly solidified titanium eutectoid alloysstar, open

Rapid solidification of Ti-7.3wt.%Cu (near-eutectoid composition), Ti-36.2wt.%Ni and Ti-34.3wt.% Ni-5.8wt.%Si alloys has been carried out by electron beam melting and splat quenching on a water-cooled rotating copper disc. The product obtained was in the form of thin ribbons 60–100 μm thick. Transmission electron microscopy studies of Ti---Cu alloy splats showed that the microstructure consisted of a mixture of martensite and a lamellar eutectoid product. The formation of the intermetallic compound Ti2Cu involved a diffusionless ω transformation and spinodal clustering. In the case of Ti---Ni alloy the as-quenched microstructure is complex, consisting of α, transformed β and intermetallic phases. This could have arisen possibly as a result of local variation in cooling rates. Rapid solidification of Ti---Ni---Si alloy resulted in partial quenching of an amorphous phase. The amorphous phase was seen to be extremely hard (a Vickers hardness of about 800 HV).

On the decomposition of ? phase in some rapidly quenched titanium-eutectoid alloys

The decomposition of the beta phase in rapidly quenched Ti-2.8 at. pet Co, Ti-5.4 at. pet Ni, Ti-4.5 at. pet, and 5.5 at. pet Cu alloys has been investigated by electron microscopy. During rapid quenching, two competitive phase transformations, namely martensitic and eutectoid transformation, have occurred, and the region of eutectoid transformation is extended due to the high cooling rates involved. The beta phase decomposed into nonlamellar eutectoid product (bainite) having a globular morphology in Ti-2.8 pet Co and Ti-4.5 pet Cu (hypoeutectoid) alloys. In the near-eutectoid Ti-5.5 pet Cu alloy, the decomposition occurred by a lamellar (pearlite) type, whereas in Ti-5.4 pct Ni (hypereutectoid), both morphologies were observed. The interfaces between the proeutectoid alpha and the intermetallic compound in the nonlamellar type as well as between the proeutectoid alpha and the pearlite were often found to be partially coherent. These findings are in agreement with the Lee and Aaronson model proposed recently for the evolution of bainite and pearlite structures during the solid-state transformations of some titanium-eutectoid alloys. The evolution of the Ti2Cu phase during rapid quenching involved the formation of a metastable phase closely related to an ''omega-type'' phase before the equilibrium phase formed. Further, the lamellar intermetallic compound Ti2Cu was found to evolve by a sympathetic nucleation process. Evidence is established for the sympathetic nucleation of the proeutectoid alpha crystals formed during rapid quenching.

Polynomial Decompositions in Polynomial Time

Fix a prime p. Given a positive integer k, a vector of positive integers Delta = (Delta(1), Delta(2), ... , Delta(k)) and a function Gamma : F-p(k) -> F-p, we say that a function P : F-p(n) -> F-p is (k, Delta, Gamma)-structured if there exist polynomials P-1, P-2, ..., P-k : F-p(n) -> F-p with each deg(P-i) <= Delta(i) such that for all x is an element of F-p(n), P(x) = Gamma(P-1(x), P-2(x), ..., P-k(x)). For instance, an n-variate polynomial over the field Fp of total degree d factors nontrivially exactly when it is (2, (d - 1, d - 1), prod)- structured where prod(a, b) = a . b. We show that if p > d, then for any fixed k, Delta, Gamma, we can decide whether a given polynomial P(x(1), x(2), ..., x(n)) of degree d is (k, Delta, Gamma)-structured and if so, find a witnessing decomposition. The algorithm takes poly(n) time. Our approach is based on higher-order Fourier analysis.

Thermal conductivity of beta-FeSi2/Si endogenous composites formed by the eutectoid decomposition of alpha-Fe2Si5

Thermoelectric properties of semiconducting beta-FeSi2 containing a homogeneous distribution of Si secondary phase have been studied. The synthesis was carried out using arc melting followed by the densification by uniaxial hot pressing. Endogenous beta-FeSi2/Si composites were produced by the eutectoid decomposition of high-temperature alpha-Fe2Si5 phase. The aging heat treatments have been carried out at various temperatures below the equilibrium eutectoid temperature for various durations in order to tune the size of the eutectoid product. Thermal properties of the samples were studied in the temperature range of 100-350 A degrees C. The microstructural investigations support the fact that the finest microstructure generated through the eutectoid decomposition of the alpha-Fe2Si5 metastable phase is responsible of the phonon scattering. The results suggest an opportunity to produce bulk iron silicide alloys with reduced thermal conductivity in order to enhance its thermoelectric performance.

Thermal decomposition of hydrazinium hydrogen oxalate and dihydrazinium oxalate

Thermal decompositions of hydrazinium hydrogen oxalate (HHOX) and dihydrazinium oxalate (DOX) have been studied. DOX on heating is converted into HHOX and thereafter both follow the same pattern of decomposition.

Formation of Pb(Ti,Zr)O3, from thermal decomposition of oxalate precursors

Lead zir conyl oxalate hexahydrate (LZO) and lead titanyl zirconyl oxalate hydrate (LTZO) are prepared and characterized. Their thermal decompositions have been investigated by thermoanalytical and gas analysis techniques. The decomposition in air or oxygen has three steps — dehydration, decomposition of the oxalate to a carbonate and the decomposition of carbonate to PbZrO3. In non oxidising atmosphere, partial reduction of Pb(II) to Pb(0) takes place at the oxalate decomposition step. The formation of free metallic lead affects the stoichiometry of the intermediate carbonate and yields a mixture of Pb(Ti,Zr)O3 and ZrO2 as the final products. By maintaining oxidising atmosphere and low heating rate, direct preparation of stoichiometric, crystalline Pb(Ti,Zr)O3 at 550°C is possible from the corresponding oxalate precursor.

Thermodynamic Properties and Phase Diagram for the System MoO2–TiO2

The activity of molybdenum dioxide (MoO2) in the MoO2–TiO2 solid solutions was measured at 1600 K using a solid-state cell incorporating yttria-doped thoria as the electrolyte. For two compositions, the emf was also measured as a function of temperature. The cell was designed such that the emf is directly related to the activity of MoO2 in the solid solution. The results show monotonic variation of activity with composition, suggesting a complete range of solid solutions between the end members and the occurrence of MoO2 with a tetragonal structure at 1600 K. A large positive deviation from Raoult's law was found. Excess Gibbs energy of mixing is an asymmetric function of composition and can be represented by the subregular solution model of Hardy as follows.The temperature dependence of the emf for two compositions is reasonably consistent with ideal entropy of mixing. A miscibility gap is indicated at a lower temperature with the critical point characterized by Tc (K)=1560 and . Recent studies indicate that MoO2 undergoes a transition from a monoclinic to tetragonal structure at 1533 K with a transition entropy of 9.91 J·(mol·K)−1. The solid solubility of TiO2 with rutile structure in MoO2 with a monoclinic structure is negligible. These features give rise to a eutectoid reaction at 1412 K. The topology of the computed phase diagram differs significantly from that suggested by Pejryd.

Kinetics of propellant decomposition

Equations for solid-state decompositions which are controlled by the phase-boundary movement and nucleation have been examined using ammonium perchlorate/polystyrene propellant decomposition at 503 K and 533 K. It was found that 3 different equations governed by the nucleation process show a good fit of data at these temperatures. However, the best fit was obtained for the following Avrami-Erofeev equation, [-In (1 - α]1/4=kt.

Accelerating frequency-domain diffuse optical tomographic image reconstruction using graphics processing units

Diffuse optical tomographic image reconstruction uses advanced numerical models that are computationally costly to be implemented in the real time. The graphics processing units (GPUs) offer desktop massive parallelization that can accelerate these computations. An open-source GPU-accelerated linear algebra library package is used to compute the most intensive matrix-matrix calculations and matrix decompositions that are used in solving the system of linear equations. These open-source functions were integrated into the existing frequency-domain diffuse optical image reconstruction algorithms to evaluate the acceleration capability of the GPUs (NVIDIA Tesla C 1060) with increasing reconstruction problem sizes. These studies indicate that single precision computations are sufficient for diffuse optical tomographic image reconstruction. The acceleration per iteration can be up to 40, using GPUs compared to traditional CPUs in case of three-dimensional reconstruction, where the reconstruction problem is more underdetermined, making the GPUs more attractive in the clinical settings. The current limitation of these GPUs in the available onboard memory (4 GB) that restricts the reconstruction of a large set of optical parameters, more than 13, 377. (C) 2010 Society of Photo-Optical Instrumentation Engineers. DOI: 10.1117/1.3506216]

Some Algorithms for Eigensubspace Estimation

An important tool in signal processing is the use of eigenvalue and singular value decompositions for extracting information from time-series/sensor array data. These tools are used in the so-called subspace methods that underlie solutions to the harmonic retrieval problem in time series and the directions-of-arrival (DOA) estimation problem in array processing. The subspace methods require the knowledge of eigenvectors of the underlying covariance matrix to estimate the parameters of interest. Eigenstructure estimation in signal processing has two important classes: (i) estimating the eigenstructure of the given covariance matrix and (ii) updating the eigenstructure estimates given the current estimate and new data. In this paper, we survey some algorithms for both these classes useful for harmonic retrieval and DOA estimation problems. We begin by surveying key results in the literature and then describe, in some detail, energy function minimization approaches that underlie a class of feedback neural networks. Our approaches estimate some or all of the eigenvectors corresponding to the repeated minimum eigenvalue and also multiple orthogonal eigenvectors corresponding to the ordered eigenvalues of the covariance matrix. Our presentation includes some supporting analysis and simulation results. We may point out here that eigensubspace estimation is a vast area and all aspects of this cannot be fully covered in a single paper. (C) 1995 Academic Press, Inc.

Plate-shaped transformation products in zirconium-base alloys

Plate-shaped products resulting from martensitic, diffusional, and mixed mode transformations in zirconium-base alloys are compared. in the present study. These alloys are particularly suitable for the comparison in view of the fact that the lattice correspondence between the parent beta (bcc) and the product alpha (hcp) or gamma-hydride (fct) phases are remarkably similar for different types of transformations. Crystallographic features such as orientation relations, habit planes, and interface structures associated with these transformations have been compared:, with a view toward examining whether the transformation mechanisms have characteristic imprints on these experimental observables. Martensites exhibiting dislocated lath, internally twinned plate, and self-accommodating three-plate cluster morphologies have been encountered in Zr-2.5Nb alloy. Habit planes corresponding to all these morphologies have been found to be consistent with the predictions based on the invariant plane strain (IFS) criterion. Different morphologies have been found to reflect the manner in which the neighboring martensite variants are assembled. Lattice-invariant shears (LISs) for all these cases have been identified to be either {10 (1) over bar 1}(alpha) ((1) over bar 123)(alpha) slip or twinning on (10 (1) over bar 1)(alpha) planes. Widmanstatten alpha precipitates, forming in a step-quenching treatment, have been shown to have a lath morphology, the alpha/beta interface being decorated with a periodic array of (c + a) dislocations at a spacing of 8 to 10 nm. The line vectors of these dislocations are nearly parallel to the invariant lines. The alpha precipitates, forming in the retained beta phase on aging, exhibit an internally twinned structure with a zigzag habit plane. Average habit planes for the morphologies have been found to lie near the {103}(beta) - {113}(beta) poles, which are close to the specific variant of the {112}(beta) plane, which transforms into a prismatic plane of the type {1 (1) over bar 00}(alpha). The crystallography of the formation of the gamma-hydride phase (fct) from both the alpha and beta phases is seen to match the IFS predictions. While the beta-gamma transformation can be treated approximately as a simple shear on the basal plane involving a change in the stacking sequence, the alpha-gamma transformation call be conceptually broken into a alpha --> beta transformation following the Burgers correspondence and the simple beta-gamma shear process. The active eutectoid decomposition in the Zr-Cu system, beta --> alpha + beta', has been described in terms of cooperative growth of the alpha phase from the beta phase through the Burgers correspondence and of the partially ordered beta' (structurally similar to the equilibrium Zr2Cu phase) through an ordering process. Similarities and differences in crystallographic features of these transformations have been discussed. and the importance of the invariant line vector in deciding the geometry of the corresponding habit planes has been pointed out.

Experimental study of phase equilibria in the system Cu-Al-Sn

Phase equilibria in the Cu-rich corner of the ternary system Cu-Al-Sn have been re-investigated. Final equilibrium microstructures of 20 ternary alloy compositions near Cu3Al were used to refine the ternary phase diagram. The microstructures were characterized using optical microscopy (OM), x-ray diffraction (XRD), electron probe microanalysis and transmission electron microscopy. Isothermal sections at 853, 845, 833, 818, 808, 803 and 773 K have been composed. Vertical sections have been drawn at 2 and 3 at% Sn, showing beta(1) as a stable phase. Three-phase fields (alpha + beta + beta(1)) and (beta + beta(1) + gamma(1)) result from beta -> alpha + beta(1) eutectoid and beta + gamma(1) -> beta(1) peritectoid reactions forming metastable beta(1) in the binary Cu-Al. With the lowering of temperature from 853 to 818 K, these three-phase fields are shifted to lower Sn concentrations, with simultaneous shrinkage and shifting of (beta + beta(1)) two-phase field. The three-phase field (alpha + beta + gamma(1)) resulting from the binary reaction beta -> alpha + gamma(1) shifts to higher Sn contents, with associated shrinkage of the beta field, with decreasing temperature. With further reduction of temperature, a new ternary invariant reaction beta + beta(1) -> alpha + gamma(1) is observed at similar to 813 K. The beta disappears completely at 803 K, giving rise to the three-phase field (alpha + beta(1) + gamma(1)). Some general guidelines on the role of ternary additions (M) on the stability of the ordered beta(1) phase are obtained by comparing the results of this study with data in the literature on other systems in the systems group Cu-Al-M.

Quantum simulation using fidelity-profile optimization

Experimental quantum simulation of a Hamiltonian H requires unitary operator decomposition (UOD) of its evolution unitary U = exp(-iHt) in terms of native unitary operators of the experimental system. Here, using a genetic algorithm, we numerically evaluate the most generic UOD (valid over a continuous range of Hamiltonian parameters) of the unitary operator U, termed fidelity-profile optimization. The optimization is obtained by systematically evaluating the functional dependence of experimental unitary operators (such as single-qubit rotations and time-evolution unitaries of the system interactions) to the Hamiltonian (H) parameters. Using this technique, we have solved the experimental unitary decomposition of a controlled-phase gate (for any phase value), the evolution unitary of the Heisenberg XY interaction, and simulation of the Dzyaloshinskii-Moriya (DM) interaction in the presence of the Heisenberg XY interaction. Using these decompositions, we studied the entanglement dynamics of a Bell state in the DM interaction and experimentally verified the entanglement preservation procedure of Hou et al. Ann. Phys. (N.Y.) 327, 292 (2012)] in a nuclear magnetic resonance quantum information processor.

Approximation of Spatio-Temporal Random Processes Using Tensor Decomposition

A new representation of spatio-temporal random processes is proposed in this work. In practical applications, such processes are used to model velocity fields, temperature distributions, response of vibrating systems, to name a few. Finding an efficient representation for any random process leads to encapsulation of information which makes it more convenient for a practical implementations, for instance, in a computational mechanics problem. For a single-parameter process such as spatial or temporal process, the eigenvalue decomposition of the covariance matrix leads to the well-known Karhunen-Loeve (KL) decomposition. However, for multiparameter processes such as a spatio-temporal process, the covariance function itself can be defined in multiple ways. Here the process is assumed to be measured at a finite set of spatial locations and a finite number of time instants. Then the spatial covariance matrix at different time instants are considered to define the covariance of the process. This set of square, symmetric, positive semi-definite matrices is then represented as a third-order tensor. A suitable decomposition of this tensor can identify the dominant components of the process, and these components are then used to define a closed-form representation of the process. The procedure is analogous to the KL decomposition for a single-parameter process, however, the decompositions and interpretations vary significantly. The tensor decompositions are successfully applied on (i) a heat conduction problem, (ii) a vibration problem, and (iii) a covariance function taken from the literature that was fitted to model a measured wind velocity data. It is observed that the proposed representation provides an efficient approximation to some processes. Furthermore, a comparison with KL decomposition showed that the proposed method is computationally cheaper than the KL, both in terms of computer memory and execution time.