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

A supermassive binary black hole with triple disks

Hierarchical structure formation inevitably leads to the formation of supermassive binary black holes (BBHs) with a sub-parsec separation in galactic nuclei. However, to date there has been no unambiguous detection of such systems. In an effort to search for potential observational signatures of supermassive BBHs, we performed high-resolution smoothed particle hydrodynamics (SPH) simulations of two black holes in a binary of moderate eccentricity surrounded by a circumbinary disk. Building on our previous work, which has shown that gas can periodically transfer from the circumbinary disk to the black holes when the binary is on an eccentric orbit, the current set of simulations focuses on the formation of the individual accretion disks, their evolution and mutual interaction, and the predicted radiative signature. The variation in mass transfer with orbital phase from the circumbinary disk induces periodic variations in the light curve of the two accretion disks at ultraviolet wavelengths, but not in the optical or near-infrared. Searches for this signal offer a promising method to detect supermassive BBHs.Comment: Accepted for publication in the Astrophysical Journal, 16 pages, 11 figures. High Resolution Version is Available at http://www2.yukawa.kyoto-u.ac.jp/~kimitake/bbhs.htm

Development of High-Yielding and Early-Maturing Korean Hairy Vetch

There are a number of forage cultivars recommended by the government, but only a few winter-spring legumes are available for the farmers in Korea. Hairy vetch has superior winter hardiness and produces high dry matter (DM) yield compared with crimson clover, Persian clover, rose clover, common vetch and Chinese milk vetch in Korea. However, under a double cropping forage production system an early maturing vetch cultivar was more productive than a late maturing one (Shin et al., 2000). The objective of this research was to develop a high yielding and early flowering new hairy vetch cultivar derived from an accession in Korea

Estimating the 3D fold structure of the crust-mantel boundary

Deep-seated lithospheric folding can be revealed using a method that combines gravity inversion calculations and isostatic analyses.The determination of the crustal structure is essential in geophysics, as it gives insight into the geohistory, tectonic environment, geohazard mitigation, etc. Here we present the latest advance on three-dimensional modeling representing the Tibetan Mohorovi\u10di\u107 discontinuity (topography and ranges) and its deformation (fold), revealed by analyzing gravity data from GOCE mission