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

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

Рубрики:

Захист інформації

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

Класифіковано та проаналізовано сучасні методи та засоби розпаралелення і розподілення обчислень. Запропоновано метод оцінки обчислювальної складності та часових затрат систем розподілення обчислень.

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

Рубрики:

Захист інформації

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

Запропоновано застосування розподілення обчислень з використанням ієрархічного підходу для розв'язування систем лінійних рівнянь великої розмірності.

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

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

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

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

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

Освещены проблемы формирования и использования в учебном процессе информационной системы Виртуальная учебная среда Львовской политехники (ВУС ЛП). Охарактеризованы программные средства для создания интерактивных презентаций. Дана информация об организации тестирования, методах оценивания и контроля, особенностях терминологического наполнения дисциплин в ВУС ЛП. Уделено внимание вопросам расширения функциональности и структуры ВУС ЛП.

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

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

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

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

Описано інтерактивний постпроцесор, у якому реалізовано алгоритми об'ємної візуалізації для зображення розподілу температури в мікроелектронних пристроях (МЕП). Реалізовані апроксимаційні алгоритми об'ємної візуалізації надають можливість виділяти області, в яких температура є близькою чи перевищує максимально допустиму у елементах МЕП, зокрема, в елементах, об'єм яких є малим у порівнянні з розмірами конструкції.

Представлено реалізацію інформаційного середовища (ІС) для підтримки навчального процесу університету. Показано послідовність задач, необхідних для реалізації ІС, та результати їх вирішення.

Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах. Формалізовано критерій достатності процесу тестування програмного забезпечення на базі запропонованої моделі.

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

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

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