Искать
Отображаемые элементы 61-70 из 96
Дистанційні антимагічні графи як моделі неповних кругових турнірів
(ВНТУ, 2016)
Розглянуто задачу планування чесного неповного кругового турніру, яка є еквівалентною
задачі побудови регулярного врівноваженого дистанційного d-антимагічного графа. Авторами
застосовано дві стратегії побудови врівноважених ...
TLC model checking and the concurrency in specification
(ВНТУ, 2016)
Розглянуто метод перевірки на моделі TLC. Проведено дослідження відповідних часових
витрат. У проведеному дослідженні розглянуто темпоральні специфікації композитного веб-
сервісу з елементами паралелізму. Порівняно два ...
Особенности моделирования в Circuit Design Suite
(ВНТУ, 2016)
Рассматривается возможность использования программы Multisim для анализа цифровых устройств при изучении дисциплин специальности «Компьютерная инженерия».
Інноваційні методи визначення індивідуальних можливостей школярів до навчального процесу
(ВНТУ, 2016)
Розглянуто сучасний стан системи середньої освіти в Україні; стану здоров’я підростаючого покоління. Запропоновано методи визначення толерантності школярів до розумових та фізичних навантажень школярів. Запропоновані методи ...
Успішний фахівець 2020 років: вимоги та технології підготовки
(ВНТУ, 2016)
В роботі визначені технічні навички та навички особистісної компетенції для підготовки
успішних фахівців 2020-х років на ринку праці. Запропоновано для позашкільної освіти
інноваційний навчальний продукт у складі професійної ...
Modeling the spacecraft orbital maneuvers with using geogebra package for visualization
(ВНТУ, 2016)
The paper considers the using of GeoGebra package for visualization in the modeling of orbital
maneuvers of spacecraft in the near-Earth space. The technique has been tested in the study of the course
"The Mechanics of ...
Interpretations of equational specifications of abstract data types
(ВНТУ, 2016)
Here we define a notion of interpretation for equational specifications of abstract data types. Then
we show that relative this interpretation (after standard factorization) the class of all varieties generated
by abstract ...
Программное обеспечение на С++ для автоматизации обработки функциональных выражений
(ВНТУ, 2016)
Данная работа посвящена вопросам программной реализации расширения
алгоритмического языка С++ путем привнесения в него средств для автоматизации обработки
функциональных выражений, заданных в естественном виде. Указанные ...
Комплекс проектів із формування ефективної соціокомунікаційної системи екосоціополісу «Трускавець»
(ВНТУ, 2016)
Подано авторське означення терміну «соціокомунікаційна інженерія», окреслено об’єкт, предмет і методи дослідження та розглянуто методологію формування ефективного високотехнологічного соціокомунікаційного середовища ...
Інформаційні технології прогнозування розвитку освітнього середовища «Розумного міста»
(ВНТУ, 2016)
Подано аналіз зарубіжного досвіду із формування на основі сучасних інформаційних технологій прогнозів щодо формування «Розумних міст». Ефективна освітня складова міської інфраструктури забезпечує реалізацію міграційних ...