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

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

Створено теоретичні й прикладні основи інтелектуалізації розв'язування складних наукових та прикладних задач. Проведено аналіз сучасних проблем застосування числово-аналітичних методів, визначено клас "складних задач комп'ютерної алгебри". Встановлено можливість розв'язання даної проблеми шляхом інтелектуалізації програмного забезпечення (ПЗ) мовами на аналітичній основі. Запропоновано теоретико-множинну модель задачі та доведено існування такої мови. Обгрунтовано та розроблено основні структури даних, базисні процедури вхідних мов системи комп'ютерної алгебри (СКА) нового покоління для інтелектуалізації ПЗ складних задач. Одержані результати використано в процесі створення нової мови сім'ї АНАЛІТИК - АНАЛІТИК 2 000 і апробовано на реальних прикладних задачах, складних за своїми характеристиками: розроблено їх аналітичні моделі, методи розв'язування, алгоритми та ПЗ, систематизовано стилі програмування.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Уперше побудовано алгортим перекладу опису проектованої системи мовою MSC2000 у мережі Петрі та доведено його коректність за допомогою алгебри процесів, а саме - бісмуляційну еквівалентність вхідних MSC діаграм і синтезованої за цими діаграмами мережі Петрі. За цього визначено формальну семантику базового елемента мови MSC2000-<умова>(condition). Розроблено й обгрунтовано оригінальні алгоритми аналізу та верифікації формальної моделі у вигляді мережі Петрі, що використовують метод TSS розв'язання систем лінійних однорідних і неоднорідних діафантових рівнянь над множиною натуральних чисел, а саме: алгоритм верифікації певних властивостей мереж Петрі, зокрема, (структурної обмеженості), L3-живості, досяжності, наявності дедлоків; алгортим побудови S- і T-варіантів мережі Петрі; алгоритм пошуку пасток і тупиків асиметричної мережі Петрі. Рекомендовано здійснювати аналіз зменшеної складності її динамічних властивостей, який має проводитися за допомогою розв'язання рівняння стану. Уперше запропоновано визначення інваріантності властивостей базової моделі як мережі Петрі, яке використовується для створення оригінальної методики пошуку конфліктів функціональностей проектованої системи.

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

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

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

Наведено класифікацію алгоритмів симетричного блокового шифрування (СБШ) за структурними особливостями обробки ключів, виділено методи просторово-часової організації обчислень. Розглянуто принципи побудови багатоканальних апаратно-орієнтованих процесорів СБШ. На підставі узагальненого представлення алгоритмів та апаратного відображення їх потокових графів розроблено архітектури багатоканальних процесорів. Розроблено структури багатофункціональних багатоканальних операційних пристроїв обробки даних та ключів, блоків організації режимів шифрування, алгоритми їх роботи, принципи синхронізації через спільну пам'ять. Наведено методику оцінки характеристик параметрів та одержано аналітичні вирази для оцінки технічних характеристик процесорів СБШ. Визначено галузі їх використання. Створено VHDL моделі та синтезовано HBIC на ПЛП 16-ти канального апаратно-орієнтованого процесора СБШ згідно з алгоритмом SPECTR-H64, двох одноканальних процесорів СБШ згідно з алгоритмом DES, які у порівнянні з процесорами СБШ мають вищу продуктивність шифрування у 2-5 разів.

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

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

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

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

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