Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Реферативна база даних (6)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Шкиль А$<.>)
Загальна кількість знайдених документів : 14
Представлено документи з 1 до 14
1.

Кривуля Г. Ф. 
Анализ взаимосвязи интегральных характеристик готовности моноэргатической компьютерной системы и компетентности пользователя [Електронний ресурс] / Г. Ф. Кривуля, А. С. Шкиль // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 30–36. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_6
Попередній перегляд:   Завантажити - 371.373 Kb    Зміст випуску     Цитування
2.

Кривуля Г. Ф. 
Экспертное оценивание качества программного обеспечения [Електронний ресурс] / Г. Ф. Кривуля, А. С. Шкиль, Д. Е. Кучеренко // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 282–286. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_49
Рассмотрена проблема определения качества программного обеспечения на этапе его эксплуатации с помощью системы поддержки принятия решения. Для получения интегрального показателя качества программы предложено использовать экспертное оценивание его количественных и качественных характеристик (критериев качества). Именно факт наличия качественных критериев, которые сложно поддаются численной оценке, и обусловил выбор нечеткой логики в качестве аппарата. Применение системы нечеткого вывода как основы для работы системы поддержки принятия решения дало возможность тучесть "размытость" понятия качества и автоматизировать процесс определения качества программы.
Попередній перегляд:   Завантажити - 436.26 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Шкиль А. С. 
Реализация процедур импликации на графовой структуре [Електронний ресурс] / А. С. Шкиль, Д. И. Чегликов, Д. Е. Зинченко // Радіоелектронні і комп’ютерні системи. - 2006. - № 6. - С. 172–176. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_6_32
Разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.
Попередній перегляд:   Завантажити - 232.858 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Кривуля Г. Ф. 
Экспертный анализ технического состояния компьютерной системы с использованием нечетких диагностических признаков [Електронний ресурс] / Г. Ф. Кривуля, А. С. Шкиль, Д. Е. Кучеренко // Інформаційно-керуючі системи на залізничному транспорті. - 2014. - № 6. - С. 20-24. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2014_6_5
Попередній перегляд:   Завантажити - 800.673 Kb    Зміст випуску     Цитування
5.

Альмадхоун С. 
Поиск ошибок проектирования в HDL-моделях цифровых автоматов [Електронний ресурс] / С. Альмадхоун, Е. Е. Сыревич, А. С. Шкиль // Вісник Херсонського національного технічного університету . - 2013. - № 1. - С. 377-383. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkhdtu_2013_1_73
Попередній перегляд:   Завантажити - 475.148 Kb    Зміст випуску     Цитування
6.

Хаханов В. И. 
Кубитные структуры данных вычислительных устройств [Електронний ресурс] / В. И. Хаханов, Б. А. Авни Аббас, Е. И. Литвинова, А. С. Шкиль // Электронное моделирование. - 2015. - Т. 37, № 1. - С. 49-76. - Режим доступу: http://nbuv.gov.ua/UJRN/elmo_2015_37_1_6
Разработаны кубитные модели и методы повышения быстродействия программных и аппаратных средств анализа цифровых устройств при увеличении размерности структур данных и памяти. Введены основные понятия, термины и определения, необходимые для имплементации квантовых вычислений в практику анализа виртуальных компьютеров. Приведены результаты исследований в области проектирования и моделирования компьютерных систем в киберпространстве с использованием двухкомпонентного автомата <<память, транзакции>>.
Попередній перегляд:   Завантажити - 254.022 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Шкиль А. С. 
Поиск ошибок проектирования в поведенческих hdl-моделях методом обратного прослеживания [Електронний ресурс] / А. С. Шкиль // Радиоэлектроника и информатика. - 2015. - № 2. - С. 19-25. - Режим доступу: http://nbuv.gov.ua/UJRN/reii_2015_2_7
Попередній перегляд:   Завантажити - 359.035 Kb    Зміст випуску     Цитування
8.

Шкиль А. С. 
Структурное и функциональное диагностирование HDL-моделей цифровых устройств в САПР РЭА [Електронний ресурс] / А. С. Шкиль, Е. Е. Сыревич, С. Альмадхоун, Г. П. Фастовец // Інформаційно-керуючі системи на залізничному транспорті. - 2013. - № 2. - С. 75-82. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2013_2_16
Попередній перегляд:   Завантажити - 250.942 Kb    Зміст випуску     Цитування
9.

Мирошник М. А. 
Аппаратная реализация временных конечных автоматов [Електронний ресурс] / М. А. Мирошник, А. С. Шкиль, Э. Н. Кулак, И. В. Филиппенко, Д. Е. Рахлис, Ю. В. Пахомов // Інформаційно-керуючі системи на залізничному транспорті. - 2020. - № 3(дод.). - С. 9-12. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2020_3(dod
Попередній перегляд:   Завантажити - 189.859 Kb    Зміст випуску     Цитування
10.

Мирошник М. А. 
Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов [Електронний ресурс] / М. А. Мирошник, А. С. Шкиль, Д. Е. Рахлис, Э. Н. Кулак, Ю. В. Пахомов // Інформаційно-керуючі системи на залізничному транспорті. - 2019. - № 4(дод.). - С. 15-17. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2019_4(dod
Попередній перегляд:   Завантажити - 171.495 Kb    Зміст випуску     Цитування
11.

Мирошник М. А. 
Автоматизация проектирования тестопригодных цифровых автоматов без использования синхронизирующих последовательностей [Електронний ресурс] / М. А. Мирошник, А. С. Шкиль, Э. Н. Кулак, Ю. В. Пахомов // Інформаційно-керуючі системи на залізничному транспорті. - 2017. - № 4(дод.). - С. 95. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2017_4(dod
Попередній перегляд:   Завантажити - 140.262 Kb    Зміст випуску     Цитування
12.

Шкиль А. С. 
Диагностирование HDL-моделей конечных автоматов по графу переходов [Електронний ресурс] / А. С. Шкиль, Э. Н. Кулак, А. С. Гребенюк // Інформаційно-керуючі системи на залізничному транспорті. - 2016. - № 4(дод.). - С. 61-62. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2016_4(dod
Попередній перегляд:   Завантажити - 166.759 Kb    Зміст випуску     Цитування
13.

Кривуля Г. Ф. 
Оценка надежности работы оператора в эргатехнической системе [Електронний ресурс] / Г. Ф. Кривуля, А. С. Шкиль, Д. Е. Кучеренко // Інформаційно-керуючі системи на залізничному транспорті. - 2012. - № 4(дод.). - С. 53-54. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2012_4(dod
Попередній перегляд:   Завантажити - 135.513 Kb    Зміст випуску     Цитування
14.

Шкиль А. С. 
Автоматизированные средства формирования учебного контента для дистанционного обучения [Електронний ресурс] / А. С. Шкиль, Д. В. Коротких // Інформаційно-керуючі системи на залізничному транспорті. - 2012. - № 4(дод.). - С. 68-70. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2012_4(dod
Попередній перегляд:   Завантажити - 199.631 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського