IEEE - Institute of Electrical and Electronics Engineers, Inc. - Research on the higher-order logic formalization of fractance element

Author(s): Shanshan Li ; Chunna Zhao ; Yong Guan ; Zhiping Shi ; Xiaojuan Li ; Rui Wang ; Qianying Zhang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1 - 9
ISSN (Paper): 2329-9266
ISSN (Online): 2329-9274
DOI: 10.1109/JAS.2016.7510208
Regular:

Fractance element reflects the fractional order behavior of circuits, which can show the characteristics of the actual circuits. Higher-order logic theorem proving is based on the rigorous and... View More

Advertisement