Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей
Формализован процесс приоритетного обслуживания мультимедийного трафика базовыми интеллектуальными узлами коммутации интеллектуальных сетей. Предложена методология введения математических моделей количественного анализа в процесс спецификации и описания требований к протоколам базовых интеллектуальн...
Saved in:
| Date: | 2005 |
|---|---|
| Main Author: | Биляк, В.И. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2005
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1376 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей/ В.И. Биляк // Проблеми програмування. — 2005. — N 4.— С. 73-83. — Бібліогр.: 15 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
by: Ластовченко, М.М., et al.
Published: (2006)
by: Ластовченко, М.М., et al.
Published: (2006)
Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
by: Ластовченко, М.М., et al.
Published: (2004)
by: Ластовченко, М.М., et al.
Published: (2004)
Трансформационный поход к разработке интеллектуальных агентов на основе нечетких моделей
by: Парасюк, И.Н., et al.
Published: (2011)
by: Парасюк, И.Н., et al.
Published: (2011)
Методология анализа и синтеза реконфигурируемых топологий мобильных сетей связи
by: Горбунов, И.Э.
Published: (2006)
by: Горбунов, И.Э.
Published: (2006)
Математические модели интеллектуальных сетей для электроэнергетических систем
by: Кравцов, Г.А.
Published: (2013)
by: Кравцов, Г.А.
Published: (2013)
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
by: Визовитин, Н.В., et al.
Published: (2015)
by: Визовитин, Н.В., et al.
Published: (2015)
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
by: Чеботарев, А.Н.
Published: (2013)
by: Чеботарев, А.Н.
Published: (2013)
О некоторых особенностях организации беспроводных сетей интеллектуальных видеокамер
by: Головин, А.Н.
Published: (2013)
by: Головин, А.Н.
Published: (2013)
О применении интеллектуальных технологий в мониторинге компьютерных сетей
by: Шыхалиев, Р.Г.
Published: (2011)
by: Шыхалиев, Р.Г.
Published: (2011)
Линейные целочисленные модели распределения потоков в задачах проектирования и анализа многопродуктовых коммуникационных сетей
by: Васянин, В.А., et al.
Published: (2013)
by: Васянин, В.А., et al.
Published: (2013)
Об одном классе базовых протоколов
by: Летичевский, А.А.
Published: (2005)
by: Летичевский, А.А.
Published: (2005)
Метод количественного выделения систем линеаментов
by: Ходоровский, А.Я., et al.
Published: (2013)
by: Ходоровский, А.Я., et al.
Published: (2013)
Исследование влияния разбиения выборки данных на точность моделирования по алгоритмам МГУА
by: Кондрашова, Н.В.
Published: (2008)
by: Кондрашова, Н.В.
Published: (2008)
Преобразование программ из исходного представления в целевое представление на основе описаний проекций языка исходного представления на язык целевого представления
by: Князева, М.А., et al.
Published: (2008)
by: Князева, М.А., et al.
Published: (2008)
Математические аспекты проектирования интеллектуальных коммутационных систем передачи мультимедийных трафиков
by: Ластовченко, М.М., et al.
Published: (2004)
by: Ластовченко, М.М., et al.
Published: (2004)
Живучесть интеллектуальных систем управления, созданных на базе рецепторно-эффекторных нейроподобных растущих сетей
by: Ященко, В.А.
Published: (2012)
by: Ященко, В.А.
Published: (2012)
Разработка системной оптимизации протоколов криоконсервирования клеточных суспензий
by: Хофманн, Н., et al.
Published: (2011)
by: Хофманн, Н., et al.
Published: (2011)
Применение метода количественного анализа рисков невыполнения календарного плана развития горных работ
by: Селезнева, Ю.М.
Published: (2013)
by: Селезнева, Ю.М.
Published: (2013)
Формальные методы анализа дискретных систем с использованием языка спецификаций
by: Крывый, С.Л., et al.
Published: (2009)
by: Крывый, С.Л., et al.
Published: (2009)
О нелинейном описании упругой волны Лява
by: Рущицкий, Я.Я.
Published: (2013)
by: Рущицкий, Я.Я.
Published: (2013)
Об описании некоторых абсолютно представляющих систем
by: Винницкий, Б.В.
Published: (1986)
by: Винницкий, Б.В.
Published: (1986)
О тестировании спецификации моделей PANEL-данных
by: Некрылова, З.В., et al.
Published: (2011)
by: Некрылова, З.В., et al.
Published: (2011)
Математические модели и методы организации интеллектуальных компьютерных сетей управления электроснабжением и оптимизацией электропотребления железных дорог
by: Стасюк, А.И., et al.
Published: (2018)
by: Стасюк, А.И., et al.
Published: (2018)
Об описании торможения тела в потоке среды
by: Самсонов, В.А., et al.
Published: (2005)
by: Самсонов, В.А., et al.
Published: (2005)
Особенности портретных описаний в различных типах повествования
by: Насалевич, Т.В.
Published: (2002)
by: Насалевич, Т.В.
Published: (2002)
Модели комплексированных мер подобия структурных описаний изображений
by: Гороховатский, В.А., et al.
Published: (2011)
by: Гороховатский, В.А., et al.
Published: (2011)
Принцип золотого сечения в контексте количественного оценивания здоровья. Нормо-индекс
by: Белов, В.М., et al.
Published: (2016)
by: Белов, В.М., et al.
Published: (2016)
К методике количественного учета микрофитобентоса малых рек Дальнего Востока России
by: Баринова, С.С., et al.
Published: (2004)
by: Баринова, С.С., et al.
Published: (2004)
Применение МГУА для количественного и качественного прогноза изменения состояния больного
by: Савченко, Е.А.
Published: (2013)
by: Савченко, Е.А.
Published: (2013)
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Нечеткие спецификации логического вывода в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Быстродействие интеллектуальных систем
by: Анцыферов, С.С., et al.
Published: (2013)
by: Анцыферов, С.С., et al.
Published: (2013)
Метрология интеллектуальных систем
by: Анцыферов, С.С.
Published: (2008)
by: Анцыферов, С.С.
Published: (2008)
Определение параметров экспоненциальной функции при описании кривой усталости
by: Шульгинов, Б.С.
Published: (2008)
by: Шульгинов, Б.С.
Published: (2008)
Об описании электрических эффектов в двухжидкостной модели сверхтекучести
by: Косевич, А.М.
Published: (2005)
by: Косевич, А.М.
Published: (2005)
Использование методов Фурье-оптики для количественного анализа эволюции структурного состояния металлов в условиях циклического нагружения
by: Яковлева, Т.Ю.
Published: (2000)
by: Яковлева, Т.Ю.
Published: (2000)
Язык – составная часть культуры
by: Поволяева, А.Н.
Published: (2003)
by: Поволяева, А.Н.
Published: (2003)
Систематическая оптимизация параметров при разработке протоколов криоконсервирования суспензий мезенхимальных стволовых клеток
by: Погожих, Д., et al.
Published: (2012)
by: Погожих, Д., et al.
Published: (2012)
Экспериментальная реализация стека сетевых протоколов E6 в ядре ОС Linux
by: Гуляев, К.Д., et al.
Published: (2009)
by: Гуляев, К.Д., et al.
Published: (2009)
Использование онтологий для анализа семантики естественно-языковых текстов
by: Лесько, О.Н., et al.
Published: (2009)
by: Лесько, О.Н., et al.
Published: (2009)
Similar Items
-
Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
by: Ластовченко, М.М., et al.
Published: (2006) -
Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
by: Ластовченко, М.М., et al.
Published: (2004) -
Трансформационный поход к разработке интеллектуальных агентов на основе нечетких моделей
by: Парасюк, И.Н., et al.
Published: (2011) -
Методология анализа и синтеза реконфигурируемых топологий мобильных сетей связи
by: Горбунов, И.Э.
Published: (2006) -
Математические модели интеллектуальных сетей для электроэнергетических систем
by: Кравцов, Г.А.
Published: (2013)