Queueing analysis of a canonical model of real-time multiprocessors

A logical classification of multiprocessor structures from the point of view of control applications is presented. A computation of the response time distribution for a canonical model of a real time multiprocessor is presented. The multiprocessor is approximated by a blocking model. Two separate models are derived: one created from the system's point of view, and the other from the point of view of an incoming task

Characterization of real-time computers

A real-time system consists of a computer controller and controlled processes. Despite the synergistic relationship between these two components, they have been traditionally designed and analyzed independently of and separately from each other; namely, computer controllers by computer scientists/engineers and controlled processes by control scientists. As a remedy for this problem, in this report real-time computers are characterized by performance measures based on computer controller response time that are: (1) congruent to the real-time applications, (2) able to offer an objective comparison of rival computer systems, and (3) experimentally measurable/determinable. These measures, unlike others, provide the real-time computer controller with a natural link to controlled processes. In order to demonstrate their utility and power, these measures are first determined for example controlled processes on the basis of control performance functionals. They are then used for two important real-time multiprocessor design applications - the number-power tradeoff and fault-masking and synchronization

Vertical variation of optical properties of mixed Asian dust/pollution plumes according to pathway of air mass transport over East Asia

© Author(s) 2015. This is an Open Access article made available under the terms of the Creative Commons Attribution License 3.0 https://creativecommons.org/licenses/by/3.0/We use five years (2009-2013) of multiwavelength Raman lidar measurements at Gwangju, South Korea (35.10° N, 126.53° E) for the identification of changes of optical properties of East Asian dust depending on its transport path over China. Profiles of backscatter and extinction coefficients, lidar ratios, and backscatter-related Ångström exponents (wavelength pair 355/532 nm) were measured at Gwangju. Linear particle depolarization ratios were used to identify East Asian dust layers. We used backward trajectory modeling to identify the pathway and the vertical position of dust-laden air masses over China during long-range transport. Most cases of Asian dust events can be described by the emission of dust in desert areas and subsequent transport over highly polluted regions of China. The Asian dust plumes could be categorized into two classes according to the height above ground at which these plumes were transported: (case I) the dust layers passed over China at high altitude levels (> 3 km) until arrival over Gwangju, and (case II) the Asian dust layers were transported near the surface and within the lower troposphere (< 3 km) over industrialized areas before they arrived over Gwangju. We find that the optical characteristics of these mixed Asian dust layers over Gwangju differ depending on their vertical position above ground over China and the change of height above ground during transport. The mean linear particle depolarization ratio was 0.21 ± 0.06 (at 532 nm), the mean lidar ratios were 52 ± 7 sr at 355 nm and 53 ± 8 sr at 532 nm, and the mean Ångström exponent was 0.74 ± 0.31 for case I. In contrast, plumes transported at lower altitudes (case II) showed low depolarization ratios (0.13 ± 0.04 at 532 nm), and higher lidar ratio (63 ± 9 sr at 355 nm and 62 ± 8 sr at 532 nm) and Ångström exponents (0.98 ± 0.51). These numbers show that the optical characteristics of mixed Asian plumes are more similar to optical characteristics of urban pollution. We find a decrease of the linear depolarization ratio of the mixed dust/pollution plume depending on transport time if the pollution layer traveled over China at low heights, i.e., below approximately 3 km above ground. In contrast, we do not find such a trend if the dust plumes traveled at heights above 3 km over China. We need a longer time series of lidar measurements in order to determine in a quantitative way the change of optical properties of dust with transport time.Peer reviewedFinal Published versio

Synchronization and fault-masking in redundant real-time systems

A real time computer may fail because of massive component failures or not responding quickly enough to satisfy real time requirements. An increase in redundancy - a conventional means of improving reliability - can improve the former but can - in some cases - degrade the latter considerably due to the overhead associated with redundancy management, namely the time delay resulting from synchronization and voting/interactive consistency techniques. The implications of synchronization and voting/interactive consistency algorithms in N-modular clusters on reliability are considered. All these studies were carried out in the context of real time applications. As a demonstrative example, we have analyzed results from experiments conducted at the NASA Airlab on the Software Implemented Fault Tolerance (SIFT) computer. This analysis has indeed indicated that in most real time applications, it is better to employ hardware synchronization instead of software synchronization and not allow reconfiguration

Pairing without Superfluidity: The Ground State of an Imbalanced Fermi Mixture

Radio-frequency spectroscopy is used to study pairing in the normal and superfluid phases of a strongly interacting Fermi gas with imbalanced spin populations. At high spin imbalances the system does not become superfluid even at zero temperature. In this normal phase full pairing of the minority atoms is observed. This demonstrates that mismatched Fermi surfaces do not prevent pairing but can quench the superfluid state, thus realizing a system of fermion pairs that do not condense even at the lowest temperature

Critical phenomena in globally coupled excitable elements

Critical phenomena in globally coupled excitable elements are studied by focusing on a saddle-node bifurcation at the collective level. Critical exponents that characterize divergent fluctuations of interspike intervals near the bifurcation are calculated theoretically. The calculated values appear to be in good agreement with those determined by numerical experiments. The relevance of our results to jamming transitions is also mentioned.Comment: 4 pages, 3 figure