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