> Шифр: inft/2004/3 Журнал 2004г. N 3 . - 1111.34, р. Барков, И. А. Автоматический синтез структурного описания конструкции / И.А. Барков Кл.слова: Компьютеры, Проектирование, Система семантических описаний Бибило, П. Н. Проектирование конечных автоматов в САПР WebPack ISE фирмы Xilinx / П.Н. Бибило. - С.8 - 14 Кл.слова: Компьютеры, Проектирование, Автоматы Мили Савинков, А. Ю. Синхронизация и верификация в имитационном моделировании / А.Ю. Савинков. - С.14 - 20 Кл.слова: Компьютеры, Моделирование, Синхронизация Загидуллин, Р. Р. Имитационная модель формирования расписаний в ГПС / Р.Р. Загидуллин. - С.20 - 24 Кл.слова: Компьютеры, Модель имитационная, Сети Петри Букатов, А. А. Методы реализации трансформационной машины многоцелевой системы трансформаций программ / А.А. Букатов, В.В. Коваль. - С.24 - 30 Кл.слова: Компьютеры, Программы трансформационные, Метод Ершова Беляев, В. К. Абстрактный пользовательский интерфейс в Java Platform, Micro Edition: определение, задачи, принципы работы / В.К. Беляев, С.В. Забелин. - С.30 - 39 Кл.слова: Компьютеры, программирование, Интерфейс Миронов, А. С. Представление и обработка знаний в одном семействе интеллектуальных информационных систем / А.С. Миронов. - С.39 - 45 Кл.слова: Компьютеры, Системы информационные, Обработка знаний Мамедова, М. Г. Применение нечеткой логики в демографическом прогнозе / М.Г. Мамедова, З.Г. Джабраилова. - С.45 - 53 Кл.слова: Компьютер, Технологии информационные, Системы социально-экономические Система мониторинга и анализа социально-экономического положения региона / С.Д. Коровкин, И.Д. Ратманова, Л.В. Щавелев, Левенец И.А., Козырев М.А. - С.53 - 60 Кл.слова: Компьютеры, Технологии информационные, Мониторинг Статистический и нейросетевой методы идентификации и прогнозирования в медицине / Лифшиц В.Б., Булдакова Т.И., Суятинов С.И., Колентьев С.В. . - С.60 - 64 Кл.слова: Компьютер, Технологии информационные, Медицина Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Точ, Д. С. Интегральный подход к анализу функционирования социально-экономических систем на основе сетей Петри [Текст] / Д. С. Точ> // Приборы и системы. Управление, контроль, диагностика. - 2007. - N 7. - С. . 58-62. - Библиогр.: с. 62 (5 назв. ). - Ил.: 4 рис.
Рубрики: Экономика--Управление экономикой. Менеджмент Кл.слова (ненормированные): экономика -- экономические системы -- сети Петри -- Петри сети -- матричные управления Аннотация: Статья посвящена развитию формального аппарата сетей Петри: совместному использованию методов дерева достижимости и матричных уравнений. Имеются экземпляры в отделах: всего 1 : з.п. (1) Свободны: з.п. (1) |
Юдицкий, С. А. Моделирования динамики развития конфигураций организационных систем на основе сетей Петри и графов приращений [Текст] / С. А. Юдицкий, И. А. Мурадян, Л. В. Желтова ; ст. представлена к публ. В. В. Кульбой> // Проблемы управления. - 2007. - N 6. - С. 26-34 : Ил., 6 рис.; 4 табл. - Библиогр.: с. 34 (7 табл.) . - ISSN 1819-3161
Рубрики: Математика Исследование операций Кл.слова (ненормированные): организационные системы -- ОС -- конфигурации организационных систем -- динамические модели конфигурации ОС -- элементы динамических моделей -- операционные сети -- сети Петри -- Петри сети -- графы приращений -- функции -- индикаторные логические функции Аннотация: Предложена методология анализа путей развития сложных организационных систем, отражающая комплекс различных аспектов функционирования моделируемой системы. исследована динамика целеполагания (целевая структура), взаимовлияния факторов - показателей деятельности системы (оценочная структура), а также связи между ними. Для анализа применения формальный аппарат, базирующийся на сетях Петри и графах приращений. Доп.точки доступа: Мурадян, И. А.; Желтова, Л. В.; Кульба, В. В. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Юдицкий, С. А. Операционно-целевое моделирование динамики развития организационных систем средствами сетей Петри [Текст] / С. А. Юдицкий> // Автоматика и телемеханика. - 2008. - N 1. - С. 114-123 : ил. - Библиогр.: с. 122-123 (10 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): организационные системы -- операционно-целевое моделирование -- моделирование динамики -- сети Петри -- трансформирование конфигураций -- Петри сети Аннотация: Обсуждается операционно-целевая модель конфигураций организационной системы, соответствующих стабильным периодам ее развития. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Ефремов, В. С. (д-р экон. наук, проф.). Траснациональные бизнес-системы [Текст] / В. С. Ефремов> // Менеджмент в России и за рубежом. - 2008. - N 1. - С. 3-17 : рис., расч., схемы. - Библиогр.: с. 17 (8 назв. )
Рубрики: Экономика Внутрифирменное управление. Менеджмент Кл.слова (ненормированные): модели бизнес-систем -- бизнес-системы -- стоимостная цепочка -- конкурентное преимущество -- стоимостные сети -- модель цепочки стоимости -- стоимостные кластеры -- бизнес-кластеры -- транснациональные компании -- сети Петри -- Петри сети -- транснациональные бизнес-кластеры Аннотация: В статье автор рассматривает системный подход к изучению всех видов деятельности, осуществляемых фирмой, а также того, как эти виды деятельности взаимодействуют между собой. Вводит понятие стоимостной цепочки как инструмента, для анализа источников конкурентного преимущества. Имеются экземпляры в отделах: всего 1 : эк. (1) Свободны: эк. (1) |
Динамическая модель генетического контроля развития растения на примере Arabidopsis thaliana [Текст] / М. А. Короткова [и др. ]> // Информационные технологии. - 2008. - N 7. - С. 71-75. - Библиогр.: с. 75 (9 назв. )
Рубрики: Вычислительная техника Имитационное компьютерное моделирование Кл.слова (ненормированные): программные модели -- генетика растений -- Arabidopsis thaliana -- ABCDE-модели -- LABC-модели -- генные сети -- сети Петри -- Петри сети Аннотация: В предлагаемой работе описывается динамическая адаптивная программная модель развития растения на примере цветка Arabidopsis thaliana. Доп.точки доступа: Короткова, М. А. (канд. техн. наук); Рекубратский, В. А.; Коротков, А. Е.; Шульга, О. А. (канд. хим. наук); Скрябин, К. Г. (д-р биолог. наук) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Тарасов, Г. В. Построение системы визуализации параллельных программ на основе сетей Петри [Текст] / Г. В. Тарасов, Д. И. Харитонов> // Информационные технологии. - 2008. - N 7. - С. 35-41. - Библиогр.: с. 41 (6 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): параллельное программное обеспечение -- сети Петри -- отладка параллельных программ -- архитектура системы визуализации программ -- визуализация компьютерных программ -- Петри сети Аннотация: В работе рассмотрены принципы построения системы визуализации параллельных программ с использованием теории сетей Петри. Доп.точки доступа: Харитонов, Д. И. (канд. тех. наук) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Петров, В. А. Длительность поиска в распределенной системе с регулярной структурой в условиях точечной загруженности [Текст] / В. А. Петров, А. Г. Тормасов> // Информационные технологии. - 2008. - N 8. - С. 7-14. - Библиогр.: с. 14 (14 назв. ) . - ISSN 1684-6400
Рубрики: Вычислительная техника Распределенные системы обработки данных Кл.слова (ненормированные): сети Петри -- Петри сети -- системы обработки информации -- имитационное моделирование -- загруженность соединений систем -- вероятностные модели (вычислительная техника) Аннотация: Рассмотрено поведение длительности поиска в распределенной системе при повышении загруженности сети вплоть до критических значений. Доп.точки доступа: Тормасов, А. Г. (канд. физ.-мат. наук) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомнящий [и др. ]> // Программирование. - 2008. - N 6. - С. 35-49. . - Библиогр.: с. 48-49 (23 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): моделирование коммуникационных протоколов -- сети Петри -- Петри сети -- программные комплексы -- языки программирования Аннотация: Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV. Доп.точки доступа: Непомнящий, В. А.; Аргиров, В. С.; Белоглазов, Д. М.; Быстров, А. В.; Четвертаков, Е. А.; Чурина, Т. Г. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Ищенко, М. А. Постановка и решение задачи синтеза структуры оптимальных модульных автоматизированных систем по критерию максимума информационной производительности [Текст] / М. А. Ищенко> // Приборы и системы. Управление, контроль, диагностика. - 2009. - N 5. - С. 23-26. . - Библиогр.: с. 26 (3 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): автоматизация -- информационные системы -- информационная производительность -- модульность -- моделирование -- сети Петри -- Петри сети -- синтез Аннотация: Предложены постановка и метод решения задачи синтеза структуры оптимальных модульных автоматизированных информационных систем по критерию максимума информационной производительности. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Гринблат, А. Д. Универсальные конструкции в категории сетей Петри [Текст] / А. Д. Гринблат> // Информатика и системы управления. - 2009. - N 3 (21). - С. 136-149. - Библиогр.: с. 143 (5 назв.). - d, 2008, , 0 . - ISSN 1814-2400
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): сети Петри -- категория -- универсальные конструкции -- пределы -- параллельные вычислительные процессы -- Петри сети Аннотация: Рассматривается новый метод построения конечных пределов и копределов в категории конечных СЕ-сетей Петри. Имеются экземпляры в отделах: всего 5 : н.з. (1), ч.з. (1), эн.ф. (1), аб. (2) Свободны: н.з. (1), ч.з. (1), эн.ф. (1), аб. (2) |
Башкин, В. А. Формализация семантики систем с ненадежными агентами при помощи сетей активных ресурсов [Текст] / В. А. Башкин> // Программирование. - 2010. - N 4. - С. 3-15. - Библиогр.: с. 14 (7 назв. ) . - ISSN 0132-3474
Рубрики: Техника Автоматизация оборудования Кл.слова (ненормированные): сети активных ресурсов -- мультиагентные системы -- сети Петри -- Петри сети -- семантика систем Аннотация: Представлен новый способ моделирования распределенных систем - сети активных ресурсов. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Беккер, В. Управление технологическими процессами как подсистема управления качеством продукции [Текст] / В. Беккер> // Проблемы теории и практики управления. - 2010. - N 10. - С. 78-84. . - Библиогр.: с. 84 (5 назв. )
Рубрики: Экономика Внутрифирменное управление. Менеджмент Кл.слова (ненормированные): менеджмент качества -- системы управления -- качество продукции -- дискретно-непрерывные системы -- технологические системы -- технологические процессы -- системный анализ -- сети Петри -- Петри сети -- управление производством -- управление технологическими процессами Аннотация: Система управления сложными технологическими системами, цели которых могут меняться в процессе функционирования. Особенностью предлагаемого подхода является непрерывно-дискретное представление многоуровневого объекта управления в терминах автоматных моделей "сетей Петри". Имеются экземпляры в отделах: всего 1 : эк. (1) Свободны: эк. (1) |
Синчук, О. Н. Базовые сети Петри и моделирование псевдоаварийных и аварийных ситуаций в тяговых электроприводах промышленных электровозов [Текст] / О. Н. Синчук, И. О. Синчук, В. О. Черная> // Известия вузов. Электромеханика. - 2011. - N 2. - С. 42-46. : 5 рис. - Библиогр.: с. 46 (3 назв. )
Рубрики: Энергетика Электрический привод Кл.слова (ненормированные): IGBT-преобразователи -- анормальные режимы работы -- асинхронные двигатели -- импульсные преобразователи -- переменный ток -- Петри сети -- сети Петри -- тяговые электромеханические комплексы Аннотация: Рассмотрены вопросы моделирования анормальных ситуаций в тяговых электромеханических комплексах переменного тока с IGBT-преобразователями напряжения питания тяговых асинхронных двигателей. Приведены структуры систем защит в виде базовых сетей Петри. Доп.точки доступа: Синчук, И. О.; Черная, В. О. Нет сведений об экземплярах (Источник в БД не найден) |
Морозов, В. В. (доктор технических наук, профессор). Расчет вероятности ошибки технической системы с использованием аппарата сетей Петри [Текст] / В. В. Морозов, А. В. Жданов, М. А. Трефилов> // Мехатроника, автоматизация, управление. - 2011. - N 7 (124). - С. 26-30. : ил. - Библиогр.: с. 30 (3 назв. )
Рубрики: Радиоэлектроника Теория сложных систем Кл.слова (ненормированные): технические системы -- сети Петри -- Петри сети -- математические модели -- ошибки технических систем -- надежность технических систем Аннотация: Рассмотрены вопросы представления технических систем в виде сетей Петри. Предложена математическая модель системы электромеханического привода поступательного перемещения. Проведен расчет вероятности возникновения ошибки в ходе работы системы. Доп.точки доступа: Жданов, А. В. (кандидат технических наук, доцент); Трефилов, М. А. (аспирант) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Сочнев, А. Н. (кандидат технических наук, доцент). Методы сокращения размеров сетевых моделей роботизированных технологических систем [Текст] / А. Н. Сочнев> // Мехатроника, автоматизация, управление. - 2011. - N 7 (124). - С. 31-35. : ил. - Библиогр.: с. 34 (8 назв. )
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): сети Петри -- Петри сети -- матрицы инциденций -- сетевые модели -- сетевое моделирование -- роботизированные технологические системы -- методы сжатия Аннотация: Представлены результаты применения известных методов сжатия для минимизации информации, описывающей структуру сети Петри. Определена эффективность сжатия матриц инциденций сетей Петри различными методами. Рассмотренные методы могут быть применены в любых программных продуктах, использующих аппарат сетей Петри. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Вильвер, П. Ю. (программист). Имитационное моделирование сложных динамических систем с использованием сетей Петри [Текст] / П. Ю. Вильвер, А. В. Протасов> // Мехатроника, автоматизация, управление. - 2011. - N 7 (124). - С. 35-39. : ил. - Библиогр.: с. 39 (4 назв. )
Рубрики: Вычислительная техника Имитационное компьютерное моделирование Кл.слова (ненормированные): имитационное моделирование -- имитационные модели -- сложные динамические системы -- динамические системы -- сети Петри -- Петри сети -- сетевой формализм -- ОPС-серверы Аннотация: Обсуждается разработка имитационной модели на основе расширенного формализма сетей Петри для исследования сложных динамических систем и обеспечения их безопасной эксплуатации. Доп.точки доступа: Протасов, А. В. (кандидат технических наук, научный сотрудник) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Амбарцумян, А. А. Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов [Текст]. I. Механизм взаимодействия и базовый метод / А. А. Амбарцумян> // Автоматика и телемеханика. - 2011. - N 8. - С. 151-169. : ил. - Библиогр.: с. 169 (19 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Математика Вычислительная математика Кл.слова (ненормированные): рассредоточенные объекты -- системы автоматизации -- дискретно-событийное моделирование -- сети Петри -- Петри сети -- синтезированное супервизорное управление -- реальное время -- векторы Париха -- Париха векторы -- конструирование супервизоров -- супервизоры -- супервизорное управление -- спецификация -- инжиниринговые задачи -- правила функционирования -- дискретно-событийные системы -- правила редукции -- функционирование -- редукция -- управляющие сети Аннотация: Излагается методология дискретно-событийного моделирования класса рассредоточенных объектов и их требуемого поведения при проектировании систем автоматизации, работающих в реальном времени. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Амбарцумян, А. А. Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов [Текст]. II. Метод синтеза супервизора по множеству последовательностей общего вида / А. А. Амбарцумян> // Автоматика и телемеханика. - 2011. - N 9. - С. 173-189. . - Библиогр.: с. 189 (6 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): сети Петри -- Петри сети -- супервизорное управление -- дискретно-событийные модели -- методы синтеза -- рассредоточенные объекты -- супервизоры -- матрицы -- множество последовательностей -- синтез супервизоров -- дискретно-событийные системы Аннотация: Предлагается метод синтеза супервизора в составе сети Петри, построенной по структурированной дискретно-событийной модели рассредоточенного объекта. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Живенков, А. И. Моделирование информационной системы адаптивного структурирования образовательного контента на основе нечетких сетей Петри [Текст] / А. И. Живенков, О. Г. Иванова, А. Ю. Громова> // Приборы и системы. Управление, контроль, диагностика. - 2011. - N 6. - С. 16-21. : 6 рис. - Библиогр.: с. 21 (12 назв. )
Рубрики: Вычислительная техника Вычислительные сети Кл.слова (ненормированные): информационные системы -- сети Петри -- Петри сети -- нечеткая логика -- адаптивное структурирование -- информационные ресурсы -- моделирование -- обучение Аннотация: В статье рассмотрен подход адаптивного формирования набора информационных ресурсов образовательного назначения на основе использования аппарата нечетких сетей Петри. Доп.точки доступа: Иванова, О. Г.; Громова, А. Ю. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |