Поиск по всему репозиторию:

Показать краткое описание

dc.contributorБрестский государственный технический университетru_RU
dc.contributorBrest State Technical Universityru_RU
dc.contributor.authorБутов, А. А.
dc.coverage.spatialБрестru_RU
dc.date.accessioned2019-08-29T10:58:21Z
dc.date.available2019-08-29T10:58:21Z
dc.date.issued2012
dc.identifier.citationБутов, А. А. Метод нахождения булевой формулы многоугольника в дизъюнктивной нормальной форме без использования дополнительных предикатных переменных / А. А. Бутов // Вестник БрГТУ. Серия : Физика, математика, информатика. – 2012. – № 5. – С. 22–25.ru_RU
dc.identifier.urihttps://rep.bstu.by/handle/data/1067
dc.descriptionBUTOV A.A. The method of finding a Boolean formula of a polygon in the disjunctive normal form, without the used of additional predicateru_RU
dc.description.abstractПредложен приемлемый на практике метод решения задачи построения булевой формулы многоугольника в дизъюнктивной нормальной форме. Метод основан на последовательном формировании выпуклых компонентов, которые представляют в искомой формуле отдельные элементарные конъюнкции и покрывают в совокупности все точки плоскости, принадлежащие исходному многоугольнику. Достоинством метода является присутствие в полученной формуле только тех предикатных переменных, которые связаны с полуплоскостями, порождаемыми лишь сторонами многоугольника. Метод может быть использован, в частности, в системах автоматизированного проектирования топологии интегральных схем.ru_RU
dc.language.isoruru_RU
dc.publisherБрГТУru_RU
dc.relation.ispartofseriesФизика, математика, информатика;
dc.subjectинформационные технологииru_RU
dc.subjectпользовательский интерфейсru_RU
dc.subjectэлектроникаru_RU
dc.subjectinformation technologyru_RU
dc.subjectuser interfaceru_RU
dc.subjectelectronicsru_RU
dc.titleМетод нахождения булевой формулы многоугольника в дизъюнктивной нормальной форме без использования дополнительных предикатных переменныхru_RU
dc.typeСтатья (Article)ru_RU
dc.identifier.udc004.5ru_RU
dc.identifier.udc621.38ru_RU
dc.abstract.alternativeA feasible in practice method of the solution of the constructing a Boolean formula of a polygon in the disjunctive normal form is proposed. The method is based on a sequential formation of convex components, which represent in the desired formula individual elementary conjunctions and cover in aggregate all the points of the plane belonging to the original polygon. The advantage of the method is the presence in the resulting formula only the predicate variables that are associated with the half-planes generated only by the sides of the polygon. The method can be used, in particular, in the systems computer-aided design of integrated circuits topology.ru_RU


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать краткое описание