П. Г. Демидова
Факультет информатики и вычислительной техники
Научная конференция
студентов и аспирантов
факультета ИВТ 2006 года
-%
. Тезисы докладов
ГБИБЛИОТЕКА Spry
g основнои ФОНД;
Ярославль 2006 Ёанд редкой “и”
улкщощ)
БЕК
Н 34
B l 1143
Н 34
Рекомендовано
Pedal“; испшоииздатшшским com:er университета
(f качестве научного издания. <...> План 2006 года
Научная конференция студентов и аспирантов факультета ИВТ 2006 года: тезисы докладов l отв. ред. <...> Соколон
(0 Ярославский государственный упиверсш er, 2006
Стратегии ОПТИМИЗЗЦИИ finsrlec-npoueccon
B одном классе “ГР-сетей
с помощью инструмента EXSPECT <...> Для SRCW " 5 (Р ‚ Pr, T, Fqufi, И)" ЫН’", Pr, W), которая
вызывает стохастический процесс SP = {X71}, случайную переметъ
_' _ НЁЕШа” 7 Т” *— j
ную И/Пз‘т для тобою временного перехода I ё 7‘, определено
время ожиданщ перехода : Пусть E1’WT(I)k) янлис‘шя матемагичоским ожиданием W7‘(r)k. <...> Пусть FF : Те- Е‘: - это функция, которая
сопоставляет каждому временному переходу некоторый штраф за
ОЖНДННИС выполнения задачи В СВЯЗИ С ЗННЯТОСТЬЮ ресурсов. <...> Наша цель — минимизировать функцию
F : Z Ыи'тпд) Pm)
1 (Т Н P1104)
Пореопределим приоритеты для ncex мгновенных переходов:
для всех I, для которых Pm) ш 1, новые значения равны Pr(r) = n+1, где n - количество временных переходов в системе. <...> Потом сопоставим для всех временных переходов приоритеты от 1 до п соотпетствеино значению функции штрафа: наибольший приоритет
Имеет переход с наибольшим рангом, то с наибольшим виачен ием
функции штрафа. <...> Симуляция и анализ моделей с помощью ПО ExSpect
lth peat (www .exspechom) предназначен для мопслировш
ния и спецификации
логических процессов
на базе теории остей
ПШ‘рн, Рассмотрим
практическую реалисшциао модели на
примере мололи npn» ‹
„веса ОБРАБОТКИ Построенная модель
ЗАЯВКИ (интерфейс ПО ЕхЗрсст)
4 Научит конференция ищ’дунтпп и аспирантов фсщультгтц <...>