авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 2 | 3 ||

«ИРКУТСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ ИНСТИТУТ ДИНАМИКИ СИСТЕМ И ТЕОРИИ УПРАВЛЕНИЯ СО РАН БАЙКАЛЬСКИЙ НАУЧНЫЙ ЦЕНТР АКАДЕМИИ ИНЖЕНЕРНЫХ НАУК РФ ...»

-- [ Страница 4 ] --

Вопросам контроля правильности функционирования автомата посвящено достаточно много работ [4–9]. Большинство из них сводятся к задаче выбора такого способа кодирования, который позволял бы отнести результирующий код перехода a(t +1) к множеству допустимых или не допустимых кодов.

Правильность функционирования автомата будем определять как соответствие полного множества необходимых переходов автомата из предыдущего а(t) состояния в последующее а(t) фактическому множеству переходов. Правильность каждого перехода из a(t) в a(t +1) рассматривается в работах В. Балакина и В. Барашенкова [6]. Однако контролируемое устройство при этом сравнимо или даже сложнее самого автомата по числу требуемых для реализации элементов логики и элементов памяти. Некоторые более простые методы предложены в работах [7–9].

Рассмотрим способ контроля, основанный на сопоставлении части старших и части младших разрядов a(t) и a(t +1). Идея такого сопоставления возникла по аналогии с методом, используемым в комбинаторно-нейронных сетях [10] и показавшего свою эффективность на примере классификационных задач с ответом «да» или «нет».

Пусть задан граф переходов автомата управления (рис. 1).

Составим таблицу переходов a(t)-a(t +1) без указания значений логических условий. В таблице символами N(t) и N(t +1) обозначены двоичные коды a(t) и a(t +1).

Проанализируем свойства двух старших разрядов a(t) при переходе в a(t +1). Как видно из таблицы, можно найти следующие соотношения:

1) 00 соответствует при переходе в a(t +1) 00 или 01 и не может быть переходов в 11 или 10;

2) 0101 и 10 не может быть 00 и 11;

3) 1000, 01, 11 нет 11;

4) 11комбинация для данного примера отсутствует.

Рис. 1. Граф переходов автомата Таблица a(t) a(t +1) N(t) N(t +1) 0 1 0000 1 2 0001 2 3 0010 3 4 0011 3 1 0011 4 5 0100 4 10 0100 1 5 6 0101 6 7 0110 6 11 0110 7 8 0111 8 9 1000 8 2 1000 9 0 1001 10 6 1010 11 8 1001 Аналогично для двух младших разрядов получим:

1) 0001, 10 нет 00 и 11;

2) 1010, 11 нет 00 и 01;

3) 1100, 01 нет 10 и 11;

4) 0100, 10 нет 01 и 11.

Если х2х1 обозначить младшие разряды a(t), а у2у1 – младшие разряды a(t+1), то по правилам 1, 2, 3, 4 для младших разрядов можно записать условия, при которых формируются ошибки :

1) х 2 х1 у2 у1 + у1 у2 = у1 у 2) х2 х1 у2 у1 + у1 у 2 = у 3) х2 х1 у2 у1 + у2 у1 = у 4) х 2 х1 у2 у1 + у2 у1 = у Аналогично запишутся условия и для старших разрядов примера:

х4х3у х 4х3у3у х4 х 3у4у3.

Реализация этих правил тривиальна, а достоверность контроля правильности переходов a(t)a(t +1) очевидна. Структурная схема такого самоконтролируемого автомата для классической структурной организации представлена на рис. 2.

q Рис. 2. Самоконтролируемый автомат На рис. 2 обозначено:

1 – управляющая (У) подсистема автомата – схема синхронизации СС (1);

блоки 2, 3, 4 – информационная подсистема автомата;

2 – регистр памяти a(t+1);

3 – блок схем «И» для парафазной передачи кода a(t +1) на регистр кода a(t) - (4);

5 – адресная (А) подсистема в виде комбинационной схемы F1 (ПЗУ);

6 – функциональная (Ф) подсистема в виде комбинационной схемы F2, формирующей команды управления А1 А2 … АК;

7 – логическая подсистема (Л) – операционное устройство, формирующее логические сигналы q … 2 1;

8 – регистр памяти {};

9, 10 – контрольные схемы младших (КМ-9) и старших (КС-10) разрядов;

11 – блок принятия решений (ПР);

12 – индикация ошибки ЕRR;

, – сигналы синхронизации, причем ( t ) & ( t ) =.

В схеме после определения кода a(t +1) сохраняется также код a(t) и ведется анализ правильности допустимых переходов для старших и младших разрядов схемой контроля К с двумя выходами 1 и 2, где признак 1 – верность переходов в старших разрядов, а 2 – в младших.

Принятие решений (ПР) реализуется простой схемой «И», регистрирующей значения 1 2. Предложенный метод рассмотрен на простом примере автомата с числом состояний 16. При большем числе состояний могут рассматриваться группы по 3 разряда. В некоторых случаях возможен вариант как для старших, так и для младших разрядов такой, что для некоторой комбинации разрядов не окажется запрещенной комбинации. В этом случае может быть поставлен вопрос о нахождении такого кодирования состояний автомата, который сохранял бы свойство самоконтролируемости, например, при использовании модифицированного геометрического кода [11] в любых 2-х разрядах при правильной работе автомата как со стороны a(t), так и a(t +1) не может быть комбинации 11.

Ещё один путь достижения контролепригодности может быть определен по аналогии с работой [12], в которой рассматривается вопрос минимизации ПЗУ, возможна замена (перестановка) столбцов в матрице переходов a(t)a(t +1), наилучшим способом сохраняющая свойство самоконтролируемости.

Третьим путем разрешения проблемы является внесение изменений в саму схему ГСА для достижения условия контролепригодности.

Например, введение дополнительных пустых операторов.

В работах [13;

14] предложен метод синтеза и структурная организация сложных автоматов. Сложность автомата определяется по числу логических условий (q) и числу (m) разрядов кода, соответствующего состояниям автомата a(t).

Если объем памяти классического автомата Мура определяется V = m2m+q, то для новой структуры автомата V = m2m+2, так как в новой структуре в адресную подсистему автомата подаются ни сразу все сигналы q … 2 1, а единственный сигнал j и сигнал безусловного перехода j значения которых определяется кодом конкретного состояния a(t).

Поскольку не может быть одновременно комбинации =1, то эти два разряда адреса комбинационной схемы переходов проверяются по этому признаку. Тогда проверки переходов в коде a(t) удобно проводить предложенным способом, поскольку величина m для распространенных автоматов лежит в пределах 4–6.

Предложенный метод, возможно, не является универсальным, но он может использоваться совместно с другими способами контроля, так как ему соответствует простая аппаратная реализация.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК 1. Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. – М.:

Наука, 1971. – 503 с.

2. Мухопад, Ю.Ф. Теория дискретных устройств / Ю.Ф. Мухопад. – Иркутск, ИрГУПС,2009, – 159 с.

3. Мухопад, А.Ю., Мухопад, Ю.Ф., Антошкин, Б.М. Устройство криптографической защиты информации. Пол. реш. пол. модель № 20088150879/22 (066842) от 22.12.2008, № 2008149331/22 (064722) от 15.12.2008.

4. Щербаков, Н.С. Структурная теория контроля автоматов / Н.С. Щербаков, Б.П. Подкопаев. – М.: Машиностроение, 1987. – 224 с.

5. Согомонян, Е.С. Самопроверяемые устройства и отказоустойчивые системы / Е.С. Согомонян, Е.В. Слабаков. – М.: Радиосвязь, 1989. – 208 с.

6. Балакин, В.Н., Барашенков, В.В. Проектирование самопроверяемых устройств по тестопригодным схемам алгоритмов // В.Н. Балакин, В.В. Барашенков. Автоматика и телемеханика, 1988. – № 11. – С. 161–168.

7. Сапожников, В.В. Теория дискретных устройств железнодорожной автоматики, телемеханики и связи / В.В. Сапожников, Ю.А. Кравцов, Вл.В. Сапожников. – М.:

Транспорт, 2001. – 307 с.

8. Мухопад, Ю.Ф. Микроэлектронные информационно-управляющие системы / Ю.Ф. Мухопад. – Иркутск: ИрГУПС, 2004. – 404 с.

9. Мухопад, Ю.Ф., Мухопад, А.Ю., Бадмаева, Т.С. Самоконтролируемый автомат управления. Пат. РФ пол. Модель № 63588, БИ № 15, 2007.

10. Мухопад, Ю.Ф., Мухопад, А.Ю. Комбинаторно-нейронные сети // Ю.Ф. Мухопад, А.Ю. Мухопад. Информационные технологии контроля и управления на транспорте. – Иркутск: ИрИИТ, 2000. – Вып. 8. – С. 54–62.

11. Мухопад, А.Ю. Динамический контроль автоматов управления / А.Ю. Мухопад. – Новосибирск: Изв. НГТУ. Вып. 1, 2009. – С. 64–67.

12. Мухопад, Ю.Ф. Проектирование специализированных микропроцессорных вычислителей. / Ю.Ф. Мухопад. – Новосибирск: Наука, 1981. – 160 с.

13. Мухопад, А.Ю., Мухопад, Ю.Ф. Микропрограммный автомат. Пол. реш. пол.

Модель № 2008149344/22 (064785) от 15.12.2008.

14. Мухопад, А.Ю Метод синтеза сложных автоматов. / А.Ю. Мухопад, Ю.Ф. Мухопад.

– Новосибирск, Научн. вестн. НГТУ. Вып 1 (34), 2009. – с 219–221.

ПРИЛОЖЕНИЕ Сведения об авторах АКУЛОВ ОЛЕГ ВИКТОРОВИЧ, преподаватель кафедры «Аэродинамика и динамика полетов»;

ГОППЕ ГАРРИ ГЕНРИХОВИЧ, докторант-соискатель ИрГУПС;

ГРИГОРОВ ВАЛЕРИЙ АЛЕКСЕЕВИЧ, докторант ИрГУПС;

КАШКОВСКИЙ ВИКТОР ВЛАДИМИРОВИЧ, докторант ИрГУПС;

КРИВЕЛЬ СЕРГЕЙ МИХАЙЛОВИЧ, к.т.н., доцент, начальник кафедры «Аэродинамика и динамика полетов» ИВВАИУ;

ЛОМУХИН ЮРИЙ ЛУПОНОВИЧ, профессор кафедры «Телекоммуникационные системы»;

МАЛАНОВА ТАТЬЯНА ВАЛЕРЬЕВНА, старший преподаватель кафедры информатики Иркутского государственного лингвистического университета;

МАРЮХНЕНКО ВИКТОР СЕРГЕЕВИЧ, к.т.н., доцент кафедры «Автоматика и телемеханика» ИрГУПС;

МУХОПАД АЛЕКСАНДР ЮРЬЕВИЧ, аспирант-соискатель ИрГУПС;

МУХОПАД ЮРИЙ ФЕДОРОВИЧ, д.т.н., профессор, заведующий кафедрой «Управление техническими системами» ИрГУПС, научный руководитель большинства аспирантов и докторантов, публикующихся в данном сборнике;

ПЕТРЯКОВА ЕЛЕНА АЛЕКСЕЕВНА, заместитель заведующего кафедрой «Высшая математика»;

ПОЛУЭКТОВ СЕРГЕЙ ПАВЛОВИЧ, адъюнкт ИВВАИУ;

РЮМКИН СЕРГЕЙ СЕРГЕЕВИЧ, аспирант ИрГУПС;

СВИНИН МИХАИЛ МИХАЙЛОВИЧ, к.т.н., доцент кафедры «Управление техническими системами», докторант-соискатель ИрГУПС;

СЕРГИЕНКО ЛЮДМИЛА СЕМЁНОВНА, д.т.н., профессор ИрГТУ;

ТАРАСЕНКО ВЛАДИМИР ПЕТРОВИЧ, научный руководитель НИИ АЭМ, заместитель председателя Президиума и директор отдела проблем информатизации Томского научного центра СО РАН;

ТИХИЙ ИВАН ИВАНОВИЧ, докторант ИрГУПС;

ЧЕРНОВ ИГОРЬ НИКОЛАЕВИЧ, инженер кафедры «Телекоммуникационные системы»;

УЕДА К., сотрудник фирмы Samsung город Осака, Япония;

ЯМАДА К., научный сотрудник фирмы Samsung город Осака, Япония.

Требования к оформлению научных статей в сборник «Информационные системы контроля и управления в промышленности и на транспорте»

1. Общие требования 1.1. Статья должна соответствовать тематике научного сборника, отражать актуальность проблем и их решение. В сборнике публикуются статьи ученых ВУЗов, НИИ, производства по направлениям:

– системы автоматизированного управления;

– элементы и устройства систем управления;

– системы передачи информации;

– контроль и диагностика систем управления;

– моделирование информационно-управляющих систем;

– автоматизация производственных процессов.

1.2. В редакцию сборника представляются печатный текст статьи в одном экземпляре и электронный дубликат статьи на качественной трехдюймовой дискете ёмкостью 1,44 Мбайт в формате текстового процессора MS Word (любая версия).

1.3. Текст статьи на белой бумаге формата А4 (210297 мм) общим объемом не более 8 страниц должен быть тщательно отредактирован и подписан всеми авторами. Превышение указанных объёмов предоставленного материала статей должно быть обосновано и согласовано с редакцией журнала.

1.4. В начале статьи в левом верхнем углу ставится индекс УДК.

Далее на первой странице данные идут в такой последовательности:

инициалы и фамилии авторов, полное название статьи, краткая (5–10 строк) аннотация, ключевые слова (5–10 слов), текст статьи и библиографический список.

1.5. На отдельной странице должны быть представлены краткие сведения об авторах статьи: название учреждения (кафедры), фамилия, имя, отчество, ученая степень, звание и должность, контактный телефон и электронный адрес.

1.6. Используемые в статьях термины, единицы измерения и условные обозначения должны быть общепринятыми. Аббревиатура без разъяснений не допускается, за исключением принятых сокращений единиц измерения, физических, технических и математических величин и терминов (единицы измерения даются в русской транскрипции). Редакция просит не использовать нестандартные символы и выделения (рамки, затенения и т.п.).

2. Требования к текстовой части статьи 2.1. Компьютерную подготовку статей следует проводить с использованием текстового процессора MS Word одной из версий.

2.2. Инициалы и фамилия автора (ов) набираются строчными буквами с выравниванием по правому краю жирным шрифтом. Через один интервал – название статьи прописными буквами жирным шрифтом с выравниванием по центру. Через два интервала – текст аннотации и ключевые слова (начертание – курсив, размер шрифта – 12 пунктов).

Через два интервала следует текст статьи.

2.3. Перед набором на компьютере текста статьи необходимо установить в текстовом процессоре следующие параметры:

Параметры страницы:

размер бумаги – А4;

ориентация – книжная;

поля – все 2,5 см;

от края до колонтитула: верхнего – 0 см, нижнего – 1,7 см (пункт меню Файл/Параметры страницы/вкладка Источник бумаги).

Параметры форматирования абзаца:

стиль – обычный (normal);

шрифт – Times New Roman Cyr, размер шрифта – 14 пунктов;

интервал одинарный, отступ первой строки – 1 см, выравнивание – по ширине.

Расстановка переносов автоматическая (пункт меню Сервис/Язык/Расстановка переносов/флажок Автоматическая расстановка переносов).

2.4. Нумерация страниц средствами текстового процессора не выполняется (страницы статьи должны быть пронумерованы с обратной стороны листа).

2.5. Простые внутристрочные и однострочные формулы могут быть набраны без использования специальных редакторов — символами (шрифт Symbol). Специальные сложные символы, а также сложные и многострочные формулы, которые не могут быть набраны обычным образом, должны быть набраны в редакторе формул Microsoft Еquation 3.0.

2.6. Набор формул в пределах всего текста должен быть единообразен:

греческие символы – прямым шрифтом, латинские – курсивом, русские обозначения – прямым;

размер обычного символа – 14 пт, крупный индекс – 9 пт, мелкий индекс – 7 пт, крупный символ – 14 пт, мелкий символ – 9 пт. Индексы и субиндексы должны быть четко позиционированы.

2.7. Формулы вводятся в одном окне для каждой отдельной формулы.

Знаки препинания после формул и номера формул в круглых скобках вводятся в основном тексте, а не в редакторе формул. Формулы, набранные отдельными строками, располагаются по центру. Нумерация формул дается в круглых скобках с выравниванием по правому краю;

нумеруются только те формулы, на которые есть ссылки в тексте.

2.8. Ссылки на литературные или иные источники оформляются числами, заключенными в квадратные скобки (например, [1]). Ссылки должны быть последовательно пронумерованы.

2.9. Библиографический список помещается после основного текста.

Ниже основного текста, через интервал прописными буквами печатается по центру заглавие БИБЛИОГРАФИЧЕСКИЙ СПИСОК, и помещается пронумерованный перечень источников, которые располагаются в списке по порядку их использования в тексте статьи. Для книг необходимо указывать фамилию и инициалы автора или всех авторов, название книги, наименование издательства и город, в котором оно находится, год издания, общее число страниц, а для журнальных статей – фамилии и инициалы авторов, название статьи, наименование журнала или сборника, год издания, том, номер журнала и номера страниц. Ссылки на иностранную литературу даются в латинской транскрипции без сокращений.


3. Требования к графической части статьи 3.1. Рисунки выполняются средствами компьютерной графики с кодировкой в черно-белом, с градациями серого изображения векторных (*.eps, *.cdr, *.wmf, *.ai) или растровых (*.рсх, *.bmp, *.tif, *.png, *.jpg) графических форматов. Иллюстрации могут быть сканированными с оригинала (в градациях серого, с разрешением 150 dpi).

3.2. Изображение на иллюстрациях должно быть контрастным, с резкой проработкой деталей, учитывая, что при печати иллюстрации будут уменьшены.

3.3. Текстовую информацию и условные обозначения следует выносить в подрисуночную подпись, заменяя их на рисунке цифрами или буквами, соответствующими обозначениям в тексте статьи. Размерности величин и другие текстовые фрагменты на рисунках должны быть даны исключительно в русской транскрипции.

3.4. Иллюстрации должны быть введены в текст, последовательно пронумерованы и содержать подрисуночную подпись с выравниванием по центру (например, «Рис. 1. Структурная схема блока дистанционного управления»).

3.5. Рисунки, полученные в результате работы с CAD или расчетными программами (NASTRAN, MATLAB и т.п.), для использования в публикации должны быть доработаны с учетом требований пп. 3.2 и 3.3 и представлены в форматах, указанных в п. 3.1.

3.6. Таблицы, рисунки, диаграммы и формулы не должны выходить за текстовое поле (необходимо выдерживать размеры полей по всей странице).

3.7. Таблицы располагаются непосредственно в тексте статьи.

Таблицы должны быть последовательно пронумерованы (например, «Таблица 1» с выравниванием вправо) и ниже – озаглавлены (заглавие набирается по центру). Если таблица имеет большой объем, она может быть помещена на отдельной странице, а в том случае, когда она имеет значительную ширину, – на странице с альбомной ориентацией. Графы в таблицах должны иметь краткие заголовки и должны быть центрированы.

Упоминаемые в заголовках величины сопровождаются соответствующими единицами измерения (в сокращенной форме).

3.8. Статья не может заканчиваться рисунком, формулой, таблицей.

Статьи, оформленные с нарушением перечисленных выше требований, редакцией не рассматриваются.

Авторы вносят оплату, покрывающую затраты редакции на подготовку и издание сборника статей. Объём оплаты определяется количеством страниц публикации и стоимостной оценкой затрат издания сборника на момент публикации.

Редакция оставляет за собой право производить редакционные изменения, не искажающие основное содержание статьи.

Датой поступления статьи считается день получения редакцией доработанного с учётом всех требований текста статьи.

Образец оформления статьи:

УДК 681. В.А. Иванов, С.Ю. Бояринцев СИНТЕЗ ОПТИМАЛЬНОЙ ПО БЫСТРОДЕЙСТВИЮ СИСТЕМЫ СТАБИЛИЗАЦИИ ТРЕТЬЕГО ПОРЯДКА Решена актуальная задача синтеза оптимального по быстродействию управления линейным объектом третьего порядка, дифференциальное уравнение которого содержит производную в правой части. Рассмотрена задача перевода произвольного начального состояния объекта управления в начало координат и удержания объекта в нулевом состоянии. Полученные результаты применимы для синтеза алгоритма управления любыми линейными объектами третьего порядка, уравнения которых содержат производную входного воздействия.

Ключевые слова: управление, регулятор, переходной процесс, фазовые траектории, поверхность переключения.

(текст статьи) БИБЛИОГРАФИЧЕСКИЙ СПИСОК 1. Лебедев, А.А. Динамика полёта / А.А. Лебедев. – М.: Машиностроение, 1973. – 616 с.

2. Атанс, М. Оптимальное управление / М Атанс, П. Фалб. Под ред. Ю.И.

Топчеева. – М: Машиностроение, 1968. – 352 с.

3. Иванов, В.А., Кожевников, С.А. Задача оптимального быстродействия для систем второго порядка общего вида // Изв. РАН. Сер. Теория и системы управления. – 1995. – № 3. – С. 76–83.

4. Holmes J.K. Performance of a first-order transition sampling digital phase-locked loop using random-walk models // IEEE Trans. – 1972. – V. COM-20. – № 2. – P. 119–131.

5. Соснин, Э.А. Классическая теория информации и её ограничения / Э.А. Соснин.

Институт сильноточной электроники СО РАН. Томск. [Электронный ресурс] – Режим доступа: http: // www.sciteclibrary.ru/rus/catalog/pages/3262.html (2002).

Научное издание ИНФОРМАЦИОННЫЕСИСТЕМЫ КОНТРОЛЯ И УПРАВЛЕНИЯ НА ТРАНСПОРТЕ Выпуск Сборник научных трудов Редактор В.В. Добросветова Компьютерная верстка С.В. Кашковский Подписано в печать 2.06.2009. Формат 6084 1/16.

Бумага офсетная. Гарнитура Times.

Печать офсетная.

Усл. печ. л. 9,75. Уч.-изд. л. 9,75.

Тираж 300 экз. Заказ № Отпечатано в типографии ИрГУПС г. Иркутск, ул. Чернышевского, 15.



Pages:     | 1 |   ...   | 2 | 3 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.