KiCad — от рисования к программированию (Антон Павлов, SECR-2019)

Материал из 0x1.tv

Докладчик
Антон Павлов.jpg
Антон Павлов

KiCad — свободно распространяемая САПР для проектирования печатных плат. KiCad является популярнейшим средством разработки открытого аппаратного обеспечения (Open-Source Hardware, OSH).

В докладе описывается подход, позволяющий дополнить KiCad средствами разработки принципиальных схем посредством написания программ на расширяемом предметно-ориентированном языке (Domain-Specific Language, DSL).

Ключевой идеей предложенного подхода является использование сходства логического программирования с ограничениями (Constraint Logic Programming) и абдуктивного логического программирования (Abductive Logic Programming), что позволяет реализовать анализ и синтез схем в условиях неполной информации с помощью процедуры абдуктивного логического вывода, в котором выводимые абдукцией заключения соответствуют частям схем и представлены ограничениями.


KiCad is a freely available CAD system for printed circuit board layout design. It is widely used to implement the open source hardware.

An approach to extend and enhance the KiCad user experience to develop such a design is proposed, using an extensible domain specific language.

The key idea of the proposed approach is to employ the similarities between constraint logic programming and abductive logic programming. This enables the schematic design analysis and synthesis to be both implemented with an abductive inference procedure, wherein abducibles (corresponding to schematic diagram parts) are modeled as constraints.

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf KiCad — от рисования к программированию (Антон Павлов, SECR-2019).pdf
KiCad — от рисования к программированию (Антон Павлов, SECR-2019)!.jpg

Примечания и ссылки

Plays:116   Comments:0