Повний текст доступний у читальних залах НБУВ

  Повний текст доступний у читальних залах НБУВ

  Повний текст доступний у читальних залах НБУВ

  Повний текст доступний у читальних залах НБУВ

  Повний текст доступний у читальних залах НБУВ

Цель настоящей монографии состоит в построение семейств автоматов, заданных рекуррентными соотношениями на алгебраических структурах, определяемых над конечным ассоциативным кольцом, а также разработке методов анализа этих семейств автоматов, прежде всего, с позиции их возможного применения при решении задач защиты информации. Монография предназначена для специалистов в областях алгебраической теории автоматов, прикладной теории алгоритмов, дискретной математики и защиты информации, а также для студентов и аспирантов, специализирующихся в этих областях. Материал, изложенный в монографии также может быть использован преподавателями ВУЗов при разработке соответствующих спецкурсов.

Монографія присв’ячена розробці комбінаторно-алгебраїчних основ аналізу дискретних систем. Отримано розв’язки проблем пошуку безумовних та адаптивних розв’язків на частково впорядкованих структурах. З спільних позицій досліджено пошук усіх множин представників для родини множин, які не є надлишковими, ідентифікацію внутрішніх станів скінченого автомата, побудову простих імпликант та ДНФ, які складаються з них, аналіз керуємості/співстережності булевих функцій. Досліджено представ- лення автоматів групами. Отримано розв’язок проблеми ідентифікації булевої вектор-функції методами теорії лінейних просторів над скінченими полями. Створено основи аналізу систем, які є підвладними до дестабілізуючого впливу зовнішнього середовища. Для спеціалістів в галузях дискретної математики та computer science, студентів та аспірантів, які спеціалізуються у ціх галузях, а також для спеціалістів, які займаються аналізом дискретних систем як у теоретичному, так і прикладному аспекті.

Монографія присвячена дескриптивному, алгоритмічному та метричному аналізу многовидів над скінченними кільцями з точки зору їх можливих застосувань у процесі дослідження автоматно-алгебраїчних моделей дискретних перетворювачів. Вирішено низку задач аналізу алгебраїчних кривих, розроблено системи розв'язку систем рівнянь з параметрами над кільцями. Встановлено, яким чином задачі аналізу автоматів над кільцями характеризуються у термінах многовидів. Для спеціалістів у галузях дискретної математики, теорії графів, та computer science, студентів та аспірантів, що спеціалізуються у цих галузях.

В монографии предложены и обоснованы теория и практика построения баз знаний (БЗ) исследователей и проектировщиков сложных объектов (проектируемого корабля, самолета, города, организации и т.д.). Фактически, БЗ представляет собой онтологию соответствующих проблемной и предметной областей и является центральным звеном интеллектуальной компьютерной технологии. Предложен и исследован новый формальный аппарат, названный модельно-параметрическим (М,Р-) пространством, для построения и использования соответствующей мультимодельной, гетерогенной, многомерной, сложно структурированной, семантически «насыщенной» вычислительной среды (интегрированной информационной модели) сложной системы знаний. Определены меры совместимости и согласованности моделей знаний в М,Р-пространстве, рассмотрены свойства этих мер. Разработаны принципы построения алгебры и логики текстов и контекстов моделей. Анализируется эффективность его использования в процессах «отчуждения знаний» и в моделировании НЕ-факторов в компьютерных технологиях. Для преподавателей и студентов, инженеров-программистов, конструкторов и проектировщиков, научных работников и аспирантов, активно занимающихся научной и проектной работой в области создания интеллектуальных технологий исследования сложных систем.