УДК 004.5; 004.8
Основні функції та склад навчальної smart-системи і інтерфейсу користувача / Ю.С. Яковлев, Л.І. Курзанцева // Математичні машини і системи. – 2018. – № 2. – С. 56 – 71.
Визначено основні функції навчальної smart-системи і її інтерфейсу користувача, а також розроблено її базову структуру, склад робочого місця учня і узагальнений алгоритм взаємодії учня з системою. Пропонується навчальна smart-система, яка підтримує навчальний процес відповідно до поставлених завдань навчання. Вона має можливість розширення за рахунок інтеграції в її склад віртуальних тренажерів і лабораторій для формування в учнів необхідних знань, умінь, навичок та професійних компетенцій. Застосування запропонованого інтерфейсу підвищить ефективність навчального процесу, зокрема, успішність учнів і швидкість навчання, а також сформує у них когнітивно-складне мислення, що дозволяє знаходити короткий і раціональний шлях у вирішенні завдань. Табл.: 7. Іл.: 4. Бібліогр.: 19 назв.
УДК 004.5; 004.8
Основные функции и состав обучающей smart-системы и пользовательского интерфейса / Ю.С. Яковлев, Л.И. Курзанцева // Математические машины и системы. – 2018. – № 2. – С. 56 – 71.
Определены основные функции обучающей smart-системы и ее пользовательского интерфейса, а также разработаны ее базовая структура, состав рабочего места учащегося и обобщенный алгоритм взаимодействия учащегося с системой. Предлагаемая обучающая smart-система поддерживает учебный процесс в соответствии с поставленными задачами обучения. Она обладает возможностью расширения за счет интеграции в ее состав виртуальных тренажеров и лабораторий для формирования у учащихся необходимых знаний, умений, навыков и профессиональных компетенций. Применение предлагаемого интерфейса повысит эффективность учебного процесса, в частности, успеваемость учащихся и скорость обучения, а также сформирует у них когнитивно-сложное мышление, позволяющее находить короткий и рациональный путь в решении задач. Табл.: 7. Ил.: 4. Библиогр.: 19 назв.
УДК 681.3
Критерії та моделі оцінки коригувальних властивостей референтного орфографічного словника при автоматичному виправленні типових помилок користувача / В.А. Литвинов, С.Я. Майстренко,
К.В. Хурцилава, С.В. Костенко // Математичні машини і системи. – 2018. – № 2. – С. 72 – 82.
Розглядається логіко-імовірнісна модель корекції виявлених помилок у системі перевірки орфографії, формується критерій оцінки коригувальних властивостей конкретного орфографічного словника. Пропонується імітаційна і аналітична модель для оцінки значень показників правильної і помилкової корекції по відношенню до типових помилок користувача, наводяться результати моделювання для обраних словників російської та української мов. Обговорюється взаємозв'язок між значеннями показників коригувальних і контролюючих властивостей. Табл.: 2. Іл.: 5. Бібліогр.: 9 назв.
УДК 681.3
Критерии и модели оценки корректирующих свойств референтного орфографического словаря при автоматическом исправлении типовых ошибок пользователя / В.А. Литвинов, С.Я. Майстренко, К.В. Хурцилава, С.В. Костенко // Математические машины и системы. – 2018. – № 2. – С. 72 – 82.
Рассматривается логико-вероятностная модель коррекции обнаруженных ошибок в системе проверки орфографии, формируется критерий оценки корректирующих свойств конкретного орфографического словаря. Предлагается имитационная и аналитическая модель для оценки значений показателей правильной и ложной коррекции по отношению к типовым ошибкам пользователя, приводятся результаты моделирования для выбранных словарей русского и украинского языков. Обсуждается взаимосвязь между значениями показателей корректирующих и контролирующих свойств. Табл.: 2. Ил.: 5. Библиогр.: 9 назв.
УДК 004.9:004.75
Методи створення оптимальної моделі баз даних / Ю.М. Лисецький // Математичні машини і системи. – 2018. – № 2. – С. 83 – 87.
У статті розглядається пошук оптимальних моделей баз даних та ефективних способів їх побудови. Розглядаються традиційні моделі даних, а також виявляються їх обмеження та недоліки при впровадженні в сучасні інформаційні системи. Вивчаються основні моменти теорії нормалізації реляційних баз даних, а також визначаються основні вимоги до оптимальної моделі бази даних. Іл.: 1. Бібліогр.: 6 назв.
УДК 004.9:004.75
Методы создания оптимальной модели баз данных / Ю.М. Лисецкий // Математические машины и системы. – 2018. – № 2. – С. 83 – 87.
В статье рассматривается поиск оптимальных моделей баз данных и эффективных способов их построения. Рассматриваются традиционные модели данных, а также выявляются их ограничения и недостатки при внедрении в современные информационные системы. Изучаются основные моменты теории нормализации реляционных баз данных, а также определяются основные требования к оптимальной модели базы данных. Ил.: 1. Библиогр.: 6 назв.
УДК 004.896
Біометрична ідентифікація людини за її електрокардіограмою /
В.В. Вишневський, Т.М. Романенко, Л.А. Кізуб // Математичні машини і системи. – 2018. – № 2. – С. 88 – 95.
Обговорюється алгоритм біометричної ідентифікації людини за її електрокардіограмою (ЕКГ) з використанням нейромережі для класифікації характерних ознак, знайдених при апроксимації параметричними сплайнами тривимірних дуг, які відповідають QRS-комплексам. Іл.: 4. Бібліогр.: 10 назв.
УДК 004.896
Биометрическая идентификация человека по его электрокардиограмме /
В.В. Вишневский, Т.Н. Романенко, Л.А. Кизуб // Математические машины и системы. – 2018. – № 2. – С. 88 – 95.
Обсуждается алгоритм биометрической идентификации человека по его электрокардиограмме (ЭКГ) с использованием нейросети для классификации характерных признаков, выделенных при аппроксимации параметрическими сплайнами трехмерных дуг, соответствующих QRS-комплексам. Ил.: 4. Библиогр.: 10 назв.
УДК 004.896
Моделі агентно-орієнтованих систем ситуаційного управління /
О.Є. Коваленко// Математичні машини і системи. – 2018. – № 2. – С. 96 – 102.
У роботі розглядаються основні моделі побудови систем ситуаційного управління на основі агентно-орієнтованого підходу. Запропоновано моделі для агентно-орієнтованих ситуаційних центрів на основі еволюційного функціонального принципу. Визначено елементи та особливості для запропонованих моделей. Описаний загальний механізм застосування формальних знань для керування багатоагентними системами. Намічені перспективні напрями майбутніх досліджень. Іл.: 1. Бібліогр.: 12 назв.
УДК 004.896
Модели агентно-ориентированных систем ситуационного управления / А.Е. Коваленко // Математические машины и системы. – 2018. – № 2. – С. 96 – 102.
В работе рассматриваются основные модели построения систем ситуационного управления на основе агентно-ориентированного подхода. Предложены модели для агентно-ориентированных ситуационных центров на основе эволюционного функционального принципа. Определены элементы и особенности для предложенных моделей. Описан общий механизм применения формальных знаний для управления многоагентными системами. Намечены перспективные направления будущих исследований. Ил.: 1. Библиогр.: 12 назв.
УДК 528.9
Щодо питання про розрахунок метеорологічних умов у хмарній інфраструктурі Amazon / О.О. Полонський // Математичні машини і системи. – 2018. – № 2. – С. 103 – 109.
Розроблено і опробувано на практиці методику, що дозволяє прогнозувати метеорологічні умови у хмарній інфраструктурі Amazon, а також після адаптації в інших сучасних хмарних інфраструктурах. Іл.: 7. Бібліогр.: 8 назв.
УДК 528.9
К вопросу о расчете метеорологических условий в облачной инфраструктуре Amazon / А.А. Полонский // Математические машины и системы. – 2018. – № 2. – С. 103 – 109.
Разработана и опробована на практике методика, позволяющая прогнозировать метеорологические условия в облачной инфраструктуре Amazon, а также после адаптации в других современных облачных инфраструктурах. Ил.: 7. Библиогр.: 8 назв.
УДК 004.7
Дослідження методів підвищення достовірності передачі даних у стеках протоколів ТСР/ІР систем публічного адміністрування / Р.Б. Андрущенко,
А.Д. Бескостий, С.В. Зайцев, Я.Ю. Усов, М.А. Письменюк // Математичні машини і системи. – 2018. – № 2. – С. 110 – 118.
Cтек протоколів TCP/IP та модель OSI зарекомендували себе як надійну, відносно просту, технологію передачі даних у комп’ютерних мережах. Проте, за наявності надлишкового шуму у каналі передачі даних виникає необхідність у застосуванні додаткових методів підвищення достовірності передачі інформації. В роботі проведено аналіз існуючих методів підвищення цілісності передачі даних у комп’ютерних мережах, побудованих на базі сімейства протоколів TCP/IP за рахунок застосування завадостійкого кодування. Виявлено їх особливості функціонування, переваги і недоліки та розглянуто основні напрями досліджень у цій області. Іл.: 7. Бібліогр.: 16 назв.
УДК 004.7
Исследование методов повышения достоверности передачи данных в стеках протоколов ТСР/ІР систем публичного администрирования / Р.Б. Андрущенко, А.Д. Бескостий, С.В. Зайцев, Я.Ю. Усов, М.А. Письменюк // Математические машины и системы. – 2018. – № 2. – С. 110 – 118.
Стек протоколов TCP/IP и модель OSI зарекомендовали себя как надежную, относительно простую, технологию передачи данных в компьютерных сетях. Однако, при наличии избыточного шума в канале передачи данных возникает необходимость в применении дополнительных методов повышения достоверности передачи информации. В работе проведён анализ существующих методов повышения целостности передачи данных в компьютерных сетях, построенных на базе семейства протоколов ТСР/IP за счет использования помехоустойчивого кодирования. Изучены их особенности функционирования, преимущества и недостатки, рассмотрены основные направления исследований в данной области. Ил.: 7. Библиогр.: 16 назв.
УДК 519.712.3
Оцінка поточної кредитоспроможності фізичних осіб на підставі експертних оцінок їх показників платоспроможності / А.А. Алієв // Математичні машини і системи. – 2018. – № 2. – С. 119 – 132.
Пропонується збалансований підхід до оцінки кредитоспроможності фізичних осіб, оснований на застосуванні трьох методів оцінки поточної платежеспроможності, включаючи метод зваженого підсумовування експертних оцінок платоспроможності, а також нечітких методів логічного висновку і максимінної згортки. Табл.: 4. Бібліогр.: 8 назв.
УДК 519.712.3
Оценка текущей кредитоспособности физических лиц на основе экспертных оценок их показателей платёжеспособности / А.А. Алиев // Математические машины и системы. – 2018. – № 2. – С. 119 – 132.
Предлагается сбалансированный подход к оценке кредитоспособности физических лиц, основанный на применении трёх методов оценки текущей платёжеспособности, включая метод взвешенного суммирования экспертных оценок платёжеспособности, а также нечётких методов логического вывода и максиминной свёртки. Табл.: 4. Библиогр.: 8 назв.
МОДЕЛЮВАННЯ І УПРАВЛІННЯ