English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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 correct mathematical theories. It becomes more and more important in the verifications of high-reliability systems. Fractance element is formalized using the proof of higher-order logic theorem in this paper. Firstly, the formalized model of fractional calculus which is based on Caputo definition is established in higher-order logic theorem proof tool. Then some properties of fractional calculus are proved, including the zero order property, the fractional differential of a constant and the consistency of fractional calculus and integer order calculus. Finally, fractance element and fractional differential circuit constituted by fractance element are formally analyzed. These formalizations demonstrate the effectiveness of the formal method in the analysis of fractance element.

Research on the higher-order logic formalization of fractance element