Panasko E. Computer systems technical components improvement on the alternative forms representation of logical functions

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0412U000717

Applicant for

Specialization

  • 05.13.05 - Комп'ютерні системи та компоненти

15-03-2012

Specialized Academic Board

К 73.052.01

Cherkasy State Technological University

Essay

The object of researches are processes of digital device synthesis. The dissertation research purpose consists in the decision of computer systems technical components perfection on the basis of the alternative boolean function forms. There were used the theory of sets, the boolean functions and combinatorics analysis, the mathematical methods of optimization, in particular, linear programming and theory of algorithms, the basis of discrete mathematics and theory of digital automata. 1) first offered the alternative - ortogonal form of boolean function presentation, the difference of which is presentation of boolean functions as disjunction of konjuction the informing and ortogonal base functions by the decouplig of entrance arguments on informing and base subsets; 2) first developed the method of minimization for new ortogonal presentation form on the basis of minimization of informing functions by a search in their aggregate of identical fragments; 3) first offered the mathematical model of quantitative losses estimation from the boolean function's form unoptimality. Influence of the digit-by-digit inverting of boolean arguments is researched in algebraic and Rid-Myuller forms; 4) first developed two methods of minimization in the algebraic presentation form by the directed modification of coefficients of objective function and the special limitations; 5) the methods of technical components synthesis are improved by introduction of alternative boolean function forms and using minimization methods for them in the blocks of discrete devices; 6) got further development the research method for complete structures of large dimension boolean functions by determination of separate element parameters of representative samples. The practical value of work is confirmed the acts of research results introduction on enterprises and organizations of Departments of education and science, young people and sport of Ukraine and industrial policy of Ukraine.

Files

Similar theses