Научная статья на тему 'РАЗРАБОТКА УПРАВЛЕНИЯ ЭЛЕКТРОННЫМИ ЧАСАМИ НА ОСНОВЕ ТЕОРИИ АВТОМАТОВ'

РАЗРАБОТКА УПРАВЛЕНИЯ ЭЛЕКТРОННЫМИ ЧАСАМИ НА ОСНОВЕ ТЕОРИИ АВТОМАТОВ Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
21
5
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ТЕОРИЯ АВТОМАТОВ / МОДЕЛЬ / ЭЛЕКТРОННЫЕ ЧАСЫ / SWITCH-ТЕХНОЛОГИЯ

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Белов И.В., Гонцова О.Ф.

Рассматривается компьютерная модель автомата, управляющего электронными часами. Приведены наглядная схема его работы, описание входных и выходных сигналов, состояний.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Белов И.В., Гонцова О.Ф.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «РАЗРАБОТКА УПРАВЛЕНИЯ ЭЛЕКТРОННЫМИ ЧАСАМИ НА ОСНОВЕ ТЕОРИИ АВТОМАТОВ»

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

Использованные источники:

1. Габец, А.П., Гончаров, Д.И., 1С:Предприятие 8.1 Простые примеры разработки / А.П. Габец, Д.И. Гончаров. - М.: ООО «1С-Паблишинг»; СПб: Питер, 2008. - 383 с.

2. Радченко М.Г. 1С:Предприятие 8.1. Практическое пособие разработчика. Примеры и типовые приемы / М.Г.Радченко - м.: ООО «1С-Паблишинг», ЗАО Издательский дом «Питер», 512 стр.

3. http://www.1c.ru - официальный сайт фирмы 1С.

Белов И.В. студент Гонцова О. Ф. студент

Приамурский государственный университет

имени Шолом-Алейхема Россия, г. Биробиджан РАЗРАБОТКА УПРАВЛЕНИЯ ЭЛЕКТРОННЫМИ ЧАСАМИ НА ОСНОВЕ ТЕОРИИ АВТОМАТОВ

Аннотация: Рассматривается компьютерная модель автомата, управляющего электронными часами. Приведены наглядная схема его работы, описание входных и выходных сигналов, состояний.

Ключевые слова: теория автоматов, модель, электронные часы, switch-технология

Проектирование и разработка управляющих устройств представляет собой сложную задачу. В этой сфере используются различные технологии, позволяющие минимизировать ошибки. Одним из таких методов является теория автоматов. Она позволяет на основе информации о входных и выходных сигналах, состояний прибора быстро разработать схематическое и логическое представление устройства. В программировании такой метод развивается как switch-технология.

Основы прикладной теории по проектированию и разработке цифровых автоматов изложили Дж.Хопкрофт, Р.Мотвани, Дж.Ульман [1], В.Г.Лазарев, Е.И.Пийль [2]. Switch-технологию обобщил и развивает А.А.Шалыто [3]. Меньших В.В., Петрова Е.В. показали применение методов теории автоматов для моделирования информационных процессов [4]. Программирование электронного курса на основе автоматного подхода использовали Плешкова М.В., Лямин А.В. [5]. В.Татарчевский исследовал

применение switch-технологии при разработке программного обеспечения для микроконтроллеров [6]. М.А.Афанасьева, Р.И.Баженов, В.А.Векслер, Л.С.Гринкруг, А.П.Корнилков, Д.К.Лопатин показали использование switch -технологии в различных сферах: компьютерное моделирование цифровых устройств, обучение, программирование методов интеллектуального анализа, мастеров заполнения данных, интерфейса веб-ориентированной информационной системы, разработка интеллектуальных систем [7-15]. Наглядно описали метод и процесс моделирования поведения программы с явным выделением состояний, основанные на SWITCH-технологии и UML-нотации В.С.Гуров, М.А.Мазин, А.С.Нарвский, А.А.Шалыто [16]. Зарубежные ученые [17, 18] также применяют теорию автоматов в своих исследованиях.

В данной работе рассматривается модель управления часами, разработанная на основе switch-технологии.

Изучение функционирования прибора позволило разработать представление цифрового автомата в виде графа (рис.1).

Рис. 1 - Граф состояний автомата

Опишем состояния устройства: А1 - выключено; А2 -отображение времени; А3 -корректировка времени.

Представим кодирование входных и выходных сигналов:

• входные сигналы:

o 71 - сигнал от первой кнопки «вкл»;

o 72 - сигнал от кнопки «корректировка»;

o 72 - сигнал от кнопки «закрыть окно»;

• выходные сигналы:

o "1 - включить;

o W2 - отобразить корректировку;

o "3 - выключить;

o "4 - принять корректировку;

о W5 - выключить из корректировки.

Функциональные возможности модели показана на рис. 2, 3, 4. После запуска программы модель часов находится в состоянии «выключено» (рис.2). Нажатие на кнопку «ВКЛ» переводит систему в режим отображения времени (рис.3). Кнопка «редактировать» предназначена для работы в состояние «корректировка времени» (рис.4).

Рис. 2 - Форма стояния «выключено»

Рис. 3 - Форма состояния «отображение времени» часы редактируются

Рис. 3 - Форма состояния «корректировка времени» Switch-технология базируется на программировании переключений. В системе Delphi такое можно организовать через применение оператора case. Покажем фрагмент кода программирования автомата по управлению часами, реализованный в процедуре avtomat. procedure TForm1.avtomat; begin

case (st) of // выбор по состоянию

1: case (k) of // выбор по входному сигналу в состоянии A1 1: begin // обработка входного сигнала Z1 в состоянии A1 Label5.caption:='часы включены'; // выходной сигнал W2

st:=1; // переключение состояния в A2 end; end;

Состояния хранятся в переменной st, входные сигналы в переменной к. Подпрограммы выполнения (выходные сигналы) W1-W5 в виду простоты (Label5.caption:-4acbi включены'; ...) реализованы внутри автоматной процедуры avtomat.

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

procedure TForm1.Button1CHck(Sender: TObject); begin k:=2; avtomat; end;

Таким образом, была разработана модель цифрового автомата для управления устройством «часы» на основе switch-технологии. Представленный пример можно использовать для обучения программированию по теории автоматов.

Использованные источники:

1. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2002. 528 с.

2. Лазарев В. Г., Пийль Е. И. Синтез управляющих автоматов. М.: Энергоатомиздат, 1989. 328 с.

3. Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер, 2009. 176 с.

4. Меньших В. В., Петрова Е. В. Применение методов теории автоматов для моделирования информационных процессов // Вестник Воронежского института МВД России. 2009. № 1. С. 121-130.

5. Плешкова М. В., Лямин А. В. Программирование электронного курса на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики. 2008. № 56. С. 96-103.

6. Татарчевский В. Применение switch-технологии при разработке программного обеспечения для микроконтроллеров // Компоненты и технологии. 2006. № 65. С. 118-121.

7. Баженов Р. И., Афанасьева М. А. Разработка программной модели контроля дверей холодильника на основе теории автоматов // Журнал научных публикаций аспирантов и докторантов. 2014. №4(94). С. 306-308.

8. Баженов Р. И. Методические рекомендации для выполнения курсовой работы по дисциплине «Теория автоматов». Биробиджан: Изд-во ДВГСГА, 2008. 20 с.

9. Баженов Р. И. Интеллектуальные информационные технологии. Биробиджан: ПГУ им. Шолом-Алейхема, 2011. 176 с.

10. Баженов Р. И., Гринкруг Л. С. Информационная система Абитуриент -Деканат ФГБОУ ВПО «Приамурский государственный университет им. Шолом-Алейхема» // Информатизация и связь. 2013. № 2. С. 97-99.

11. Баженов Р. И., Гринкруг Л. С. Информационная система по расчету и распределению нагрузки профессорско-преподавательского состава ФГБОУ ВПО «Приамурский государственный университет им. Шолом-Алейхема» // Информатизация и связь. 2012. №5. С. 75-78.

12. Баженов Р. И., Векслер В. А. Анализ потребительских корзин в 1С: Предприятие на примере АВС-анализа // Информатизация и связь. 2013. №5. С. 117-123.

13. Баженов Р. И., Векслер В. А. Реализация XYZ-анализа в программном коде внутреннего языка программирования 1С: Предприятие 8.3 // Информатизация и связь. 2014. №1. С. 35-40.

14. Баженов Р. И., Корнилков А. П., Лопатин Д. К. Проектирование web -ориентированной информационной системы университета на основе клиент-серверных технологий // Актуальные проблемы гуманитарных и естественных наук. 2014. №4.

15. Баженов Р. И., Лопатин Д. К. О применении современных технологий в разработке интеллектуальных систем // Журнал научных публикаций аспирантов и докторантов. 2014. № 3 (93). С. 263-264.

16. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Uml. Switch -технология. Eclipse // Информационно-управляющие системы. 2004. №6. С. 12-17.

17. Reddy U. S. Automata-Theoretic Semantics of Idealized Algol with Passive Expressions // Electronic Notes in Theoretical Computer Science. 2013. Vol. 298. Iss. 4. P. 325-348.

18. Torkestani J. A., Meybodi M. R. A cellular learning automata-based algorithm for solving the vertex coloring problem // Expert Systems with Applications. 2011. Vol. 38. Iss. 8. P. 9237-9247.

Берж С. Б. студент Маусымбаева С.Б.

студент Карабалина Р.М. студент

специальность Информатика Кудубаева С.А., к.т.н. научный руководитель, доцент КГУ им. А. Байтурсынова Республика Казахстан, г. Костанай ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ УЧЕТА

УСЛУГ УЧЕБНОГО ЦЕНТРА Аннотация

В данной статье описываются этапы проектирования информационной системы учета услуг учебного центра. Программа разработана в среде

i Надоели баннеры? Вы всегда можете отключить рекламу.