| dc.contributor | Брестский государственный технический университет | ru_RU |
| dc.contributor | Brest State Technical University | ru_RU |
| dc.contributor.author | Бутов, А. А. | |
| dc.coverage.spatial | Брест | ru_RU |
| dc.date.accessioned | 2019-08-29T10:58:21Z | |
| dc.date.available | 2019-08-29T10:58:21Z | |
| dc.date.issued | 2012 | |
| dc.identifier.citation | Бутов, А. А. Метод нахождения булевой формулы многоугольника в дизъюнктивной нормальной форме без использования дополнительных предикатных переменных / А. А. Бутов
// Вестник БрГТУ. Серия : Физика, математика, информатика. – 2012. – № 5. – С. 22–25. | ru_RU |
| dc.identifier.uri | https://rep.bstu.by/handle/data/1067 | |
| dc.description | BUTOV A.A. The method of finding a Boolean formula of a polygon in the disjunctive normal form, without the used of additional predicate | ru_RU |
| dc.description.abstract | Предложен приемлемый на практике метод решения задачи построения булевой формулы многоугольника в дизъюнктивной нормальной форме. Метод основан на последовательном формировании выпуклых компонентов, которые представляют в искомой формуле отдельные элементарные конъюнкции и покрывают в совокупности
все точки плоскости, принадлежащие исходному многоугольнику.
Достоинством метода является присутствие в полученной формуле только тех предикатных переменных, которые связаны с полуплоскостями, порождаемыми лишь сторонами многоугольника.
Метод может быть использован, в частности, в системах автоматизированного проектирования топологии интегральных схем. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БрГТУ | ru_RU |
| dc.relation.ispartofseries | Физика, математика, информатика; | |
| dc.subject | информационные технологии | ru_RU |
| dc.subject | пользовательский интерфейс | ru_RU |
| dc.subject | электроника | ru_RU |
| dc.subject | information technology | ru_RU |
| dc.subject | user interface | ru_RU |
| dc.subject | electronics | ru_RU |
| dc.title | Метод нахождения булевой формулы многоугольника в дизъюнктивной нормальной форме без использования дополнительных предикатных переменных | ru_RU |
| dc.type | Статья (Article) | ru_RU |
| dc.identifier.udc | 004.5 | ru_RU |
| dc.identifier.udc | 621.38 | ru_RU |
| dc.abstract.alternative | A 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 |
