On equations for regular languages, finite automata, and sequential networks

We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.

hyo-xtm: a set of hyper-graph operations on xml topic map toward knowledge management

Knowledge management is a critical issue for the next-generation web application, because the next-generation web is becoming a semantic web, a knowledge-intensive network. XML Topic Map (XTM), a new standard, is appearing in this field as one of the structures for the semantic web. It organizes information in a way that can be optimized for navigation. In this paper, a new set of hyper-graph operations on XTM (HyO-XTM) is proposed to manage the distributed knowledge resources.HyO-XTM is based on the XTM hyper-graph model. It is well applied upon XTM to simplify the workload of knowledge management.The application of the XTM hyper-graph operations is demonstrated by the knowledge management system of a consulting firm. HyO-XTM shows the potential to lead the knowledge management to the next-generation web.

Analog computation using quantum-dot cell network

A novel analog-computation system using a quantum-dot cell network is proposed to solve complex problems. Analog computation is a promising method for solving a mathematical problem by using a physical system analogous to the problem. We designed a novel quantum-dot cell consisting of three-stacked. quantum dots and constructed a cell network utilizing the nearest-neighbor interactions between the cells. We then mapped a graph 3-colorability problem onto the network so that the single-electron configuration of the network in the ground state corresponded to one of the solutions. We calculated the ground state of the cell network and found solutions to the problems. The results demonstrate that analog computation is a promising approach for solving complex problems.

Aluminum induced crystallization of strongly (111) oriented polycrystalline silicon thin film and nucleation analysis

A polycrystalline silicon thin film was fabricated on glass substrate by means of aluminum induced crystallization (AIC). Al and alpha-Si layers were deposited by magnetron sputtering respectively and annealed at 480A degrees C for 1 h to realize layer exchange. The polycrystalline silicon thin film was continuous and strongly (111) oriented. By analyzing the structure variation of the oxidation membrane and lattice mismatch between gamma-Al2O3 and Si, it was concluded that aluminum promoted the formation of (111) oriented silicon nucleus by controlling the orientation of gamma-Al2O3, which was formed at the early stage of annealing.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

Two-quasiparticle K-isomeric states in strongly deformed neutron-rich Nd and Sm isotopes: a projected shell-model analysis

Motivated by recent spectroscopy data from fission experiments, we apply the projected shell model to study systematically the structure of strongly deformed, neutron-rich, even-even Nd and Sm isotopes with neutron number from 94 to 100. We perform calculations for rotational bands up to spin I = 20 and analyze the band structure of low-lying states with quasiparticle excitations, with emphasis given to rotational bands based on various negative-parity two-quasiparticle (2-qp) isomers. Experimentally known isomers in these isotopes are described well. The calculations further predict proton 2-qp bands based on a 5(-) and a 7(-) isomer and neutron 2-qp bands based on a 4(-) and an 8(-) isomer. The properties for the yrast line are discussed, and quantities to test the predictions are suggested for future experiment.

Regio-regular structure high molecular weight poly(propylene carbonate) by rare earth ternary catalyst and Lewis base cocatalyst

Lewis base modification strategy on rare earth ternary catalyst was disclosed to enhance nucleophilic ability of active center during copolymerization of carbon dioxide and propylene oxide (PO), poly(propylene carbonate) (PPC) with H-T linkages over 83%, and number-average molecular weight (M-n) up to 100 kg/mol was synthesized at room temperature using Y(CCl3OO)(3)-ZnEt2-glycerine catalyst and 1,10-phenanthroline (PHEN) cocatalyst. Coordination of PHEN with active Zinc center enhanced the nucleophilic ability of the metal carbonate, which became more regio-specific in attacking carbon in PO, leading to PPC with improved H-T linkages.

Synthesis of N-Methylimidazolium Functionalized Strongly Basic Anion Exchange Resins for Adsorption of Cr(VI)

N-Methylimidazolium functionalized strongly basic anion exchange resins in the Cl- form (RCI) and SO46- form (R2SO4) were synthesized and employed for adsorption of Cr(VI) from aqueous solution. FT-IR and elementary analysis proved the structures of anion exchange resins and the content of functional groups. The gel-type strongly basic anion exchange resins had high thermal stability according to TGA and good chemical stability under the experimental conditions. The adsorption behaviors of Cr(VI) on RCI and R2SO4 were studied using the batch technique. It was shown that adsorption equilibrium was reached rapidly within 60 min. The adsorption data for RCI and R2SO4 were consistent with the Langmuir isotherm equation.