425,861 research outputs found
Accelerated Data-Flow Analysis
Acceleration in symbolic verification consists in computing the exact effect
of some control-flow loops in order to speed up the iterative fix-point
computation of reachable states. Even if no termination guarantee is provided
in theory, successful results were obtained in practice by different tools
implementing this framework. In this paper, the acceleration framework is
extended to data-flow analysis. Compared to a classical
widening/narrowing-based abstract interpretation, the loss of precision is
controlled here by the choice of the abstract domain and does not depend on the
way the abstract value is computed. Our approach is geared towards precision,
but we don't loose efficiency on the way. Indeed, we provide a cubic-time
acceleration-based algorithm for solving interval constraints with full
multiplication
Effects of interstage diffuser flow distortion on the performance of a 15.41-centimeter tip diameter axial power turbine
The performance of a variable-area stator, axial flow power turbine was determined in a cold-air component research rig for two inlet duct configurations. The two ducts were an interstage diffuser duct and an accelerated-flow inlet duct which produced stator inlet boundary layer flow blockages of 11 percent and 3 percent, respectively. Turbine blade total efficiency at design point was measured to be 5.3 percent greater with the accelerated-flow inlet duct installed due to the reduction in inlet blockage. Blade component measurements show that of this performance improvement, 35 percent occurred in the stator and 65 percent occurred in the rotor. Analysis of inlet duct internal flow using an Axisymmetric Diffuser Duct Code (ADD Code) were in substantial agreement with the test data
Hemodynamic evaluation using four-dimensional flow magnetic resonance imaging for a patient with multichanneled aortic dissection
The hemodynamic function of multichanneled aortic dissection (MCAD) requires close monitoring and effective management to avoid potentially catastrophic sequelae. This report describes a 47-year-old man who underwent endovascular repair based on findings from four-dimensional (4D) flow magnetic resonance imaging of an MCAD. The acquired 4D flow data revealed complex, bidirectional flow patterns in the false lumens and accelerated blood flow in the compressed true lumen. The collapsed abdominal true lumen expanded unsatisfactorily after primary tear repair, which required further remodeling with bare stents. This case study demonstrates that hemodynamic analysis using 4D flow magnetic resonance imaging can help understand the complex pathologic changes of MCAD
pandapower - an Open Source Python Tool for Convenient Modeling, Analysis and Optimization of Electric Power Systems
pandapower is a Python based, BSD-licensed power system analysis tool aimed
at automation of static and quasi-static analysis and optimization of balanced
power systems. It provides power flow, optimal power flow, state estimation,
topological graph searches and short circuit calculations according to IEC
60909. pandapower includes a Newton-Raphson power flow solver formerly based on
PYPOWER, which has been accelerated with just-in-time compilation. Additional
enhancements to the solver include the capability to model constant current
loads, grids with multiple reference nodes and a connectivity check. The
pandapower network model is based on electric elements, such as lines, two and
three-winding transformers or ideal switches. All elements can be defined with
nameplate parameters and are internally processed with equivalent circuit
models, which have been validated against industry standard software tools. The
tabular data structure used to define networks is based on the Python library
pandas, which allows comfortable handling of input and output parameters. The
implementation in Python makes pandapower easy to use and allows comfortable
extension with third-party libraries. pandapower has been successfully applied
in several grid studies as well as for educational purposes. A comprehensive,
publicly available case-study demonstrates a possible application of pandapower
in an automated time series calculation
G-NetMon: A GPU-accelerated Network Performance Monitoring System
At Fermilab, we have prototyped a GPU-accelerated network performance monitoring system, called G-NetMon, to support large-scale scientific collaborations. In this work, we explore new opportunities in network traffic monitoring and analysis with GPUs. Our system exploits the data parallelism that exists within network flow data to provide fast analysis of bulk data movement between Fermilab and collaboration sites. Experiments demonstrate that our G-NetMon can rapidly detect sub-optimal bulk data movements
Hubble flow variations as a test for inhomogeneous cosmology
Context. Backreactions from large-scale inhomogeneities may provide an
elegant explanation for the observed accelerated expansion of the universe
without the need to introduce dark energy. Aims. We propose a cosmological test
for a specific model of inhomogeneous cosmology, called timescape cosmology.
Using large-scale galaxy surveys such as SDSS and 2MRS, we test the variation
of expansion expected in the -CDM model versus a more generic
differential expansion using our own calibrations of bounds suggested by
timescape cosmology. Method. Our test measures the systematic variations of the
Hubble flow towards distant galaxies groups as a function of the matter
distribution in the lines of sight to those galaxy groups. We compare the
observed systematic variation of the Hubble flow to mock catalogues from the
Millennium Simulation in the case of the -CDM model, and a deformed
version of the same simulation that exhibits more pronounced differential
expansion. Results. We perform a series of statistical tests, ranging from
linear regressions to Kolmogorov-Smirnov tests, on the obtained data. They
consistently yield results preferring -CDM cosmology over our
approximated model of timescape cosmology. Conclusions. Our analysis of
observational data shows no evidence that the variation of expansion differs
from that of the standard -CDM model.Comment: 20 pages, 21 figures, accepted for publication in A&
Use of donor serum to prevent passive transfer of hyperacute rejection
Organ transplantation in presensitized recipients continues to be contraindicated for heart and kidney recipients due to the risk of hyperacute rejection, which has no known treatment at this time. We tested whether donor serum, which contains soluble MHC class I antigen, is able to neutralize the effect of anti-donor antibody in the recipient and prevent hyperacute or accelerated rejection. A rat model of passive immunization was used to test the role of anti-donor antibody in hyperacute rejection. Seven of 10 recipients of hyperimmune serum (HyS), derived from Lewis rats (RT1l) following 3 ACI (RT1a) skin grafts, developed hyperacute or accelerated rejection. Intravenous injection of ACI serum prior to the HyS administration prevented hyperacute rejection in all recipients tested. When third-party (Wistar-Furth, RT1u) serum was given to Lewis rats injected with HyS, hyperacute rejection was not abrogated. When examining the mechanism of this effect, a simple antibody blocking phenomenon was found to be unlikely since flow cytometry analysis showed that ACI serum needed to be present at > or = 256-fold excess compared to HyS to block anti-ACI antibody binding to RT1.Aa+cells by 50%. We tested whether the RT1.Aa class I antigen in ACI serum had other biologic properties that resulted in the prolonged graft survival. However, removal of RT1.Aa antigen from ACI serum prior to use in the passive transfer model did not abrogate the graft prolongation observed previously. These data suggest that components of donor serum other than MHC class I antigen may be useful for preventing the antibody-mediated component of hyperacute rejection
Investigation of advanced counterrotation blade configuration concepts for high speed turboprop systems. Task 5: Unsteady counterrotation ducted propfan analysis
The primary objective of this study was the development of a time-marching three-dimensional Euler/Navier-Stokes aerodynamic analysis to predict steady and unsteady compressible transonic flows about ducted and unducted propfan propulsion systems employing multiple blade rows. The computer codes resulting from this study are referred to as ADPAC-AOAR\CR (Advanced Ducted Propfan Analysis Codes-Angle of Attack Coupled Row). This document is the final report describing the theoretical basis and analytical results from the ADPAC-AOACR codes developed under task 5 of NASA Contract NAS3-25270, Unsteady Counterrotating Ducted Propfan Analysis. The ADPAC-AOACR Program is based on a flexible multiple blocked grid discretization scheme permitting coupled 2-D/3-D mesh block solutions with application to a wide variety of geometries. For convenience, several standard mesh block structures are described for turbomachinery applications. Aerodynamic calculations are based on a four-stage Runge-Kutta time-marching finite volume solution technique with added numerical dissipation. Steady flow predictions are accelerated by a multigrid procedure. Numerical calculations are compared with experimental data for several test cases to demonstrate the utility of this approach for predicting the aerodynamics of modern turbomachinery configurations employing multiple blade rows
Investigation of advanced counterrotation blade configuration concepts for high speed turboprop systems. Task 5: Unsteady counterrotation ducted propfan analysis. Computer program user's manual
The primary objective of this study was the development of a time-marching three-dimensional Euler/Navier-Stokes aerodynamic analysis to predict steady and unsteady compressible transonic flows about ducted and unducted propfan propulsion systems employing multiple blade rows. The computer codes resulting from this study are referred to as ADPAC-AOACR (Advanced Ducted Propfan Analysis Codes-Angle of Attack Coupled Row). This report is intended to serve as a computer program user's manual for the ADPAC-AOACR codes developed under Task 5 of NASA Contract NAS3-25270, Unsteady Counterrotating Ducted Propfan Analysis. The ADPAC-AOACR program is based on a flexible multiple blocked grid discretization scheme permitting coupled 2-D/3-D mesh block solutions with application to a wide variety of geometries. For convenience, several standard mesh block structures are described for turbomachinery applications. Aerodynamic calculations are based on a four-stage Runge-Kutta time-marching finite volume solution technique with added numerical dissipation. Steady flow predictions are accelerated by a multigrid procedure. Numerical calculations are compared with experimental data for several test cases to demonstrate the utility of this approach for predicting the aerodynamics of modern turbomachinery configurations employing multiple blade rows
Dynamics and constraints of the Unified Dark Matter flat cosmologies
We study the dynamics of the scalar field FLRW flat cosmological models
within the framework of the Unified Dark Matter (UDM) scenario. In this model
we find that the main cosmological functions such as the scale factor of the
Universe, the scalar field, the Hubble flow and the equation of state parameter
are defined in terms of hyperbolic functions. These analytical solutions can
accommodate an accelerated expansion, equivalent to either the dark energy or
the standard models. Performing a joint likelihood analysis of the
recent supernovae type Ia data and the Baryonic Acoustic Oscillations traced by
the SDSS galaxies, we place tight constraints on the main cosmological
parameters of the UDM cosmological scenario. Finally, we compare the UDM
scenario with various dark energy models namely cosmology, parametric
dark energy model and variable Chaplygin gas. We find that the UDM scalar field
model provides a large and small scale dynamics which are in fair agreement
with the predictions by the above dark energy models although there are some
differences especially at high redshifts.Comment: 11 pages, 7 figures, published in Physical Review D, 78, 083509,
(2008
- …