Learn More
In this paper we present two methods for synthesis of High-Level Decision Diagrams (HLDD) for representing digital systems at higher behavior, functional or register-transfer levels. The first method is based on symbolic execution of procedural descriptions, which corresponds to functional representation of systems on the behavioral level. The second one is(More)
Based on the cost computations for automatic and manual processes of the film development the conditions for useful operations of automatic developing machines are derived. The analysis is given to the problem of an adequate supply of X-ray photolaboratories with necessary equipment and staff.