Публікація:
Подання списку з'єднань у системах логічного синтезу

Завантаження...
Зображення мініатюри

Дата

2010

Назва журналу

ISSN журналу

Назва тома

Видавництво

Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Розглянуто проблему побудови ефективної внутрішньої моделі списку з'єднань на етапі логічного синтезу для подальшого пошуку по заданих параметрах в цій моделі. У якості моделі для подання результатів логічного синтезу було запропоновано базу даних, яка складається з п'яти зв'язаних ключами таблиць. Така модель дозволяє формувати і обробляти запити, що виявляють примітиви із заданими властивостями на лініях.

Опис

Ключові слова

логический синтез, модель списка соединений, связанные ключами

Бібліографічний опис

Кривуля Г. Ф., Подання списку з'єднань у системах логічного синтезу / Кривуля Г. Ф., Сиревич Е. Е., Карасев А. Л. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2010

DOI