СИСТЕМНЫЙ АНАЛИЗ, УПРАВЛЕНИЕ И ОБРАБОТКА ИНФОРМАЦИИ В КОСМИЧЕСКОЙ ОТРАСЛИ ПОГрУжЕНИЕ МНОжЕСТВа рЕШЕНИЙ СИСТЕМЫ БУЛЕВЫХ УраВНЕНИЙ В ВЫПУКЛЫЙ МНОГОГраННИК КаК ОдНО ИЗ ПЕрСПЕКТИВНЫХ НаПраВЛЕНИЙ рЕаЛИЗаЦИИ МЕТОда раЗдЕЛЯЮЩИХ ПЛОСКОСТЕЙ Т.А. <...> ЛАСКОВАЯ, ст� преп� МГТУ им� Н�Э�Баумана, К.К. РЫБНИКОВ, директор ООО «Полиэдр», канд� физ�-мат� наук, С.А. РЫБНИКОВ, магистратура МГИМО (У) МИД России, О.К. ЧЕРНОБРОВИНА, доц� каф� МГУЛ talaskovy@mail�ru, kkrybnikov@mail�ru, stepan�rybnikov@mail�ru, olga@mgul�ac�ru ФГБОУ ВПО «Московский Государственный Технический Университет им. <...> 1 ФГОБУ ВПО «Московский государственный институт международных отношений (университет) Министерства иностранных дел Российской Федерации» 119454, г. Москва, проспект Вернадского, 76 ФГБОУ ВПО «Московский государственный университет леса» 141005 Московская обл., г. Мытищи-5, ул. <...> 1, МГУЛ Проводится анализ одного из универсальных методов решения систем булевых уравнений – метода разделяющих плоскостей, заключающегося в погружении множества решений рассматриваемой системы в выпуклый многогранник, что дает возможность применить для определения этих решений методы бивалентного программирования. <...> Наиболее эффективным такой подход оказывается для случая, когда решения системы являются вершинами построенного многогранника. <...> В этом случае для определения этих решений достаточно использования методов линейного программирования. <...> Впервые в истории исследования перспектив метода разделяющих плоскостей рассматривается обратная задача, то есть задача по выбранному выпуклому многограннику построить систему булевых уравнений, множество решений которой представляет собой подмножество множества всех точек выбранного многогранника, который может иметь, например, достаточно простую структуру (Быть целочисленным, иметь малое число вершин и т. д.) <...> . Результаты работы имеют непосредственное прикладное применение в теории анализ электронных схем, комплексов формальных <...>