CN109375525A - A kind of instrument control finished product file importing modeling method based on verification platform - Google Patents

A kind of instrument control finished product file importing modeling method based on verification platform Download PDF

Info

Publication number
CN109375525A
CN109375525A CN201811196496.9A CN201811196496A CN109375525A CN 109375525 A CN109375525 A CN 109375525A CN 201811196496 A CN201811196496 A CN 201811196496A CN 109375525 A CN109375525 A CN 109375525A
Authority
CN
China
Prior art keywords
xml document
file
modeling method
emulation
source
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
CN201811196496.9A
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.)
China Nuclear Power Engineering Co Ltd
Original Assignee
China Nuclear Power Engineering 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 China Nuclear Power Engineering Co Ltd filed Critical China Nuclear Power Engineering Co Ltd
Priority to CN201811196496.9A priority Critical patent/CN109375525A/en
Publication of CN109375525A publication Critical patent/CN109375525A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00Systems involving the use of models or simulators of said systems
    • G05B17/02Systems involving the use of models or simulators of said systems electric

Abstract

The invention belongs to nuclear power station design verification technical fields, are related to a kind of instrument control finished product file importing modeling method based on verification platform.The importing modeling method in turn includes the following steps: functional diagram visio file (1) being exported as to the source xml document of fixed format, then carries out format checking and the consistency check of source xml document;(2) if source xml document does not pass through consistency check, step (1) is re-started after modifying functional diagram by designer;If source xml document is converted to target xml document by consistency check by source xml document;(3) according to the mold library file of visio, control algolithm module library is created on emulation platform;(4) emulation platform carries out submodule division to configuration map file, and is distributed automatically drawing task number, and the lower dress of emulation submodule compiling forms instrument control simulation model.Utilize the simulation modeling method of the invention, it is possible to accurate, quick, no manual intervention, the design verification platform I&C system for being widely suitable for each heap-type.

Description

A kind of instrument control finished product file importing modeling method based on verification platform
Technical field
The invention belongs to nuclear power station design verification technical field, it is related to a kind of instrument control finished product file based on verification platform and leads Enter modeling method.
Background technique
In design of nuclear power plant verification platform simulation model, the quantity of I&C system functional diagram is there are about page 5000 (with Fuqing 5,6 For number power plant), since functional diagram quantity is more, the signal transmission capacity between drawing is huge and frequent liter version, thus I&C system Simulation modeling be also take a long time during design verification platform modeling, labor intensive the best part.
The instrument control finished product file published a few years ago does not use calibrated bolck design method to go out to scheme, and drawing does not have computer code The condition of parsing, therefore design verification platform can only be drawn again in emulation configuration software by the way of manual configuration a few years ago Then kent carries out filling under the compiling of drawing, completes the foundation of I&C system simulation model.
Since the nuclear power unit of Fuqing 5,6 (China's dragon No.1 heap-type), instrument control design is using based on the Special Automatic of visio Change design software and carry out functional diagram finished product file and goes out to scheme, so that design verification platform is automatically imported for function map file, automatic group It is filled under state and completes I&C system modeling and create basic condition.
Summary of the invention
The instrument control finished product file that the object of the present invention is to provide a kind of based on verification platform imports modeling method, with can be quasi- Really, quickly, no manual intervention, be widely suitable for each heap-type design verification platform I&C system simulation modeling.
In order to achieve this, the present invention provides a kind of instrument control finished product based on verification platform in the embodiment on basis File imports modeling method, and the importing modeling method in turn includes the following steps:
(1) functional diagram visio file is exported as to the source xml document of fixed format, then carries out the format of source xml document Inspection and consistency check;
(2) if source xml document does not pass through consistency check, step (1) is re-started after modifying functional diagram by designer; If source xml document is converted to target xml document by consistency check by source xml document;
(3) according to the mold library file of visio, control algolithm module library is created on emulation platform, thus target xml text Part can be designed to verify configuration software Direct Recognition, be reduced to configuration map file;
(4) emulation platform carries out submodule division to configuration map file, and is distributed automatically drawing task number, emulates The lower dress of submodule compiling forms instrument control simulation model.
The principle of the present invention is as shown in Figure 1.Functional diagram visio file is exported as fixed format by functional diagram graphics software Source xml document then enters software later and checks link.If source xml does not pass through consistency check, software automatically generates map file Report an error inventory, and designer is prompted to modify functional diagram;If importing process enters next processing links, source xml warp by checking It crosses functional diagram importing software and is converted to target xml document.Target xml document by platform configuration software Direct Recognition and can restore For configuration figure.It should be noted that in general, emulation platform requires to carry out configuration figure module division, and each emulation Drawing in submodule has quantity limitation.The processing mode of the method for the present invention is to fulfil emulation of I&C system model ahead of schedule Module divides file, then this document is called by platform script, so that according to content for script when land identification target xml document Automatic task number distribution is carried out to it and submodule divides work, is then filled under platform compiling, and then generate I&C system Simulation model.
In a preferred embodiment, the present invention provide it is a kind of based on verification platform instrument control finished product file importing build Functional diagram visio file is exported as the source xml of fixed format using functional diagram graphics software wherein in step (1) by mould method File.In a preferred embodiment, the present invention provides a kind of instrument control finished product file importing modeling based on verification platform Method wherein in step (1), is based on DOM model, the effective information in the functional diagram of visio format is converted to reference format Source xml document.
In a kind of more preferred embodiment, the present invention provides a kind of instrument control finished product file based on verification platform and leads Enter modeling method, wherein the effective information includes title block information, picture frame, standard segment, connecting line.
In a preferred embodiment, the present invention provide it is a kind of based on verification platform instrument control finished product file importing build Mould method wherein in step (1), carries out format checking and consistency check to source xml document using C Plus Plus programming.
In a preferred embodiment, the present invention provide it is a kind of based on verification platform instrument control finished product file importing build Mould method, wherein in step (1), the content of the format checking and consistency check includes: drawing name, segment ID name Format, whether have duplication of name;Connecting line, signal echo both ends signal type, types of variables and the instrument control function division of connection It is whether consistent.
In a preferred embodiment, the present invention provide it is a kind of based on verification platform instrument control finished product file importing build Mould method wherein in step (2), is handled text, segment, ID, the hanging point in the xml document of source by software programming, And correspond mold segment name and control algolithm library module name, source xml document is thus converted into target xml document.
In a preferred embodiment, the present invention provide it is a kind of based on verification platform instrument control finished product file importing build Mould method, wherein in step (4), the configuration figure quantity of each system of software statistics nuclear power plant divides file as emulation submodule Input file, then manually according to other emulation project statistical results complete emulation submodules divide file;Land identification target File is divided to these according to shell script content when xml document and carries out autotask number distribution and submodule division;Later this A little automatic carries of file that divide are in simulation model node tree structure;These last emulation submodules fill under platform compiling, into And generate I&C system simulation model.
The beneficial effects of the present invention are import modeling side using the instrument control finished product file of the invention based on verification platform Method, can it is accurate, quickly, the emulation of no manual intervention, the design verification platform I&C system for being widely suitable for each heap-type builds Mould.
The present invention is based on design verification platform, functional diagram mass, automation are directed into design using software approach In verification platform, is filled under artificial secondary configuration in importing process without carrying out, functional diagram can be realized and emulated on emulation platform Operation, thus logic modeling before eliminating needs artificial modeling and bring human error, this aspect accelerate instrument control On the other hand system emulation modeling speed eliminates the manual intervention in instrument control simulation modeling, the design suitable for each heap-type is tested Demonstrate,prove platform instrument control system emulation modeling.Therefore, method of the invention is a kind of very outstanding, effective I&C system simulation modeling Method.
Detailed description of the invention
Fig. 1 is the flow chart that the illustrative instrument control finished product file of the invention based on verification platform imports modeling method (functional diagram visio file converts modeling principle figure).
Fig. 2 is the source for the reference format that the effective information in specific embodiment in the functional diagram of visio format is converted to Xml document.
Fig. 3 is the verification platform that source xml document obtains after format/consistency check and conversion in specific embodiment The target xml document of identification.
Fig. 4 is source xml document format checking and target xml document conversion program flow chart in specific embodiment.
Fig. 5 is to distribute artificial tasks number/submodule program flow diagram automatically in specific embodiment.
Specific embodiment
A specific embodiment of the invention is further illustrated below in conjunction with attached drawing.
The illustrative instrument control finished product file of the invention based on verification platform imports process such as Fig. 1 institute of modeling method Show, includes the following steps.
1, functional diagram visio file is exported as to the source xml document of fixed format, then carries out the format of source xml document Inspection and consistency check
DOM is the abbreviation of (Document Object Model), is mainly used for establishing what script was linked up with program language Bridge is the application programming interfaces towards xml.What xml data text was formulated for being made of multiple node levels interconnected by DOM Document, each part in document can regard the derivative of a Node as, and the set of node regards node tree (Tree) as.
Model is based on DOM model, by effective information (title block information, picture frame, the standard drawing in the functional diagram of visio format Block, connecting line etc.) be converted to the source xml document (as shown in Figure 2) of reference format.The shape not being defined in visio map file The information such as shape, text, combo box are removed during being converted to source xml document.The area head of source xml document describes function The title block information, including the map title, release, system number, device type etc. of energy figure.
If 2, source xml document does not pass through consistency check, step 1 is re-started after modifying functional diagram by designer;If Source xml document is then converted to target xml document by consistency check by source xml document
Source xml document format/consistency check and the target xml document for being converted to verification platform identification.Use C++ language Speech programming carries out format checking and consistency check to xml document, and the scope of examination includes the lattice of drawing name, segment ID name Whether formula has duplication of name;Whether both ends signal type, types of variables and the instrument control function division that connecting line, signal concord connect Unanimously.If inspection does not pass through, software automatically generates the list that reports an error, and table can be exported to be referred to for illustrator.Functional diagram is modified to soft After part inspection passes through, it is transferred to source xml conversion program automatically.Due to functional diagram graphics software (such as CNNC China Nuclear Power Engineering Co., Ltd. Instrument control designs developed ACP1000FD-SAMA figure the Automation Design software) it is only to chart and export Reporting Requirements, do not have Computing function, thus there are the names of different types of segment to bear the same name in figure, calculates segment occur multiple hanging points, certain segments without The situation of ID;And simulation and verification platform requires the drawing of configuration figure stringenter than dedicated graphics software more, all segments are necessary It names and unique, the quantity that calculation block (certain) is vacantly put must define, and segment ID must be lowercase etc., it is therefore desirable to which software is compiled Journey handles text, segment, ID, the hanging point etc. in the xml document of source, and by mold segment name and control algolithm library module Name corresponds, and is thus converted into target xml document (as shown in Figure 3).
The process that the above source xml document format checking and target xml document generate program is as shown in Figure 4.
Firstly, whether the name that program automaticly inspects drawing to be imported meets specification, drawing whether there is duplication of name phenomenon, if Check error, then feedback error prompts;
Second step, program automaticly inspect the ID name format of xml node (drawing element to be imported), if it bears the same name, drawing Whether attribute of an element parameter is empty, if checking error, illustrator's revisions on drawings is given in feedback error list;
Third step checks the connection (connecting line in drawing element) in xml, if connecting line connects end tie point Input and output type, types of variables, function division be it is unmatched, automatically generate the list that reports an error and feed back to illustrator's modification figure Paper;
4th step checks that signal echoes whether segment (signal jumps) matches, and checks that the signal that is mutually related jumps segment Property parameters whether fill in correctly, whether type matches, and whether function division consistent, if not by check, automatically generate report Wrong list feeds back to illustrator's revisions on drawings;
5th step, debugging process finish, and are ready for the conversion of xml document format, first progress text/segment processing, will Chinese in the xml of source in segment attribute parameter is rejected, and is lowercase by the name modifications of tie point;Then according to building in advance Drawing element is converted to emulation configuration segment by the mapping relations of vertical function segment title and simulation algorithm block typonym; It carries out the selection of special segment again in next step, for example spacing block, source drawing are not finely divided, and is needed when xml document conversion According to the tie point definition before and after connecting line, spacing block is converted to the correspondence segment for accordingly having connection vertex type;It is most laggard The conversion of the coordinate of row segment and connecting line break calculates;
6th step then carries out the processing of segment ID, and drawing software does not name all segments when drawing, some figures The segment that block has used visio software to name automatically, but due to drawing modify and when being imported again, it is certain crucial to calculate The title of block may change (visio is named automatically, and rule can not be grasped), therefore replicating machine is needed to certain special Calculation block assigns initial value, therefore needs to carry out certain segments (typical case's driving calculation block) processing of ID title when xml conversion;Meanwhile For general-purpose computations block (and-or inverter), it is also desirable to be supplemented according to drawing number ID, to guarantee the object imported imitative Title in prototype is unique;
7th step when mapping software is drawn, will not connect all predefined tie points, this is for logic calculation What there is no problem, but (mean value calculation block) is calculated for floating-point amount, the quantity vacantly put is needed according to segment tie point It is calculated, xml document conversion needs to complete this work.
Seven step of front all after the completion of, then complete the inspection and processing to source xml document, Mass production target xml text Part.
3, according to the mold library file of visio, control algolithm module library is created on emulation platform, thus target xml text Part can be designed to verify configuration software Direct Recognition, be reduced to configuration map file
Control algolithm module library is established, according to the mold library file of visio, one to one creation control is calculated on emulation platform Method module library (module size, module pin, modular algorithm, module parameter etc. must all correspond).After algoritic module library is established, Functional diagram can be realized to be introduced directly into emulation platform, target xml document can be designed to verify configuration software Direct Recognition, reduction For configuration figure.
4, emulation platform carries out submodule division to configuration map file, and is distributed automatically drawing task number, emulates The lower dress of submodule compiling forms instrument control simulation model
Emulation platform needs to carry out configuration figure module division, and the drawing in each emulation submodule has quantity limitation. As shown in figure 5, the configuration figure quantity of each power plant system of software programming count, the input text of file is divided as emulation submodule Part, then manually complete emulation submodule according to other emulation project experiences and divide file.When land identification target xml document according to Shell script content carries out autotask number distribution to these files and submodule divides, these divide the automatic carry of file later In simulation model node tree structure, these last emulation submodules fill under platform compiling, and then generate I&C system emulation Model.
Obviously, various changes and modifications can be made to the invention without departing from essence of the invention by those skilled in the art Mind and range.If in this way, belonging to the model of the claims in the present invention and its equivalent technology to these modifications and changes of the present invention Within enclosing, then the present invention is also intended to include these modifications and variations.Above embodiment only illustrates to of the invention Bright, the present invention can also be implemented with other ad hoc fashions or other particular forms, without departing from the gist of the invention or originally Matter feature.Therefore, the embodiment of description is regarded as illustrative and non-limiting in any way.Model of the invention Enclosing should be illustrated by appended claims, and any variation equivalent with the intention and range of claim should also be included in the present invention In the range of.

Claims (7)

1. a kind of instrument control finished product file based on verification platform imports modeling method, which is characterized in that the importing modeling side Method in turn includes the following steps:
(1) functional diagram visio file is exported as to the source xml document of fixed format, then carries out the format checking of source xml document And consistency check;
(2) if source xml document does not pass through consistency check, step (1) is re-started after modifying functional diagram by designer;If source Source xml document is then converted to target xml document by consistency check by xml document;
(3) according to the mold library file of visio, control algolithm module library is created on emulation platform, thus target xml document can It is designed to verify configuration software Direct Recognition, is reduced to configuration map file;
(4) emulation platform carries out submodule division to configuration map file, and is distributed automatically drawing task number, and submodule is emulated The lower dress of block compiling forms instrument control simulation model.
2. importing modeling method according to claim 1, it is characterised in that: in step (1), it is based on DOM model, it will Effective information in the functional diagram of visio format is converted to the source xml document of reference format.
3. importing modeling method according to claim 2, it is characterised in that: the effective information include title block information, Picture frame, standard segment, connecting line.
4. importing modeling method according to claim 1, it is characterised in that: in step (1), use C Plus Plus programming pair Source xml document carries out format checking and consistency check.
5. importing modeling method according to claim 1, which is characterized in that in step (1), the format checking and one The content of cause property inspection includes: that drawing is named, the format of segment ID name, whether has duplication of name;Connecting line, signal echo connection Whether both ends signal type, types of variables and instrument control function division are consistent.
6. importing modeling method according to claim 1, it is characterised in that: in step (2), by software programming by source Text, segment, ID, hanging point in xml document are handled, and mold segment name and control algolithm library module name one is a pair of It answers, source xml document is thus converted into target xml document.
7. importing modeling method according to claim 1, it is characterised in that: in step (4), software statistics nuclear power plant is respectively The configuration figure quantity of system divides the input file of file as emulation submodule, then manually according to other emulation project statistics knots Fruit completes emulation submodule and divides file;File is divided to these according to shell script content when land identification target xml document It carries out autotask number distribution and submodule divides;These divide the automatic carry of file in simulation model node tree structure later In;These last emulation submodules fill under platform compiling, and then generate I&C system simulation model.
CN201811196496.9A 2018-10-15 2018-10-15 A kind of instrument control finished product file importing modeling method based on verification platform Pending CN109375525A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811196496.9A CN109375525A (en) 2018-10-15 2018-10-15 A kind of instrument control finished product file importing modeling method based on verification platform

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811196496.9A CN109375525A (en) 2018-10-15 2018-10-15 A kind of instrument control finished product file importing modeling method based on verification platform

Publications (1)

Publication Number Publication Date
CN109375525A true CN109375525A (en) 2019-02-22

Family

ID=65398455

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811196496.9A Pending CN109375525A (en) 2018-10-15 2018-10-15 A kind of instrument control finished product file importing modeling method based on verification platform

Country Status (1)

Country Link
CN (1) CN109375525A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113778038A (en) * 2021-11-09 2021-12-10 西安热工研究院有限公司 Offline configuration comparison method and system for distributed control system
CN115185900A (en) * 2022-05-20 2022-10-14 中核武汉核电运行技术股份有限公司 Downloading method for time sequence data real-time calculation algorithm

Citations (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101169716A (en) * 2007-11-30 2008-04-30 清华大学 Emulated procedure information modeling and maintenance method based on product structural tree
CN101706840A (en) * 2009-12-04 2010-05-12 西安奕盛信息技术有限责任公司 Product node tree based presentation method of product performance simulation information
CN103366059A (en) * 2013-07-08 2013-10-23 国电南瑞科技股份有限公司 Model data description method for secondary equipment of substation simulation and training system
CN103616824A (en) * 2013-11-04 2014-03-05 广东电网公司电力科学研究院 Total-system simulation-based power system machine-network coordination analysis platform
CN103869801A (en) * 2012-12-13 2014-06-18 中广核工程有限公司 Test method of nuclear power plant instrumentation control logic function block and system
CN104536400A (en) * 2014-12-13 2015-04-22 国核自仪系统工程有限公司 Nuclear power station DCS simulation modeling method
CN105005658A (en) * 2015-07-15 2015-10-28 国家电网公司 Logic simulation method of comprehensive automation system equipment of transformer substation
US20150339355A1 (en) * 2007-11-01 2015-11-26 Cybernet Systems Corporation Application coherency manager
CN105912469A (en) * 2016-04-11 2016-08-31 卡斯柯信号有限公司 Automatic detection method of testing scripts for rail transit vehicle-mounted controller software
CN106547726A (en) * 2015-09-16 2017-03-29 中国航空工业第六八研究所 A kind of automation checking method and checking device based on document
CN107122338A (en) * 2017-01-16 2017-09-01 中国核动力研究设计院 A kind of method that functional diagram for digitizing I&C system is automatically converted into configuration file
CN107505851A (en) * 2017-07-11 2017-12-22 核动力运行研究所 Ovation control analogue systems and emulation mode based on Rinsim platforms
CN107885097A (en) * 2017-10-24 2018-04-06 中广核核电运营有限公司 A kind of Nuclear Power Plant Simulation I&C system DCS transformations closed loop checking system and method
CN108022039A (en) * 2017-11-21 2018-05-11 国家电网公司 A kind of Substation Training Simulator based on augmented reality
CN108573112A (en) * 2018-05-08 2018-09-25 北京特种工程设计研究院 Aerospace test based on digitalized artificial emits two dimensional topology analysis method

Patent Citations (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20150339355A1 (en) * 2007-11-01 2015-11-26 Cybernet Systems Corporation Application coherency manager
CN101169716A (en) * 2007-11-30 2008-04-30 清华大学 Emulated procedure information modeling and maintenance method based on product structural tree
CN101706840A (en) * 2009-12-04 2010-05-12 西安奕盛信息技术有限责任公司 Product node tree based presentation method of product performance simulation information
CN103869801A (en) * 2012-12-13 2014-06-18 中广核工程有限公司 Test method of nuclear power plant instrumentation control logic function block and system
CN103366059A (en) * 2013-07-08 2013-10-23 国电南瑞科技股份有限公司 Model data description method for secondary equipment of substation simulation and training system
CN103616824A (en) * 2013-11-04 2014-03-05 广东电网公司电力科学研究院 Total-system simulation-based power system machine-network coordination analysis platform
CN104536400A (en) * 2014-12-13 2015-04-22 国核自仪系统工程有限公司 Nuclear power station DCS simulation modeling method
CN105005658A (en) * 2015-07-15 2015-10-28 国家电网公司 Logic simulation method of comprehensive automation system equipment of transformer substation
CN106547726A (en) * 2015-09-16 2017-03-29 中国航空工业第六八研究所 A kind of automation checking method and checking device based on document
CN105912469A (en) * 2016-04-11 2016-08-31 卡斯柯信号有限公司 Automatic detection method of testing scripts for rail transit vehicle-mounted controller software
CN107122338A (en) * 2017-01-16 2017-09-01 中国核动力研究设计院 A kind of method that functional diagram for digitizing I&C system is automatically converted into configuration file
CN107505851A (en) * 2017-07-11 2017-12-22 核动力运行研究所 Ovation control analogue systems and emulation mode based on Rinsim platforms
CN107885097A (en) * 2017-10-24 2018-04-06 中广核核电运营有限公司 A kind of Nuclear Power Plant Simulation I&C system DCS transformations closed loop checking system and method
CN108022039A (en) * 2017-11-21 2018-05-11 国家电网公司 A kind of Substation Training Simulator based on augmented reality
CN108573112A (en) * 2018-05-08 2018-09-25 北京特种工程设计研究院 Aerospace test based on digitalized artificial emits two dimensional topology analysis method

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
刘志声: "某DCS系统XML备份数据分析与应用", 《工业控制计算机》 *
杨涛: "核电站系统图形化建模仿真及验证" *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113778038A (en) * 2021-11-09 2021-12-10 西安热工研究院有限公司 Offline configuration comparison method and system for distributed control system
CN115185900A (en) * 2022-05-20 2022-10-14 中核武汉核电运行技术股份有限公司 Downloading method for time sequence data real-time calculation algorithm

Similar Documents

Publication Publication Date Title
CN107273117B (en) Programming-friendly agile code automatic generation system
US4730315A (en) Diagrammatic method of testing program
CN107291450B (en) Programming-friendly agile code automatic generation method
CN108121216B (en) Automated workshop virtual debugging method based on digital factory
CN103885439A (en) Automated testing system for railway signal computer interlocking system
CN110516325A (en) A kind of CAE automation simulation analysis method and system
CN106874244A (en) A kind of construction method of the document Auto-generation Model based on work sequence
KR101425527B1 (en) System and method for simulating realtime severe accident phenomena for training simulator of the nuclear power plant
CN109032577A (en) A kind of data simulation method
CN109375525A (en) A kind of instrument control finished product file importing modeling method based on verification platform
CN105302719A (en) Mutation test method and apparatus
CN109634600A (en) A kind of code generating method based on security extension SysML and AADL model
CN110209389A (en) A kind of data generating tool development system based on XML
CN111652760B (en) Power grid operation and maintenance virtual reality simulation system and simulation method
CN108037913A (en) A kind of conversion method of xUML4MC models to MSVL LISP program LISPs, computer program
CN107505851A (en) Ovation control analogue systems and emulation mode based on Rinsim platforms
CN105279269A (en) SQL generating method and system for supporting table free association
CN110244688A (en) Meter bus panel automatic generation method and its system based on LabVIEW
CN104298603B (en) A kind of inspection method of the correctness of application system version structure
CN106096159A (en) Distributed system behavior simulation under a kind of cloud platform analyzes the implementation method of system
CN111580409B (en) Fault simulation test method for real-time embedded system
KR101387347B1 (en) Dcs logic diagram simulation apparatus for power plant and the method thereof
CN109522595A (en) A kind of functional diagram importing automatic diagnosis method based on nuclear power plant's verification platform
CN102629213B (en) Analysis method and monitoring method for C language simulation model
CN110019177A (en) The method and apparatus of rule storage

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
RJ01 Rejection of invention patent application after publication
RJ01 Rejection of invention patent application after publication

Application publication date: 20190222