A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Antennas and other electromagnetic applicators in biology andmedicine

Medical and biological applications of antennas can be classified into two broad groups: (1) therapeutic and (2) informational (including diagnostics and measurement of material electromagnetic (EM) properties). Most of these applications involve EM coupling into or out of the body which requires a device such as an antenna or other applicator. A common characteristic of many applications is the difficulty of coupling EM energy into the interior of the body without damaging the surface. Rapidly increasing computing power and new developments in numerical EM techniques are expected to have a great impact on the use of EM devices in medicine and biology     

Dynamic arrays for fast, efficient, data manipulation during image analysis: a new software tool for exploratory data analysis.

Memory reallocation is used to construct a run-time data structure for fast/efficient storage of information during collection and analysis. The data structure presented uses dynamic memory but does not require the use of pointers to link nodes of information together. It allows for simple and efficient access to data via array indexing rather than through the use of lists or tree structures and it provides flexibility for competing storage requirements that are determined dynamically. The data structure is developed in the C programming language and a suite of ANSI standard C subroutines that make up a run-time data structure management system is provided.     

Adaptive nonlinear cancellation for high-speed fiber-optic systems

The authors propose techniques for adaptive nonlinear cancellation of intersymbol interference (ISI) in the electrical signal at the receiver in Gb/s lightwave systems and describe several demonstrations of these techniques. Techniques for adjustable nonlinear cancellations are discussed and demonstrations of these techniques using commercially available integrated circuits (ICs) at data rates as high as 1.7 Gb/s are described. Techniques for automatic adjustment are discussed, and a demonstration of adaptive nonlinear cancellation at 450 Mb/s is described. The authors discuss how these techniques can be integrated onto the detector IC for operations at 2.5 Gb/s and higher data rates. These techniques allow a single IC detector with adaptive nonlinear cancellation to be used in long-haul and undersea lightwave systems to optimize the detector threshold and compensate for the ISI     

Queueing analyses of traffic access control strategies withpreemptive and nonpreemptive disciplines in wideband integrated networks

A multiserver queueing model of access control strategies for a wideband integrated services digital network (ISDN) is considered. There are two types of service requests (SRs): Type 1 SR requires b servers (basic bandwidth units, BBUs) of the c available servers, while Type 2 SR requires a single server. Both types of SRs are queuable in two separate infinite-size buffers. A Type 1 SR is allowed to seize d(⩽b) servers at first and then acquire additional servers as they become available to meet the original requirement of b servers. The arrival processes of both types of SRs are Poisson and the service times are exponentially distributed with mean b/dμ₁ and 1/μ₂ for Type 1 SR and Type 2 SR, respectively. Preemptive and nonpreemptive priority disciplines with movable boundary are analyzed using the Neuts' matrix-analytic approach. Numerical examples of the queue length distribution and the mean waiting time of the SRs are presented     

Phonons and spin excitations in the extended t-J model

We consider the effects of spin-phonon coupling within the slave-boson mean-field treatment of the extended t-J model. With no additional assumptions the theory is found to give a semi-quantitative account of the frequency and linewidth anomalies observed for certain phonon modes in Y Ba₂Cu₃O₇ at the superconducting transition. We report also investigations of the role of this coupling in affecting thermodynamic properties and spin dynamics.     

Combustion synthesis of advanced materials: Part I. Reaction parameters

An explanation of combustion (self propagating high temperature) synthesis (SHS) is given together with a historical perspective of the examination of such exothermic reactions. The application of thermochemical functions has been used to predict theoretically the maximum adiabatic temperature, T_ad. This, combined with a knowledge of the ignition temperature, T_ig, and the actual combustion temperature, T_c, has been used to determine the heat loss from the SHS reaction and the amount of heat needed to raise the adjacent, cold, reactant layer to the ignition temperature in order to maintain the self sustaining nature of the propagating mode of the reaction. The pertinent reaction parameters that control self propagating high temperature (combustion) synthesis reactions have been examined. These include: reactant particle size and shape; powder mixing and compaction; green density; reaction stoichiometry; impurities; volatiles and diluents; reaction environment; mode and technique of ignition; heating rate; and the effect of these parameters on the generation of heat, exothermicity and control of the SHS reaction.