Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Пошуковий запит: (<.>I=Ж24450/2012/6<.>) |
Загальна кількість знайдених документів : 1
|
| Радіоелектронні і комп’ютерні системи : наук.-техн. журн..- Харків Radioelektronni i komp'uterni sistemi- Титул.
- Зміст.
Гарантоздатніcть та системи і комунікації високої готовності
- Фурсенко А. В. Параметрическое управление дисциплиной стохастической коммутации каналов мультисервисной системы для повышения качества обслуживания. - C. 11–14.
Стійкі Grid-, Web- і Cloud-системи
- Жуков И. А., Искренко Ю. Ю., Лукашенко В. В. Оптимизация спектральной эффективности при работе с беспроводными широполосными сетями. - C. 15–19.
- Ефимов С. Н., Тынченко В. В., Тынченко В. С. Оценка надежности Грид-систем. - C. 20–22.
- Цуканов А. В., Шевченко В. И. Динамическое размещение таблиц данных при информационном обслуживании в критических системах. - C. 23–27.
Інформаційна безпека та безпечний комп’ютинг
- Клятченко Я. М., Тарасенко В. П., Тесленко О. К. Аналіз паралелізму в алгоритмах ієрархічного адаптивного порівняння інформаційних об’єктів. - C. 28–32.
Надійність апаратних засобів та систем на програмованих кристалах
- Тюрин С. Ф., Набатов А. В. ДНФ-конфигурируемый логический блок ПЛИС с использованием функционально – полных толерантных элементов. - C. 33–37.
- Seyed M. M., Feceniuk A. P., Romankevich V. A. The probability of multiprocessor system falling into dangerous state estimation. - C. 38–41.
- Туркин И. Б., Никитина Т. С. Экспериментальное исследование методов планирования вычислений в системах реального времени на основе многоядерных процессоров. - C. 42–46.
- Хаханов В. И., Abbas M. A., Литвинова Е. И., Гузь О. А., Хаханова И. В., Abbas B. A. A. Квантовые модели данных и вычислительных процессов. - C. 47–52.
- Андриенко В. А., Рябцев В. Г., Уткина Т. Ю. Архитектура встроенного многоверсионного самотестирования микросхем памяти. - C. 53–57.
- Осотов И. А., Михаль О. Ф. Исследование эффективности локально-параллельных вычислений на многоядерных процессорах. - C. 58–63.
- Толстолужская Е. Г., Артюх Ю. А. Синтез времяпараметризованных моделей управления параллельными вычислительными процессами циклических задач. - C. 64–69.
- Баркалов А. А., Мальчева Р. В., Юнис М. Аппаратурная реализация алгоритма строчной межпиксельной интерполяции. - C. 70–74.
- Столяренко Ю. А. Метод точечных распределений. - C. 75–77.
- Крамарь В. А. Гарантоспособность аэрокосмических систем в условиях упругих колебаний. - C. 78–83.
- Грига В. М. Просторово-часове перетворення алгоритму сортування чисел методом Бетчера. - C. 84–88.
- Арсирий Е. А., Антощук С. Г., Арсирий В. А., Кравченко В. И. Интеллектуальный анализ при комплексном моделировании для повышения надежности работы энергетического оборудования. - C. 89–94.
- Zaitseva E., Levashenko V., Kostolny J., Kharchenko V. Multi-valued decision diagram in importance analysis. - C. 95–102.
Діагностика та відмовостійкість
- Дмитриева О. А. Параллельное моделирование динамических объектов с автоматическим выбором шага на основе экстраполяционных методов. - C. 103–108.
- Азарян А. В. Гарантированное управление технологическим процессом обогащения руды на основе Fuzzy-системы. - C. 109–113.
- Кондратенко Ю. П., Коробко О. В. Програмно-апаратні засоби для непрямого визначення і контролю параметрів електроакустичних сигналів на основі двоточкового методу. - C. 114–118.
- Долгов А. Ю. Повышение точности оценок параметров контрольной выборки малого объема. - C. 119–123.
- Хмелевой С. В. Использование GPU для расчетов скоростей газо-жидкостных сред с помощью метода PIV. - C. 124–129.
- Твердохлебов В. А. Бинарные отношения в диагностировании сложных человеко-машинных систем. - C. 130–134.
- Иванов Ю. А. Алгоритм оптимизации цикла реального времени при моделировании динамических систем. - C. 135–138.
- Бородавка Н. П., Остроумов Б. В., Сидоренко Н. Ф., Тарасенко В. В., Харченко В. С., Яценко C. Я. Распределенная архитектура как средство повышения надежности и живучести бортовых информационно-управляющих систем. - C. 139–147.
- Савков А. А., Савков С. А., Мороз В. В. Идентификация подлинности на основе анализа информации в quite zone 2D баркодов. - C. 148–152.
- Скобцов Ю. А., Скобцов В. Ю., Нассер И. К. М. Генерация проверяющих тестов для индуцированных задержек. - C. 153–157.
Формальні методи та Case технології верифікації
- Шамов С. О. Застосування контролю якості описів процесів діяльності до вихідних документів реінжинірингового проекту. - C. 158–163.
- Кузнецова Ю. А. Метод визуализации управляющих алгоритмов реального времени. - C. 164–170.
- Чухрай А. Г., Вагин Е. С., Шевчук Т. И. Модели представления знаний в интеллектуальных компьютерных программах, обучающих схемотехническим решениям. - C. 171–177.
- Нестеренко С. А., Тишин П. М., Маковецкий А. С. Разработка формализованного языка диагностики состояний на основе дескрипционной логики. - C. 178–183.
Безпека критичних інфраструктур
- Дрозд А. В., Харченко В. С., Антощук С. Г., Дрозд М. А., Сулима Ю. Ю. Оценка контролепригодности цифровых компонентов встроенных систем критического применения. - C. 184–190.
- Tagarev T. D., Georgiev V. A., Ratchev V. R. A taxonomy of essential services. - C. 191–196.
- Кочкарь Д. А., Порубянский А. В., Орехов А. А. Проектирование инфраструктуры наземной системы мониторинга лесных пожаров. - C. 197–201.
- Лаврут О. О. Динамічний метод управління потоками інформації у фрагменті мобільного компоненту перспективної системи зв’язку в критичних умовах. - C. 202–207.
- Davies J. N., Comerford P., Grout V., Rvachova N., Korkh O. Optimization principles for eliminating access control lists within a domain. - C. 208–213.
- Скатков А. В., Воронин Д. Ю. Управление критическими инфраструктурами на основе процедур комплементарной диспетчеризации. - C. 214–218.
- Бакаев О. В. Методы и модели мониторинга геодинамических процессов в углепородном массиве угольных шахт. - C. 219–223.
- Федосеева А. А. Модель производства лекарственных препаратов с использованием теоретико-множественного описания и временных сетей Петри. - C. 224–228.
Надійність та еволюційність програмних систем
- Маевский Д. А., Маевская Е. Д. Экспериментальный анализ точности моделей надежности программного обеспечения. - C. 229–233.
- Еленевич М. А., Лучшев П. А. Результаты экспериментального исследования производительности СУБД ACCESS в задачах обработки телеметрической информации космических аппаратов. - C. 234–239.
- Пригожев А. С. Использование ресурсных сетей для тестирования программного обеспечения. - C. 240–245.
- Поморова О. В., Іванчишин Д. О. Порівняльний аналіз ефективності використання статичних аналізаторів С++ вихідного коду. - C. 246–251.
- Biscoglio I., Fusani M., Gnesi S. Can safety be obtained through good practices for requirement writing?. - C. 252–257.
Технології Ada та багатоверсійний комп’ютинг
- Киркорова Л. С., Киркоров С. И. Улучшение локальности композиции параллельных алгоритмов языка Ada. - C. 258–264.
Функціональна безпека інформаційно-керуючих систем
- Мащенко Е. Н., Смагина А. О. Исследование гарантоспособности человеко-машинной системы неоднородного состава на основе полумарковской модели. - C. 265–270.
- Скатков А. В., Маловик К. Н., Луговская Л. П., Ловягин В. С. Анализ мощности непараметрических критериев при оценивании состояния объектов критического применения. - C. 271–275.
- Рувинская В. М., Тройнина А. С. Методика построения экспертных систем для мониторинга. - C. 276–280.
- Похил В. С., Харыбин А. В. Методы анализа, оценивания и обеспечения функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов на основе функционально-архитектурного моделирования. - C. 281–285.
- Алфавітний покажчик. - C. 286-287.
| 2012 | | № 6 (58)
|
|
|
|