Дослідження нелінійної динаміки в моделі Ходжкіна-Хакслі на основі експонент Ляпунова
Модель електричної активності мембрани клітини Ходжкіна-Хакслі, де кожен компонент збудливої клітини розглядається як електричний елемент. За допомогою розробленого програмного забезпечення дослідження поведінки моделі на основі експонент Ляпунова.
Подобные документы
Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Розширення сфер застосування комп’ютерних і мережевих технологій в управлінні складними технічними та фінансовими системами. Використання нелінійної відтворюючої моделі для оцінки можливості наближеної екстраполяції випадкових двійкових послідовностей.
автореферат, добавлен 29.08.2014Визначення розвитку тестування та контролю якості в розробці програмного забезпечення. Дослідження наявних методів та типів тестування. Обґрунтування актуальності тестування, техніка контролю якості як невід'ємна частина розробки програмного забезпечення.
статья, добавлен 02.12.2017Дослідження комплексної моделі подання знань, що складається із граматики, числення предикатів. Алгоритми керування логічним висновком методом резолюцій у численні предикатів за допомогою структуризації і лексичних перетворень, їх вдосконалення.
автореферат, добавлен 27.07.2014Характеристика вимог до перевірки якості програмного продукту перед передачею його в роботу. Дослідження етапів побудови системи нечіткого виведення для визначення якості розроблюваного програмного продукту. Моделювання розробленої нечіткої моделі.
статья, добавлен 23.10.2020Дослідження можливостей побудови навчального кластера на основі доступного апаратного та програмного забезпечення з метою обґрунтування вибору оптимального за критерієм ефективність/вартість варіанта навчальної паралельної обчислювальної системи.
статья, добавлен 01.06.2018Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Призначення, опис, характеристики властивостей ПЗ, метрик. Первинний статистичний, кореляційний та регресійний аналіз. Методи емпіричної інженерії програмного забезпечення та алгоритми збору даних. Побудова залежності між метриками та експертною оцінкою.
курсовая работа, добавлен 06.02.2013Розгляд задачі побудови імітаційної моделі дискретного відтворення растрового елемента округлої форми за допомогою простого примітива для дискретних значень радіуса. Аналіз структурної схеми моделі в Simulink і результатів комп'ютерного моделювання.
статья, добавлен 30.07.2016Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Дефініція понять "адаптивність", "адаптованість". Побудова архітектури адаптивного програмного забезпечення систем критичного призначення відповідно до класифікації механізмів адаптивності. Розробка моделі взаємодії між користувачем і адаптивною системою.
статья, добавлен 28.02.2016Розробка моделі нейромережевої автоасоціативної пам'яті на основі нечітких базисних функцій. Удосконалення методу самонавчання тришарової нейронної мережі. Підвищення точності та швидкості прогнозування й ідентифікації нелінійних нестаціонарних об'єктів.
автореферат, добавлен 28.08.2015Навігаційне забезпечення військ як один з видів топогеодезичного забезпечення військ. Нові вимоги до забезпечення військ картографічними матеріалами. Використання програмного забезпечення інструментальних картографічних та геоінформаційних систем.
статья, добавлен 22.07.2018Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Розробка гібридної моделі представлення знань, які містить у собі текстова інформація. Методика інтерпретації фрагменту тексту на базі даної автоматизованої моделі, аналіз і обґрунтування її ефективності, напрямки та перспективи практичного застосування.
автореферат, добавлен 29.08.2015Нарахування операційних комісійних та процентних доходів та витрат від операцій з клієнтами на основі АБС "Операційний день банку". Основні вимоги до програмного забезпечення АРМ "Операції по договорам". Система управління базою даних та її функції.
контрольная работа, добавлен 27.07.2009Дослідження особливостей використання автоматизованих робочих місць оператора у порівнянні з існуючими засобами контролю та керування пристроями залізничної автоматики на станціях. Розробка моделі інтерфейсу користувача системи електричної централізації.
статья, добавлен 25.09.2016Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
автореферат, добавлен 20.04.2014Математичні моделі термофізіологічного стану людини при роботі у приміщенні, при впливі сонячної радіації. Модуль програмного забезпечення для оцінювання температурного комфорту людини. Профілактика несприятливого впливу факторів навколишнього середовища.
автореферат, добавлен 29.07.2015Можливості та оцінка сучасного програмного забезпечення для комп’ютерних засобів дослідження при обробці металографічних зображень з метою визначення якісних та кількісних характеристик пористих проникливих матеріалів. Суть бінарізації зображення.
статья, добавлен 24.11.2016Дослідження принципів моделювання додатків для Андроіда. Вимоги до програмного забезпечення операційної системи для мобільних пристроїв, планшетів або комп’ютерів. Ефективність тестувати серверів на основі хмарних систем у якості серверної частини.
статья, добавлен 22.03.2016Розробка математичних засад методу дослідження процесів в електромеханічних системах і формування керуючого впливу в електромеханічних об'єктах на основі інтегралу згортки. Створення рекурентних формул для розрахунків динаміки електромеханічних систем.
автореферат, добавлен 20.07.2015Аналіз і апробація методики формування імітаційної моделі регульованого перехрестя на основі його статистичного дослідження для відтворення режимів регулювання руху транспортного потоку на перехрестях в програмах візуалізації автомобільного тренажера.
статья, добавлен 26.07.2016