Л63 Лисовик, Л. П. Теория трансдьюсеров [Текст] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 2 , кн. 4 : Размеченные деревья. - 2006. - 352 с. - Бібліогр.: с. 341-351. - ISBN 966-651-393-5 (том 2). - ISBN 966-651-394-3 (книга 4) : 15.00 грн
Рубрики: Математична логіка Кібернетика Кл.слова (ненормовані): интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Г 56 Гнучкі комп'ютерно-інтегровані системи: планування, моделювання, верифікація, управління [] : комплекс підручників / Л. С. Ямпольский [и др.]. - Житомир : ЖДТУ, 2010. - 786 с. : рис. - Л-ра: с. 757-769. - Предм. покажч.: с.770. - ISBN 978-966-683-273-6 : 101.00 грн
Рубрики: Обчислювальна техніка--Інформаційні системи--Навчальні видання Обчислювальні системи--Навчальні видання Інтегровані системи--Навчальні видання Інтелектуальні інформаційні системи--Навчальні видання Кл.слова (ненормовані): місцеві видання -- местные издания -- комп'ютерні системи -- компьютерные системы -- експертні системи -- экспертные системы -- інтелектуалізовані роботи -- интеллектуализированные роботы -- розпізнавання образів -- распознавание образов -- гнучке виробництво -- гибкое производство -- інтелектуальні системи -- интеллектуальные системы -- штучний інтелект -- искусственный интеллект -- аналітичне моделювання -- аналитическое моделирование -- імітаційне моделювання -- иммитационное моделирование -- теорія автоматів -- теория автоматов -- сіткові моделі -- сетевые модели -- сітки Петрі -- сети Петри -- програмне управління -- программое управление -- верстати з ЧПУ -- станки с ЧПУ -- інтегроване виробництво -- интегрированное производство Анотація: Моделювання і управління сладними динамічними системами; основи створення інтелектуалізованих комп'ютерно-інтегрованих комплексів, формування інтелектуальних систем. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Ямпольский, Л. С.; Мельничук, П. П.; Остапченко, К. Б.; Лісовиченко, О. І. Примірників всього: 2 ФОНД (1), КР (1) Свободны: ФОНД (1), КР (1) |
Т 38 Технология системного моделирования [] / [Е. Ф. Аврамчук и др.] ; под общ. ред. С. В. Емельянова [и др.]. - М. : Машиностроение ; Берлин : Техник, 1988. - 485 с. : рис., табл. - Авт. указ. на обороте тит. стр. - Лит.: с. 503-520 . - Сокр.: с. 501-503. - ISBN 5-217-00150-X : 2.30 р.
Рубрики: Складні системи--Моделювання--Практичні посібники Кл.слова (ненормовані): алгоритмические модели -- алгоритмічні моделі -- агрегативная система -- агрегативна система -- сети Петри -- регенерирующие процессы -- регенеруючі процеси -- языки моделирования -- мови моделювання -- диалоговая система АЛИСА -- модели системной динамики -- моделі системної динаміки -- стратифицированные модели -- стратифіковані моделі -- статистическое исследование -- статистичне дослідження -- модельное время -- модельній час -- дискретное моделирование -- дискретне моделювання -- библиотека агрегатов -- бібліотека агрегатів -- внешнее программное обеспечение -- зовнішнє програмне забезпечення -- проблемно-ориентированные системы -- проблемно-оріентовані системі -- концепция моделей -- концепція моделей Анотація: Теория и практическое применение системного моделирования. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Аврамчук, Евгений Федорович; Вавилов, Александр Александрович; Емельянов, Станислав Васильевич; Калашников, В. В.; Емельянов, Станислав Васильевич \ред.\; Калашников, В. В; Франко, М.; Явора, А. Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
І-74 "Інформаційно-комп'ютерні технології 2014", міжнародна науково-технічна конференція (7 ; 2014 ; Житомир). Тези 7 Міжнародної науково-технічної конференції "Інформаційно-комп'ютерні технології 2014", 29-30 травня 2014 р. [] / М-во освіти і науки України, Житомир. держ. теххнолог. ун-т. - Житомир : ЖДТУ, 2014. - 144 с. - Л-ра в кінці ст. - ISBN 978-966-683-406-8 : 6.00 грн
Рубрики: Комп'ютерні технології--Інформаційні технології--Тези доповідей Кл.слова (ненормовані): місцеві видання -- местные издания -- нейронні мережі -- нейронные сети -- комунікаційні мережі -- коммуникационные сети -- автоматизована система аудиту -- автоматизированная система аудита -- смартфон -- прграмні інтерфейси -- прграммные интерфейсы -- мережі Петрі -- сети Петри -- поляризоване випромінювання -- поляризованное излучение -- автоматизоване проектування -- автоматизированное проектирование -- інтерактивна дошка -- интерактивная доска -- програмне забезпечення -- программное обеспечение -- гравіметрична система -- гравиметрическая система -- гравиметри -- гравиметры -- роботизовані механоскладальні технології -- промислові роботи -- промышленные роботы -- цифровий кардіометр -- цифровой кардиометр -- цифрові комутаційні системи -- цифровые комутацыонные системы Анотація: Аналіз та результати досліджень сучасних проблем комп'ютерно-інформаційних технологій, систем керування та автоматизації, радіотехніки і телекомунікацій та цифрової обробки сигналів. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міністерство освіти і науки України; Житомирський державний технологічний університет; \про них\ Примірників всього: 2 КР (1), ВВ (1) Свободны: КР (1), ВВ (1) |
К82 Кривий, Сергій Лук'янович. Дискретна математика. Вибрані питання [] : навч. посібник / С. Л. Кривий ; М-во освіти і науки України, Ін-т кіберн. ім. В. М. Глушкова НАН України, Хмельн. нац. ун-т. - К. : Києво-Могил. акад., 2007. - 570, [2] с. : рис., табл. - Бібліогр.: с. 550-564. - ISBN 978-966-518-432-4 : 35.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи Кл.слова (ненормовані): елементарна транзиційна система -- элементарная трансакционная система -- реактивна система -- реактивная система -- функціональна система -- функциональная система -- метод верифікації систем -- метод верификации систем -- логічне програмування -- логическое программирование -- теорія множин -- теория множеств -- теорія відношень -- теория отношений -- загальна алгебра -- общая алгебра -- математична логіка -- матемтическая логика -- теорія алгоритмів -- теория алгоритмов -- теорія графів -- теория графов -- теорія автоматів -- теория автоматов -- мережі Петрі -- сети Петри Анотація: Розглянуто основні поняття теорії множини та відношень, загальної алгебри, математичної логіки і теорії алгоритмів, представлені формальні логічні мови. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міністерство освіти і науки України; Інститут кібернетики імені В. М. Глушкова НАН України; Хмельницький національний університет Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Т36 Теслюк, Василь Миколайович. Методи, моделі та засоби автоматизації визначення ємнісних і резистивних параметрів елементів МЕМС [] : монографія / Василь Теслюк, Андрій Пукач, Роман Загарюк ; М-во освіти і науки України, Нац. ун-т "Львів. політехника". - Л. : Вид-во Львів. політехніки, 2015. - 179, [1] с. : рис., фот. - Л-ра: с. 162-177. - ISBN 978-617-607-719-0 : 74.00 грн
Рубрики: Електротехніка--Електричні кола--Електричні вимірювання--Наукові видання Кл.слова (ненормовані): величини електичного опору -- величины электрического сопротивления -- вимірювання прискорення -- измерение ускорения -- оброблення сигналів -- обработка сигналов -- перетворення сигналів -- преобразование сигналов -- електичний опір -- электрическое сопротивление -- мережі Петрі -- сети Петри -- робочий цикл функціональної моделі -- рабочий цикл функциональной модели -- величини керованого електричного опору -- величины управляемого электрического сопротивления -- величини електричного опору -- величины электрического сопротивления -- одинарний електричний міст -- одинарный электрический мост -- залишкова напруга -- остаточное напряжение -- алгоритм мікроконтролера -- алгоритм микроконтроллера -- алгоритм оптимізації -- алгоритм оптимизации Анотація: Методи, моделі та засоби визначення електричного опору резистивних параметрів електричних кіл, а також резистивні та ємнісні параметри МЕМС. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Пукач, Андрій Ігорович; Загарюк, Роман Вікторович; Міністерство освіти і науки України; Національний університет "Львівська політехника" Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |