![]() |
|
сделать стартовой | добавить в избранное |
![]() |
Имитационная модель системы автоматизированного проектирования абстрактного этапа реализации устройств управления |
на стандартных составляющих Дзугкоева А.А. Кафедра информационных систем в экономике. Северо-Кавказский горно-металлургический институт (государственный технологический университет) Для дискретных систем управления интерпретируемых конечными автоматами предложена система их проектирования в виде параллельно функционирующих стандартных компонентных автоматов. Приведена имитационная модель системы, описано её функционирование. Для реализации системы логического управления (управляющего автомата) совокупностью параллельно функционирующих автоматов из некоторого стандартного набора была создана подсистема автоматизированного проектирования абстрактного этапа. Для оценки эффективности разработанной подсистемы, анализа её характеристик, правильного сопряжения отдельных блоков друг с другом была разработана имитационная модель представленная на рисунке. В процессе моделирования с генератора случайных графов на вход системы поступает граф , так же случайным образом из стандартного набора автоматов поступает графоид автомата . Кроме того, задаётся ограничение на мощность множества состояний в искомом компонентном состоянии. Для получения автомата , такого, что , необходимо отождествить состояния А с парами состояний – первое из В, второе из С. Задача эта решается последовательно в два этапа. Имитационная модель. На первом этапе ищется отождествление (размещение) состояний А по В. С этой целью в соответствующем блоке модели осуществляется взятие декартова произведения графоидов А и В, т.е. находится . Далее выполняется процедура выделения подграфа графа , носитель которого определяет размещение состояний А по В. Размещение выполняется параллельно с выбором вершин принадлежащих с учётом ограничения . Если , то в результате будет найдено эквивалентное расширение носителя – , позволяющее найти размещение по В. Если подграф не существует, то делается вывод, что выделение заданной стандартной компоненты не возможно, на вход системы поступает следующий графоид из банка стандартных автоматов, работа модели начинается с начала. Использованный для размещения состояний автомата по заданной компоненте метод описан в . Размещение состояний А по В является начальным условием для размещения по второй (искомой) компоненте (состояния совместно размещённые в первой компоненте не могут быть совместно размещены во второй компоненте разложения). На втором этапе работы модели для определения размещения по второй компоненте, в зависимости от результата полученного на предыдущем этапе, по графоиду или строится граф сцепления . Сигнатура расширяется введением рёбер, соединяющих вершины, соответствующие состояниям, совместно размещённым в первой компоненте. Выполняется минимальная раскраска , и тем самым определяется хроматическое число графа сцепления . Если , то полученная раскраска соответствует размещению состояний А по С. В противном случае в зависимости от величины превышения над q проектировщик определяет направление дальнейшей работы системы. Если эта величина не значительна, то выполняется сужение сигнатуры , и последующая его раскраска, в противном случае для определения размещения по второй компоненте используется метод, описанный в .
Использование этого метода предполагает нахождение множества , элементами которого являются множества подмножеств состояний автомата, совместное размещение которых не приведёт к неоднозначности переходов в компонентах разложения и определение размещения состояний автомата по компонентам посредством анализа этого множества. В рассматриваемой модели при нахождении множества рассматриваются только те подмножества состояний автомата А, которые не содержат пар состояний совместно размещённых по В. И сужение сигнатуры , и нахождение осуществляется в результате совместной работы каждого из соответствующих блоков с блоком определения ограничений, которые накладывает совместное размещение определённых подмножеств состояний на размещение остальных состояний автомата. Для определения этих ограничении используется граф , полученный из . Если не удаётся найти размещение А по С, то делается вывод, что искомое разложение не существует и рассматривается возможность выделения следующего автомата из банка стандартных автоматов. Анализ результатов моделирования показывает, что для устройств промышленной автоматики реальной сложности с помощью предложенной системы можно получать их представление совокупностью стандартных компонент на абстрактном этапе проектирования за приемлемое время на ЭВМ среднего класса. Список литературы Дзугкоева А.А., Пагиев К.Х. Использование СП-разбиений в САПР систем логического управления. Сб. тр. СОО АНВШРФ. Владикавказ. № 5. 2007. Горбатов В.А. Фундаментальные основы дискретной математики. М.: Наука – Физматлит, 2000. Дзугкоева А.А. Исследование процедур расщепления запрещённых фигур раскраски графа сужением его сигнатуры. Известия высших учебных заведений Северо-Кавказский регион. Технические науки 2007, №3. Ростов-на-Дону. Дзугкоева А.А., Дедегкаев А.Г. Размещение внутренних состояний автомата по компонентам разложения при его параллельной декомпозиции. Безопасность информационных технологий. М., 2007.
от система автоматизированного проектирования сателлитная ЭВМ satellite computer сателлитный satellite сбалансированный balanced; сбалансированный по высоте height-balanced наивысшая точка height; сбалансированное по высоте дерево height-balanced tree сбиваться (с номального функционирования) glork сближение contingence; closing in сближать, сблизить bring closer, draw together сбоить glitch сбой fault, fail, failing, failure; glitch; (серьезныйсбой) crash; случайныйсбой occasional irregularity; сбойвустройстве device fault; работающийбезсбоев fail-safe; даватьсбои glitch; режимзащитыотсбоев safe mode сбойный fault; failure сбойныйсектор bad sector cбор collection, accumulation сборданных(информации) collection data, data collection, data acquisition; методсбораданных data acquisition method; модульсбораданных data acquisition module; системасбораданных data acquisition system; устройствосбораданных data acquisition unit сборка fitting, setting-up сборка мусора garbage collection сборная запись(операция занесения
3. Планирование машинного эксперимента с имитационной моделью системы массового обслуживания
4. Разработка имитационной модели системы массового обслуживания
5. Реляционная модель данных в системах управления базами данных
9. Современные системы управления базами данных
10. Система управления базами данных ACCESS
11. Теоретический анализ эффективности использования операционной системы ЛИНУКС
12. Общие данные о нервной системе
13. Информационные системы маркетингового анализа
14. Системный анализ и управление логистическими системами
16. Классические модели стратегического анализа и планирования: модель ADL/LC
17. Классические модели стратегического анализа и планирования: модель Shell/DPM1
18. Анализ развития кредитно-банковской системы Российской Федерации
21. Базы данных и файловые системы
26. Анализ научной литературы по системам охлаждений персональных компьютеров
27. Анализ существующих подходов к системам локализации области губ человека на изображении
28. Настольные системы управления базами данных
29. Построение и использование имитационных моделей
30. Разработка имитационной модели транспортной сети
31. Серверы и системы управления базами данных
32. Система обработки научных данных
33. Система управления базами данных Mіcrosoft Access 2003
34. Системы управления базами данных
35. Сохранение данных в операционных системах
36. Анализ и оптимизация цифровой системы связи
37. Методы и анализ нелинейного режима работы системы ЧАП. Метод фазовой плоскости
41. Построение модели бизнес-плана парикмахерской с помощью имитационной модели
42. Анализ информационно-технического обеспечения системы управления персоналом
43. Системы автоматизированного контроля в гибких производственных системах (ГПС)
44. Анализ динамического поведения механической системы
45. Компьютерные модели оценки и анализа рисков
46. Сравнительный анализ общей и упрощенной системы налогообложения
47. Анализ базовой макроэкономической модели и проблем макроэкономического равновесия
48. Модели и методы анализа эффективных инвестиций в инновационную деятельность
50. Имитационная модель СТО с использованием программы С++
51. Уголовно-исполнительное право в системе права, его предмет, функции и система
52. Системы нейтрализации отработавших газов в выпускной системе ДВС
53. Место и роль Федеральной резервной системы в организации денежной и кредитной системы США
57. Анализ данных полного факторного эксперимента
58. Анализ современных моделей реформирования налоговой системы
60. Форматы баз данных в автоматизированных библиографических системах
61. Государственное регулирование в рыночных системах: эволюция, модели, тенденции
63. Квантовомеханическая система и её наглядная модель
64. Системы и модели в экономике
65. О возможностях создания модели реформ в системе государственного пенсионного страхования
66. Принятие решений в экологической геоинформационной системе на основе нечеткой модели классификации
67. Модель устойчивой мировой системы
68. Модели системы кровообращения
69. Обработка данных в автоматизированных системах
73. Математическая модель системы слежения РЛС
74. Система бизнес-стратегий: модель BCG (матрица Boston Consulting Group)
75. Інформаційна модель упровадження системи якості ВНЗ
76. Модель системы управления на базе приборов комплекса Контар (КМ800)
78. Сущность и основные модели системы управления качеством продукции в Японии
79. Математична модель транспортної системи підприємства
80. Математическая модель системы в переменных пространства состояний
81. Экономическая система Дании
82. Федеральная резервная система и политика НацБанка РБ: сравнительный анализ
83. Системы органов государственной власти субъектов РФ и штатов Индии (сравнительный анализ)
84. Анализ налоговой системы России. Некоторые аспекты
90. Автоматизированная система обработки экономической информации. Городская налоговая инспекция
91. Автоматизированная система распределения мест и оценок качества олимпиадных заданий
92. Системы обработки информации - язык баз данных SQL со средствами поддержания целостности
93. Разработка автоматизированной системы складского учета
94. Система автоматизированного проектирования P-CAD
95. Сравнительный анализ каскадной и спиральной моделей разработки программного обеспечения
96. Система автоматизированной обработки статистической информации
97. Автоматизированные системы управления учебным процессом в вузе