Выпуск No.1, 2010  (Vol.44)

Л.Д. Черемисинова и Д.Я. Новиков
    Формальная верификация описаний с функциональной неопределенностью
    на основе проверки выполнимости конъюнктивной нормальной формы, стр.5-16.
А.С. Рыбаков
    Реконструкция корректирующей компоненты передаточной функции интерполятора
    при калибровке прецизионного таймера событий, стр.17-31.
М.А. Шнепс-Шнеппе и Я.Я. Седол
    Задачи телетрафика в индустрии контактцентров, стр.32-44.
А.З. Меликов и М.И. Фаттахова
    Моделирование беспроводных сотовых сетей связи с нетерпеливыми вызовами, стр.45-57.
М. Куликовс и Э. Петерсонс
    Оптимальная диспетчеризация потоков принадлежащих одному классу приоритетов, стр.58-64.
Г.А. Рустамов, С.Г. Гардашов и Р.Г. Рустамов
    Стабилизация нелинейных систем на основе метода функции Ляпунова
    с оцениванием нелинейности и возмущения, стр.65-73.
A. Хафайфа, Ф. Лааод  и К. Ларусси
    Нечеткий логический подход, применяемый для обнаружения и изоляции перегрузки
    в центробежном компрессоре, стр.74-83.