Кибернетика и системный анализ, 2014, № 4

ЗМІСТ

Титульная страница и содержание

КИБЕРНЕТИКА

Чеботарев А.Н.
Использование согласования логических спецификаций автоматов при решении игровых задач

Крывый С.Л.
Комбинаторный метод решения систем линейных ограничений

Машталир В.П., Шляхов В.В., Яковлев С.В.
Групповые структуры на фактор-множествах в задачах классификации

Минаев Ю.Н., Филимонова О.Ю., Минаева Ю.И.
Кронекеровы (тензорные) модели нечетко-множественных гранул

Лялецкий А.А.
Новые доказательства важных теорем бестипового экстенсионального λ–исчисления

СИСТЕМНЫЙ АНАЛИЗ

Кузнецов Н.Ю., Хомяк О.Н.
Оценка вероятности функционального отказа резервированной системы методом существенной выборки

Гладкий А.В.
Об исследовании алгоритмов расщепления в задачах конвекции–диффузии

Трофимчук А.Н., Васянин В.А.
Методика решения задачи оптимизации упаковок для управления перспективным развитием узлов коммуникационной сети

Булавацкий В.М.
Замкнутая форма решений некоторых краевых задач для уравнения аномальной диффузии с обобщенной производной Хильфера

Акименко В.В., Загородний Ю.В.
Моделирование динамики структурированной по возрасту полициклической популяции биологических клеток на параметризированном множестве алгебраических функций

Литвин О.Н., Першина Ю.И., Сергиенко И.В.
Восстановление разрывных функций двух переменных, когда линии разрыва неизвестны (прямоугольные элементы)

Ковальчук Л.В., Лысенко Н.В., Скрыпник Л.В.
Перемешивающие свойства операций, определенных на множестве N-мерных векторов над простым конечным полем

Емец О.А., Емец Е.М., Ольховский Д.Н.
Метод отсечения вершин графа перестановочного многогранника для решения линейных условных задач оптимизации на перестановках

Колечкина Л.Н., Дверная Е.А., Нагорная А.Н.
Модификация координатного метода решения экстремальных задач на комбинаторных конфигурациях при условии многокритериальности

Кнышов Г.В., Настенко Е.А., Кондрашова Н.В., Носовец Е.К., Павлов В.А.
Комбинаторный алгоритм построения параметрического пространства признаков для классификации многомерных моделей

Березовский О.А.
О задаче упаковки шаров в куб

ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ

Львов M.C.
Метод доказательства инвариантности линейных неравенств для линейных циклов