Пошуковий запит: (<.>K=верифікація<.>) |
Загальна кількість знайдених документів : 23
Показані документи с 1 за 23 |
1. 
|
Летичевский, А. Ад.
Инсерционное моделирование [Текст] / А. Ад. Летичевский // Управляющие системы и машины. - 2012. - № 6. - С. 3-14. - Библиогр. в конце ст
. - ISSN 0130-5395
Рубрики: Кібернетика
Кл.слова (ненормовані):
верифікація -- багатоагентні системи -- агенти і середовище -- локальні властивості -- предикатний трансформер -- інсерційні машини -- когнітивні архітектури
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
2.
|
Андрійчук, В. Г.
Верифікація наданого Європейським Союзом автономного преференційного торгового режиму та можливості його використання виробничо-експортним потенціалом України [Текст] / В. Г. Андрійчук // Зовнішня торгівля: економіка, фінанси, право. - 2015. - № 3. - С. 32-38. - Бібліогр.: с. 36
Рубрики: Міжнародна економіка
Кл.слова (ненормовані):
зовнішня торгівля -- міжнародна торгівля -- торговельні преференції -- безмитні тарифні квоти
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
3.
|
Летичевский (мл.), А. А.
Парадигмы модельного и символьного тестирования программных систем [Текст] / А. А. Летичевский (мл.) // Кибернетика и системный анализ. - 2015. - № 5. - С. 31-44 : рис., табл. - Библиогр. в конце ст.
Рубрики: Кібернетика--Програмне забезпечення
Кл.слова (ненормовані):
символьне моделювання -- базові протоколи -- верифікація
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
4.
|
Чистоклетов, Л.
Стадії процесу юридичного прогнозування [Текст] / Л. Чистоклетов // Право України. - 2016. - № 1. - С. 130-135. - Бібліогр. в кінці ст.
Рубрики: Теорія держави і права
Кл.слова (ненормовані):
теорія держави і права -- юридичне прогнозування -- верифікація -- математична модель -- вніб 2
Є примірники у відділах:
всього 1 : ВДГН (1)
Вільні: ВДГН (1)
Знайти схожі
|
5.
|
Петряєва, З. Ф.
Верифікація градації рівнів фінансово-економічної безпеки підприємств [Текст] / З. Ф. Петряєва, Г. А. Іващенко, О. О. Петряєв // Актуальні проблеми економіки. - 2016. - № 5. - С. 402-411 : рис., табл. - Бібліогр.: 11 назв
Рубрики: Економіка машинобудівного підприємства--Фінансово-економічна безпека підприємства--Оцінка рівня безпеки
Кл.слова (ненормовані):
кластерний аналіз, кластеризація
Анотація: У статті виконано градацію рівнів фінансово-економічної безпеки машинобудівних підприємств Харківського регіону за допомогою процедури кластеризації за даними 5 років. Досліджено «міграцію» підприємств за кластерами. Здійснено верифікацію кластеризації рівнів фінансово-економічної безпеки підприємств та прогнозування потрапляння підприємства до певного кластера за допомогою побудови багатошарового нейронного персептрона.
Дод.точки доступу:
Іващенко, Г. А. ; Петряєв, О. О.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
6.
|
Глотов, Микола.
Верифікація внутрішньо переміщених осіб як підстава до обмеження вибору банку [Текст] : юрид. практикум / М. Глотов // Юридичний вiсник України. - 2016. - 16-22 груд. (№ 50). - С. 14
Рубрики: Внутрішньо переміщені особи--Державні виплати--Україна
Є примірники у відділах:
всього 1 : ВДГН (1)
Вільні: ВДГН (1)
Знайти схожі
|
7.
|
Кравець, О.
Верифікація розрахунків доз людини від інкорпорованого Сs [Текст] / О. Кравець // Бюлетень екологічного стану зони відчуження та зони безумовного (обв'язкового) відселення. - 2009. - N 2. - С. 44-51
Кл.слова (ненормовані):
екологічна безпека -- ВДПСГ
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
8.
|
Колосюк, Галина.
Новий досвід у методиці перевірки соціальних виплат [Текст] / Г. Колосюк // Фінансовий контроль. - 2017. - № 4. - С. 40-43 : ілюстр.
Рубрики: Соціальні виплати--Фінансовий контроль
Кл.слова (ненормовані):
зарубіжний досвід -- верифікація -- контрольні заходи -- факти порушень -- соціальна допомога
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
9.
|
Щодо виплати пенсій переселанцям [Текст] // Пенсійний кур'єр. - 2017. - 26 трав. (№ 21). - С. 3
Рубрики: Переселенці--Вимушені
Пенсійне забезпечення--Пенсії
Верифікація--Внутрішньо переміщені особи--Україна
Є примірники у відділах:
всього 1 : ВДГН (1)
Вільні: ВДГН (1)
Знайти схожі
|
10.
|
Зварич, Роман.
Конкретизація та верифікація розуміння альтерглобалізації [Текст] / Р. Зварич // Журнал європейської економіки. - 2017. - Т. 16 (№1). - С. 3-16. - Бібліогр. наприкінці ст.
Рубрики: Альтерглобалізм--Антиглобалізаційні рухи--Економічна теорія
Анотація: Зазначено, що дослідження імперативу розвитку альтерглобальної моделі присвячене аналізу економічної різноманітності глобальних дійових осіб та дослідженню процесу переосмислення соціальних змін і соціальних рухів на користь альтернативної моделі глобального суспільства.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
11.
|
Ващук, О.
Питання верифікації та валідації у кримінальному провадженні: методи пізнання невербальної інформації [Текст] / О. Ващук // Право України. - 2017. - № 6. - С. 159-163. - Бібліогр. в кінці ст.
Рубрики: Криміналістика
Кл.слова (ненормовані):
верифікація -- валідація -- кримінальне провадження -- досудове розслідування -- судове провадження -- невербальна інформація -- криміналістика -- вніб 2
Анотація: Розкрито сутність і місце верифікації та валідації у кримінальному провадженні як криміналістичних методів. Зроблено висновок, що верифікація в судовому провадженні забезпечує підтверження того, що хід та результати судового провадження відповідають дійсним обставинам події, що трапилася, а валідація - перевірку дотримання процесуальних норм, криміналістичних правил і рекомендацій у судовому провадженні.
Є примірники у відділах:
всього 1 : ВДГН (1)
Вільні: ВДГН (1)
Знайти схожі
|
12.
|
Корнієнко, Олександр.
Метод відображення мовних сигналів у задачах розпізнавання мовця [Текст] / О. Корнієнко // Технічні науки та технології. - 2017. - № 3. - С. 129-137 : рис. - Бібліогр.: с. 134-135
. - ISSN 2411-5363 Рубрики: Інформація--Мовні сигнали
Кл.слова (ненормовані):
нейронна мережа -- моделі голосових трактів -- верифікація
Анотація: У статті запропоновано новий підхід до відображення мовних сигналів, як векторів ознак розподілених у часі, з використанням рекурентної нейронної мережі.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
13.
|
Выбор системной характеристики турбокомпрессорного агрегата на основе анализа его эффективности по результатам натурных испытаний [Текст]. Ч. IV. Анализ системной характеристики турбокомпрессорного агрегата типа ГПА-Ц-6,3А и возможность оптимизации режимов его рпботы на стадии проектирования / В. П. Парафейник, И. Н. Тертышный, С. А. Прилипко, А. А. Рябов // Проблемы машиностроения. - 2017. - № 4. - С. 3-12 : рис., табл. - Библиогр.: с. 11-12
. - ISSN 0131-2928 Рубрики: Машинобудування--Енергетика--Агрегати--Компресори
Кл.слова (ненормовані):
термодинаміка -- компресорні станції -- верифікація
Анотація: В статье представлены результаты системного анализа эффективного газотурбинного агрегата ГПА-Ц-6, 3А/56-1,45, выполненногго на основе расчетных и экспериментальных данных, полученных при испытаниях газотурбинного привода, центробежного компрессора, а также агрегата в целом.
Дод.точки доступу:
Парафейник, В. П.; Тертышный, И. Н.; Прилипко, С. А.; Рябов, А. А.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
14.
|
Манько, Ю. П.
Методика довгострокового розрахункового прогнозу сходів бур'янів [Текст] / Ю. П. Манько // Карантин і захист рослин. - 2018. - № 3. - С. 14-16 : табл. - Бібліогр.: с. 16
Рубрики: Бур'яни--Прогнозування--Сільськогосподарські культури
Кл.слова (ненормовані):
прогноз появи сходів бур'янів -- точність -- предиктор -- верифікація -- інструментальний метод прогнозу -- біологічний та розрахунковий методи
Анотація: Викладено алгоритм опрацьованого розрахункового методу прогнозування появи сходів бур'янів у посівах сільськогосподарських культур у польових сівозмінах Правобережного Лісостепу України, предикторами якого слугують рясність рослин бур'янів у всіх фазах розвитку перед збиранням урожаю попередників і коефіцієнти прогнозу, виражені відношенням до тієї рясності кількості сходів бур'янів у посівах наступних сільськогосподарських культур протягом їхнього вегетаційного періоду.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
15.
|
Богдан, Ирина.
Классификация ошибок на UML-диаграммах, возникающих в ходе разработки IT-проектов [Текст] / Ирина Богдан, Артем Задорожний // Технічні науки та технології : науковий журнал. - 2018. - № 1. - С. 68-78 : рис. - Библиогр.: с. 76
. - ISSN 2411-5363 Рубрики: Комп'ютерні технології--Програмування--Проектування
Кл.слова (ненормовані):
верифікація моделей програм -- цифровий автомат -- інтерфейси
Анотація: В статье решена задача классификации ошибок на восьми базовых UML-диаграммах, которая позволяет отнести все ошибки, выявленные на диаграмме вариантов использования, диаграмме классов, диаграмме последовательности, диаграмме кооперации, диаграмме состояний, дианрамме деятельности и диаграмме компонентов к той или иной группе.
Дод.точки доступу:
Задорожний, Артем
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
16.
|
Хоміч, Людмила.
Нормативно-правове регулювання ресурсозбереження та екологізації бізнесу: перспективи у законодавстві [Текст] / Людмила Хоміч // Екологія підприємства. - 2019. - № 11. - С. 12-17
Рубрики: Бізнес--Довкілля--Нормативно-правове регулювання
Кл.слова (ненормовані):
екологізація бізнесу -- перспективне законодавство -- парникові гази -- моніторинг, звітність, верифікація -- зміна клімату
Анотація: Про необхідність екологізації бізнесу та перспективи у законодавстві.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
17.
|
Наумов, Володимир.
Моніторинг, звітність та верифікація викидів парникових газів: підготовка до невідворотних змін [Текст] / Володимир Наумов // Екологія підприємства. - 2020. - № 1. - С. 12-15
Рубрики: Парникові гази--Викиди--Законопроекти
Кл.слова (ненормовані):
МЗВ викидів парникових газів -- основні терміни -- проекти нормативно-правової бази
Анотація: 16 вересня 2014 року Україна підписала Угоду про асоціацію між Україною та ЄС (Угода про асоціацію), яка була ратифікована 1 вересня 2017 року. Угода про асоціацію охоплює низку економічних та регуляторних питань. Однією з вимог, що висуваються в Угоді, є встановлення процедур моніторингу, звітності та верифікації викидів парникових газів від енергетичних та промислових установок (підприємств). Наразі Президенту України скеровано на підпис проект Закону України "Про засади моніторингу, звітності та верифікації викидів парникових газів" від 29 серпня 2019 року № 0875.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
18.
|
Андрощук, Геннадій.
Технології біометричної ідентифікації: проблеми регулювання [Текст] / Геннадій Андрощук // Інтелектуальна власність в Україні. - 2020. - № 5. - С. 22-31. - Бібліогр.: с. 31
Рубрики: Біометрична ідентифікація--Регулювання--Нормативна база
Кл.слова (ненормовані):
біометричні дані -- нелегальна міграція -- біометрика -- верифікація
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
19.
|
Кущ, Павло.
Операція "Верифікація": як нейтралізувати Росдезінформ [Текст] / Павло Кущ // Урядовий кур'єр. - 2020. - № 195. - С. 3 : рис.
Рубрики: Інформаційна безпека
Кл.слова (ненормовані):
фейки -- верифікація інформації -- медіаграмотність
Є примірники у відділах:
всього 1 : ВДГН (1)
Вільні: ВДГН (1)
Знайти схожі
|
20.
|
Порало, Іван.
Верифікація публічної інформації у системі бібліотечно-інформаційного обслуговування як засіб національної інформаційної безпеки [Текст] / І. Порало, Ж. Роговець // Бібліотечний форум: історія, теорія і практика. - 2021. - № 2. - С. 2-5
Рубрики: Бібліотечно-інформаційне обслуговування--Верифікація інформації
Анотація: З метою покращення орієнтації в інформаційному просторі автори розробили класифікацію верифікації публічної інформації, в якій публічна інформація диференціюється за класами істин й відповідно за ступенями довіри до неї.
Дод.точки доступу:
Роговець, Жанна
Є примірники у відділах:
всього 2 : ВНІБ (1), НМВ (1)
Вільні: ВНІБ (1), НМВ (1)
Знайти схожі
|
21.
|
Медушевський, Сергій.
Автоматизовані інформаційні системи як елементи системи управління якістю фармацевтичного підприємства [Текст] / Сергій Медушевський // Технічні науки та технології : науковий журнал. - 2020. - № 4. - С. 65-71 : рис. - Бібліогр.: с. 70-71
Рубрики: Фармацевтичні підприємства--Автоматизовані інформаційні системи--Якість--Управління
Кл.слова (ненормовані):
валідація -- верифікація -- проєктування -- інформаційне забезпечення
Анотація: У статті наведено автоматизовані інформаційні системи для управління якістю випущеної продукції фармацевтичного підприємства. На сьогодні розроблено безліч рішень у галузі автоматизації, багато з яких є інтегрованисми системами управління. Розглянуто докладніше основні з них.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
22.
|
Тополь, Ольга.
Соціальні виплати, компенсації та пільги як напрями соціального забезпечення населення України [Текст] / ОльгаТополь, Наталія Сухицька // Проблеми і перспективи економіки та управління : науковий журнал. - 2021. - № 4. - С. 7-15. - Бібліогр.: с. 15
Рубрики: Соціальні виплати--Компенсації--Пільги--Соціальне забезпечення в Україні
Кл.слова (ненормовані):
соціальна політика -- бюджетні кошти -- соціальна допомога -- верифікація
Анотація: У статті подане теоретичне обрунтування та емпірична верифікація ефективності надання соціальних виплат, компенсацій і пільг в Україні як напрямів соціального забезпечення.
Дод.точки доступу:
Сухицька, Наталія
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
|
23.
|
Галуздіна-Горобець, Вікторія.
Технології перевірки фактів у протистоянні дезінформації сучасного інформаційного простору [Текст] / Вікторія Галуздіна-Горобець, Марина Лисинюк // Український інформаційний простір. - 2022. - № 2. - С. 149-155. - Бібліогр. в кінці ст.
Рубрики: Журналістика українська, 21 ст.
Інформаційна безпека--Інформаційна зброя--Інформаційна війна
Засоби масової комунікації--Інформаційна безпека--Україна
Кл.слова (ненормовані):
фейкова журналістика -- фейкова інформація в медіа -- перевірка фактів -- верифікація -- ЗМІ -- масмедіа
Дод.точки доступу:
Лисинюк, Марина
Є примірники у відділах:
всього 1 : ВДГН (1)
Вільні: ВДГН (1)
Знайти схожі
|
|
|
Стандартний
Електронний каталог книг