VLSI architecture of a K-best detector for MIMO--OFDM wireless communication systems

The K-best detector is considered as a promising technique in the MIMO-OFDM detection because of its good performance and low complexity. In this paper, a new K-best VLSI architecture is presented. In the proposed architecture, the metric computation units (MCUs) expand each surviving path only to its partial branches, based on the novel expansion scheme, which can predetermine the branches' ascending order by their local distances. Then a distributed sorter sorts out the new K surviving paths from the expanded branches in pipelines. Compared to the conventional K-best scheme, the proposed architecture can approximately reduce fundamental operations by 50% and 75% for the 16-QAM and the 64-QAM cases, respectively, and, consequently, lower the demand on the hardware resource significantly. Simulation results prove that the proposed architecture can achieve a performance very similar to conventional K-best detectors. Hence, it is an efficient solution to the K-best detector's VLSI implementation for high-throughput MIMO-OFDM systems.

Kinetic study on the photo-catalytic degradation of pyridine in TiO2 suspension systems

It has been generally agreed that pyridine can be effectively mineralized in aerated TiO2 slurries using near-UV irradiation. The knowledge on the kinetics of the system possesses both practical and theoretical values. The present study, on the base of Langmuir-Hinshewood mechanism, illustrates a pseudo first-order kinetic model of the degradation with the limiting rate constant of 3.004 mg l(-1) min(-1) and equilibrium adsorption constant 2.763 x 10(-2) l mg(-1), respectively. The degradation efficiency in alkali is a little higher than that in acid with a minimum at about pH = 5, which is explained by the formation of acid-pyridine in acidic surrounding together with the amphoteric nature of the TiO2 surface. The promotion of H2O2 on the photo-degradation ties in its supplying proper amount of (OH)-O-. radicals for the inducement stage before surface redox reactions. (C) 2004 Elsevier B.V. All rights reserved.

Order-disorder transition in eicosylated polyethyleneimine comblike polymers

Order-disorder transition (ODT) behavior in eicosylated polyethyleneimine (PEI20C) comblike polymer obtained by grafting n-eicosyl group on polyethyleneimine backbone was systematically investigated by the combination of differential scanning calorimetry (DSC), wide-angle X-ray diffraction (WAXD), Fourier transform infrared (FTIR) spectroscopy as well as solid-state high resolution nuclear magnetic resonance (NMR) spectroscopy. DSC investigations showed two obvious transitions, assigned to the transitions (1) from orthorhombic to hexagonal and (2) from hexagonal to amorphous phase, respectively. These transitions are induced by the variations of alkyl side chain conformation and packing structure with temperature changing, which consequently lead to the destruction of original phase equilibrium. The ODT behavior can also be confirmed by spectroscopic methods like WAXD, FTIR and NMR. The ordered structure and the transition behavior of the alkyl side chains confined by the PEI backbone are obviously different from those of pristine normal alkanes. The transition mechanism of ODT and the origin of the phase transition behavior in PEI20C comblike polymer were discussed in detail in this paper.

Anion coordination and molecular assembly in C2-substituted thiamine-anion systems: effects of the anion and molecular conformation

The compounds (het)(PtCl6)2H(2)O 1, (het)(HgI4).H2O 2 (het = 2-(alpha-hydroxyethyl)thiamine) and (hpt)(Hg2Br6) 3 (hpt = 2-(alpha-hydroxypropyl)thiamine) have been prepared and structurally characterized by X-ray crystallography in order to study the influence of the anion and molecular conformation on the formation of supramolecular architectures that adsorb anionic species. Both het and hpt molecules adopt the usual S conformation for C2-substituted thiamine but differ from the F conformation for C2-free thiamine derivatives. Two types of characteristic ligand-anion complexation are observed, being of the forms C(6')-H...anion...thiazolium-ring (in 1 and 2) and N(4'1)-H...anion...thiazolium-ring (in 3). The reaction of het with PtCl62- or HgI42- gives a 1-D double-chain in 1, consisting of two hydrogen-bonded het chains, which are cross-linked by anions through hydrogen bonding and anion...aromatic-ring interactions, or a cationic 3-D framework in 2 formed by the stacking of hydrogen-bonded sheets with anion-and-water-filled channels. In the case of 3, hydrogen-bonded hpt dimers and HgBr62- anions form alternate cation-anion columns. A comparison with the cases of C2-free thiamine-anion complexes indicates that the change in molecular conformation results in novel supramolecular assemblies in 1 and 2 and an analogous architecture in 3, which also depends on the nature of the anions.

Computer simulation of miscibility and self-assembly structure for polymer-containing systems with special interactions

The miscibility and structure of A-B copolymer/C homopolymer blends with special interactions were studied by a Monte Carlo simulation in two dimensions. The interaction between segment A and segment C was repulsive, whereas it was attractive between segment B and segment C. In order to study the effect of copolymer chain structure on the morphology and structure of A-B copolymer/C homopolymer blends, the alternating, random and block A-B copolymers were introduced into the blends, respectively. The simulation results indicated that the miscibility of A-B block copolymer/C homopolymer blends depended on the chain structure of the A-B copolymer. Compared with alternating or random copolymer, the block copolymer, especially the diblock copolymer, could lead to a poor miscibility of A-B copolymer/C homopolymer blends. Moreover, for diblock A-B copolymer/C homopolymer blends, obvious self-organized core-shell structure was observed in the segment B composition region from 20% to 60%. However, if diblock copolymer composition in the blends is less than 40%, obvious self-organized core-shell structure could be formed in the B-segment component region from 10 to 90%. Furthermore, computer statistical analysis for the simulation results showed that the core sizes tended to increase continuously and their distribution became wider with decreasing B-segment component.

High order liquid crystalline structure of poly(11-{[(4 '-heptyloxy-4-biphenylyl)carbonyl]oxy}-1-undecyne)

Liquid crystalline properties of a mesomorphic polyacetylene {-[HC=C(CH2 )(9)OOC-Biph-OC7H15](n)- (PA9EO7), Biph=4-4'-biphenylyl} are investigated by X-ray diffraction, polarizing optical microscope, and transmission electron microscope. Polyacetylene PA9EO7 from solution adopts a sandwich structure, which is a high order smectic phase. The biphenylyl pendants pack in a hexagonal fashion and the distance between two appendages is 4.51 Angstrom. The heptyloxy tails on one polymer backbone overlap with those on the neighboring chain. The nonyl spacer and the heptyloxy tail exhibit a hexagonal packing arrangement with intermolecular distance of 3.24 Angstrom.

STUDIED ON THE SIMULTANEOUS SPECTROPHOTOMETRIC DETERMINATION OF INORGANIC MULTICOMPONENT SYSTEMS .3. DETERMINATION OF MICROAMOUNTS OF TUNGSTEN, MOLYBDENUM AND TITANIUM

The absorption spectra of W, Mo and Ti-phenylfluorone cetyltrimethylammonium bromide complexes and the optimum conditions for the simultaneous spectrophotometric determination of microamounts of W, Mo and Ti were studied. In order to examine the effect of the errors of calibration matrix on the analytical resulte, the approach of selecting the analytical wavelengths was investigated and the comparison of computation results between AKC method (the matrix representation of Beer-Lambert's Law) and ...

Control of Vibration in Mechanical Systems Using Shaped Reference Inputs

Dynamic systems which undergo rapid motion can excite natural frequencies that lead to residual vibration at the end of motion. This work presents a method to shape force profiles that reduce excitation energy at the natural frequencies in order to reduce residual vibration for fast moves. Such profiles are developed using a ramped sinusoid function and its harmonics, choosing coefficients to reduce spectral energy at the natural frequencies of the system. To improve robustness with respect to parameter uncertainty, spectral energy is reduced for a range of frequencies surrounding the nominal natural frequency. An additional set of versine profiles are also constructed to permit motion at constant speed for velocity-limited systems. These shaped force profiles are incorporated into a simple closed-loop system with position and velocity feedback. The force input is doubly integrated to generate a shaped position reference for the controller to follow. This control scheme is evaluated on the MIT Cartesian Robot. The shaped inputs generate motions with minimum residual vibration when actuator saturation is avoided. Feedback control compensates for the effect of friction Using only a knowledge of the natural frequencies of the system to shape the force inputs, vibration can also be attenuated in modes which vibrate in directions other than the motion direction. When moving several axes, the use of shaped inputs allows minimum residual vibration even when the natural frequencies are dynamically changing by a limited amount.

BUILD: A Tool for Maintaining Consistency in Modular Systems

Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to be performed in order to perform the task. This differs from existing tools which do not explicitly separate knowledge about systems from knowledge about how systems are manipulated. BUILD provides a static framework for modeling systems and handling construction requests that makes use of programming environment specific definitions. By altering the set of definitions, BUILD can be extended to work with new programming environments to perform new tasks.

Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences

J. Keppens and Q. Shen. Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences. Journal of Artificial Intelligence Research, 21:499-550, 2004.

Inspection of teats by colour image analysis for automatic milking systems

C.R. Bull, N.J.B. McFarlane, R. Zwiggelaar, C.J. Allen and T.T. Mottram, 'Inspection of teats by colour image analysis for automatic milking systems', Computers and Electronics in Agriculture 15 (1), 15-26 (1996)

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Deterministic Computations Whose History Is Independent of the Order of Asynchronous Updating

Consider a network of processors (sites) in which each site x has a finite set N(x) of neighbors. There is a transition function f that for each site x computes the next state ξ(x) from the states in N(x). But these transitions (updates) are applied in arbitrary order, one or many at a time. If the state of site x at time t is η(x; t) then let us define the sequence ζ(x; 0); ζ(x; 1), ... by taking the sequence η(x; 0),η(x; 1), ... , and deleting each repetition, i.e. each element equal to the preceding one. The function f is said to have invariant histories if the sequence ζ(x; i), (while it lasts, in case it is finite) depends only on the initial configuration, not on the order of updates. This paper shows that though the invariant history property is typically undecidable, there is a useful simple sufficient condition, called commutativity: For any configuration, for any pair x; y of neighbors, if the updating would change both ξ(x) and ξ(y) then the result of updating first x and then y is the same as the result of doing this in the reverse order. This fact is derivable from known results on the confluence of term-rewriting systems but the self-contained proof given here may be justifiable.

Dopaminergic and Non-Dopaminergic Value Systems in Conditioning and Outcome-Specific Revaluation

Animals are motivated to choose environmental options that can best satisfy current needs. To explain such choices, this paper introduces the MOTIVATOR (Matching Objects To Internal Values Triggers Option Revaluations) neural model. MOTIVATOR describes cognitiveemotional interactions between higher-order sensory cortices and an evaluative neuraxis composed of the hypothalamus, amygdala, and orbitofrontal cortex. Given a conditioned stimulus (CS), the model amygdala and lateral hypothalamus interact to calculate the expected current value of the subjective outcome that the CS predicts, constrained by the current state of deprivation or satiation. The amygdala relays the expected value information to orbitofrontal cells that receive inputs from anterior inferotemporal cells, and medial orbitofrontal cells that receive inputs from rhinal cortex. The activations of these orbitofrontal cells code the subjective values of objects. These values guide behavioral choices. The model basal ganglia detect errors in CS-specific predictions of the value and timing of rewards. Excitatory inputs from the pedunculopontine nucleus interact with timed inhibitory inputs from model striosomes in the ventral striatum to regulate dopamine burst and dip responses from cells in the substantia nigra pars compacta and ventral tegmental area. Learning in cortical and striatal regions is strongly modulated by dopamine. The model is used to address tasks that examine food-specific satiety, Pavlovian conditioning, reinforcer devaluation, and simultaneous visual discrimination. Model simulations successfully reproduce discharge dynamics of known cell types, including signals that predict saccadic reaction times and CS-dependent changes in systolic blood pressure.