• Виявлення шкідливих додатків ОС Андроїд по сигнатурі функціонального ланцюжка. 

  Карпачев, І. І.; Казимир, В. В. (НУ «Чернігівська політехніка», 2021)

  На сьогодні операційна система Андроід представляє собою розповсюджену мобільну платформу номер один, яка дає функціональну свободу користувачеві. Саме широке розповсюдження ОС робить її привабливим середовищем для ...
• Building of the virtual environment for grid applications 

  Казимир, В. В.; Пріла, О. А.; Мельниченко, Д. І.; Крищенко, М. С. (2015)

  The article considers the problems of configuring grid resources to perform computational tasks in the grid environment. The technology of automated configuration environment to perform tasks in the grid environment using ...
• Two stage strategy of job scheduling in grid environment based on the dynamic programming method 

  Казимир, В. В.; Пріла, О. А. (2014)

  The problem of the effective usage of the grid environment for solving different types of computing tasks of large dimension is researched in the paper. We study the problem of optimal task scheduling at an affordable set ...
• Формування телеметричних лог-файлів для оперативної технічної діагностики безпілотних авіаційних комплексів. 

  Башинська, О. О.; Казимир, В. В.; Нестеренко, С. О. (Чернігів : ЧНТУ, 2018)

  Актуальність теми дослідження. Об’єктивне визначення показників якості безпілотних авіаційних комплексів (БпАК) є передумовою використання різноманітних засобів технічної діагностики, серед яких пропонується використовувати ...
• Модельно-ориентированное управление как стратегия функционирования интеллектуальных производственных систем 

  Литвинов, В. В.; Казимир, В. В. (Київ: Інститут проблем математичних машин і систем НАН України, 2004-12)

  У статті розглядається проблема модельно-орієнтованого управління при функціонуванні сучасних виробничих систем, яка полягає у використанні широкого спектра комп'ютерних моделей на всіх рівнях прийняття рішень. Обгрунтовуються ...
• Cloud simulation environment based on HLA 

  Казимир, В. В.; Posadska, A. S.; Sysa, D. M. (2016)

  This technology of integration of a powerful formal apparatus E-nets and hierarchical aggregate approach which is used in the system of simulation use of E-net Modeling System (EMS), with High Level Architecture (HLA) in ...
• Іmproving of existing permission system in android os 

  Казимир, В. В.; Карпачев, І. І. (2015)

  Smartphones for last five-ten years had become ubiquitous. Despite the fact, that these small devices are very widespread around the world - security are still being understood. As a result, the security is extremely vital. ...
• Information technologies of mobile applications development 

  Казимир, В. В.; Мокрогуз, А. О. (Чернігів : ЧНТУ, 2016)

  The paper describes the problems that developers have to face during development of mobile applications. One of the most important issues, which developers need to overcome are GUI consideration for small screens of mobile ...
• Framework for creating single information Windows 

  Казимир, В. В.; Kharchenko, Maryna (2013)

  We consider a software development and support of single information window, which is a web-based software system. Describe the architecture of the system. Attention is focused on the use of the formal apparatus of control ...
• Методи та моделі стратегічного менеджменту в діяльності органів державної влади 

  Казимир, В. В.; Олійченко, І. М.; Юрченко, Ю. Д.; Шемет, В.П. (Чернігів: ЧДІЕУ, 2013)

  Визначено методи стратегічного управління, які рекомендується використовувати в діяльності органів державної влади. Наведено моделі реалізації цих методів у стандарті IDEF3. Описано алгоритм використання даних методів ...
• Модуль комутації криптоключів для захищеної системи ІР-телефонії 

  Казимир, В. В.; Риндич, Є.В.; Кенійз, Я.Я. (Київ, 2010)

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

  Казимир, В. В.; Сіра, Г. А.; Черних, Д. О. (Київ, 2010)

  Запропоновано технологію до формалізованого подання імітаційних моделей систем інформаційної безпеки на основі конвертації формалізованих описів моделей, отриманих за допомогою інших програм моделювання бізнес-процесів ...
• Алгоритм паралельного виконання та синхронізації Е-мережі 

  Литвинов, В. В.; Казимир, В. В.; Гавсиевич, І. Б. (2005)

  В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з ...
• Анализ алгоритма работы Е-сетевого перехода при традиционном и распределенном моделировании с помощью алгебры взаимодействующих процессов 

  Литвинов, В. В.; Казимир, В. В.; Гавсиевич, И. Б. (м. Київ, 2005)
• Метод построения моделей информационных атак 

  Казимир, В. В.; Серая, А.А. (2010-05-11)

  Рассмотрены и проанализированы существующие подходы к построению формальных моделей информационных атак. Сформулированы основные требования к моделям информационных атак. Предложен метод построения моделей информационных ...
• Модели верификации планов ликвидации аварий на угольных шахтах 

  Казимир, В. В.; Серая, А.А. (2012)

  Предлагаются имитационные модели, разработанные в системе моделирования E- net Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических ...
• Метод формалізованого опису бізнес-процесів управляючих web-порталів 

  Казимир, В. В.; Харченко, М. В.; Kazymyr, Volodymyr; Kharchenko, Maryna (2015)

  У статті запропоновано метод формалізації бізнес-процесів управляючих web- порталів. Основою для побудови формальної моделі є концептуальна модель бізнес-процесу, представлена набором IDEF0 та IDEF3-діаграм. Як формальний ...
• Методы и средства оперативного распространения голосовой информации в IP-сетях 

  Казимир, В. В.; Гавсиевич, И. Б.; Чупрынин, А. Д. (2009)

  В статье рассмотрены этапы развития IP-сетей и технологии передачи в них голоса, показана возможность интеграции существующих телефонных сетей и IP-сетей, проанализирована возможность использования сторонних шлюзов и ...
• Моделі систем підтримки прийняття рішень при управлінні підприємством 

  Азарова, А. О.; Казимир, В. В. (2005)

  У статті розглядається проблема побудови систем підтримки прийняття рішень, які планується використовувати при управлінні підприємством. Аналізуються особливості задач прийняття рішень і формулюються вимоги до СППР. ...
• Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки 

  Литвинов, В. В.; Казимир, В. В.; Хоминич, А. В. (2005)

  Статья посвящена использованию современных информационных технологий в вопросах разработки систем диагностирования сложных технических объектов. Обосновывается целесообразность использования математических моделей логического ...

більше