Зображення обкладинки

Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей

Формализован процесс приоритетного обслуживания мультимедийного трафика базовыми интеллектуальными узлами коммутации интеллектуальных сетей. Предложена методология введения математических моделей количественного анализа в процесс спецификации и описания требований к протоколам базовых интеллектуальн...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2005
Автор:	Биляк, В.И.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2005
Теми:	Інтелектуальні мережі
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1376
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей/ В.И. Биляк // Проблеми програмування. — 2005. — N 4.— С. 73-83. — Бібліогр.: 15 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)

Проблемы создания инструментально-технологических систем проектирования аппаратно-программных средств интеллектуальных сетей
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2004)

Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2004)

Трансформационный поход к разработке интеллектуальных агентов на основе нечетких моделей
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2011)

Методология анализа и синтеза реконфигурируемых топологий мобильных сетей связи
за авторством: Горбунов, И.Э.
Опубліковано: (2006)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

Математические модели интеллектуальных сетей для электроэнергетических систем
за авторством: Кравцов, Г.А.
Опубліковано: (2013)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

О некоторых особенностях организации беспроводных сетей интеллектуальных видеокамер
за авторством: Головин, А.Н.
Опубліковано: (2013)

О применении интеллектуальных технологий в мониторинге компьютерных сетей
за авторством: Шыхалиев, Р.Г.
Опубліковано: (2011)

Линейные целочисленные модели распределения потоков в задачах проектирования и анализа многопродуктовых коммуникационных сетей
за авторством: Васянин, В.А., та інші
Опубліковано: (2013)

Интеллектуальные агентно-ориентированные услуги, базирующиеся на платформах интеллектуальных сетей
за авторством: Гладун, А.Я., та інші
Опубліковано: (2004)

Системный анализ эффективности функционирования широкополосной транспортной платформы интеллектуальных сетей
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)

Об одном классе базовых протоколов
за авторством: Летичевский, А.А.
Опубліковано: (2005)

Метод количественного выделения систем линеаментов
за авторством: Ходоровский, А.Я., та інші
Опубліковано: (2013)

Исследование влияния разбиения выборки данных на точность моделирования по алгоритмам МГУА
за авторством: Кондрашова, Н.В.
Опубліковано: (2008)

Преобразование программ из исходного представления в целевое представление на основе описаний проекций языка исходного представления на язык целевого представления
за авторством: Князева, М.А., та інші
Опубліковано: (2008)

Исследование взаимосвязи типов очистного оборудования по алгоритмам оптимизации на сетях и графах
за авторством: Гринев, В.Г., та інші
Опубліковано: (2013)

Математические аспекты проектирования интеллектуальных коммутационных систем передачи мультимедийных трафиков
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2004)

Разработка системной оптимизации протоколов криоконсервирования клеточных суспензий
за авторством: Хофманн, Н., та інші
Опубліковано: (2011)

Живучесть интеллектуальных систем управления, созданных на базе рецепторно-эффекторных нейроподобных растущих сетей
за авторством: Ященко, В.А.
Опубліковано: (2012)

Методика количественного стереологического анализа взаимного расположения частиц в спеченных материалах
за авторством: Пашинский, В.В.
Опубліковано: (2008)

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

К методике количественного учета жужелиц (Coleoptera, Carabidae)
за авторством: Грюнталь, С.Ю.
Опубліковано: (1981)

О нелинейном описании упругой волны Лява
за авторством: Рущицкий, Я.Я.
Опубліковано: (2013)

Об описании некоторых абсолютно представляющих систем
за авторством: Винницкий, Б.В.
Опубліковано: (1986)

Применение метода количественного анализа рисков невыполнения календарного плана развития горных работ
за авторством: Селезнева, Ю.М.
Опубліковано: (2013)

О тестировании спецификации моделей PANEL-данных
за авторством: Некрылова, З.В., та інші
Опубліковано: (2011)

Об описании торможения тела в потоке среды
за авторством: Самсонов, В.А., та інші
Опубліковано: (2005)

Особенности портретных описаний в различных типах повествования
за авторством: Насалевич, Т.В.
Опубліковано: (2002)

Модели комплексированных мер подобия структурных описаний изображений
за авторством: Гороховатский, В.А., та інші
Опубліковано: (2011)

Продукционная система оптимизации иерархических описаний логических схем
за авторством: Бибило, П.Н., та інші
Опубліковано: (2011)

Инженерия требований и семантический веб
за авторством: Бабенко, Л.П.
Опубліковано: (2016)

Математические модели и методы организации интеллектуальных компьютерных сетей управления электроснабжением и оптимизацией электропотребления железных дорог
за авторством: Стасюк, А.И., та інші
Опубліковано: (2018)

Нечеткие спецификации логического вывода в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Взаимное преобразование спецификаций XML и ASN.1
за авторством: Мелащенко, А.О.
Опубліковано: (2009)

Сравнительный анализ методик количественного определения окалины на поверхности катанки
за авторством: Парусов, В.В., та інші
Опубліковано: (2008)

Использование анализатора протоколов интерфейса АТА для установления доступа к данным
за авторством: Коженевский, С.Р.
Опубліковано: (2009)

Об описании электрических эффектов в двухжидкостной модели сверхтекучести
за авторством: Косевич, А.М.
Опубліковано: (2005)