Search academic texts

Information × Registration Number 0504U000647, Doctoral dissertation Status д.т.н. Date 01-12-2004 popup.evolution o Title Theoretical-set optimization methods of logic synthesis of combinational networks Author Rytsar Bohdan Yevhenovytch, popup.head Mandziy Bohdan Andrijovytch popup.opponent Кривий Сергій Лук'янович popup.opponent Іваськів Юрій Лукич popup.opponent Тимченко Олександр Володимирович Description На єдиному теоретико-множинному підході розроблено нові оптимізаційні методи логікового синтезу комбінаційних мереж - мінімізації, декомпозиції булових функцій та їх систем та кодування підфункцій для задач функційної декомпозиції, а також метод виявлення неістотних змінних, виявлення симетрії і розпізнання її типів у булових функціях. На методі розчеплення кон'юнктермів розроблено програму SPLIT. Узагальнено класифікацію функційних декомпозицій та уточнено класифікацію типів симетрії булових функцій. Registration Date 2004-12-01 popup.nrat_date 2020-04-04 Close