Поисковый запрос: (<.>K=Петри сети<.>) |
Общее количество найденных документов : 39
Показаны документы с 1 по 10 |
|
1. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Точ Д. С.
Заглавие : Интегральный подход к анализу функционирования социально-экономических систем на основе сетей Петри
Серия: Экономика и управление
Место публикации : Приборы и системы. Управление, контроль, диагностика. - 2007. - N 7. - С. 58-62 (Шифр ukod/2007/7) Примечания : Библиогр.: с. 62 (5 назв. ). - Ил.: 4 рис.
ISSN: 0032-8154
ГРНТИ : 06. 75 УДК : 338.24 ББК : 65.050 Предметные рубрики: Экономика-- Управление экономикой. Менеджмент Аннотация: Статья посвящена развитию формального аппарата сетей Петри: совместному использованию методов дерева достижимости и матричных уравнений.
Экземпляры :з.п.(1) Свободны : з.п.(1) Найти похожие
|
2. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Юдицкий С. А., Мурадян И. А., Желтова Л. В.
Заглавие : Моделирования динамики развития конфигураций организационных систем на основе сетей Петри и графов приращений
Серия: Управление в социально-экономических системах
Место публикации : Проблемы управления. - 2007. - N 6. - С.26-34: Ил., 6 рис.; 4 табл. - ISSN 1819-3161 (Шифр pupr/2007/6). - ISSN 1819-3161 Примечания : Библиогр.: с. 34 (7 табл.)
УДК : 519.8 ББК : 22.18 Предметные рубрики: Математика Исследование операций Аннотация: Предложена методология анализа путей развития сложных организационных систем, отражающая комплекс различных аспектов функционирования моделируемой системы. исследована динамика целеполагания (целевая структура), взаимовлияния факторов - показателей деятельности системы (оценочная структура), а также связи между ними. Для анализа применения формальный аппарат, базирующийся на сетях Петри и графах приращений.
Найти похожие
|
3. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Юдицкий С. А.
Заглавие : Операционно-целевое моделирование динамики развития организационных систем средствами сетей Петри
Серия: Управление в социально-экономических системах
Место публикации : Автоматика и телемеханика. - 2008. - N 1. - С. С. 114-123: ил. (Шифр avte/2008/1) Примечания : Библиогр.: с. 122-123 (10 назв. )
УДК : 621.398 ББК : 32.96 Предметные рубрики: Радиоэлектроника Автоматика и телемеханика Аннотация: Обсуждается операционно-целевая модель конфигураций организационной системы, соответствующих стабильным периодам ее развития.
Найти похожие
|
4. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Ефремов В. С. (д-р экон. наук, проф.)
Заглавие : Траснациональные бизнес-системы
Серия: Теория менеджмента
Место публикации : Менеджмент в России и за рубежом. - 2008. - N 1. - С. С. 3-17: рис., расч., схемы (Шифр menr/2008/1) Примечания : Библиогр.: с. 17 (8 назв. )
УДК : 338.24 ББК : 65.291.2 Предметные рубрики: Экономика Внутрифирменное управление. Менеджмент Аннотация: В статье автор рассматривает системный подход к изучению всех видов деятельности, осуществляемых фирмой, а также того, как эти виды деятельности взаимодействуют между собой. Вводит понятие стоимостной цепочки как инструмента, для анализа источников конкурентного преимущества.
Найти похожие
|
5. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Короткова М. А., Рекубратский В. А., Коротков А. Е., Шульга О. А., Скрябин К. Г.
Заглавие : Динамическая модель генетического контроля развития растения на примере Arabidopsis thaliana
Серия: Информационные технологии в биологии и медицине
Место публикации : Информационные технологии. - 2008. - N 7. - С. С. 71-75 (Шифр inft/2008/7) Примечания : Библиогр.: с. 75 (9 назв. )
УДК : 004.94 ББК : 32.973-018.2 Предметные рубрики: Вычислительная техника Имитационное компьютерное моделирование Ключевые слова (''Своб.индексиров.''): программные модели--генетика растений--arabidopsis thaliana--abcde-модели--labc-модели--генные сети--сети петри--петри сети Аннотация: В предлагаемой работе описывается динамическая адаптивная программная модель развития растения на примере цветка Arabidopsis thaliana.
Найти похожие
|
6. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Тарасов Г. В., Харитонов Д. И.
Заглавие : Построение системы визуализации параллельных программ на основе сетей Петри
Серия: Программная инженерия
Место публикации : Информационные технологии. - 2008. - N 7. - С. С. 35-41 (Шифр inft/2008/7) Примечания : Библиогр.: с. 41 (6 назв. )
УДК : 004.41/.42 ББК : 32.973-018 Предметные рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): параллельное программное обеспечение--сети петри--отладка параллельных программ--архитектура системы визуализации программ--визуализация компьютерных программ--петри сети Аннотация: В работе рассмотрены принципы построения системы визуализации параллельных программ с использованием теории сетей Петри.
Найти похожие
|
7. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Петров В. А., Тормасов А. Г.
Заглавие : Длительность поиска в распределенной системе с регулярной структурой в условиях точечной загруженности
Серия: Сети и системы связи
Место публикации : Информационные технологии. - 2008. - N 8. - С.7-14. - ISSN 1684-6400 (Шифр inft/2008/8). - ISSN 1684-6400 Примечания : Библиогр.: с. 14 (14 назв. )
УДК : 004.75 ББК : 32.973.202 Предметные рубрики: Вычислительная техника Распределенные системы обработки данных Ключевые слова (''Своб.индексиров.''): сети петри--петри сети--системы обработки информации--имитационное моделирование--загруженность соединений систем--вероятностные модели (вычислительная техника) Аннотация: Рассмотрено поведение длительности поиска в распределенной системе при повышении загруженности сети вплоть до критических значений.
Найти похожие
|
8. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Непомнящий В. А., Аргиров В. С., Белоглазов Д. М., Быстров А. В., Четвертаков Е. А., Чурина Т. Г.
Заглавие : Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня
Серия: Тестирование, верификация и валидация программ
Место публикации : Программирование. - 2008. - N 6. - С. 35-49 (Шифр prog/2008/6) Примечания : Библиогр.: с. 48-49 (23 назв. )
УДК : 004.41/.42 ББК : 32.973-018 Предметные рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): моделирование коммуникационных протоколов--сети петри--петри сети--программные комплексы--языки программирования Аннотация: Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV.
Найти похожие
|
9. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Ищенко М. А.
Заглавие : Постановка и решение задачи синтеза структуры оптимальных модульных автоматизированных систем по критерию максимума информационной производительности
Серия: Приборы и средства автоматизации
Место публикации : Приборы и системы. Управление, контроль, диагностика. - 2009. - N 5. - С. 23-26 (Шифр ukod/2009/5) Примечания : Библиогр.: с. 26 (3 назв. )
ГРНТИ : 50.43 УДК : 621.398 ББК : 32.96 Предметные рубрики: Радиоэлектроника Автоматика и телемеханика Аннотация: Предложены постановка и метод решения задачи синтеза структуры оптимальных модульных автоматизированных информационных систем по критерию максимума информационной производительности.
Найти похожие
|
10. ![](/irbis64r_11/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Гринблат А. Д.
Заглавие : Универсальные конструкции в категории сетей Петри
Серия: Заметки
Место публикации : Информатика и системы управления. - 2009. - N 3 (21). - С. 136-149. - ISSN 1814-2400 (Шифр insu/2009/3). - ISSN 1814-2400 Примечания : Библиогр.: с. 143 (5 назв.). - d, 2008, , 0
УДК : 519.6 ББК : 22.19 Предметные рубрики: Математика Вычислительная математика Географич. рубрики: Ключевые слова (''Своб.индексиров.''): сети петри--категория--универсальные конструкции--пределы--параллельные вычислительные процессы--петри сети Аннотация: Рассматривается новый метод построения конечных пределов и копределов в категории конечных СЕ-сетей Петри.
Найти похожие
|
|
|