Preview

Информатика

Расширенный поиск

НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ

Полный текст:

Аннотация

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

Об авторе

Л. Д. Черемисинова
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Список литературы

1. Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский // Докл. АН БССР. – 1982. – Т. 26. – № 12. – С. 1088–1091.

2. Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – 202 с.

3. Василенок, В.К. Анализ корректности алгоритмов управления, представленных в языке ПРАЛУ / В.К. Василенок // Логическое проектирование дискретных систем: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН БССР, 1984. – С. 78–88.

4. Ковалев, А.В. К декомпозиции параллельных алгоритмов логического управления / А.В. Ковалев, Ю.В. Поттосин // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8–13.

5. Черемисинова, Л.Д. Реализация параллельных алгоритмов логического управления / Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2002. – 246 с.

6. Поттосин, Ю.В. Кодирование состояний асинхронного параллельного автомата кодами минимальной длины уравнений / Ю.В. Поттосин // Вестник Томского гос. ун-та. Приложение № 1. – Томск, 2002. – C. 110–115.

7. Cheremisinova, L.D. Optimal State Assignment of Asynchronous Parallel Automata / L.D. Cheremisinova // Design of embedded Control Systems. – Springer, 2005. – P. 125–137.

8. Zakrevskij, A. D. A quick algorithm for state assignment in parallel automata / A.D. Zakrevskij, I.V. Vasilkova // Proc. of the Third Int. conf. on Computer-Aided Design of Discrete Devices (CAD DD'99). Minsk, Nov. 1999. – Vol. 1. – Minsk: UIIP of NAS of Belarus. – Р. 40–44.

9. Красильникова, Л.В. Поиск отношения параллельности на множестве меток алго-ритма управления / Л.В. Красильникова, Л.Д. Черемисинова. – Минск, 1990. – 16 с. – (Пре-принт / Акад. наук БССР, Ин-т техн. кибернетики; № 9).

10. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М.: Мир, 1984. – 264 с.

11. Закревский, А.Д. Основы логического проектирования. Комбинаторные алгоритмы дискретной математики: в 2 кн. Кн. 1 / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2004. – 226 с.

12. Ковалев, А.В. О нахождении отношения параллельности на множестве мест одного подкласса сетей Петри / А.В. Ковалев // Весцi АН БССР. Сер. фiз.-мат. навук. – 1989. – № 2. – С. 106–110.

13. Поттосин, Ю.В. Установление параллельности мест алгоритма управления с помощью решения системы логических уравнений / Ю.В. Поттосин // Логическое проектирование: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 102–109.


Для цитирования:


Черемисинова Л.Д. НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ. Информатика. 2007;(1(13)):5-15.

For citation:


. . Informatics. 2007;(1(13)):5-15. (In Russ.)

Просмотров: 27


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)