Diagonal forms, linear algebraic methods and Ramsey-type problems

This thesis focuses mainly on linear algebraic aspects of combinatorics. Let N_t(H) be an incidence matrix with edges versus all subhypergraphs of a complete hypergraph that are isomorphic to H. Richard M. Wilson and the author find the general formula for the Smith normal form or diagonal form of N_t(H) for all simple graphs H and for a very general class of t-uniform hypergraphs H.

As a continuation, the author determines the formula for diagonal forms of integer matrices obtained from other combinatorial structures, including incidence matrices for subgraphs of a complete bipartite graph and inclusion matrices for multisets.

One major application of diagonal forms is in zero-sum Ramsey theory. For instance, Caro's results in zero-sum Ramsey numbers for graphs and Caro and Yuster's results in zero-sum bipartite Ramsey numbers can be reproduced. These results are further generalized to t-uniform hypergraphs. Other applications include signed bipartite graph designs.

Research results on some other problems are also included in this thesis, such as a Ramsey-type problem on equipartitions, Hartman's conjecture on large sets of designs and a matroid theory problem proposed by Welsh.

Pata contractions and coupled type fixed points

A new coupled fixed point theorem related to the Pata contraction for mappings having the mixed monotone property in partially ordered complete metric spaces is established. It is shown that the coupled fixed point can be unique under some extra suitable conditions involving mid point lower or upper bound properties. Also the corresponding convergence rate is estimated when the iterates of our function converge to its coupled fixed point.

Tetranorclerodanes and clerodane-type diterpene glycosides from Dicranopteris dichotoma

The acetone extract of Dicranopteris dichotoma afforded two new tetranorclerodanes, 18-hydroxyaylthonic acid (1) and 18-oxo-aylthonic acid (2), and four new clerodane-type diterpene glycosides, (6S,13S)-6-O-[6-O-acetyl-beta-D-glucopyranosyl-(1 -> 4)-alpha

Localization and distribution of tissue type and urokinase type plasminogen activators and their inhibitors type 1 and 2 in human and rhesus monkey fetal membranes

Fetal membranes consist of 10 distinct layers including components of amnion, chorion and decidua, the latter being of maternal origin. They form mechanically integrated sheets capable of retaining amniotic fluid and play an essential role in protecting fetal growth and development in the pregnant uterus. The extracellular matrix, substrate for plasminogen activators (PAs), is an important supportive framework of the fetal membranes. :Fetal membranes from women with preterm premature rupture of membranes may differ in their protease activity compared with normal membranes. To identify the presence of PAs and their inhibitors (PAI) and their possible role in the process of fetal membrane rupture, this study in investigated the distribution and localization of both protein and mRNA for tissue (t) and urokinase (u) PA and their inhibitors type 1 (PAI-1) and type 2 (PAI-2) in amniochorion of human and rhesus monkey using conventional and. confocal immunofluorescence microscopy. In situ hybridization analysis showed that the distribution and localization of mRNAs for tPA, uPA, PAI-I and PAI-2 were similar in the fetal membranes of human and rhesus monkey; no obvious species difference was observed. Evidence of tPA mRNA was detected in amniotic epithelium, trophoblast cells and nearly all cells of the decidual layer. Strong expression of uPA mRNA was noted in the decidual cells which increased in intensity as the abscission point was approached. Weak staining in chorion laeve trophoblast was also detected. In situ hybridization experiments showed PAI-1 mRNA to be concentrated mainly in the decidual cells, some of which were interposed into the maternal-facing edge of the chorion laeve. Maximal labelling of the decidua occurred towards the zone of abscission. Weak expression of PAI-1 mRNA nas also noted in some cells of the chorion laeve. The distribution of PAI-2 mRNA in amniochorion was also concentrated in the cells of the decidual layer, maximum expression of the mRNA was in the level of abscission. No detectable amount of mRNAs for tPA, uPA, PAI-1 and PAI-2 was found in the fibroblast, reticular and spongy layers. Distribution of the proteins of tPA, uPA and PAI-1 in the fetal membranes of these two species was consistent with the distribution of their mRNA. Anti-PAI-2 immunofluorescence was found to be strongly concentrated in the amniotic epithelium, but PAI-2 mRNA was negative in this layer, suggesting that the epithelium-associated PAI-2 is not of epithelial origin. These findings suggest that a local fibrinolysis in fetal membranes generated by precisely balanced expression of PAs and their inhibitors via paracrine or autocrine mechanisms may play an essential role in fetal membrane development, maturation and in membrane rupture. Following an analysis of the distribution and synthesis of activators and inhibitors it was found that they may play a role in abscission during the third stage of labour. (C) 1998 W. B. Saunders Company Ltd.

Effect of operating conditions and fuel type on crevice hc emissions: Model results and comparison with experiments

A one-dimensional model for crevice HC post-flame oxidation is used to calculate and understand the effect of operating parameters and fuel type (propane and isooctane) on the extent of crevice hydrocarbon and the product distribution in the post flame environment. The calculations show that the main parameters controlling oxidation are: bulk burned gas temperatures, wall temperatures, turbulent diffusivity, and fuel oxidation rates. Calculated extents of oxidation agree well with experimental values, and the sensitivities to operating conditions (wall temperatures, equivalence ratio, fuel type) are reasonably well captured. Whereas the bulk gas temperatures largely determine the extent of oxidation, the hydrocarbon product distribution is not very much affected by the burned gas temperatures, but mostly by diffusion rates. Uncertainties in both turbulent diffusion rates as well as in mechanisms are an important factor limiting the predictive capabilities of the model. However, it seems well suited to sensitivity calculations about a baseline. Copyright © 1999 Society of Automotive Engineers, Inc.

Electronic structures of wurtzite ZnO, BeO, MgO and p-type doping in Zn1-xYxO (Y = Mg, Be)

Using the density function theory within the generalized gradient approximation, the band structures of wurtzite ZnO, BeO and MgO have been calculated. The effective-mass parameters are fitted using the calculated eigenvalues. The Dresselhaus spin-orbit effect appears in the k[1 00] direction, and is zero in the high symmetry direction k[00 1]. The orderings of valence band split by the crystal-field and spin-orbit coupling in wurtzite ZnO, BeO and MgO are identified by analyzing the wave function characters calculated by projecting the wave functions onto p-state in the spherical harmonics. For wurtzite ZnO, the ordering of valence band is Still Gamma(7) > Gamma(9) > Gamma(7) due to the negative spin-orbit coupling splitting energy and the positive crystal-field splitting energy. Thus, the Thomas' conclusion is confirmed. For wurtzite BeO and MgO, although their orderings of valence bands are Gamma(7) > Gamma(9) > Gamma(7) too, the origins of their orderings are different from that of wurtzite ZnO. Zn1-x,YxO (Y = Mg, Be) doped with N and P atoms have been studied using first-principles method. The calculated results show that N atom doped in Zn1-x BexO has more shallow acceptor energy level with increasing the concentration of Be atom. (C) 2008 Elsevier B.V. All rights reserved.

Band-gap bowing and p-type doping of (Zn, Mg, Be)O wide-gap semiconductor alloys: a first-principles study

Using a first-principles band-structure method and a special quasirandom structure (SQS) approach, we systematically calculate the band gap bowing parameters and p-type doping properties of (Zn, Mg, Be)O related random ternary and quaternary alloys. We show that the bowing parameters for ZnBeO and MgBeO alloys are large and dependent on composition. This is due to the size difference and chemical mismatch between Be and Zn(Mg) atoms. We also demonstrate that adding a small amount of Be into MgO reduces the band gap indicating that the bowing parameter is larger than the band-gap difference. We select an ideal N atom with lower p atomic energy level as dopant to perform p-type doping of ZnBeO and ZnMgBeO alloys. For N doped in ZnBeO alloy, we show that the acceptor transition energies become shallower as the number of the nearest neighbor Be atoms increases. This is thought to be because of the reduction of p-d repulsion. The N-O acceptor transition energies are deep in the ZnMgBeO quaternary alloy lattice-matched to GaN substrate due to the lower valence band maximum. These decrease slightly as there are more nearest neighbor Mg atoms surrounding the N dopant. The important natural valence band alignment between ZnO, MgO, BeO, ZnBeO, and ZnMgBeO quaternary alloy is also investigated.

RADIATIVE RECOMBINATION IN N-TYPE AND P-TYPE GAAS COMPENSATED WITH LI

We report fundamental changes of the radiative recombination in a wide range of n-type and p-type GaAs after diffusion with the group-I element Li. These optical properties are found to be a bulk property and closely related to the electrical conductivity of the samples. In the Li-doped samples the radiative recombination is characterized by emissions with excitation-dependent peak positions which shift to lower energies with increasing degree of compensation and concentration of Li. These properties are shown to be in qualitative agreement with fluctuations of the electrostatic potential in strongly compensated systems. For Li-diffusion temperatures above 700-800-degrees-C semi-insulating conditions with electrical resistivity exceeding 10(7) OMEGA cm are obtained for all conducting starting materials. In this heavy Li-doping regime, the simple model of fluctuating potentials is shown to be inadequate for explaining the. experimental observations unless the number of charged impurities is reduced through complexing with Li. For samples doped with low concentrations of Li, on the other hand, the photoluminescence properties are found to be characteristic of impurity-related emissions.

Second-Order Raman Scattering from n- and p-Type 4H-SiC

The results of second-order Raman-scattering experiments on n- and p-type 4H-SiC are presented,covering the acoustic and the optical overtone spectral regions.Some of the observed structures in the spectra are assigned to particular phonon branches and the points in the Brillouin zone from which the scattering originates.There exists a doublet at 626/636cm-1 with energy difference about 10cm-1 in both n- and p-type 4H-SiC,which is similar to the doublet structure with the same energy difference founded in hexagonal GaN,ZnO, and AlN.The cutoff frequency at 1926cm-1 of the second-order Raman is not the overtone of the A1(LO) peak of the n-type doping 4H-SiC,but that of the undoping one.The second-order Raman spectrum of 4H-SiC can hardly be affected by doping species or doping density.

PEG-supported dipyridyl ligand for palladium-catalyzed Suzuki and Suzuki-type reactions in PEG and aqueous media

An air- and water-stable PEG-supported bidentate nitrogen ligand is prepared and its applications in the palladium-catalyzed Suzuki reaction of aryl halides with arylboronic acids in PEG and Suzuki-type reaction of aryl halides with sodium tetraphenylborate in aqueous media are reported. The homogeneous catalyst system is environmentally friendly and offers the advantages of high activity, reusability and easy separation.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.