Propagation characteristics of a heaviside absorbing layer for TLM

The perfectly matched layer for use with the finite-difference time-domain method is adapted to our transmission-line matrix simulation as what we call a heaviside absorbing layer (HAL). It is shown that the reflection coefficient for the wave incident on a HAL is less than that of the wave incident on a matched-load termination at all angles of incidence. Furthermore, the dispersion relation of a transmission-line matrix mesh of a symmetrical condensed node with both electric and magnetic loss stubs is derived. It provides guidance on how to choose the losses of HAL and other simulation parameters properly     

Analysis of switched diversity TCM-MPSK systems on Nakagami fadingchannels

Space diversity reception and forward-error correction coding are powerful techniques to combat multipath fading encountered in mobile radio communications. In this paper, we analyze the performance of a discrete-time switched diversity system using trellis-coded modulation multiple phase-shift keying (TCM-MPSK) on slow, nonselective correlated Nakagami (1960) fading channels. Analytical upper bounds using the transfer function bounding technique are obtained and illustrated by several numerical examples. A simple integral expression for calculating the exact pairwise error probability is presented. The use of optimum adaptive and fixed switching thresholds is considered. Monte Carlo simulation results, which are more indicative of the exact system performance, are also given     

Use of a two-wire microwave line at the boundary of the investigated zone to measure the electron density in a low-temperature plasma

A new method based on a two-wire line has been developed for noncontact diagnostics of a low-temperature plasma and its fluxes in channels with complex profiles. This method provides good spatial and time resolution. Pis’ma Zh. Tekh. Fiz. 23, 1–7 (July 26, 1997)     

Estimating local mean signal strength of indoor multipathpropagation

We explore techniques for the measurement of local mean signal strength at 900 MHz and 2 GHz. In particular, we characterize the impact of transmitter and receiver antenna rotation on the estimated local mean. Then, we explore the collection of high resolution data while moving along a linear trajectory and using linear averaging techniques to estimate the local mean. With this information, the best measurement techniques can be chosen depending on the required speed versus accuracy tradeoff. Finally, we use a ray tracing propagation model to evaluate different methods of calculating the local mean signal strength for indoor environments     

STRESS INTENSITY FACTORS AND WEIGHT FUNCTIONS FOR SEMI-ELLIPTICAL SURFACE CRACKS IN FINITE-THICKNESS PLATES UNDER TWO-DIMENSIONAL STRESS DISTRIBUTION

Abstract— A Fourier series approach is proposed to calculate stress intensity factors using weight functions for semi-elliptical surface cracks in flat plates subjected to two-dimensional stress distributions. The weight functions were derived from reference stress intensity factors obtained by three-dimensional finite element analyses. The close form weight functions derived are suitable for the calculation of stress intensity factors for semi-elliptical surface cracks in flat plates under two-dimensional stress distributions with the crack aspect ratio in the range of 0.1 ≤ a/c ≤ 1 and relative depth in the range of 0 ≤ a/t ≤ 0.8. Solutions were verified using several two-dimensional non-linear stress distributions; the maximum difference being 6%.     

Wortmannin enhances CPP32-like activity during neuronal differentiation of P19 embryonal carcinoma cells induced by retinoic acid

P19 EC cells undergoes apoptosis during neuronal differentiation induced by retinoic acid. Two CPP32-like proteases, CPP32 and Mch-3, are expressed in untreated and retinoic acid-treated P19 EC cells. CPP32-like activity is remarkably increased in apoptosis during neuronal differentiation of P19 EC cells. Inhibition of CPP32-like proteases prevents apoptosis, suggesting that activation of CPP32-like proteases play central roles in the apoptosis during neuronal differentiation of P19 EC cells. Wortmannin, PI-3K inhibitor, enhances the CPP32-like activity of the retinoic acid-treated P19 EC cells. PI-3K may be involved in the apoptosis during neuronal differentiation as negative regulator.     

Development of severe secondary hypertension in a patient with systemic entomophthoromycosis

The sudden onset of hypertension mandates investigation for secondary causes. We report the case of a young man with a very rare systemic fungal disease that included massive unilateral perirenal adenopathy. Treatment was associated with the abrupt onset of severe hypertension. Imaging studies suggested progressive constriction of one kidney with treatment, presumably as a result of healing adenopathy. We suggest that this case is a new example of hypertension secondary to constrictive perinephritis (Page kidney).     

Proving termination of GHC programs

A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort, merge-sort, merge, split, fair-split and append, etc., can be proved. This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687 Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074. M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für Informatik, Saarbrücken until January 1997. Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science. R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International Conferences and has been on the Editorial Committees.