Architectural synthesis of an image processing algorithm using IRIS

Details are presented of the IRIS synthesis system for high-performance digital signal processing. This tool allows non-specialists to automatically derive VLSI circuit architectures from high-level, algorithmic representations, and provides a quick route to silicon implementation. The applicability of the system is demonstrated using the design example of a one-dimensional Discrete Cosine Transform circuit.

Numerical assessment of potential impacts of hydraulically fractured Bowland Shale on overlying aquifers

Natural gas extracted from hydraulically fractured shale formations potentially has a big impact on the global energy landscape. However, there are concerns of potential environmental impacts of hydraulic fracturing of the shale formations, particularly those related to water quality. To evaluate the potential impact of hydraulically fractured shale on overlying aquifers, we conduct realizations of numerical modeling simulations to assess fluid flow and chloride transport from a synthetic Bowland Shale over a period of 11,000 years. The synthetic fractured shale was represented by a three-dimensional discrete fracture model that was developed by using the data from a Bowland Shale gas exploration in Lancashire, UK. Chloride mass exchange between fractures and the rock matrix was fully accounted for in the model. The assessment was carried out to investigate fluid and chloride mass fluxes before, during, and after hydraulic fracturing of the Bowland Shale. Impacts of the upward fracture height and aperture, as well as hydraulic conductivity of the multilayered bedrock system, are also included this assessment. This modeling revealed that the hydraulically fractured Bowland Shale is unlikely to pose a risk to its overlying groundwater quality when the induced fracture aperture is ≤200 µm. With the fracture aperture ≥1000 µm, the upward chloride flux becomes very sensitive to the upward fracture height growth and hydraulic conductivity of the multilayered bedrock system. In the extremely unlikely event of the upward fracture growth directly connecting the shale formation to the overlying Sherwood Sandstone aquifer with the fracture aperture ≥1000 µm, the upward chloride mass flux could potentially pose risks to the overlying aquifer in 100 years. The model study also revealed that the upward mass flux is significantly intercepted by the horizontal mass flux within a high permeable layer between the Bowland Shale and its overlying aquifers, reducing further upward flux toward the overlying aquifers.

Impact of Residual Transmit RF Impairments on Training-Based MIMO Systems

Radio-frequency (RF) impairments, which intimately exist in wireless communication systems, can severely limit the performance of multiple-input-multiple-output (MIMO) systems. Although we can resort to compensation schemes to mitigate some of these impairments, a certain amount of residual impairments always persists. In this paper, we consider a training-based point-to-point MIMO system with residual transmit RF impairments (RTRI) using spatial multiplexing transmission. Specifically, we derive a new linear channel estimator for the proposed model, and show that RTRI create an estimation error floor in the high signal-to-noise ratio (SNR) regime. Moreover, we derive closed-form expressions for the signal-to-noise-plus-interference ratio (SINR) distributions, along with analytical expressions for the ergodic achievable rates of zero-forcing, maximum ratio combining, and minimum mean-squared error receivers, respectively. In addition, we optimize the ergodic achievable rates with respect to the training sequence length and demonstrate that finite dimensional systems with RTRI generally require more training at high SNRs than those with ideal hardware. Finally, we extend our analysis to large-scale MIMO configurations, and derive deterministic equivalents of the ergodic achievable rates. It is shown that, by deploying large receive antenna arrays, the extra training requirements due to RTRI can be eliminated. In fact, with a sufficiently large number of receive antennas, systems with RTRI may even need less training than systems with ideal hardware.

A Schamel equation for ion acoustic waves in superthermal plasmas

An investigation of the propagation of ion acoustic waves in nonthermal plasmas in the presence of trapped electrons has been undertaken. This has been motivated by space and laboratory plasma observations of plasmas containing energetic particles, resulting in long-tailed distributions, in combination with trapped particles, whereby some of the plasma particles are confined to a finite region of phase space. An unmagnetized collisionless electron-ion plasma is considered, featuring a non-Maxwellian-trapped electron distribution, which is modelled by a kappa distribution function combined with a Schamel distribution. The effect of particle trapping has been considered, resulting in an expression for the electron density. Reductive perturbation theory has been used to construct a KdV-like Schamel equation, and examine its behaviour. The relevant configurational parameters in our study include the superthermality index κ and the characteristic trapping parameter β. A pulse-shaped family of solutions is proposed, also depending on the weak soliton speed increment u₀. The main modification due to an increase in particle trapping is an increase in the amplitude of solitary waves, yet leaving their spatial width practically unaffected. With enhanced superthermality, there is a decrease in both amplitude and width of solitary waves, for any given values of the trapping parameter and of the incremental soliton speed. Only positive polarity excitations were observed in our parametric investigation. 

Isometric embedding of finite ultrametric spaces in Banach spaces

We prove that for any finite ultrametric space M and any infinite-dimensional Banach space B there exists an isometric embedding of M into B.

Two-dimensional Banach spaces with polynomial numerical index zero

We study two-dimensional Banach spaces with polynomial numerical indices equal to zero.

A discrete time-dependent method for metastable atoms and molecules in intense fields

The full-dimensional time-dependent Schrodinger equation for the electronic dynamics of single-electron systems in intense external fields is solved directly using a discrete method. Our approach combines the finite-difference and Lagrange mesh methods. The method is applied to calculate the quasienergies and ionization probabilities of atomic and molecular systems in intense static and dynamic electric fields. The gauge invariance and accuracy of the method is established. Applications to multiphoton ionization of positronium, the hydrogen atom and the hydrogen molecular ion are presented. At very high laser intensity, above the saturation threshold, we extend the method using a scaling technique to estimate the quasienergies of metastable states of the hydrogen molecular ion. The results are in good agreement with recent experiments. (C) 2004 American Institute of Physics.

Whitney's type theorems for infinite dimensional spaces

It is proved that for any $f$ is an element of $C^k(L,R)$, where k is a natural number and L is a closed linear subspace of a nuclear Frechet space $X$, the function $f$ can be extended to a function of class $C^{k-1}$ defined on the entire space $X$. It is also proved that for any $f$ is an element of $C^k(L, R)$, where $k$ is a natural number of infinity and L is a closed linear subspace of a dual $X$ of a nuclear Frechet space, the function $f$ can be extended to a function of class $C^k$ defined on the entire space $X$. In addition, it is proved that under these conditions, the existence of a linear extension operator is equivalent to the complementability of the subspace.

Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.