scholarly journals Automatic verification of pipelined microprocessor control

Author(s):  
Jerry R. Burch ◽  
David L. Dill
Author(s):  
W. O. Saxton

Recent commercial microscopes with internal microprocessor control of all major functions have already demonstrated some of the benefits anticipated from such systems, such as continuous magnification, rotation-free diffraction and magnification, automatic recording of mutually registered focal series, and fewer control knobs. Complete automation of the focusing, stigmating and alignment of a high resolution microscope, allowing focal series to be recorded at preselected focus values as well, is still imminent rather than accomplished, however; some kind of image pick-up and analysis system, fed with the electron image via a TV camera, is clearly essential for this, but several alternative systems and algorithms are still being explored. This paper reviews the options critically in turn, and stresses the need to consider alignment and focusing at an early stage, and not merely as an optional extension to a basic proposal.


Author(s):  
Igor' Polyuschenkov

The materials on the development of asynchronous electric drive with scalar control are given. The technical solutions associated with the design of software and hardware parts of the microprocessor control system are described. When developed, tools of model-based programming technique are used.


1978 ◽  
Vol 1 (3) ◽  
pp. 75
Author(s):  
D. Haworth ◽  
P. Purssell ◽  
M.F. Hessey

1977 ◽  
Vol 9 (1-2) ◽  
pp. 26-32 ◽  
Author(s):  
R. E. Beard

In reference [1] Dr. G. C. Taylor has described a useful advance in the techniques available for verification of outstanding claims estimates when the data provided is the cohort development of numbers and amounts of claims. In this note it is assumed that the numbers relate to settled claims and that the amounts relate to claim payments, so there is an implicit assumption that the pattern of partial payments is constant. If the amounts of settled claims were to be used, there would be a one/one relationship between the numbers and amounts, but the effect of the exogeneous factor would be blurred because the settlements in a year other than the first include partial payments made some time previously, and, by hypothesis, based on different factors. If information relating to partial payments is available the data can be examined for any major fluctuation in the pattern and allowance made accordingly.In paragraph (2) of reference [1] a brief description is given of a standard routine calculation in which the average distribution function of claim payments in time is estimated from the triangle of payments by a chain ladder technique. This distribution function is then used to estimate the expected development of the incomplete cohorts, the implicit assumption being made that the function was stable in time. With a constant rate of inflation the results obtained by this technique were found to be satisfactory but with a rapid increase in the rate of inflation the distribution function changed so that projection led to underestimates of the future claims payments. Various methods of adjusting the projections to allow for the change in the rate of inflation have been investigated, but they all involve an important element of subjective judgment and so far no generally suitable basis for “automatic” verification by this particular technique has been discovered. See however reference [2].


2019 ◽  
Vol 23 (9) ◽  
pp. 1453-1456
Author(s):  
Guohua Zhang ◽  
Yi Fang ◽  
Yuanhua Liu

Sign in / Sign up

Export Citation Format

Share Document