Кривуля, Г. Ф.Сиревич, Е. Е.Карасев, А. Л.2016-09-132016-09-132010Кривуля Г. Ф., Подання списку з'єднань у системах логічного синтезу / Кривуля Г. Ф., Сиревич Е. Е., Карасев А. Л. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2010http://openarchive.nure.ua/handle/document/2449Розглянуто проблему побудови ефективної внутрішньої моделі списку з'єднань на етапі логічного синтезу для подальшого пошуку по заданих параметрах в цій моделі. У якості моделі для подання результатів логічного синтезу було запропоновано базу даних, яка складається з п'яти зв'язаних ключами таблиць. Така модель дозволяє формувати і обробляти запити, що виявляють примітиви із заданими властивостями на лініях.ruлогический синтезмодель списка соединенийсвязанные ключамиПодання списку з'єднань у системах логічного синтезуArticle