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

—The current analytical methods of Dynamic Fault Tree (DFT) are very complex and there is problem of state space explosion. At the same time, the current simulation methods also have several shortcomings which prevent the application of these models, including difficult to construct the model, discommodious to convert between simulation model and DFT model. In order to solve these problems, the formal description of DFT is put forward, which can express the DFT normatively and clearly. Based on the formal model, the DFT element is described by parameters, and then the general simulation model of DFT is constructed by using CPN TOOLS, and this model can largely reduce the workload of model conversion. Finally the case shows that the method is correct and useful.

Research of the Formal Model and Simulation Based on CPN of Dynamic Fault Tree