Дисертаційна робота присвячена вивченню найбільш ефективних варіантів поєднань генотипів свиней української та англійської селекції для одержання товарних гібридів на внутріпородній і міжпородній основі в умовах "Калитянського" свинокомплексу Київської області. Встановлено, що при використанні внутріпородного типу української великої білої породи (УВБ-1), як материнської форми, а кнурів порід дюрок, ландрас та великої білої англійської селекції, досягаються найвищі показники відтворювальних, відгодівельних і м'ясних якостей. Відгодівлю товарних гібридів, одержаних за такою схемою, в умовах України доцільно закінчувати при досягненні тваринами живої маси 115...120 кг.

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

Розроблено модельну систему процесу біотехнологічного продукування оцтового альдегіду шляхом конверсії екзогенного етанолу в ацетальдегід алкогольоксидазою клітин мутантів метилотрофних дріжджів Hansenula polymorpha. Вивчено вплив мутацій, які блокують активності ферментів метаболізму ацетальдегіду, порушують глюкозну катаболітну репресію синтезу алкогольоксидази, а також призводять до підвищення активності фермента, на ефективність біотрансформації етанолу в оцтовий альдегід клітинами мутантних штамів H. polymorpha. Зазначено, що клітини регуляторного мутанта з підвищеною активністю алкогольоксидази виявилися найбільш ефективними біокаталізаторами процесу. Розроблено метод одержання мутантів метилотрофних дріжджів з підвищеною активністю алкогольоксидази. Ізольовано мутант H. polymorpha 7-4А з активністю фермента до 6,8 Од/мг білка після культивування клітин у середовищі з глюкозою. Запропоновано умови культивування клітин штаму для одержання високого виходу біомаси. Оптимізовано умови проведення біоконверсії етанолу в ацетальдегід клітинами штаму 7-4А. Доведено, що мутації, які призводять до пошкодження етанольної катаболітної інактивації алкогольоксидази, підвищують ефективність біоконверсії етанолу в ацетальдегід клітинами мутантів Pichia methanolica з блоком ацетил-КоЛ синтетази та ізоцитратліази. Розроблено схему біоконверсії етанолу в ацетальдегід клітинами штаму 7-4А (після спеціальної обробки), у яких стабілізація активності алкогольоксидази за інактивуючих умов (пошкодження селективної автофагії пероксисом) досягнуто завдяки специфічній дії хімічних реагентів.

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

Дисертація присвячена моніторингу рівнів поверхневих, ґрунтових та напірних вод на території Шацького національного природного парку та оптимізації для цього геодезичної мережі. Розроблено методику оптимізації висотної геодезичної мережі, критеріями якої є точність та мінімальний час виконання польових робіт. Cконструйовано мобільний водомірний пост та запропоновано методику виміру рівня води за допомогою нього. Розроблено математичну модель зміни рівня води в озері Світязь, яка надає можливість прогнозувати зміну цього рівня на найближчих 10 років.^UThe thesis is devoted to the monitoring of the levels of surface, subterranean and pressure water on the territory of Shatsk national nature park and the optimization of the methods of creating the geodetic network for this purpose. The technique of the optimization of levelling geodetic network has been developed. Its main criteria are the accuracy and minimum time of conducting field operations. The mobile hydrometric station was constructed and the technique of measuring the water level with the use of this station was proposed. The mathematical model of the changes of the water level in the Svitiaz lake was developed, which enables predicting the change of this level for the next 10 years.

Дисертація на здобуття ступеня доктора філософії за спеціальністю 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки). – Харківський національний університет імені В. Н. Каразіна, Міністерства освіти і науки України, Харків, 2023. Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами. Розглядаються особливості процесу верифікації паралельних програм інформаційних управляючих систем. Описані найпоширеніші інструментальні засоби верифікації програм з підтримкою паралельних обчислень. Приділено увагу, що на сьогодні необхідність високої ефективності паралельного програмного забезпечення інформаційних управляючих систем вимагає суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Акцентовано, що верифікація мультипаралельних часопараметризованих програм має три складові: компіляційна верифікація; декомпіляційна верифікація та семантична верифікація. Компіляційна верифікація забезпечує перевірку синтаксичної та часової коректності формального синтезу структур семантико-числової специфікації, декомпіляційна верифікація забезпечує перевірку логічної еквівалентності синтезованих мультипаралельних програм та текстів вхідних послідовних програм після завершення всіх етапів синтезу, а семантична верифікація полягає у перевірці збігу одиниць вимірювання фізичних величин, отриманих на основі формального синтезу часопараметризованих мультипаралельних програм інформаційних управляючих систем та одиниць вимірювання вхідних та вихідних даних, що задаються користувачами. Сформовано сучасні вимоги до суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Формулюється задача дисертаційного дослідження, як розробка інформаційної технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення її ефективності за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій. Для вирішення поставленої науково-прикладної задачі вирішено розробити ряд методів, а саме: метод компіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод декомпіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод семантичної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем.Описано етапи розробки методу компіляційної верифікації паралельних програмних засобів інформаційних управляючих систем. Описані існуючі методи паралельної обробки інформації та їх сутність, показано доцільність використання сукупності методів паралельної обробки інформації при розробці паралельного програмного забезпечення інформаційних управляючих систем. Описано сутність декомпіляційної верифікації часопараметризованих програмних засобів інформаційних управляючих систем. Починаючи з аналізу бінарного коду послідовної програми, проводиться його декомпіляція з метою відновлення вхідного коду. Отриманий вхідний код піддається формальній верифікації за допомогою математичних методів. Відбувається доведення коректності програми, перевірка властивостей безпеки, аналіз відповідності вимогам тощо. Аналізуючи вхідний код програми, можна виявити можливі вразливі місця, дефекти або помилки, що можуть впливати на її безпеку та надійність. Також описані етапи постановки задачі декомпіляційної верифікації часопараметризованих паралельних програмних засобів інформаційних управляючих систем. Описано метод семантичної верифікації часопараметризованих мультипаралельних програм, змістовно розглянуті основні етапи методу семантичної верифікації мультипаралельних програм та описано побудову графу, що здійснюється за допомогою засобів візуалізації паралельних апаратно-програмних об’єктів. Представлена концептуальна модель технології верифікації часопараметризованих паралельних програм інформаційних управляючих систем та змістовно описано основні компоненти архітектури технології верифікації. Обрано показники ефективності технології семантико-числової верифікації інформаційних управляючих систем спрямовані на оцінку точності та надійності результатів верифікації. Сукупність отриманих у дисертації нових наукових результатів, позитивна оцінка їхньої достовірності, наукової та практичної значущості дають змогу вважати сформульовану наукову задачу розробки технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення ефективності верифікації за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій, – розв'язаною, а поставлену мету – досягнутою.^UThe dissertation submitted for obtaining the Doctor of Philosophy degree in Technical Science: Speciality 122 – Computer science. V. N Karazin Kharkiv National University, Ministry of Education and Science of Ukraine, Kharkiv, 2023.The dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challenges. Peculiarities of the processof verification of parallel programs of information management systems. The most common tools for verifying programs with parallel computing support are described. Attention is focused on the fact that today the need for high efficiency of parallel software of information management systems requires a significant expansion of the composition of factors that are taken into account during the formal development of time-parameterized multi-parallel programs of information management systems. It is emphasized that the verification of multi-parallel time-parameterized programs has three components: compilation verification; decompilation verification and semantic verification. Compilation verification provides checking the syntactic and temporal correctness of the formal synthesis of semantic-numerical specification structures. Decompilation verification provides checking the logical equivalence of synthesized multiparallel programs and input sequential program texts after completion of all stages of synthesis. And semantic verification consists in verifying the coincidence of the units of measurement of physical quantities obtained on based on the formal synthesis of time-parameterized multi-parallel information management systems programs and units of measurement of input and output data specified by users. Modern requirements for a significant expansion of the composition of factors taken into account during the formal development of time-parameterized multi-parallel information management systems programs have been formed. The task of the dissertation research is formulated as the development of information technology for the verification of parallel time-parameterized programs of information management systems with the aim of increasing its efficiency due to the application of compilation, decompilation and semantic verification based on semantic-numerical specifications. To solve the scientific and applied problem, it was decided to develop a number of methods, namely: the method of compilation verification of parallel time-parameterized programs for information management systems; method of decompilation verification of parallel time-parameterized programs for information management systems; method of semantic verification of parallel time-parameterized programs for information management systems. The stages of development of the method of compilation verification of parallel software tools of information control systems. It describes the existing methods of parallel information processing and their essence, shows the expediency of using a set of methods of parallel information processing in the development of parallel information management systems software. The stages of setting task of decompilation verification of time-parameterized parallel software tools of information management systems. In particular, it presents the structural scheme of the method of decompilation verification of time-parameterized parallel software tools of information management systems and a detailed description of the procedures that implement the stages of the method.The method of semantic verification of time-parameterized multiparallel programs, reviews the main stages of the method of semantic verification of multiparallel programs meaningfully, and describes the construction of the graph, which is carried out using means of visualization of parallel hardware and software objects. It presents the conceptual model of the verification technology of time-parameterized parallel information management systems programs and describes the main components of the verification technology architecture meaningfully. The structure of the synthesis verifier of graphs is described in more detail. The indicators of the effectiveness of the technology of semantic-numerical verification of information management systems, aimed at assessing the accuracy and reliability of the verification results. The set of new scientific results obtained in the dissertation, a positive assessment of their reliability, scientific and practical significance make it possible to consider the formulated scientific task of developing a technology for the verification of parallel time-parameterized programs of information management systems in order to increase the effectiveness of verification due to the application of compilation, decompilation and semantic verification based on semantic of numerical specifications, is solved, and the set goal is achieved.