We consider a generalization of the three spectral inverse problem, that is, for given spectrum of the Dirichlet - Dirichlet problem (the Sturm - Liouville problem with Dirichlet conditions at both ends) on the whole interval [0, a], parts of spectra of the Dirichlet - Neumann and Dirichlet - Dirichlet problems on [0, a/2] and parts of spectra of the Dirichlet - Newman and Dirichlet - Dirichlet problems on [a/2, a], we find the potential of the Sturm - Liouville equation.

Індекс рубрикатора НБУВ: Р. с03 + Р281.7/9 + Л663.21

Рубрики:

Окремі групи лікарських речовин, засобів і препаратів

Мазі, пасти, медичне масло, гелі

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

Індекс рубрикатора НБУВ: Л328.082

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

Індекс рубрикатора НБУВ: Л328

Рубрики:

Органічні та органо-мінеральні добрива

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

Індекс рубрикатора НБУВ: Л111.31-5

Рубрики:

Перемішування у рідкому середовищі. Готування дисперсних систем

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

Індекс рубрикатора НБУВ: В162.41

Рубрики:

Спектральний аналіз самоспряжених і унітарних операторів

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

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

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

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

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

Abstract - Synchronization of parallel processes of distributed information systems (DIS) has been largely determined by decisions taken at the stages of their design. Having already been in structural and functional models, when determining causeand-effect relationships for events and actions in DIS components, it becomes necessary to coordinate them. In the proposed multilevel systemic, structural and functional synchronization model, a hierarchy of such causal relationships with interlevel mappings, inheritance and encapsulation of events and actions have been formed. The model has been also based on hierarchical extended Petri nets, which make it possible to represent various aspects of a special analysis of technical diagnostics, in particular, analysis of correctness, verification, testing, for the adopted display of the asynchronous-behavioral nature of the multilevel interaction of DIS processes. Features of the synchronization model include mapping operations for crosslevel inheritance and encapsulations that synchronize events and actions, as well as end-to-end synchronized quasi-order relationships and compatibility for them. The synchronization model is also distinguished by the possibility of specializing its objects, operations and relations for the tasks of check and recognition of behavioral properties set for analysis and verification, basic in technical diagnostics, including in online and offline testing. The synchronization model has allowed one to determine the formal conditions for methods of end-to-end asynchronous coordination of events and actions of multi-level models, that represent design solutions for DIS, in particular, for technical diagnostics methods, and also to reduce the computational complexity of a special synchronization analysis due to an end-to-end decomposition approach. The dimension of the synchronization model has been estimated using the representation of Petri net graphs and special graphs of reachable states using list structures. The above estimates determine the limits of applicability of the formal synchronization model.

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

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

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