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

Technical note: Absorption aerosol optical depth components from AERONET observations of mixed dust plumes

© Author(s) 2019.Absorption aerosol optical depth (AAOD) as obtained from sun–sky photometer measurements provides a measure of the light-absorbing properties of the columnar aerosol loading. However, it is not an unambiguous aerosol-type-specific parameter, particularly if several types of absorbing aerosols, for instance black carbon (BC) and mineral dust, are present in a mixed aerosol plume. The contribution of mineral dust to total aerosol light absorption is particularly important at UV wavelengths. In this study we refine a lidar-based technique applied to the separation of dust and non-dust aerosol types for the use with Aerosol Robotic Network (AERONET) direct sun and inversion products. We extend the methodology to retrieve AAOD related to non-dust aerosol (AAODnd) and BC (AAODBC). We test the method at selected AERONET sites that are frequently affected by aerosol plumes that contain a mixture of Saharan or Asian mineral dust and biomass-burning smoke or anthropogenic pollution, respectively. We find that aerosol optical depth (AOD) related to mineral dust as obtained with our methodology is frequently smaller than coarse-mode AOD. This suggests that the latter is not an ideal proxy for estimating the contribution of mineral dust to mixed dust plumes. We present the results of the AAODBC retrieval for the selected AERONET sites and compare them to coincident values provided in the Copernicus Atmosphere Monitoring System aerosol reanalysis.We find that modelled and AERONET AAODBC are most consistent for Asian sites or at Saharan sites with strong local anthropogenic sources.Peer reviewe

A long run structural macroeconometric model of the UK

A new modelling strategy is introduced which provides a practical approach to incorporating long- run structural relationships, suggested by economic theory, in an otherwise unrestricted VAR model. The strategy is applied in the construction of a small quarterly macroeconometric model of the UK, estimated over the period 1965q1-1995q4 in eight core variables: domestic and foreign outputs, domestic and foreign prices (both measured relative to oil prices), the nominal effective exchange rate, nominal domestic and foreign interest rates and real money balances. The aim is to develop a core model with a transparent and theoretically coherent foundation. Tests of restrictions on the long-run relations of the model are presented and the dynamic properties of the model are discussed.Long-Run Structural VAR, A Core UK Model, Macroeconomic Modelling, Persistence Profiles

Forecast Uncertainties in Macroeconomics Modelling: An Application to the UK Economy

This paper argues that probability forecasts convey information on the uncertainties that surround marco-economic forecasts in a manner which is straightforward and which is preferable to other alternatives, including the use of confidence intervals. Probability forecasts relating to UK output growth and inflation, obtained using a small macro-econometric model, are presented. We discuss in detail the probability that inflation will fall within the Bank of England's target range and that recession will be avoided, both as separate single events and jointly. The probability forecasts are also used to provide insights on the interrelatedness of output growth and inflation outcomes at different horizons.Probability Forecasting, Long Run Structural VARs, Macroeconometric Modelling, Forecast Evaluation, Probability Forecasts of Inflation and Output Growth

Modeling and measurement of fault-tolerant multiprocessors

The workload effects on computer performance are addressed first for a highly reliable unibus multiprocessor used in real-time control. As an approach to studing these effects, a modified Stochastic Petri Net (SPN) is used to describe the synchronous operation of the multiprocessor system. From this model the vital components affecting performance can be determined. However, because of the complexity in solving the modified SPN, a simpler model, i.e., a closed priority queuing network, is constructed that represents the same critical aspects. The use of this model for a specific application requires the partitioning of the workload into job classes. It is shown that the steady state solution of the queuing model directly produces useful results. The use of this model in evaluating an existing system, the Fault Tolerant Multiprocessor (FTMP) at the NASA AIRLAB, is outlined with some experimental results. Also addressed is the technique of measuring fault latency, an important microscopic system parameter. Most related works have assumed no or a negligible fault latency and then performed approximate analyses. To eliminate this deficiency, a new methodology for indirectly measuring fault latency is presented

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

Gauge potential singularities and the gluon condensate at finite temperatures

The continuum limit of SU(2) lattice gauge theory is carefully investigated at zero and at finite temperatures. It is found that the continuum gauge field has singularities originating from center degrees of freedom being discovered in Landau gauge. Our numerical results show that the density of these singularities properly extrapolates to a non-vanishing continuum limit. The action density of the non-trivial Z_2 links is tentatively identified with the gluon condensate. We find for temperatures larger than the deconfinement temperature that the thermal fluctuations of the embedded Z_2 gauge theory result in an increase of the gluon condensate with increasing temperature.Comment: 3 pages, 2 figures, talk presented by K. Langfeld at the 19th International Symposium on Lattice Field Theory (LATTICE2001), Berlin, 19.-24.8.2001, to appear in the proceeding

Faddeev calculation of pentaquark Θ+\Theta^+ in the Nambu-Jona-Lasinio model-based diquark picture

A Bethe-Salpeter-Faddeev (BSF) calculation is performed for the pentaquark $\Theta^+$ in the diquark picture of Jaffe and Wilczek in which $\Theta^+$ is a diquark-diquark-${\bar s}$ three-body system. Nambu-Jona-Lasinio (NJL) model is used to calculate the lowest order diagrams in the two-body scatterings of ${\bar s}D$ and $D D$. With the use of coupling constants determined from the meson sector, we find that ${\bar s}D$ interaction is attractive in s-wave while $DD$ interaction is repulsive in p-wave. With only the lowest three-body channel considered, we do not find a bound $\frac 12^+$ pentaquark state. Instead, a bound pentaquark $\Theta^+$ with $\frac 12^-$ is obtained with a unphysically strong vector mesonic coupling constants.Comment: 22 pages, 11 figures, accepted version in Phys. Rev. C. Summary of main changes/corrections: 1. "which only holds at tree level" below the eq. (23) is added. 2. In the last paragraph of p.23 we added a remark that the coupling constant obtained from Lambda mass is different from the estimate as obtained from the meson spectru