Search

Showing total 12 results
Start Over Search Limiters Peer Reviewed Topic interference Publication Year Range More than 50 years ago
12 results

5. Interference Between Communicating Parallel Processes.

Author

Gilbert, Philip, Chandler, W. J., and Randell, B.

Subjects
PARALLEL processing, ELECTRONIC data processing, COMPUTER programming, COMPUTER operating systems, SUPERCOMPUTERS, COMPUTER science
Abstract

Various kinds of interference between communicating parallel processes have been examined by Dijkstra, Knuth and others. Solutions have been given for the mutual exclusion problem and associated subproblems, in the form of parallel programs, and informal proofs of correctness have been given for these solutions. In this paper a system of parallel processes is regarded as a machine which proceeds from one state S (i.e. a collection of pertinent data values and process configurations) to a next state 5' in accordance with a transition rule S ⇒ S . A set of such rules yields sequences of states, which dictate the system's behavior. The mutual exclusion problem and the associated subproblems are formulated as questions of inclusion between sets of states, or of the existence of certain sequences. A mechanical proof procedure is shown, which will either verify (prove the correctness of) or discredit (prove the incorrectness of) an attempted solution, with respect to any of the interference properties. It is shown how to calculate transition rules from the "partial rules" by which the individual processes operate. The formation of partial rules and the calculation of transition rules are both applicable to hardware processes as well as to software processes, and symmetry between processes is not required. [ABSTRACT FROM AUTHOR]

Published
1972
Full Text
View/download PDF

6. Experiments on partially coherent multiple-beam interference.

Author

Fujii, Hitoshi and Asakura, Toshimitsu

Abstract

The intensity distribution in the interference pattern of a multiple-slit aperture illuminated with the partially coherent light is examined experimentally. The experimental results showing excellent agreement with the theoretical predictions indicate both a gradual loss in the contrast of interference fringes and a broadening of the principal maximum fringes with decreasing spatial coherence of the illumination. [ABSTRACT FROM AUTHOR]

Published
1974
Full Text
View/download PDF

7. Partially coherent multiple-beam interference.

Author

Fujii, Hitoshi and Asakura, Toshimitsu

Abstract

The general formula for multiple-beam interference due to regular slit arrays illuminated with partially coherent quasi-monochromatic light is derived. The correlation functions chosen for partially coherent light assume Gaussian, sinc and besinc forms of correlation. The intensity distribution in the interference patterns is presented and discussed as a function of the spatial coherence condition. It is shown that spatial coherence of the illumination largely affects the features of multiple-beam interference patterns. [ABSTRACT FROM AUTHOR]

Published
1974
Full Text
View/download PDF

9. Measurement techniques for assessing the influence of electromagnetic fields on implanted pacemakers.

Author

Brievingh, R., Hoekstra, A., deBakker, J., and Hemelaar, A.

Abstract

Copyright of Medical & Biological Engineering (0025696X) is the property of Springer Nature and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Published
1974
Full Text
View/download PDF