1. SCSIT
  2. All Volumes and Issues
  3. Volume 663, 2010
  4. Перетинна декомпозиція цифрових автоматів

Перетинна декомпозиція цифрових автоматів

SCSIT.
2010;
Volume 663
: pp. 12 - 16
Authors: 

В. Глухов, Р. Еліас

Національний університет «Львівська політехніка», кафедра електронно-обчислювальних машин

Визначено найкращий спосіб перетинної декомпозиції цифрових автоматів.

In this article the best way of finite state machines overlapping decomposition is described.

  1. Voros N. Hardware/Software Co-Design of Complex Embedded Systems // Design Automation for Embedded Systems. 2003. № 8. P. 5 –49.
  2. De Micheli G., Gupta R.K. Hardware/software co-design // Proc. of the IEEE. 1997. Vol. 86. № 3.
  3. Терехов А.Н., Романовский К.Ю, Кознов Дм. В., Долгов П.С., Иванов А. Н. Объектно-ориентированная методология разработки информационных систем и систем реального времени // Объектно-ориентированное визуальное моделирование / Под ред. А. Н. Терехова. — СПб: Издательство СПб. университета, 1999. — С. 4–20.
  4. Avizienis A., Laprie J.-C., Randell B., and Landwehr C. Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, vol. 1, pp. 11-33, 2004.
  5. Бондарук А.Б., Глухов В.С., Євтушенко К.С., Оліярник Б. О. Гарантоздатна інтегрована система навігації рухомих наземних об’єктів // Вісник Нац. ун-ту «Львівська політехніка» «Комп`ютерні системи та мережі». — 2008. — № 630. — С. 24–30.
  6. Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ. — М.: Мир, 1989. — 424 с. 
  7. Шоломов Л. А. Основы теории дискретных логических и вычислительных устройств. М.: Наука. Главная редакция физико- математической литературы, 1980. — 400 с. 
  8. Выхованец В. С. Синтез эффективных матема- тических моделей дискретной обработки данных на основе алгебраической и понятийной декомпозиции предметной области: Дис. … д-ра техн. наук. На правах рукописи. Российская Академия Наук, Институт проблем управления им. В. А. Трапезникова. — М., 2007. http://rykov-ft.narod.ru/ vyxz.pdf.
  9. Шоломов Л. А. Разделительная декомпозиция отношений в задачах многокритериального выбора // Дискретный анализ и исследование операции — Апрель–июнь 2001. Серия 1. Т. 8.— № 2. — 63–89.
  10. Глухов В.С., Заїченко Н. В. Зменшення апаратних витрат при реалiзацiї мiкропрограмних пристроїв // Вісник Держ. ун-ту «Львівська політехніка» «Комп`ютерні системи та мережі». — 1998. — № 383. — С. 22–29.
  11. Глухов В., Еліас Р. Вибір варіанту декомпозиції цифрових автоматів. Матеріали 4ої міжнародної науково-технічної конференції CSIT’2009 «Комп’ютерні науки та інформаційні технології 2009», 15 — 17 жовтня 2009 р. Україна, Львів. — С. 202–205.
  12. Майоров С. А., Крутовских С. А., Смирнов А. А. Электронные вычислительные машины: Справочник по конструированию / Под ред. С. А. Майорова. — М.: Сов. радио, 1975.
  13. Anderson Paul. Trends in safety-critical coding and testing practices. In Boards & Solutions (the European embedded computing magazine), June 2009, pp. 32-33.
  14. Ален И. Голуб. Правила программирования на С и С++: — М.: БИНОМ, 1996.
  15. Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров; Ред. кол.: С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. — М.: Сов. энциклопедия, 1988. — 847 с. 
  16. Глухов В. С. Обчислювальний пристрій для операцій над еліптичними кривими // Вісник Нац. ун-ту «Львівська політехніка» «Комп`ютерні системи та мережі». — 2006. — № 573. — С. 54–61.
  17. ДСТУ 4145-2002. Інформаційні технології. Криптографічний захист інформації. Цифровий підпис, що ґрунтується на еліптичних кривих. Формування та перевіряння. — К.: Держ. комітет України з питань технічного регулювання та споживчої політики, 2003.
  18. Глухов В. С. Оцінка апаратних витрат на реалізацію багаторівневої комп’ютерної системи // Вісник Нац. ун-ту «Львівська політехніка» «Комп’ютерні науки та інформаційні технології». — 2008. — № 629. — С. 13–20.