Supercharge Your Innovation With Domain-Expert AI Agents!

A Performance Analysis Method of IED Formal Description Based on Markov Process

A technology of formal description and analysis method, applied in the field of IED formal description performance analysis based on Markov process, can solve the problem of weak support of non-functional requirements, and achieve the effect of simple and practical method, wide application range and perfect method

Active Publication Date: 2017-09-15
湖北恒维通智能科技有限公司
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although the CSP description provides good support for the design of system functions, it does not support the non-functional requirements of the system (such as reliability)

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Performance Analysis Method of IED Formal Description Based on Markov Process
  • A Performance Analysis Method of IED Formal Description Based on Markov Process
  • A Performance Analysis Method of IED Formal Description Based on Markov Process

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] The technical solutions of the present invention will be further described below in conjunction with the accompanying drawings and specific embodiments.

[0044] According to the IEC61850 standard, the simplified interactive model of timing overcurrent protection is as follows figure 1 shown.

[0045] Regardless of the time characteristics of the message, the CSP with four logical node interaction behaviors after simplification is described as follows:

[0046] PTOC=goose_off→tr→PTOC∏goose_off_on→tr→PTOC

[0047] RREC=goose_off→op→RREC∏goose_on→op→RREC

[0048] ∏goose_off_on→op→RREC

[0049] XCBR=goose_off→goose_off_on→stval→XCBR

[0050] ∏goose_on→goose_off_on→stval→XCBR

[0051] IHMI=tr→IHMI∏op→IHMI∏stval→IHMI

[0052] in accordance with figure 2 The conversion rules of these four processes correspond to the Petri net model such as Figure 3-Figure 6 .

[0053] After combining these four processes in parallel, we get Figure 7 Simplified Petri net model of ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a Markov process based IED (intelligent electronic device) formal-description performance analysis method. The Markov process based IED (intelligent electronic device) formal-description performance analysis method includes steps of constituting one random Petri net by each transitional time-delay compliance exponent distribution function after converting CSP (communicating sequential processes) descriptions into a Petri net and analyzing performance of a system described by CSP by the Petri net. The Markov process based IED formal-description performance analysis method further includes steps of (1) structuring Markov chain isomorphic with the random Petri net; (2) calculating a performance parameter change law of the system described by the CSP on the basis of steady-state probability of the Markov chain so as to provide a reference for formal design of the IED.

Description

technical field [0001] The invention belongs to the technical field of substation IED (Intelligent Electronic Device, intelligent electronic device) design, and relates to a Markov process-based IED formal description performance analysis method. Background technique [0002] The IEC61850 standard is the only international standard for a substation automation system based on a general network communication platform. The fifth part defines an IED in a substation automation system as consisting of one or more processors and capable of receiving external resources and / or A device for sending data and / or control commands from an external source. Such as electronic multi-function instruments, digital relays, controllers, etc. IED is an entity that can complete one or more specific logical node tasks within a certain range and under the conditions of the interface. [0003] With the development of digital substation, substation automation based on IEC61850 standard is an inevita...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
Inventor 张其林王先培赵永标袁磊
Owner 湖北恒维通智能科技有限公司
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com