http://dspace.nbuv.gov.ua:80/handle/123456789/83119 2026-04-04T20:31:49Z 2026-04-04T20:31:49Z http://dspace.nbuv.gov.ua:80/handle/123456789/83172 2015-06-17T00:01:50Z 2013-01-01T00:00:00Z

Наши авторы

2013-01-01T00:00:00Z Николаенко, С.А. http://dspace.nbuv.gov.ua:80/handle/123456789/83171 2015-06-17T00:01:48Z 2013-01-01T00:00:00Z

Нейросетевой подход к задаче оценки размера взноса при страховании гражданской ответственности владельцев транспортных средств Николаенко, С.А. Приведены результаты экспериментальных исследований аппроксимационных свойств радиально-базисных нейронных сетей для прогнозирования размера страхового взноса в автостраховании.; The results of the experimental investigations of radial-basis neural network’s approximating properties for the prediction of the size of the insurance premium in the vehicle insurance are given.; Подано результати експериментальних досліджень апроксимаційних властивостей радіально-базисних нейронних мереж для прогнозування розміру страхового внеску в автострахуванні.

2013-01-01T00:00:00Z Letichevsky, A. Letichevskyi, A. Weigert, T. Peschanenko, V. http://dspace.nbuv.gov.ua:80/handle/123456789/83170 2018-03-21T15:55:05Z 2013-01-01T00:00:00Z

Satisfiability For Symbolic Verification in VRS Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями представленных формулой логики первого порядка. Использованы методы Satisfiability Modulo Theory вместо логического вывода в соответствующем исчислении для эффективных вычислений в предикатных трансформерах.; This paper demonstrates the use of the first order logic in symbolic verification of the requirement specifications of reactive software systems. We consider symbolic models of a specified system which are transition systems with symbolic states represented by formulae of the first order logic. To efficiently compute predicate transformers the Satisfiability Modulo Theory methods are used instead of the logical inference in the corresponding calculi.; Розглянуто використання логіки першого порядку у символьній верифікації специфікацій вимог програмного забезпечення, символьні моделі систем, які є транзиційними системами з символьними станами представленими формулою логіки першого порядку. Використано методи Satisfiability Modulo Theory замість логічного виводу у відповідних численнях для ефективного обчислення у предикатних трансформерах.

2013-01-01T00:00:00Z Ефимов, А.С. Кифоренко, С.И. Лавренюк, Н.В. Ефимов, Д.А. Котова, А.Б. http://dspace.nbuv.gov.ua:80/handle/123456789/83169 2015-06-17T00:01:46Z 2013-01-01T00:00:00Z

Информационная технология улучшения качества самоконтроля сахарного диабета Ефимов, А.С.; Кифоренко, С.И.; Лавренюк, Н.В.; Ефимов, Д.А.; Котова, А.Б. Решена задача улучшения качества самоконтроля сахарного диабета, базирующаяся на использовании интеллектуальной информационной технологии в цифровом формате. Разработано программное обеспечение для поддержки принятия решений при ранней диагностике и при синтезе сбалансированной диеты, согласованной с активной деятельностью как управляющих воздействий, влияющих на состояние системы углеводного обмена. Программы «Энергобаланс» и «Ранняя диагностика» ориентированы для использования в портативном электронном устройстве.; The problem of the improvement of diabetes selfcontrol is solved, which is based on the use of intelligent information technology in a digital format. Software has been developed to support decision making in the early diagnosis and the synthesis of a balanced diet, consistent with the active work as a control actions on the state of carbohydrate metabolism. Programs "Energy Balance" and "Early Diagnosis" are directed to be used in portable electronic devices.; Розв’язано задачу поліпшення якості самоконтролю цукрового діабету, яка базується на використанні інтелектуальної інформаційної технології у цифровому форматі. Розроблено програмне забезпечення підтримки прийняття рішень при ранній діагностиці і синтезі збалансованої дієти, узгодженої з активною діяльністю як керуючих дій, що впливають на стан системи вуглеводного обміну. Програми «Енергобаланс» та «Рання діагностика» орієнтовані на використання в портативному електронному пристрої.

2013-01-01T00:00:00Z