296 research outputs found
Inclusive Development: Two Papers on Conceptualization, Application, and the ADB Perspective
This compendium brings together two companion papers on inclusive development. The first paper uses the global literature to formulate a conceptualisation of inclusive development and inclusive growth, and to put the conceptualisation through its paces by applying it to the specific case of donor assistance to rural infrastructure. The second paper conducts a detailed review and a synthesis of Asian Development Bank literature on inclusive growth and inclusive development, to see how one particular international organization has addressed, and attempted to resolve, the analytical and operational issues associated with inclusive development.International Development, International Relations/Trade,
Characterizing small-scale migration behavior of sequestered CO2 in a realistic geological fabric
For typical reservoir conditions, buoyancy and capillary forces grow dominant over viscous forces within a few hundred meters of the injection wells as the pressure gradient due to injection decreases, resulting in qualitatively different plume migration regimes. The migration regime depends on two factors: the capillary pressure of the leading edge of the plume and the range of
threshold entry pressures within the rock at the leading edge of the plume. A capillary channel regime arises when these two factors have the same magnitude. Flow patterns within this regime vary from finger-like structures with minimal rock contact to back-filling structures with compact volumes of saturation distributed between fingers. Reservoir heterogeneity is one of the
principal factors influencing CO2 migration pathway in the capillary channel regime. Here we characterize buoyancy-driven migration in a natural 2D geologic domain (1 m Ă— 0.5 m peel from an alluvium) in which sedimentologic heterogeneity has been resolved at sub-millimeter (depositional) resolution. The relevant features of the heterogeneity are grain size distribution, which determines the mean and range of threshold pressures and correlation lengths of threshold pressures in horizontal and vertical directions. The relevant physics for this migration regime is invasion percolation, and simulations indicate that CO2 migrates through the peel in a few narrow pathways which cannot be captured by conventional coarse-grid simulations. The storage
efficiency of the capillary channel regime would be low and consequently CO2 would also migrate greater distances than expected from models or simulations that neglect the capillary channel flow regime.Bureau of Economic Geolog
Decomposing the proof of correctness of pipelined microprocessors
technical reportWe present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction function using completion functions, one per unfinished instruction, each of which specify the effect (on the observables) of completing the instruction. In addition to avoiding term-size and case explosion as could happen for deep and complex pipelines during flushing and helping localize errors, our method can also handle stages with iterative loops. The technique is illustrated on pipelined- as well as a superscalar pipelined implementations of a subset of the DLX architecture
A Systematic Methodology for Verifying Superscalar Microprocessors
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction function by using completion functions, one per unfinished instruction, each of which specifies the effect (on the observables) of completing the instruction. In addition to avoiding the term size and case explosion problem that limits the pure flushing approach, our method helps localize errors, and also handles stages with interactive loops. The technique is illustrated on pipelined and superscalar pipelined implementations of a subset of the DLX architecture. It has also been applied to a processor with out-of-order execution
Recommended from our members
Geologic drivers affecting buoyant plume migration patterns in small-scale heterogeneous media : characterizing capillary channels of sequestered COâ‚‚
textCOâ‚‚ sequestration aims for the most efficient utilization of reservoir pore volume and for maximizing security of storage. For typical field conditions and injection rates, buoyancy and capillary forces grow dominant over viscous forces within hundreds of meters of the injection wells as the pressure gradient from injection becomes less influential on flow processes. Flow regimes ranging from compact flow to capillary channel flow or secondary accumulation beneath a seal are possible through time as the COâ‚‚ plume travels through the storage reservoir. Here we model the range of possible migration behavior in the capillary channel regime in small-scale domains whose heterogeneity has been resolved at depositional (sub-millimeter) scale. Two types of model domains have been studied in this work: domains with depositional fabric from real, naturally-occurring geologic samples and geostatistically generated synthetic model fabrics. The real domains come from quasi-2D physical geologic samples (peel # 1: ~1 m Ă— 0.5 m sample and peel # 2: ~0.4 m Ă— 0.6 m sample) that are vertically oriented relief peels of fluvial sediment extracted from the Brazos River, Texas. Peel # 1 is oriented perpendicular to dominant depositional flow while peel # 2 is a flow-parallel specimen. The various depositional fabrics represent definite correlation lengths of threshold pressures in the horizontal and vertical directions which can be extracted. High-resolution (~2 million element model) laser scanning of the samples provided detailed topography which is the result of nearly linear corresponding changes in measured grain size (normal distribution) and sorting. We model the basic physics of buoyant migration in heterogeneous domain using commercial software which applies the principle of invasion percolation (IP). The criterion for governing drainage at the pore scale is that the capillary pressure of the fluid needs to be greater than or equal to the threshold pressure of the pore throat it is trying to enter for the interface to advance into the pore. Here we employ the extension of this concept to flows at larger scales, which replaces the pore throat with a volume of rock with a characteristic value of capillary entry pressure. The fluid capillary pressure is proportional to the height of continuous column of the buoyant phase. The effects of (i) threshold pressure range, i.e. difference between the maximum and minimum threshold pressures in the domain; and (ii) the density difference between COâ‚‚ and connate water on capillary channels of COâ‚‚ were studied on the various sedimentologic fabrics. As the rock and fluid properties varied for different model domains, â‚‚ migration patterns varied between predominantly fingering and predominantly back-filling structures. Sufficiently heterogeneous media (threshold pressures varying by a factor of 10 or more) and media with depositional fabrics having high ratios of horizontal and vertical correlation lengths of capillary entry pressures in the domain yield back-filling pattern, resulting in a significantly large storage capacity. Invasion percolation simulation models give qualitatively similar COâ‚‚ migration patterns compared to full-physics simulators in small-scale but high resolution domains which are sufficiently heterogeneous. On the other hand, we find the invasion percolation simulations predicting disperse capillary fingering pattern in relatively homogeneous media (threshold pressures varying by less than a factor of 10) while the full-physics simulations reveal a very compact COâ‚‚ front in the same media. This stark difference needs to be investigated to understand the governing flow physics in these domains. Fingering flow pattern in the capillary channel regime would clearly result in the estimated storage capacity being much less than the nominal value (the pore volume of the rock) as the rock-fluid contact is minimal. The importance of this work lies in the verification that a relatively simple model (invasion percolation), which runs in a very small fraction of the time required by full-physics simulators, can be used to study buoyant migration in rocks at the micro-scale. Understanding migration behavior at the small-scale can help us approach the problem of upscaling better and hence define the complex plume dynamics at the reservoir scale more realistically. Knowledge of the correlation structure of the sedimentologic fabric (ratio of correlation lengths of threshold pressures in horizontal and vertical directions) and the threshold pressure distribution (permeability distribution) for any given reservoir rock could help evaluate amount of COâ‚‚ that can be stored per unit volume of rock (storage potential) for a reservoir in the migration phase of sequestration. The possibility of predictive ability for expected capillary channel flow patterns kindles the prospect of enabling an engineered storage strategy that drives the behavior toward the desired flow patterns in the subsurface.Petroleum and Geosystems Engineerin
Meteoric effect of meropenem: an unrevealed case report on Jarisch Herxheimer reaction
Jarisch Herxheimer Reaction is an immune mediated, self- limited reaction that releases endotoxins from the spirochetes. It occurs due to an acute inflammatory response when lipoproteins, owing to their entry into the patient's bloodstream, cause an increase in inflammatory cytokines during the period of exacerbation, resulting in body aches, fevers, rashes, nausea and vomiting, and flushing, along with other symptoms. These symptoms usually begin within 2 hours after the administration of the antibiotics. We represent a 76-year-old male patient who has had a known case of recurrent urinary tract infections since 2017 and was recently diagnosed with urosepsis and syphilis after being administered an injection of Meropenem, wherein he developed a Jarisch Herxheimer Reaction. The causality assessment revealed a Naranjo score of 7, indicating a probable adverse drug reaction. This patient was treated with intravenous antihistamines and corticosteroids for its management. Benzathine penicillin was avoided owing to the previous suspected Jarisch Herxheimer Reaction. None of the studies reported that Meropenem could contribute to such a reaction. All healthcare professionals should maintain a high alert of suspicion and be aware of antibiotic induced Jarisch Herxheimer Reaction symptoms and their management to avoid life threatening conditions
- …