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 Tools annual

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 monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Aiming at the problem that it lacks the effective logic verification model on the security and control mechanism of intelligent lock, this paper proposed a novel security intelligent lock model based on situation calculus, named SILM-SC. Firstly, based on the research and application about the security intelligence lock, and integrated the demands on security and mobility, the logic process of security intelligent lock is deeply discussed. Subsequently, SILM-SC is established according to the logic process, and it fully considers the practical needs of the users and draws on the logical thinking of the situation calculus to make up for the lack of logic verification of security intelligent lock. Finally, according to the model, the security intelligence lock is set up, and the security of the model is proved by scientific test.

The construction and implementation of security intelligent lock model based on situation calculus