Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=формалізація<.>

Общее количество найденных документов : 46
Показаны документы с 1 по 20

1-20 21-40 41-46

    Богданович, В.
    Формалізація стратегічного планування у сфері державного управління [Текстььь] / В. Богданович, А. Семенченко // Економіка України : Політико-економічний журнал Мін-ства економіки України, Мін-ства фінансів України та Нац. Академії Наук України. - К. : Преса України, 2007. - N 2. - С. 13-26
Рубрики: Управління економікою: теорія і практика

фывфывфыв:
Державне управління

Держатели документа:
ЖОУНБ

Доп.точки доступа:
Семенченко, А.

Имеются экземпляры в отделах: всего 2 : ФП (1), ВВ (1)
Свободны: ФП (1), ВВ (1)

Найти похожие

510.2
Т76

Трохимчук, Петро Павлович.
Математичні основи знань. Поліметричний підхід [] : монографія / Петро Трохимчук ; М-во освіти і науки України, Східноєвроп. нац. ун-т ім. Л. Українки. - Вид. 2-ге, випр. та допов. - Луцьк : Вежа-Друк, 2014. - 621, [3] с. : рис., табл. - Л-ра: с. 532-573. - Дод.: с. 574-600. - Предм.-ім. покажч.: с. 601-617. - ISBN 978-966-2750-01-7 : 50.00 грн

УДК

510.2

535

ББК 22.12 + 22.34
Рубрики: Математика--Наукові видання
Оптика--Наукові видання

фывфывфыв:
оптимальна формалізація знань -- оптимальная формализация знаний -- поліметричний аналіз -- полиметрический анализ -- поліметричний метод -- полиметрический метод -- застосування поліметричного методу -- применение полиметрического метода -- релаксаційна оптика -- релаксационная оптика
Аннотация: У монографії аналізується проблема оптимальної формалізації знань, наведено основи поліметричного методу, проаналізовано основи релаксаційної оптики.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Міністерство освіти і науки України; Східноєвропейський національний університет імені Лесі Українки
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

Лєонов, С. В.
Формалізація функціональних обмежень діяльності інститутів спільного інвестування на основі порівняльного аналізу фінансових ринків країн групи FM CEEC [] / С. В. Лєонов, Т. А. Васильєва, Д. Л. Циганюк // Актуал. пробл. екон. : наук. економ. журнал. - 2012. - N 8. - С. 75-85. - Л-ра в кінці ст.
Рубрики: Інвестиції--Україна
фывфывфыв:
інвестиційні фонди

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Васильєва, Т. А.; Циганюк, Д. Л.

Имеются экземпляры в отделах: всего 2 : ПЧЗ (1), ВВ (1)
Свободны: ПЧЗ (1), ВВ (1)

Найти похожие

621.3.049.77
К-56

Коваль, Владимир Александрович.
Модели и методы обеспечения функциональной и технологической воспроизводимости интегральных микросхем [] / В. А. Коваль. - Л. : Вища шк., 1985. - 200 с. : рис., табл. - Лит.: с. 192-197. - 2.20 р.

УДК

621.3.049.77

ББК 32.844.1
Рубрики: Інтегральні мікросхеми--Моделювання--Наукові видання

фывфывфыв:
конструктивные решения -- конструктивні рішення -- технологические процессы -- технологічні процеси -- технологическая воспроизводимость -- технологічна відтворюваність -- технологическая подготовка производства -- технологічна підготовка виробництва -- конструктивно-технологические рашения -- конструктивно-технологічні рішення -- идентификация параметров -- ідентифікація параметрів -- оптимальные конструкции -- оптимальні конструкції -- макромодели конструкций -- макромоделі конструкцій -- теплоэлектрическая совместимость параметров -- теплоелектрична сумістність параметрів -- формализация задачи назначения допусков -- формалізація задачі призначення допусків -- формализация методов принятия решений -- формалізація методів прйняття рішень
Аннотация: Методы моделирования, анализа и принятия конструктивно-технологических решений на ЭВМ, обеспечивающие функционально-технологическую воспроизводимость ИМС.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

621.7
П84

Процеси механічної обробки в машинобудуванні [Текстььь] : зб. наук. праць / М-во освіти і науки України, Житомир. держ. технол. ун-т ; [відп. ред. Г. М. Виговський]. - Житомир : ЖДТУ, 2005 - . - ISSN 1817-2997.
Вип. 14 / [редкол.: Мельничук П. П. (голов. ред.) та ін.]. - 2013. - 203, [1] с. : рис., табл. - Л-ра в кінці ст. - 29.00 грн

УДК

621.7

ББК 34.63
Рубрики: Машинобудування--Механічна обробка--Наукові видання

фывфывфыв:
місцеві видання -- местные издания -- металічні сплави -- металлические сплавы -- інтегровані САПР -- интегрированные САПР -- інтерактивна формалізація -- интерактивная формализация -- зубошліфування -- зубошлифование -- зубчасті колеса -- зубчатые колеса -- абразивна обробка -- абразивная обработка -- інструментальні матеріали -- инструментальные материалы -- точіння загартованої сталі -- точение закаленной стали -- вуглеродні сплави -- углеродистые сплавы -- зносостійкий чавун -- износостойкий чугун -- свердління -- сверление -- метрологічне забезпечення -- метрологическое обеспечение -- оптичне виробництво -- оптическое производство -- кіборит -- киборит
Аннотация: Статті провідних науковців України (в т.ч. Житомирського державного технологічного університету) та зарубіжжя з питань стану, перспектив та концепцій розвитку процесів механічної обробки.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Виговський, Г. М. \ред.\; Мельничук, П. П. \ред.\; Лоєв, В. Ю. \ред.\; Верезуб, М. В. \ред.\; Виноградов, О. О. \ред.\; Наукове життя краю 11; Міністерство освіти і науки України; Житомирський державний технологічний університет
Экземпляры всего: 1
КР (1)
Свободны: КР (1)
Найти похожие

007(035)
И 85

Искусственный интеллект [Текстььь] : справочник : в 3 т. - М. : Радио и связь, 1990. - ISBN 5-256-00756-4.
Кн. 2 : Модели и методы / под ред. Д. А. Поспелова. - 1990. - 304 с. : рис., табл. - Лит.: с. 257-303. - ISBN 5-256-00368-2 (кн. 2) : 1.80 р.

УДК

007(035)

ББК 32.813я2
Рубрики: Системи штучного інтелекту--Моделі--Довідкові видання

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

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

Кузьмін, О. Є.
Система контролю діяльності промислового підприємства: формування та формалізація [] / О. Є. Кузьмін, М. В. Кізло // Актуал. пробл. екон. : наук. економ. журнал. - 2012. - N 4. - С. 184-194. - Л-ра в кінці ст.
Рубрики: Підприємства--Управління--Україна

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Кізло, М. В.

Имеются экземпляры в отделах: всего 2 : ПЧЗ (1), ВВ (1)
Свободны: ПЧЗ (1), ВВ (1)

Найти похожие

Сухіна, О. М.
Методологічний підхід до визначення розміру екологічної ренти [] / О. М. Сухіна // Регіон. екон. - 2018. - N 1. - С. 85-93. - Бібліогр. в кінці ст. . - ISSN 1562-0905
Рубрики: Природокористування--Податки--Україна
фывфывфыв:
екологічна рента -- формалізація оцінки -- інноваційна методологія оцінки -- екологічний рентний платіж

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ПЧЗ (1)
Свободны: ПЧЗ (1)

Найти похожие

007
О-79

Осуга, Сэцуо.
Обработка знаний [] / С. Осуга ; пер. с англ. В. И. Этовой. - М. : Мир, 1989. - 293 с. : рис., табл. - ISBN 4-274-07321-1 : 1.10 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Наукові видання
фывфывфыв:
системи обработки информации -- системи обробки інформації -- полезность знаний -- корисність знань -- инженерия знаний -- інженерія знань -- логика предикатов -- логіка предикатів -- теория множеств -- теорія множин -- интерпретация аксиом -- інтерпритація аксіом -- формализация проблемы -- формалізація проблеми -- описание проблемы -- опис проблем -- описание моделей -- опис моделей -- декларативные языки -- декларативні мови -- универсальные модели -- універсальні моделі
Аннотация: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Этова, В. И. \пер.\
Экземпляры всего: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Найти похожие

10.

621.81.04
Б72

Боброва, Инна Васильевна.
Основы автоматизированного проектирования технологических процессов электрофизических и электрохимических методов обработки [] : учеб. пособие / И. В. Боброва, А. С. Столбунов ; Центр. правление Всесоюз. науч.-техн. о-ва машиностроителей, Ун-т техн. прогресса в машиностроении. - Москва : Машиностроение, 1990. - 40 с. : рис., табл. - Лит.: с. 38. - ISBN 5-217-00786-9 : 2.00 крб

УДК

621.81.04

ББК 34.55
Рубрики: Деталі машин--Електрообробка--Автоматизоване проектування--Навчальні видання для підвищення кваліфікації

фывфывфыв:
формализация технологических знаний -- формалізація технологічних знань -- математическое моделирование проектирования технологий -- математичне моделювання проектування технологій -- автоматизированное проектирование -- автоматизоване проектування -- электроэрозионная обработка -- електроерозійна обробка
Аннотация: Изложены основы построения системы автоматизированного проектирования технологии электрофизических и электрохимических методов обработки как интегрированной системы.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Столбунов, Анатолий Семенович; Центральное правление Всесоюзного научно-технического общества машиностроителейУниверситет технического прогресса в машиностроении
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

11.

004.652
М45

Мейер, Давид.
Теория реляционных баз данных [] = The Theory of Relational Databases : монография / Д. Мейер ; пер. c англ.: М. К. Валиева, С. М. Ефимовой, И. С. Захаревича ; под ред. М. Ш. Цаленко. - Москва : Мир, 1987. - 608 с. : рис., табл. - Лит.: с. 579-597. - Предм. указ.: с. 598-603. - 2.80 р.

УДК

004.652

ББК 32.973
Рубрики: Реляційні бази даних--Теорія--Наукові видання

фывфывфыв:
реляционные операторы -- реляційні оператори -- формализация отношений -- формалізація відносин -- функциональные зависимости -- функціональні залежності -- многозначные зависимости -- багатозначні залежності -- зависимости соединения -- залежності з'єднання -- теория представлений -- теорія зображень -- системы запросов -- системи запитів -- модификация запросов -- модифікація запитів -- неопределенные значения -- невизначені значення -- неоднородная информация -- неоднорідна інформація -- семантика баз данных -- семантика баз даних -- ациклические схемы баз данных -- ациклічні схеми баз даних -- реляционные языки запросов -- реляційні мови запитів -- границы реляционной алгебры -- кордони реляційної алгебри
Аннотация: Теоретические результаты по математическому моделированию баз данных: исследования, базы данных с частичной информацией, их семантика, зависимость данных.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Валиев, М. К. \пер.\; Ефимова, С. М. \пер.\; Захаревич, И. С. \пер.\; Цаленко, М. Ш. \ред.\
Экземпляры всего: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Найти похожие

12.

    Хорунжак, Надія.
    Формалізація моделі мотивації працівників і оцінки її ефективності [] / Н. Хорунжак // Вісник Тернопільського національного економічного університету : наук. журнал. - 2018. - N 1. - С. 85-97. - Бібліогр. в кінці ст. . - ISSN 1993-0240
Рубрики: Підприємства--Управління
   Персонал--Заробітна плата
фывфывфыв:
мотивація -- оплата праці -- мотиваційна модель -- формалізація -- програмний модуль

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ПЧЗ (1)
Свободны: ПЧЗ (1)

Найти похожие

13.

    Обушина, Н. І.
    Передумови становлення та розвитку інституту публічного аудиту в Україні: об'єктивна необхідність та формалізація [] / Н. І. Обушина // Вісник Національної академії державного управління при Президентові України. - 2017. - N 3. - С. 52-59. - Бібліогр. в кінці ст.
Рубрики: Аудит--Розвиток--Україна
   Державне управління--Україна
   Фінансовий контроль--Україна
фывфывфыв:
публічне управління -- демократичне врядування

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ПЧЗ (1)
Свободны: ПЧЗ (1)

Найти похожие

14.

Малік, Микола Йосипович.
Інституційна формалізація розвитку сімейних фермерських господарств в Україні [] / М. Й. Малік, О. Г. Шпикуляк, В. А. Мамчур // Економіка АПК. - 2018. - N 10. - С. 72-85 : рис. - Бібліогр. в кінці ст.
Рубрики: Фермерське господарство--Україна
фывфывфыв:
інституціоналізація -- особисті селянські господарства

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Шпикуляк, Олександр Григорович; Мамчур, Володимир Анатолійович

Имеются экземпляры в отделах: всего 1 : ВВ (1)
Свободны: ВВ (1)

Найти похожие

15.

32.973.235
Г85

Грицик, Володимир Володимирович.
Моделювання та синтез складних зображень симетричної структури [] / В. В. Грицик, К. М. Березька, О. М. Березький ; під ред. В. В. Грицика ; Держ. ком. зв'язку та інформатизації України, Нац. акад. наук України, Держ. н.-д. ін-т інформ. інфраструктури. - Л. : УАД - ДНДІІІ, 2005. - 140 с. : рис., табл., фот. кол. - Дод.: с. 103-138. - ISBN 966-322-028-7 : 25.00 грн

ББК 32.973.235
Рубрики: Комп'ютерна графіка--Оптичні зображення--Наукові видання
Комп'ютерна графіка--Моделювання--Симетрія--Наукові видання

фывфывфыв:
аналіз предметної області -- анализ предметной области -- українська народна вишивка -- украинская народная вышивка -- архівування складних зображень -- архивирование сложных изображений -- мова опису елементарного рисунка -- язык описания элементарного рисунка -- формалізація рапортів груп перетворень -- формализация рапортов групп преобразований -- моделювання зображень-орнаментів -- моделирование изображений-узоров -- розробка редактора зображень-орнаментів -- разработка редактора изображений-узоров -- програмно-апаратний комплекс -- программно-аппаратный комплекс -- моделювання елементарного рисунка -- моделирование элементарного рисунка -- ефективність архівування зображень-орнаментів -- эффективность архивирования изображений-узоров
Аннотация: Розроблено метод опису та моделювання складних зображень, який базується на запропонованій мові опису структурних частин зображень-орнаментів та розроблених алгоритмів синтезу та моделювання.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Березька, Катерина Миколаївна; Березький, Олег Миколайович; Грицик, Володимир Володимирович \ред.\; Державний комітет зв'язку та інформатизації України; Національна академія наук України; Державний науково-дослідний інститут інформаційної інфраструктури
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

16.

004.415(075.8)
Я22

Яворський, Назарій Борисович.
Комп'ютерні методи в інженерії мікроелектромеханічних систем [] : навч. посібник / Н. Б. Яворський, В. М. Теслюк, Є. І. Литвинова ; М-во освіти і науки України, Нац. ун-т "Львів. політехника". - Львів : Вид-во Львів. політехніки, 2016. - 302, [2] с. : рис., табл., фот. - Л-ра в кінці розд. - ISBN 978-617-607-892-0 : 165.00 грн

УДК

004.415(075.8)

ББК 32.973я73
Рубрики: Електромеханічні системи--Мікроелектроніка--Проектування--Моделювання--Навчальні видання
Математична фізика--Комп'ютеризація--Інженерія--Навчальні видання

фывфывфыв:
ієрархічне проектування -- формалізація задач -- метод скінченних елементів -- методи Бубнова-Гальоркіна -- фізичні аналогії скінченних елементів -- декомпозиція обчислень -- інтерполяція вищих порядків -- симплекс-елементи -- лінійна інтерполяція -- криволінійні елементи -- методи знаходження псевдообернених матриць -- методи генерації тестів -- діагнозопридатне проектування -- багаторівневе діагностування цифрових систем -- дедуктивний аналіз дефектів -- моделі примітивів стимулятора -- моделі діагностування несправностей
Аннотация: Комп'ютерні методи в моделюванні та проектуванні мікроелектромеханічних систем, компонентній рівень проектування, що передбачає аналіз фізичних процесів у МЕМС.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Теслюк, Василь Миколайович; Литвинова, Євгенія Іванівна; Міністерство освіти і науки України; Національний університет "Львівська політехника"
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

17.

Кравченко, М. О.
Формалізація концепції економічної стійкості підприємства з позицій системно-структурної економічної теорії [] / М. О. Кравченко // Економіка та держава. - 2015. - N 12. - С. 31-34. - Бібліогр. в кінці ст.
Рубрики: Підприємства--Стійкість--Економічний аналіз

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ФП (1)
Свободны: ФП (1)

Найти похожие

18.

Бужин, О. А.
Управління птахівничими господарствами: формалізація собівартості яєць репродуктивного стада з урахуванням амортизації птиці [] / О. А. Бужин // Формування ринкових відносин в Україні. - 2011. - N 9. - С. 131-134. - Л-ра в кінці ст.
Рубрики: Птахівничі господарства--Україна
фывфывфыв:
собівартісить яєць -- інкубаційні яйця -- репродуктивне стадо -- амортизація птиці

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ПЧЗ (1)
Свободны: ПЧЗ (1)

Найти похожие

19.

    Мартиненко, Валентина.
    Специфіка управління власними доходами місцевих бюджетів в умовах фінансової децентралізації [] / В. Мартиненко // Вісник Тернопільського національного економічного університету : наук. журнал. - 2019. - N 3. - С. 51-61. - Бібліогр. в кінці ст. . - ISSN 1993-0240
Рубрики: Фінанси--Децентралізація--Україна
   Місцевий бюджет--Доходи--Управління--Україна
фывфывфыв:
органи місцевої влади -- територіально-адміністративна одиниця -- фіскальна політика -- формалізація

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ПЧЗ (1)
Свободны: ПЧЗ (1)

Найти похожие

20.

Кручок, Н.
Стандартизація вимог до бізнес-плану та формалізація його оцінки в процесі визначення кредитоспроможності потенційного позичальника [] / Н. Кручок // Вісник Національного банку України. - 2010. - N 1. - С. 14-17. - Л-ра в кінці ст.
Рубрики: Банки--Україна

Держатели документа:
ЖОУНБ ім. О. Ольжича

Имеются экземпляры в отделах: всего 1 : ФП (1)
Свободны: ФП (1)

Найти похожие

1-20 21-40 41-46

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)