Індекс рубрикатора НБУВ: В126я73-1

Шифр НБУВ: ВА624356 Пошук видання у каталогах НБУВ 

Розглянуто основні поняття теорії множин і відношень, загальної алгебри, математичної логіки та теорії алгоритмів. Описано алгебри множин і відношень, алгебру булевих функцій і графічне представлення булевих функцій у вигляді упорядкованих бінарних діаграм розв'язків, а також найважливіші застосування цього представлення для задання відношень, графів, скінченних автоматів. Наведено інформацію про формальні логічні мови (логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку), основні методи перевірки виконуваності формул у цих мовах, метод резолюцій з уніфікацією. Висвітлено основні поняття теорії складності обчислень за Тьюрингом і основні класи складності обчислень, а також описано такі моделі обчислень, як RAM і PRAM (для оцінки послідовних і паралельних алгоритмів). Розглянуто методи аналізу мереж Петрі.

Рассмотрены основные понятия теории множеств и отношений, общей алгебры, математической логики и теории алгоритмов. Описаны алгебры множеств и отношений, алгебра булевых функций и графическое представление булевых функций в виде упорядоченных бинарных диаграмм решений, а таже наиболее важные применения этого представления для задания отношений, графов, конечных автоматов. Приведена информация о формальных логических языках (логика выражений, линейная темпоральная логика и логика предикатов первого порядка), основные методы проверки выполнимости форм в этих языках, метод резолюций с унификацией. Освещены основные понятия теории сложности вычислений по Тьюрингу и основные классы сложности высчислений, а также описаны такие модели вычислений, как RAM и PRAM (для оценки последовательных и параллельных алгоритмов). Рассмотрены методы анализа сетей Петри.

Розглянуто питання теорії множин та відношень, загальної алгебри, математичної логіки та теорії алгоритмів. Описано основні алгоритмічні системи, зокрема, рекурсивні функції, машини Поста, Тьюринга і алгоритми Маркова, які застосовуються для уточнення алгоритму, означення алгоритмічної розв'язуваності та встановлення алгоритмічної повноти мов програмування. Викладено методи теорії графів, формальні логічні мови: логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку. Висвітлено теорію складності обчислень за Тьюрингом, найважливіші модифікації машин, зокрема, односторонніх, недетермінованих та багатострічкових, а також RAM- і PRAM-моделі обчислень для оцінки послідовних та паралельних алгоритмів.

Рассмотрены вопросы теории множеств и отношений, общей алгебры, математической логики и теории алгоритмов. Описаны основные алгоритмические системы, в частности, рекурсивные функции, машины Поста, Тьюринга и алгоритмы Маркова, применяемые для уточнения алгоритма, обозначения алгоритмического решения и установления алгоритмической полноты языков программирования. Изложены методы теории графов, формальные логические языки: логика выражений, линейная темпоральная логика и логика предикатов первого порядка. Освещены теория сложности вычислений по Тьюрингу, важнейшие модификации машин, в частности, односторонних, недетерминированных и многоленточных, а также RAM- и PRAM-модели вычислений для оценки последовательных и параллельных алгоритмов.

Викладено стислі теоретичні відомості про множини та відношення, комбінаторику, загальну алгебру, алгоритмічні системи, графи, складність обчислень, числення висловлювань і предикатів, модальну логіку, формальну граматику, мережі Петрі, розкрито основні положення теорії автоматів. Розглянуто типові задачі дискретної математики, наведено методи та пояснення їх розв'язання.

Изложены краткие теоретические сведения о множествах и отношениях, комбинаторике, общей алгебре, алгоритмических системах, графах, сложности исчислений, исчислении высказываний и предикатов, модальной логике, формальной грамматике, сетях Петри, раскрыты основные положения теории автоматов. Рассмотрены типичные задачи дискретной математики, приведены методы и объяснения их решения.

Розглянуто основні кластери алгебр та їх властивості, а також деякі застосування в інформаційних технологіях цих алгебр. Розкрито поняття множини та відношення, на яких будуються поняття алгебричних систем і багатоосновної алгебри. Визначено найпростіші властивості даних понять. Подано основні поняття загальної алгебри, в термінах яких описуються специфічні властивості різних типів алгебр. Надано відомості про абсолютно вільні алгебри, поля, векторні простори, булеві алгебри й алгебри алгоритмів. Досліджено алгебри, які не є універсальними, але мають важливі застосування - повні гратки та напівкільця. Розглянуто застосування основних понять і методів загальної алгебри, які використовуються в сучасних інформаційних технологіях (базах даних і знань, системах комп'ютерної алгебри та геометрії, графічних системах). Викладено необхідні поняття з теорії графів, розглянуто операції на орієнтованих графах. Наведено спосіб зображення й обробки булевих функцій, який знайшов широке застосування на практиці. Надано відомості про реляційну алгебру й основні її властивості. Розглянуто застосування методів теорії груп для обгрунтування так званих геометричних перетворень лінійних векторних просторів. Описано проблему уніфікації для теорій першого порядку з рівністю, які називають екваціональними теоріями. Показано, що алгоритми уніфікації використовують не тільки в системах пошуку доведення теорем у теоріях першого порядку, а й у системах переписування термінів в екваціональних теоріях для побудови канонічних систем переписування.

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

Розкрито теоретичні засади комбінованого підходу до комп'ютерного опрацювання природномовної інформації, зокрема, лінгвістичного аналізу у контексті ефективного представлення та комп'ютерного опрацювання знань. З даною метою запропоновано ввести до складу лінгвістичного процесора онтологічний компонент моделі природної мови, що суттєво підвищує ефективність лінгвістичного аналізу. Зазначено, що інформаційна система орієнтована на обробку великих масивів текстової інформації, а у пам'яті системи зберігається множина онтологічних текстових документів.

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

Надано уявлення про множини, відношення, матриці та графи, алгоритми. Розглянуто методи створення алгоритмів і програм. Описано методи "поділяй і володарюй", динамічного програмування, жадібного вибору на основі теорії матроїдів, структурного проектування та програмування і змішаних обчислень. Увагу приділено оцінюванню складності алгоритмів і програм, як послідовних, так і паралельних. Розглянуто основні абстрактні типи даних і методи їх реалізації. Представлено формальні логічні мови (пропозиційні модальну та динамічну програмну логіку) для виконання верифікації програм та алгоритмів, елементи потокового аналізу програм з простими змінними.

Індекс рубрикатора НБУВ: К234.102.6 + К663.030.022 + В371.236

Рубрики:

Тонкі шари (плівки) золота та його сплавів

Металізація металів у вакуумі

Шифр НБУВ: Ж26988 Пошук видання у каталогах НБУВ 

Розглянуто методи, орієнтовані на верифікацію реактивних і розподілених систем за допомогою мереж Петрі. Наведено технологічний процес дослідження властивостей мережі Петрі з використанням TSS-методу.

Наведено основні методи аналізу лінійних одно- та неоднорідних діофантових обмежень, а також методи побудови базисів і предбазисів множини розв'язків таких обмежень. Розглянуто традиційні та нові методи розв'язання такого типу обмежень, зокрема, більшість описаних алгоритмів використовують TSS-метод розв'язання систем лінійних обмежень. Увагу приділено розв'язанню несумісних систем лінійних рівнянь. Подано інформацію про метод Потьє, мережі Петрі, метод скорочення рівнянь Гауса, задачі теорії кодування.

Наведено аналітичний огляд сучасних моделей і методів управління ІТ-інфраструктурою. Моделі і методи згруповані відповідно до визнаних ІТ-галуззю 15 груп функцій управління. Увагу приділено концептуальним основам управління такими складними ієрархічними розподіленими об'єктами управління, які сьогодні становлять глобальні, національні та корпоративні ІТ-інфраструктури. Найбільш широко представлені моделі розподілу ресурсів - навантаження та управління рівнем обслуговування користувачів.

Розглянуто основні поняття алгебри множин і відношень, комбінаторики, загальної алгебри, теорії чисел, а також найпростіші властивості основних алгоритмічних систем та їх застосування в прикладних областях. Описано класичні логіки висловлювань і предикатів першого порядку та некласичні модальну, динамічну (програмну) та лінійну темпоральну логіки, теорію графів і складність обчислень.

Проведено аналіз алгоритмів побудови базису множини розв'язків системи лінійних однорідних та неоднорідних діофантових рівнянь над кільцями та полями лишків за модулем складеного і простого числа. Розглянуто алгоритми, в основу яких покладено TSS-метод. Розроблено та реалізовано алгоритми у вигляді крос-платформного програмного застосування, які надають змогу ефективно розв'язувати описану задачу.

Запропоновано метод дослідження характеристик систем, шо використовують високопродуктивні обчислення, який грунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано 2 варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі Nvidia CUDA. Описано транзиційні системи, що представляють 2 типи інструкцій, процес виконання інструкції варпом та роботу планувальника варпу. Виконано формалізацію моделі виконання GPGPU-застосування. Одержано специфікацію вищевказаного підходу та строго доведено його коректність. Специфікацію зведено до двох варіантів мереж Петрі, які надають змогу виявляти помилки проектування в автоматичному або напівавтоматичному режимі.

Розглянуто підхід до побудови онтологоподібних систем для аналізу текстів на природній мові (на разі тільки українською мовою). Такі системи будуються на основі формальних визначень онтології О = (X, R, F, A(D, Re)) та синтаксичного і семантичного аналізу за допомогою елементів дескриптивної логіки. Під час побудови онтології вказується предметна область, до якої відносяться поняття з X і відношення із R. Фіксація області необхідна, оскільки сенс понять та відношень може бути різним в різних предметних областях. Специфікація області необхідна також для точнішого визначення інтерпретації F. Додаткові обмеження F описуються аксіоми А цієї області та обмеженнями Re, які мають форму додаткових визначень (уточнення, обмеження на можливі значення і т. д.) властивостей області інтерпретації D. Вхідний текст розглядається як область інтерпретації D(T). З дескриптивної логіки використовуються визначення синтаксису понять та відношень. Використовуючи цей синтаксис, визначається тип логічної мови, яка в даному випадку є логікою предикатів першого порядку і стає можливим проводити логічне виведення та одержувати висновки з інформації, одержаної з вхідного тексту. Вхідний текст Т розглядається як область інтерпретації F для понять X та відношень R, які з нього одержані. Результати синтактико-семантичного аналізу використовуються як вхідні дані для побудови онтології. В результаті такого аналізу відбувається розбиття об'єктів на групи, які відповідають частинам мови. Використовуючи цю інформацію та додаткові обмеження, будується онтологія даної предметної області. З точки зору користувача D(T) виглядає як об'єкт реляційної бази даних, який складається лише з унарних та бінарних відношень. Різниця полягає в тому, що в класичних БД відношення замкнуті в межах даної бази даних, в той час як D(T), як база даних, є відкритою для даної ПО, тому що нормалізоване представлення знань виконується в ситуації, коли немає припущення про повноту цих знань. Крім того, D(T) зв'язує семантичними відношеннями концепти C і відношення R із R, що немає аналогу в семантиці реляційних БД.

Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі дл яверифікації моделі застосування. Проведено формалізацію узагальненої моделі обчислень в архітектурі VIDIA CUDA та досліджено її на предмет наявності дедлоків, пасток, властивості обмеженості та відсутності мертвих місць і переходів.

Індекс рубрикатора НБУВ: В371.212 в641,022

Рубрики:

Напівпровідникові наноструктури

Шифр НБУВ: РА431403 Пошук видання у каталогах НБУВ 

Розглянуто основні поняття теорії скінченних автоматів над словами скінченної та нескінченної довжини. Наведено алгоритми синтезу, аналізу, еквівалентних перетворень скінченних автоматів, а також приклади розв'язання основних алгоритмічних проблем для мов, акцептованих цими автоматами. Описано зв'язки теорії скінченних автоматів з темпоральною лінійною логікою та їх застосування в комп'ютерній алгебрі, трансляції, ідентифікації, генетиці, верифікації тощо. Розглянуто основні поняття теорії скінченних часових автоматів та їх застосування до верифікації властивостей систем з часовими обмеженнями. Описано основні властивості скінченних автоматів над деревами та властивості магазинних автоматів.

Наведено огляд засобів дескриптивних логік для представлення знань з природномовних текстів (ПМТ), класифікацію дескриптивних логік за конструкторами концептів та ролей, а також основні концепції темпоральних дескриптивних логік. Розглянуто підхід до побудови систем аналізу ПМТ на основі задач визначення частин мови, пошуку граматичних залежностей і кореферентностей. Наведено приклади використання природномовних баз знань для розв'язання прикладних задач, зокрема для перевірки цілісності тексту, пошуку суперечностей.