The timestamp problem captures a fundamental aspect of asynchronous distributed computing. It allows processes to label events
throughout the system with timestamps that provide information about the real-time ordering of those events. We consider the
space complexity of wait-free implementations of timestamps from shared read-write registers in a system of n processes. We prove an lower bound on the number of registers required. If the timestamps are elements of a nowhere dense set, for example the integers,
we prove a stronger, and tight, lower bound of n. However, if timestamps are not from a nowhere dense set, this bound can be beaten: we give an implementation that uses n − 1 (single-writer) registers. We also consider the special case of anonymous implementations, where processes are programmed
identically and do not have unique identifiers. In contrast to the general case, we prove anonymous timestamp implementations
require n registers. We also give an implementation to prove that this lower bound is tight. This is the first anonymous timestamp
implementation that uses a finite number of registers. 相似文献
Digital Library support for textual and certain types of non-textual documents has significantly advanced over the last years.
While Digital Library support implies many aspects along the whole library workflow model, interactive and visual retrieval
allowing effective query formulation and result presentation are important functions. Recently, new kinds of non-textual documents
which merit Digital Library support, but yet cannot be fully accommodated by existing Digital Library technology, have come
into focus. Scientific data, as produced for example, by scientific experimentation, simulation or observation, is such a
document type. In this article we report on a concept and first implementation of Digital Library functionality for supporting
visual retrieval and exploration in a specific important class of scientific primary data, namely, time-oriented research
data. The approach is developed in an interdisciplinary effort by experts from the library, natural sciences, and visual analytics
communities. In addition to presenting the concept and to discussing relevant challenges, we present results from a first
implementation of our approach as applied on a real-world scientific primary data set. We also report from initial user feedback
obtained during discussions with domain experts from the earth observation sciences, indicating the usefulness of our approach. 相似文献
Transient Loading of Cyclone Separators on Use in Blowdown Systems. On use of cyclone separators for phase separation in blowdown systems, pressure-discharge systems, and flaring units, considerable momentary liquid forces are often encountered. Only few details are known about the transient loading and dimensioning of such systems. Thus the behaviour of the entering surge of liquid and its effect on cyclone separators has now been studied experimentally and theoretically. Water/glycerol mixtures of various viscosities were used in these model experiments. After entering the separator the liquid immediately forms a compact wall film. It rapidly expands sideways under the action of the centrifugal force and simultaneously decelerates. A two-dimensional planar mathematical model serves for stepwise calculation of the experimental results with regard to film extension, deceleration, and the resulting transient forces. The results are summarised in the form of design criteria. 相似文献
In situ synchrotron X-ray microtomography was used to characterize the bulk deformation behavior by computing the Poisson’s ratio of expanded thermoplastic polyurethane (eTPU) molded bead foams used in footwear midsole during compression. Quantitative data on morphological characteristics were obtained using an iterative image processing workflow. Image correlation on the 4D datasets using DVC was performed to calculate the volumetric and axial strain to estimate the Poisson ratio. Strain maps from DVC showed the influence of variability in ligament thickness distribution on the global mechanical behavior exhibited which dominated the response seen in these bead foams. Finally, our results showed a strong correlation between Poisson ratio and distribution of ligament thickness in foams.
Six multiparous Holstein cows (average 31 days in milk; 36.3 kg/d of milk) fitted with ruminal cannulas were used in a 6 x 6 Latin square with 21-d periods to investigate the effects of diets that varied in forage source and amount of supplemental tallow. Isonitrogenous diets in a 2 x 3 factorial arrangement were based on either high corn silage (40:10 corn silage to alfalfa silage, % of dry matter) or high alfalfa silage (10:40 corn silage to alfalfa silage, % of dry matter) and contained 0, 2, or 4% tallow. Intakes of dry matter and total fatty acids were lower when cows were fed the high corn silage diet. Tallow supplementation linearly decreased dry matter intake. Milk yield was unaffected by diet; yields of milk fat and 3.5% fat-corrected milk were higher for the high alfalfa silage diet but were unaffected by tallow. Milk fat percentage was higher for the high alfalfa silage and tended to decrease when tallow was added to the high corn silage diet. Contents of trans-C18:1 isomers in milk fat were increased by high corn silage and tallow, and tended to be increased more when tallow was fed in the high corn silage diet. Ruminal pH and acetate:propionate were lower when high corn silage was fed. Ruminal acetate:propionate decreased linearly as tallow increased; the molar proportion of acetate was decreased more when tallow was added to the high corn silage diet. Ruminal liquid dilution rates were higher for the alfalfa silage diet; ruminal volume and solid passage rates were similar among diets. Total tract apparent digestibilities of dry matter, organic matter, crude protein, starch, energy, and total fatty acids were unaffected by diet. Digestibilities of neutral detergent fiber, acid detergent fiber, hemicellulose, and cellulose were lower when high corn silage was fed. The high alfalfa silage diet increased intakes of metabolizable energy and N, and increased milk energy and productive N. Tallow decreased the amount of N absorbed but had few other effects on utilization of energy or N. Tallow linearly increased concentrations of nonesterified fatty acids and cholesterol in plasma; cholesterol was increased by high alfalfa silage. Overall, forage source had more pronounced effects on production and metabolism than did tallow supplementation. Few interactions between forage source and tallow supplementation were detected except that ruminal fermentation and milk fat content were affected more negatively when tallow was fed in the high corn silage diet. 相似文献
Selective sodium–glucose cotransporter 2 (SGLT2) inhibitors reduced the risk of hospitalization for heart failure in patients with or without type 2 diabetes (T2DM) in large-scale clinical trials. The exact mechanism of action is currently unclear. The dual SGLT1/2 inhibitor sotagliflozin not only reduced hospitalization for HF in patients with T2DM, but also lowered the risk of myocardial infarction and stroke, suggesting a possible additional benefit related to SGLT1 inhibition. In fact, several preclinical studies suggest that SGLT1 plays an important role in cardiac pathophysiological processes. In this review, our aim is to establish the clinical significance of myocardial SGLT1 inhibition through reviewing basic research studies in the context of SGLT2 inhibitor trials. 相似文献
Deterioration of an electric contact is closely related to phenomena occurring in the microscopic contact spots in the contact interface. Contact spots in idealized aluminum-aluminum contact interfaces, that have passed heavy alternating currents, have been carefully examined by scanning electron microscopy and metallographic imaging techniques. Small cracks are observed in the contact spot regions, and have to a great extent impaired the current-carrying ability of the area. The temperature in the contact spots cycles with twice the power frequency, and in heavily stressed contacts the maximum temperature reaches several hundred degrees centigrade. The associated local thermal expansion and contraction in and around the immediate vicinity of the contact spot generates cyclic mechanical forces of substantial magnitudes. Indications that this repetitive stress causes the observed cracks are found. It is suggested that the resistance increase observed in practical aluminum connectors being subjected to short-circuit currents can have a similar origin 相似文献
A superconducting fault current limiter (SCFL) consisted of a transformer with low reactance connected to the power line and with the secondary winding short-circuited by a modular superconducting limiter device with 16 elements connected in series was constructed and tested. The designed coupling transformer has low dispersion reactance in order to limit the voltage drop in the power line within the range of 5 % to 10 %. The experimental results showed that an insertion of a 0.125 Ω resistance limited the peak current to a factor of 2.5 times of the unlimited current. The power dissipation reached 39 kW during 100 ms, with an energy density of 380 J/cm3. Based on these results, the SCFL will be further tested in a 3 MVA (15 kV/380 V) generator for currents up to 10 kA. 相似文献