Logic programs with aggregates (LP) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone aggregates (LPm,a programs). In particular, we present a new notion of unfounded set for LPm,a programs, which is a sound generalization of the or...

Two models for describing the operation of a magnetic travelling wave accelerator, the transmission line model and the lumped parameter model, are analyzed. For both cases the current distribution and the magnetic field are calculated. It is shown that the transmission line model can be obtained as the limiting case of the lumped parameter model. It is then assumed that a superconducting soleno...

Any disruption of the lymphatic system due to trauma or injury can lead to edema. There is no effective cure for lymphedema, partly because predictive knowledge of lymphatic system reactions to interventions is lacking. A well-developed model of the system could greatly improve our understanding of its function. Lymphangions, defined as the vessel segment between two valves, are the individual ...

Existing approaches to modeling mismatch effects in matching-critical circuits are based upon models derived under the widely accepted premise that distributed parameter devices can be modeled with lumped parameter models. It is shown in this paper that the lumped parameter models do not consistently reflect device performance and introduce substantial errors in matching-critical circuits if ei...

Hemodynamic analysis of coronary blood flow must be based on a statistically valid geometric model of the coronary vasculature. We have previously developed a diameter-defined Strahler model for the arterial and venous trees and a network model for the capillaries. A full set of data describing the geometric properties of the porcine coronary vasculature was given. The order number, diameter, l...

Experimental results for the bremsstrahlung energy loss of 149, 207, and 287 GeV electrons in thin Ir, Ta, and Cu targets are presented. For each target and energy, a comparison between simulated values based on the Landau-Pomeranchuk-Migdal ~LPM! suppression of incoherent bremsstrahlung is shown. For the electron energies investigated, the LPM effect enters the quantum regime where the recoil ...

A time-domain computational approach is applied to investigate the behavior of perforated tube silencers at high sound levels. The one-dimensional computational technique employs a lumped parameter model for the perforate flows. The lumped parameter perforate model is based on time-invariant approximations for the equivalent length l(eq) and resistance R, consistent with the use of a nonlinear ...

Lumped parameter models of piezoelectric buzzers are established with finite element-based electroacoustic parameter identification procedures. The analysis starts with modeling the diaphragm structure by using finite element method (FEM). The FEM model is then converted into electro-mechanical two-ports to fit into the electro-mechanoacoustical (EMA) analogous circuit. Electrical impedance of ...

Widely used approaches to modeling random effects and extracting random parameters in matching-critical circuits are based upon models derived under the widely accepted premise that distributed parameter devices can be modeled with lumped parameter models. In this paper, a new stochastic approach based upon a distributed parameter model is presented that offers improvement in predicting the eff...