CN106202769A - The industrial system detection method that a kind of on-line checking and simulation modeling checking combine - Google Patents

The industrial system detection method that a kind of on-line checking and simulation modeling checking combine Download PDF

Info

Publication number
CN106202769A
CN106202769A CN201610566999.5A CN201610566999A CN106202769A CN 106202769 A CN106202769 A CN 106202769A CN 201610566999 A CN201610566999 A CN 201610566999A CN 106202769 A CN106202769 A CN 106202769A
Authority
CN
China
Prior art keywords
model
checking
test
equipment
analysis
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201610566999.5A
Other languages
Chinese (zh)
Inventor
戚建淮
徐国前
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shenzhen Y&D Electronics Information Co Ltd
Original Assignee
Shenzhen Y&D Electronics Information Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shenzhen Y&D Electronics Information Co Ltd filed Critical Shenzhen Y&D Electronics Information Co Ltd
Priority to CN201610566999.5A priority Critical patent/CN106202769A/en
Publication of CN106202769A publication Critical patent/CN106202769A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/36Circuit design at the analogue level
    • G06F30/367Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/10Geometric CAD
    • G06F30/15Vehicle, aircraft or watercraft design
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q50/00Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
    • G06Q50/10Services
    • G06Q50/26Government or public services

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Theoretical Computer Science (AREA)
  • Geometry (AREA)
  • Business, Economics & Management (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Tourism & Hospitality (AREA)
  • Evolutionary Computation (AREA)
  • Human Resources & Organizations (AREA)
  • Educational Administration (AREA)
  • General Business, Economics & Management (AREA)
  • Primary Health Care (AREA)
  • Marketing (AREA)
  • General Health & Medical Sciences (AREA)
  • Economics (AREA)
  • Microelectronics & Electronic Packaging (AREA)
  • Health & Medical Sciences (AREA)
  • Strategic Management (AREA)
  • Development Economics (AREA)
  • Automation & Control Theory (AREA)
  • Aviation & Aerospace Engineering (AREA)
  • Computational Mathematics (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Train Traffic Observation, Control, And Security (AREA)

Abstract

The present invention relates to a kind of on-line checking and the industrial system detection method of simulation modeling checking combination, it is for track signaling system equipment, a kind of reliability, security test appraisal procedure are provided, it is applicable to electrified and nonelectrified section and multiple track circuit type the general interval of field of track traffic automatically close up test assessment, detects in real time with simulating, verifying, fault including physical characteristic signal analysis, physical signalling process model building, on-line real-time measuremen and diagnose.Present system overcomes traditional instrument and can be only done the measurement of the independence to certain amount, and it can make each measured value intercommunication.Realize information sharing, it is simple to analysis comprehensive to system under test (SUT), assessment, draw accurately judgement.Present system can need not be equipped with kind of a test instrunment in the face of complicated system under test (SUT) business, overcomes tradition not enough.

Description

The industrial system detection method that a kind of on-line checking and simulation modeling checking combine
Technical field
The present invention relates to a kind of on-line checking and the industrial system detection method of simulation modeling checking combination, belong to track letter Number technical field.
Background technology
Railway signal is the general name of the equipment such as the signal of railway system's use, interlocking, obturation.Track circuit is the railway system Whether taken by rolling stock for automatic, one section of circuit of continuous detecting, control signal device or the circuit of switching device action, It is to ensure that the equipment of traffic safety, is the important component part of railway signal.Track frequency-shifting signal is a kind of Phase Continuation Frequency shift keying signal (CPFSK), is substantially using frequency parameter as control information, uses warbled method, use low frequency The signal that signal modulating frequency is higher, produces the cycle that a kind of amplitude is constant, frequency changes with the change of low frequency signal amplitude Signal.
Track signaling system is to ensure that train runs safety at interval and improve the Traffic command system of handling capacity.Cause This, the safe and reliable operation of signaling system equipment is to ensureing that transportation safety and raising driving efficiency have very important effect.
In China, due to design, the condition limitation of debugging and the time restriction of on-the-spot commissioning, at present to signal The reliability of system equipment, security test and assessment are the most insufficient.
In terms of research and development angle, most research and development units will be placed under actual motion environment and carry out on-the-spot test by product, needs Spending and enter power material resources and time in a large number, rail vehicle transportation is produced impact, on-the-spot test is also impossible in a large number, is repeated, It is unfavorable for finding as early as possible design defect.
From a manufacturing perspective, means of testing, method, case and test content in production process are the most very limited, raw Producing manufacturer and be difficult to the actual interval environment that the equipment that takes into full account runs, this will be unfavorable for comprehensive survey of product reliability, safety Examination and assessment, easily leave potential safety hazard.
From safeguarding in terms of angle, signalling arrangement on-site maintenance still lacks the test equipment of flexible function, carries out the most by rule of thumb Safeguard, easily cause poor maintenance of equipment, disturb transport production.
For the problems referred to above, the present invention proposes the railway frequency shift letter that under on-line checking and line, simulation modeling checking combines Number detection method and system, improve and there may be potential safety hazard substituting rely on that expert and actual track run at present non- Method, to solve field of track traffic security control and the reliability and safety of guard system (signaling system) relevant device, Set up science, accurately test appraisal procedure and instrument.
Summary of the invention
It is an object of the invention to provide a kind of on-line checking and the industrial system detection method of simulation modeling checking combination, Preferably to improve and using deficiency, conveniently preferably use.
To achieve these goals, technical scheme is as follows.
The industrial system detection method that a kind of on-line checking and simulation modeling checking combine, is to set for track signaling system Standby, it is provided that a kind of reliability, security test appraisal procedure, it is adaptable to field of track traffic is electrified and nonelectrified section and Automatically close up and test assessment in the general interval of multiple track circuit type.
The method, is faced with RAMS (reliability, availability, and maintainability and safety) towards industrial system equipment complete Life-cycle processes control problem, based on big data-driven version and integrity soft metric technology, develops holographic dataization numeral Change modeling and run Security Testing platform, for promoting industrial control system and the reliability of product, effectiveness, maintainability and safety Property, and automation field more they tends to " zero failure " requirement, improves product quality, ensures industrial control system safe and reliable operation.
Physical characteristic signal analysis, is mapped to machinery, electric, pulse and radiation etc. by the behavioral function of system under test (SUT) equipment In the model library of projection plane, giving Formal Representation with the signal process pattern of physical quantity, Physical Characteristic Analysis mainly comprises Three contents:
(1) physical property or characteristic, the character that just can not be showed by chemical change is exactly physical property, belongs to Statistical physics category, such as: color, abnormal smells from the patient, state, the most easily melt, solidify, distil, volatilize, also just like fusing point, boiling point, hard Degree, electric conductivity, heat conductivity, ductility etc..
--physical change and physical property, e.g., water evaporation is physical change, and it is physical property that water can evaporate.In bulb Tungsten filament energising time luminous, heating be physical change, by this change show tungsten have can conduct electricity, fusing point High, be difficult to the physical property of fusing.
--in terms of material tests, start with in quality testing and performance detection two big fields.As easy to wear in rail, fatiguability and Vibration produces noise.
--traditional railway workman taps rail with iron hammer, judges whether somewhere existing problems or hidden danger according to sound." sound Information can be transmitted, it is also possible to transmission energy ".When tapping rail with iron hammer, bolt looseness changes the structure of object slight part, Having different timbres of sound is sent, it is possible to judge that bolt has non-loosening according to them.
--rail has conductive characteristic, and between rail and sleeper, insulating pad is aging, easily causes traction current exception etc. Situation so that rail potential current potential raises, easily causes the dysfunction of signalling arrangement or fault that same track is connected.
(2) kinetic characteristic, by clear and definite its motion acting, physical quantity of energy conversion, with vibration, displacement, noise, answers The signal datas such as change, rotating speed, torque, power, temperature, flow, power, pressure, the concrete behavior function of reflection explanation industrial process.
(3) electrical characteristic, by the physical quantity of its electric energy clear and definite conversion, with voltage, electric current, frequency, electric energy, power, phase The signal datas such as position, resistance, electric capacity, inductance, the concrete behavior function of reflection explanation industrial process.
(4) logical calculated characteristic, by the physical quantity of its data transmission and processing clear and definite, with video pulse, signal code, electricity The signal data such as magnetic radiation, traffic load, the concrete behavior function of reflection explanation industrial process.
(5) functional characteristic, as urban track traffic is belonging to integrate the complication system of work post multi-specialized, many, generally By track routes, station, vehicle, Maintenance and Repair base, form for power transformation, signal of communication, command and control center etc..
The Transportation Organization of urban track traffic, functional realiey, safety assurance all should follow the objective law of track traffic.
Centralized dispatching to be carried out on Transportation Organization, assume unified command of, by service chart tissue drive a vehicle.
In terms of functional realiey, be respectively related to specialty such as circuit, station, tunnel, vehicle, power, communicate, signal, electromechanics Equipment and fire-fighting system all should ensure that in good condition, normal operation.
In terms of safety assurance, rely primarily on organization of driving and set each properly functioning, ensure necessity running interval and Correct driving route.
In Rail Transit System, have employed the various automation equipments with electronic computer treatment technology as core, thus Replace artificial, machinery, electric organization of driving, equipment operation and safety assurance system.As ATC (train auto-matic control) is System can realize train automatic Pilot, from motion tracking, Automatic dispatching;SCADA (electric power system management automation) system can be real Existing main transformer station, traction substation, the remote control of stepdown substation device systems, remote signalling, remote measurement and remote regulating;BAS (environmental monitoring system System) and FAS (fire alarm system) automatization and fire-fighting, the automatization of warning system of station environmental Kuznets Curves can be realized;AFC (AFC system) can realize the functions such as automatic ticketing, ticket checking, classification.These systems each self-forming network completely, all Central computer is set, it is achieved unified command, grading control at OCC (control centre).
Physical signalling process model building: physical signalling process model building, to vibration, displacement, noise, strain, rotating speed, torque, merit Rate, temperature, flow, power, pressure, voltage, electric current, frequency, electric energy, power, phase place, resistance, electric capacity, inductance, video pulse, letter The spectral datas such as number electric current, electromagnetic radiation, traffic load, carry out the conversion such as LPC or MFCC and extract characteristic vector, with PCA, PLS Or SVM algorithm, deduction pivot library.
Based on mathematical model constructing function phantom: off-line simulation constructing function model, around the quality of products in kind Detection, launches to drive under the line being intended to obtain industrial object attribute data, behavior event argument data test and simulation modeling.
(1) based on mathematical model and well formed method, model testing has two kinds of main method, first Temporal Model Inspection, in the method, specification is stated with temporal logic form, and system simulation is finite state migratory system.Effective search procedure It is used for the model checking given finite state migratory system to be whether specification.In another kind of method, functional specification is with certainly Motivation mode is given, and system is also modeled as an automat, and automaton model and the specification of system compare, to determine that its behavior is No consistent with the automaton model of specification.
(2) model testing and checking, checking simulation modeling is the most accurate, can be divided into tense according to the feature of checked specification Logical model checker, the consistent checker of behavior and compound checker.
(3) in this model library of assay import feature poplar.
On-line real-time measuremen and simulating, verifying:
On-line monitoring, around the on-the-spot operation of products in kind, industrial process data is carried out real time implementation adaptive gather and Compression storage.
Set up process status modeling, obtain industrial control equipment measurement data by offline inspection, set up actual functional simulation Model;By actual operating data compared with offline functionality security model, model is carried out checking revision, forms Function detection Model library and detection scheme storehouse.
Fault detects in real time and diagnoses:
Can not complete under prescribed conditions for system equipment its regulation functional fault, this state often caused by Incorrect technical conditions, arithmetic logic mistake, damage of components, environmental change, operation mistake etc. cause, and this type is deposited In indeterminable problem--randomness.We use Black-box Testing or fault to detect in real time and diagnostic mode.
(1) signal detecting method, detection can really reflect the detection parameter of equipment running status, uses wavelet analysis, letter The methods such as breath fusion, machine learning, carry out reliability prediction, maintainability prediction, availability calculations, failure mode effect and harm Property analyze (FMECA), preliminary risk analysis (PHA), fault tree analysis (FTA), ETA (ETA) etc., diagnostic analysis therefore Barrier feature and cause effect relation.
(2) methods of risk assessment, risk matrix method based on Delphi method, system under test (SUT) equipment is carried out reliability, can With property and safety evaluatio.
This beneficial effect of the invention is: the present invention is the virtual instrument (Virtual of track signal detection Instnmmnts), utilize computer to be equipped with instrument hardware and the special-purpose software of particular design, user set according to the demand of oneself The basic function of the existing General Instrument of meter has again the new instrument system of essential distinction with traditional instrument.
Traditional instrument typically by instrument manufacturer facility man by the collection of signal and control, the analyzing and processing of signal, result defeated Go out this three zones module all to realize with hardware (or software of solidification), user's only operation, the determination function of use instrument. Many for test parameter and be continually changing towards answering system.
Present system uses definable hard measurement mode, and user can formulate measurement pattern, measurement procedure, and be integrated with The functions such as data modeling, service logic modeling and simulation checking, breach traditional instrument and process in data, express, transmit, grasp Make, show and the advantage such as storage.
Present system overcomes traditional instrument and can be only done the measurement of the independence to certain amount, and it can make each measured value Intercommunication.Realize information sharing, it is simple to analysis comprehensive to system under test (SUT), assessment, draw accurately judgement.
Present system can need not be equipped with kind of a test instrunment in the face of complicated system under test (SUT) business, overcomes the hard of traditional instrument Part redundancy, the use low and inefficient problem of frequency.
Using on-line checking to combine with modeling and simulating under line, present system has more preferable certainty of measurement and anti-interference Ability, effectively overcomes common detection methods, relies on expertise excessively and carries out the structure of diagnostic cast, to diagnostic result Accuracy adversely affect.
Present system Simulation and Modeling Technology, user changes, increases and decreases function and the scale of measurement system easily, sends out Wave the advantage of " software is exactly instrument (The software is instrument) ".
Accompanying drawing explanation
Fig. 1 is the industrial system behaviour detection technique framework in present system.
Detailed description of the invention
With embodiment, the detailed description of the invention of the present invention is described below in conjunction with the accompanying drawings, in order to be better understood from this Bright.
Embodiment
On-line checking in the present embodiment and the industrial system detection method of simulation modeling checking combination, be to believe for track Number system equipment, it is provided that a kind of reliability, security test appraisal procedure, it is adaptable to field of track traffic is electrified and non-electrical Change the general interval of interval and multiple track circuit type to automatically close up test assessment.
As it is shown in figure 1, the method, towards industrial system equipment be faced with RAMS (reliability, availability, and maintainability and Safety) lifecycle process control problem, based on big data-driven version and integrity soft metric technology, develop holographic number According to changing digitization modeling and running Security Testing platform, for promoting industrial control system and the reliability of product, effectiveness, maintainability And safety, and automation field more they tends to " zero failure " requirement, improves product quality, ensures the safe and reliable fortune of industrial control system OK.
Physical characteristic signal analysis, is mapped to machinery, electric, pulse and radiation etc. by the behavioral function of system under test (SUT) equipment In the model library of projection plane, giving Formal Representation with the signal process pattern of physical quantity, Physical Characteristic Analysis mainly comprises Three contents:
(1) physical property or characteristic, the character that just can not be showed by chemical change is exactly physical property, belongs to Statistical physics category, such as: color, abnormal smells from the patient, state, the most easily melt, solidify, distil, volatilize, also just like fusing point, boiling point, hard Degree, electric conductivity, heat conductivity, ductility etc..
--physical change and physical property, e.g., water evaporation is physical change, and it is physical property that water can evaporate.In bulb Tungsten filament energising time luminous, heating be physical change, by this change show tungsten have can conduct electricity, fusing point High, be difficult to the physical property of fusing.
--in terms of material tests, start with in quality testing and performance detection two big fields.As easy to wear in rail, fatiguability and Vibration produces noise.
--traditional railway workman taps rail with iron hammer, judges whether somewhere existing problems or hidden danger according to sound." sound Information can be transmitted, it is also possible to transmission energy ".When tapping rail with iron hammer, bolt looseness changes the structure of object slight part, Having different timbres of sound is sent, it is possible to judge that bolt has non-loosening according to them.
--rail has conductive characteristic, and between rail and sleeper, insulating pad is aging, easily causes traction current exception etc. Situation so that rail potential current potential raises, easily causes the dysfunction of signalling arrangement or fault that same track is connected.
(2) kinetic characteristic, by clear and definite its motion acting, physical quantity of energy conversion, with vibration, displacement, noise, answers The signal datas such as change, rotating speed, torque, power, temperature, flow, power, pressure, the concrete behavior function of reflection explanation industrial process.
(3) electrical characteristic, by the physical quantity of its electric energy clear and definite conversion, with voltage, electric current, frequency, electric energy, power, phase The signal datas such as position, resistance, electric capacity, inductance, the concrete behavior function of reflection explanation industrial process.
(4) logical calculated characteristic, by the physical quantity of its data transmission and processing clear and definite, with video pulse, signal code, electricity The signal data such as magnetic radiation, traffic load, the concrete behavior function of reflection explanation industrial process.
(5) functional characteristic, as urban track traffic is belonging to integrate the complication system of work post multi-specialized, many, generally By track routes, station, vehicle, Maintenance and Repair base, form for power transformation, signal of communication, command and control center etc..
The Transportation Organization of urban track traffic, functional realiey, safety assurance all should follow the objective law of track traffic.
Centralized dispatching to be carried out on Transportation Organization, assume unified command of, by service chart tissue drive a vehicle.
In terms of functional realiey, be respectively related to specialty such as circuit, station, tunnel, vehicle, power, communicate, signal, electromechanics Equipment and fire-fighting system all should ensure that in good condition, normal operation.
In terms of safety assurance, rely primarily on organization of driving and set each properly functioning, ensure necessity running interval and Correct driving route.
In Rail Transit System, have employed the various automation equipments with electronic computer treatment technology as core, thus Replace artificial, machinery, electric organization of driving, equipment operation and safety assurance system.As ATC (train auto-matic control) is System can realize train automatic Pilot, from motion tracking, Automatic dispatching;SCADA (electric power system management automation) system can be real Existing main transformer station, traction substation, the remote control of stepdown substation device systems, remote signalling, remote measurement and remote regulating;BAS (environmental monitoring system System) and FAS (fire alarm system) automatization and fire-fighting, the automatization of warning system of station environmental Kuznets Curves can be realized;AFC (AFC system) can realize the functions such as automatic ticketing, ticket checking, classification.These systems each self-forming network completely, all Central computer is set, it is achieved unified command, grading control at OCC (control centre).
Physical signalling process model building: physical signalling process model building, to vibration, displacement, noise, strain, rotating speed, torque, merit Rate, temperature, flow, power, pressure, voltage, electric current, frequency, electric energy, power, phase place, resistance, electric capacity, inductance, video pulse, letter The spectral datas such as number electric current, electromagnetic radiation, traffic load, carry out the conversion such as LPC or MFCC and extract characteristic vector, with PCA, PLS Or SVM algorithm, deduction pivot library.
Based on mathematical model constructing function phantom: off-line simulation constructing function model, around the quality of products in kind Detection, launches to drive under the line being intended to obtain industrial object attribute data, behavior event argument data test and simulation modeling.
(1) based on mathematical model and well formed method, model testing has two kinds of main method, first Temporal Model Inspection, in the method, specification is stated with temporal logic form, and system simulation is finite state migratory system.Effective search procedure It is used for the model checking given finite state migratory system to be whether specification.In another kind of method, functional specification is with certainly Motivation mode is given, and system is also modeled as an automat, and automaton model and the specification of system compare, to determine that its behavior is No consistent with the automaton model of specification.
(2) model testing and checking, checking simulation modeling is the most accurate, can be divided into tense according to the feature of checked specification Logical model checker, the consistent checker of behavior and compound checker.
(3) in this model library of assay import feature poplar.
On-line real-time measuremen and simulating, verifying:
On-line monitoring, around the on-the-spot operation of products in kind, industrial process data is carried out real time implementation adaptive gather and Compression storage.
Set up process status modeling, obtain industrial control equipment measurement data by offline inspection, set up actual functional simulation Model;By actual operating data compared with offline functionality security model, model is carried out checking revision, forms Function detection Model library and detection scheme storehouse.
Fault detects in real time and diagnoses:
Can not complete under prescribed conditions for system equipment its regulation functional fault, this state often caused by Incorrect technical conditions, arithmetic logic mistake, damage of components, environmental change, operation mistake etc. cause, and this type is deposited In indeterminable problem--randomness.We use Black-box Testing or fault to detect in real time and diagnostic mode.
(1) signal detecting method, detection can really reflect the detection parameter of equipment running status, uses wavelet analysis, letter The methods such as breath fusion, machine learning, carry out reliability prediction, maintainability prediction, availability calculations, failure mode effect and harm Property analyze (FMECA), preliminary risk analysis (PHA), fault tree analysis (FTA), ETA (ETA) etc., diagnostic analysis therefore Barrier feature and cause effect relation.
(2) methods of risk assessment, risk matrix method based on Delphi method, system under test (SUT) equipment is carried out reliability, can With property and safety evaluatio.
The above is the preferred embodiment of the present invention, it is noted that for those skilled in the art For, under the premise without departing from the principles of the invention, it is also possible to make some improvements and modifications, these improvements and modifications are also considered as Protection scope of the present invention.

Claims (1)

1. the industrial system detection method that an on-line checking and simulation modeling checking combine, it is characterised in that: the method is pin To track signaling system equipment, it is provided that a kind of reliability, security test appraisal procedure, it is adaptable to field of track traffic is electrified Automatically close up test assessment with the general interval of nonelectrified section and multiple track circuit type, specifically include following aspect:
Physical characteristic signal analysis, the behavioral function of system under test (SUT) equipment is mapped to machinery, electrically, pulse puts down with tomographic projection In the model library in face, give Formal Representation with the signal process pattern of physical quantity;
In Rail Transit System, have employed the various automation equipments with electronic computer treatment technology as core, thus replace Artificial, machinery, electric organization of driving, equipment run and safety assurance system;
Physical signalling process model building: physical signalling process model building, to vibration, displacement, noise, strain, rotating speed, torque, power, temperature Degree, flow, power, pressure, voltage, electric current, frequency, electric energy, power, phase place, resistance, electric capacity, inductance, video pulse, signal electricity The spectral datas such as stream, electromagnetic radiation, traffic load, carry out the conversion such as LPC or MFCC and extract characteristic vector, with PCA, PLS or SVM Algorithm, deduction pivot library;
Based on mathematical model constructing function phantom: off-line simulation constructing function model, around the quality testing of products in kind, Launch to drive under the line being intended to obtain industrial object attribute data, behavior event argument data test and simulation modeling;
(1) based on mathematical model and well formed method, model testing has two kinds of main method, and first Temporal Model is examined Testing, in the method, specification is stated with temporal logic form, and system simulation is finite state migratory system;Effective search procedure is used Whether check given finite state migratory system is a model of specification;In another kind of method, functional specification is with automatically Machine mode is given, and system is also modeled as an automat, and automaton model and the specification of system compare, whether to determine its behavior Consistent with the automaton model of specification;
(2) model testing and checking, checking simulation modeling is the most accurate, can be divided into temporal logic according to the feature of checked specification Model testing device, the consistent checker of behavior and compound checker;
(3) in this model library of assay import feature poplar;
On-line real-time measuremen and simulating, verifying:
On-line monitoring, around the on-the-spot operation of products in kind, carries out the adaptive of real time implementation and gathers and compression industrial process data Storage;
Set up process status modeling, obtain industrial control equipment measurement data by offline inspection, set up actual functional simulation; By actual operating data compared with offline functionality security model, model is carried out checking revision, forms Function detection model Storehouse and detection scheme storehouse;
Fault detects in real time and diagnoses:
Can not complete the functional fault of its regulation under prescribed conditions for system equipment, this state is often caused by the most just True technical conditions, arithmetic logic mistake, damage of components, environmental change, operation mistake etc. cause, and this type also exists Indeterminable problem;Black-box Testing or fault is used to detect in real time and diagnostic mode:
(1) signal detecting method, detection can really reflect the detection parameter of equipment running status, uses wavelet analysis, information to melt The methods such as conjunction, machine learning, carry out reliability prediction, maintainability prediction, availability calculations, failure mode effect divide with hazardness Analysis (FMECA), preliminary risk analysis (PHA), fault tree analysis (FTA), ETA (ETA) etc., diagnostic analysis fault is special Seek peace cause effect relation;
(2) methods of risk assessment, risk matrix method based on Delphi method, system under test (SUT) equipment is carried out reliability, availability And safety evaluatio.
CN201610566999.5A 2016-07-15 2016-07-15 The industrial system detection method that a kind of on-line checking and simulation modeling checking combine Pending CN106202769A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201610566999.5A CN106202769A (en) 2016-07-15 2016-07-15 The industrial system detection method that a kind of on-line checking and simulation modeling checking combine

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201610566999.5A CN106202769A (en) 2016-07-15 2016-07-15 The industrial system detection method that a kind of on-line checking and simulation modeling checking combine

Publications (1)

Publication Number Publication Date
CN106202769A true CN106202769A (en) 2016-12-07

Family

ID=57493943

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201610566999.5A Pending CN106202769A (en) 2016-07-15 2016-07-15 The industrial system detection method that a kind of on-line checking and simulation modeling checking combine

Country Status (1)

Country Link
CN (1) CN106202769A (en)

Cited By (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108021125A (en) * 2017-12-28 2018-05-11 深圳市永达电子信息股份有限公司 Industrial system signal of communication detecting system
CN108255649A (en) * 2017-11-30 2018-07-06 中国航空综合技术研究所 A kind of Diagnosis Strategy Design method based on modeling and simulating Cooperative Analysis
CN108445316A (en) * 2018-03-09 2018-08-24 贵州电网有限责任公司 A kind of determining on-line monitoring parameter evaluation grade method for distinguishing
CN108875197A (en) * 2018-06-13 2018-11-23 中国神华能源股份有限公司 Signalling arrangement method for diagnosing faults and diagnostic system
CN109598180A (en) * 2017-09-30 2019-04-09 深圳市岩尚科技有限公司 The method for evaluating quality of photoplethysmographic
CN111062566A (en) * 2019-11-11 2020-04-24 重庆首厚智能科技研究院有限公司 Management platform for supervising quality specifications of experimental instrument
CN111239529A (en) * 2020-03-05 2020-06-05 西南交通大学 Excitation test method and system supporting predictive maintenance of electromechanical equipment
CN112462738A (en) * 2020-11-18 2021-03-09 浙江中控技术股份有限公司 Method and device for evaluating availability of device and computer readable storage medium
CN112703537A (en) * 2018-09-04 2021-04-23 Abb 瑞士股份有限公司 Techniques for managing security at an industrial site
CN113312718A (en) * 2021-05-25 2021-08-27 上海中联重科桩工机械有限公司 Electromechanical and hydraulic simulation method and device
CN116012971A (en) * 2023-03-27 2023-04-25 中机生产力促进中心有限公司 Mechanical equipment detection management method and system

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN201051254Y (en) * 2007-06-22 2008-04-23 南京恩瑞特实业有限公司 Train environment simulator for city track traffic signal system
CN104615122A (en) * 2014-12-11 2015-05-13 深圳市永达电子股份有限公司 Industrial control signal detection system and detection method
CN104908781A (en) * 2015-05-27 2015-09-16 中国铁路总公司 Integrated electricity monitoring and maintaining system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN201051254Y (en) * 2007-06-22 2008-04-23 南京恩瑞特实业有限公司 Train environment simulator for city track traffic signal system
CN104615122A (en) * 2014-12-11 2015-05-13 深圳市永达电子股份有限公司 Industrial control signal detection system and detection method
CN104908781A (en) * 2015-05-27 2015-09-16 中国铁路总公司 Integrated electricity monitoring and maintaining system

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
傅李育: "轨交信号系统自动化测试集成平台设计与实现", 《中国优秀硕士学位论文全文数据库(信息科技辑)》 *
曹源 等: "形式化方法在列车运行控制系统中的应用", 《交通运输工程学报》 *

Cited By (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109598180A (en) * 2017-09-30 2019-04-09 深圳市岩尚科技有限公司 The method for evaluating quality of photoplethysmographic
CN108255649A (en) * 2017-11-30 2018-07-06 中国航空综合技术研究所 A kind of Diagnosis Strategy Design method based on modeling and simulating Cooperative Analysis
CN108255649B (en) * 2017-11-30 2021-04-20 中国航空综合技术研究所 Diagnosis strategy design method based on modeling simulation cooperative analysis
CN108021125A (en) * 2017-12-28 2018-05-11 深圳市永达电子信息股份有限公司 Industrial system signal of communication detecting system
CN108445316A (en) * 2018-03-09 2018-08-24 贵州电网有限责任公司 A kind of determining on-line monitoring parameter evaluation grade method for distinguishing
CN108445316B (en) * 2018-03-09 2019-11-19 贵州电网有限责任公司 A kind of determining on-line monitoring parameter evaluation grade method for distinguishing
CN108875197A (en) * 2018-06-13 2018-11-23 中国神华能源股份有限公司 Signalling arrangement method for diagnosing faults and diagnostic system
CN112703537B (en) * 2018-09-04 2022-12-27 Abb 瑞士股份有限公司 Techniques for managing security at an industrial site
CN112703537A (en) * 2018-09-04 2021-04-23 Abb 瑞士股份有限公司 Techniques for managing security at an industrial site
CN111062566A (en) * 2019-11-11 2020-04-24 重庆首厚智能科技研究院有限公司 Management platform for supervising quality specifications of experimental instrument
CN111239529A (en) * 2020-03-05 2020-06-05 西南交通大学 Excitation test method and system supporting predictive maintenance of electromechanical equipment
CN112462738A (en) * 2020-11-18 2021-03-09 浙江中控技术股份有限公司 Method and device for evaluating availability of device and computer readable storage medium
CN113312718B (en) * 2021-05-25 2022-11-11 上海中联重科桩工机械有限公司 Electromechanical and hydraulic simulation method and device
CN113312718A (en) * 2021-05-25 2021-08-27 上海中联重科桩工机械有限公司 Electromechanical and hydraulic simulation method and device
CN116012971A (en) * 2023-03-27 2023-04-25 中机生产力促进中心有限公司 Mechanical equipment detection management method and system
CN116012971B (en) * 2023-03-27 2023-06-20 中机生产力促进中心有限公司 Mechanical equipment detection management method and system

Similar Documents

Publication Publication Date Title
CN106202769A (en) The industrial system detection method that a kind of on-line checking and simulation modeling checking combine
CN103617110B (en) Server device condition maintenance system
CN100444070C (en) Setting method for fault diagnosis and accident prediction
CN103793853B (en) Condition of Overhead Transmission Lines Based appraisal procedure based on two-way Bayesian network
CN106199305A (en) Underground coal mine electric power system dry-type transformer insulation health state evaluation method
CN109102171A (en) A kind of substation equipment condition intelligent evaluation system and method based on big data
CN109324270A (en) A kind of high-tension switch cabinet intelligent online monitoring system
Liu et al. Model-based diagnosis of multi-track level crossing plants
CN103400310B (en) Method for evaluating power distribution network electrical equipment state based on historical data trend prediction
CN107967520A (en) A kind of synthetical condition assessment theoretical method towards novel intelligent station relay protection device
CN103926490B (en) A kind of power transformer error comprehensive diagnosis method with self-learning function
CN109934447A (en) A kind of Fuzzy Synthetic Evaluation of secondary equipment of intelligent converting station efficiency
CN103700025A (en) Power system equipment importance assessing and sorting method based on risk analysis
CN106504122A (en) A kind of fault monitoring method of the ring main unit for keeping embedded mobile GIS based on neighborhood and system
CN109583520A (en) A kind of state evaluating method of cloud model and genetic algorithm optimization support vector machines
CN113466597A (en) Intelligent detection method for equipment state of rail transit power supply system
CN109726834A (en) A kind of city integrated piping lane wisdom O&M health monitoring and evaluation method and system
CN109917213A (en) A kind of Contact Line Detection fault early warning method based on dimensionality reduction fusion and factorial analysis
Hegedűs et al. Proactive maintenance of railway switches
Eltyshev et al. Diagnostics of the power oil-filled transformer equipment of thermal power plants
CN115393142A (en) Intelligent park management method and management platform
CN103617105A (en) Self-adaptation multilevel flow model equipment diagnosis method based on data driving
CN108093210A (en) A kind of transformer oil level warning system and its alarm method
CN114666117A (en) Network security situation measuring and predicting method for power internet
CN103999316A (en) Method for generating a signal indicating an oscillation in an electrical energy supply network

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20161207

WD01 Invention patent application deemed withdrawn after publication