CN104678780A - Ontology-construction-model-based control method of chemical production process - Google Patents

Ontology-construction-model-based control method of chemical production process Download PDF

Info

Publication number
CN104678780A
CN104678780A CN201510083650.1A CN201510083650A CN104678780A CN 104678780 A CN104678780 A CN 104678780A CN 201510083650 A CN201510083650 A CN 201510083650A CN 104678780 A CN104678780 A CN 104678780A
Authority
CN
China
Prior art keywords
devs
model
ontology
output
chemical process
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
CN201510083650.1A
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.)
Zhejiang University ZJU
Original Assignee
Zhejiang University ZJU
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 Zhejiang University ZJU filed Critical Zhejiang University ZJU
Priority to CN201510083650.1A priority Critical patent/CN104678780A/en
Publication of CN104678780A publication Critical patent/CN104678780A/en
Pending legal-status Critical Current

Links

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The invention discloses an ontology-construction-DEVS-model-based control method of a chemical production process. The method comprises the following steps: describing basic component elements of a DEVS model and the relation between the basic component elements by using ontology to obtain a DEVS ontology model; constructing a production model according to the chemical production process and instantiating the DEVS ontology model by using the production model to obtain an initial DEVS example; reasoning and checking the initial DEVS example, and then correcting the obtained conflict to obtain the DEVS example; mapping the DEVS example as a DEVS model code; applying the DEVS model code to the chemical production process for simulating, and controlling the chemical production process according to a simulation result. According to the ontology-construction-DEVS-model-based control method of the chemical production process, the DEVS ontology model is constructed by the high expressive capability of the ontology and is checked by the high reasoning capability of the ontology, thereby ensuring the safe operation of the chemical production process.

Description

A kind of chemical process control method based on ontological construction model
Technical field
The present invention relates to Chemical Manufacture control field, be specifically related to a kind of chemical process control method based on ontological construction model.
Background technology
In modern industry, due to the usual all more complicated of production run, before production is carried out, generally can carry out modeling and simulating, carry out smoothly with Instructing manufacture process.
Modeling and simulation technology by observing, the behavior of analytic system and operation logic, computing machine or entity are set up the abstract model of system, and carry out system experimentation on models, carry out behavior and the principle of analytic system.Modeling and simulation technology has become one of the most frequently used technological means of design and analysis and study of various system.
In years of researches and development, the technical method of various different characteristics is created in modeling and simulation field, as emulation continuous time, discrete time emulation, discrete events simulation etc., wherein, discrete event system simulation is a very important class modeling and simulation method, be widely used in system artificial in a large number, as queuing system, traffic system etc.
Compared with other emulation technologies, discrete event system simulation has two outstanding features:
(1) state of system only changes on discrete event point, and discrete event point is generally uncertain;
(2) the state change in system often cannot represent with mathematical formulae, and the mode of the access expansion language such as usual use figure, table describes.
DEVS (discrete events simulation normal form) is a kind of method describing discrete event system simulation formally.In DEVS modeling method, first modeling object is broken down into simple module one by one, then multiple simple module can condense together, can by all simple module condensing together in layer by such mode, these simple module are exactly DEVS atomic model, and are DEVS coupling models by being polymerized the new module formed.
Input port, the output port of DEVS coupling model and DEVS atomic model have similarity, therefore when being polymerized new module, coupling model and atomic model can being equal to and treating.
Basic DEVS atomic model is defined as follows:
AtomicDEVS＝<X,s 0,S,Y,δ int,δ ext,λ,ta>
X: the set of incoming event;
Y: the set of outgoing event;
S 0: the original state of system;
S: the set of status switch;
δ int: S → S, the internal state transfer function of model;
δ ext: Q × X → S, the external status transfer function of model, wherein
Q＝{(s,e)|s∈S,0≤e≤ta(s)}；
λ: S → Y, output function;
Ta: time stepping method function;
Basic DEVS coupling model is defined as follows:
coupledDEVS＝<X,Y,D,{M d},{I d},{Z i,d},Select>
X: the set of incoming event;
Y: the set of outgoing event;
D: the set of module index;
Right m dit is a DEVS model;
Right i dto the influential module collection of module d, namely
Right z i,dit is an output transfer function describing from i to d;
Z i,d: X → X d, if i=N; Represent the outside input of coupling model and the connection of the input of other modules;
Z i,d: Y i→ Y, if d=N; The connection of the output of representation module and the output of coupling model;
Z i,d: Y i→ X d, if d ≠ N and i ≠ N; Connection between representation module;
The definition of above-mentioned DEVS model is all formal description, and a lot of aspects of DEVS model are all difficult to express with mathematical equation.In actual use, DEVS model is all exist with the form such as code or document, if DEVS model is under development occur mistake, only has when by the time bringing into operation analogue system, just likely finds.
In artificial intelligence and computer realm, body is often used to solve the problem relevant with knowledge.The definition of body has a lot, and wherein a kind of definition is " the clear and definite normalized illustration that body is concept " preferably.Body is often used to describe the rule of relation between entity in certain ken, concept, concept and these relations.Body has powerful ability to express, and body utilizes the such tlv triple of " resource ", " attribute " and " property value " to represent a binary relation, and the relation of any one complexity can decompose, represent by this binary relation.
Summary of the invention
The invention provides a kind of chemical process control method based on ontological construction DEVS model, the ability to express utilizing body powerful sets up DEVS ontology model, and the inferential capability utilizing body powerful verifies DEVS ontology model, avoid mistake to substitute into simulation process, ensure that the safety of chemical process is carried out.
Based on a chemical process control method for ontological construction DEVS model, comprise the following steps:
(1) use the relation between the basic composition element of ontology describing DEVS model and basic composition element, obtain DEVS ontology model.
DEVS ontology model (DEVS Modeling Ontology, vehicle economy VSMO) is the description to DEVS model utilizing ontology construct.
Described DEVS model comprises three multivariate set and four functions, wherein three multivariate set are respectively: incoming event set, outgoing event set and state set, and four functions are respectively: external status transfer function, internal state transfer function, time stepping method function and output function.
Incoming event set, outgoing event set and state set can be empty, and also can comprise multiple variable, each variable has a codomain, the corresponding mathematical set of each codomain.
Variable has different data types, data type can be floating number (float), integer (integer), character string (string), Boolean (boolean), also can be the data type of more complicated, as enumerated (enumeration), queue (queue) etc.
According to the not same-action of variable in DEVS model, these variablees can be divided into input variable (InputVariable), output variable (OutputVariable) and state variable (StateVariable).
DEVS model (i.e. the atomic model of DEVS) has a lot of different port to be used for receiving incoming event, and each port and a Variable-Bindings, for preserving the value of input port.
The state set of DEVS model, at least containing the special state variable and the time stepping method variable that are called " Phase ", all contains a lot of user-defined state variable in most of DEVS model.
In DEVS model, internal state transfer function includes multiple internal state regeneration behavior, and external status transfer function includes multiple external status regeneration behavior, and output function includes the behavior of multiple output variable assignment.
In DEVS modeling, a modeling object can according to the set of received external information definition incoming event; According to the information definition outgoing event set exported; According to the channel definition input port receiving external information; According to output channel definition output port; According to the state variable of system state define system; According to the transition situation definition internal event transfer of system state variables, the process of external event transfer.
Described DEVS ontology model comprises three class bodies and four functions, wherein three class bodies are respectively: input set, output set and state set, four functions are respectively: external event transfer function, internal event transfer function, time stepping method function and output function.
After each several part defining DEVS model, corresponding class is found in incoming event set, outgoing event set, input port, output port, state variable, internal event transfer, external event transfer respectively in DEVS ontology model.
In DEVS ontology model, each input set (InputSet) comprises some input variables (InputVariable) and input port set, comprise some input ports in input port set, each input port (InputPort) is associated with an input variable; Each output set (OutputSet) comprises some output variables (OutputVariable) and output port (OutputPort) set, comprise some output ports in output port set, each output port is associated with an output variable.
In DEVS ontology model, the action of model may be that state initialization (StateInitialization), state updating (StateUpdate), input variable assignment (InputVariableAssignment), output variable assignment (OutputVariableAssignment), parameter assignment (ParameterAssignment) and model output (SendOutput) etc. are several, wherein some action and corresponding performance variable are associated, and these actions carry out presentation model behavior by the value of various variable in change DEVS ontology model.External event transfer function in DEVS ontology model, internal event transfer function, output function all contain many different model behaviors.
(2) build production models according to chemical process, and utilize these production models to carry out the instantiation of DEVS ontology model, obtain initial DEVS example.
In the corresponding class of DEVSMO, add corresponding example, form DEVSMO example, this is also the bulk form of DEVS model.
(3) reasoning verification is carried out to initial DEVS example, then the conflict obtained is revised, obtain DEVS example.
Before model code, utilize ontology inference to verify initial DEVS example, can find conflicting information in the DEVS example of bulk form, easy-to-look-up mistake, revises, and improves efficiency and the accuracy of modeling.
(4) DEVS example is mapped as DEVS model code.
According to DEVS simulated environment, adjustment maps the DEVS code form produced as required, and be DEVS model code by the DEVS instance transfer verified, DEVS model code can perform under concrete simulated environment.
By the InputPort in DEVS example, OutputPort, InputVariable, OutputVariable, StateVariable respectively with the input port in DEVS model code, output port, input variable, output variable, state variable is corresponding, by StateInitialization, StateUpdate, InputVariableAssignment, OutputVariableAssignment etc. respectively with the state initialization in DEVS model code, state updating, input variable assignment, the processes such as output variable assignment are corresponding, the DEVS model code of final formation.
At present, conventional DEVS simulated environment has CD++, DEVSJAVA etc., and the logic of the DEVS model code be mapped to each simulated environment from DEVS example may be distinguished to some extent, but roughly the same in logic what map.
DEVS example, for CD++ simulated environment, is mapped as the eXecute UML code in CD++ environment by the present invention.In CD++ environment, a DEVS model is exactly the type of a C++, such DEVS model comprises two files: header file and defined file, these two files are all generally name with the name of class, header file is mainly as the bearer documents containing class, power function, data-interface statement, and defined file is mainly used in the realization of save routine.According to the toy grammar in CD++, the information in DEVS example is reorganized into header file and defined file.
(5) DEVS model code is applied to chemical process emulation, and controls chemical process according to simulation result.
The present invention is based on the chemical process control method of ontological construction DEVS model, use the Modeling Ontology DEVSMO of ontology construct DEVS model, enhance the visual of modeling, improve modeling efficiency; Use ontology inference engine to verify DEVS example, compensate for the defect that traditional DEVS modeling cannot verify the model obtained, mistake can be found in the modelling phase, ensure carrying out smoothly of chemical process.
Accompanying drawing explanation
Fig. 1 is the process flow diagram of modeling in the chemical process control method that the present invention is based on ontological construction DEVS model;
Fig. 2 is the structural representation of certain tank field in refinery;
Fig. 3 is the schematic diagram using ontology construct DEVS model element;
Fig. 4 is the schematic diagram utilizing ontology inference engine to verify initial DEVS example;
Fig. 5 is the simulation result schematic diagram (horizontal ordinate is that tank holds, and ordinate is the time) of tank field.
Embodiment
Below in conjunction with accompanying drawing, the chemical process control method that the present invention is based on ontological construction DEVS model is described in detail.
As shown in Figure 1, a kind of chemical process control method based on ontological construction DEVS model, comprises the following steps:
(1) use the relation between the basic composition element of ontology describing DEVS model and basic composition element, obtain DEVS ontology model, the relational structure of DEVS ontology model and DEVS model is as shown in table 1 and Fig. 3.
Table 1
DEVS model DEVS ontology model
Incoming event set Input set
Outgoing event set Output set
State set State set
External status transfer function External event transfer function
Internal state transfer function Internal event transfer function
Time stepping method function Time stepping method function
Output function Output function
(2) build production models according to chemical process, and utilize these production models to carry out the instantiation of DEVS ontology model, obtain initial DEVS example.
For the refinery shown in Fig. 2 tank field as production models, build initial DEVS example.In tank field shown in Fig. 2, Tk02601 tank and Tk02602 tank are flowed in tank Tk02603 by confluence Jc00009, and the elementary object of tank field scheduling is: by controlling the discharging of three tanks, the liquid level of each tank in tank field is among security level.
In tank field shown in Fig. 2, there are tank and confluence two class chemical plant installations, set up the DEVS model of tank and confluence below respectively with DEVSMO.
Each tank arrangement includes a charging side line and a discharging side line, in initial DEVS example, there is corresponding feed rate port and discharging flow port.In initial DEVS example, the flow of charging survey line and the flow of discharging side line have corresponding control signal.The state of tank arrangement comprises the flow of charging side line, the flow of discharging side line and tank and holds three parts.
Event in the initial DEVS example of tank arrangement comprises the change of feed rate control signal and the change of discharging flow control signal.When feed rate control signal changes, trigger external event shifts, and upgrades the feed rate in state variable, enters a transient state process; Trigger internal event transfer over time, now, the tank upgraded in state variable holds, thus enters a steady-state process.When discharging flow control signal changes, same trigger external event transfer, exports with new discharging flow, now be in a transient state process, trigger internal event transfer over time, the tank upgraded in state variable holds, just be in steady-state process afterwards, export with new discharging flow.
When utilizing DEVS ontology model to set up the initial DEVS example of tank, need interpolation feed side line cap " port_in_1 ", an exit side line cap " port_out_1 " and an exit side linear flow rate control port " port_control_1 ", also comprise an external status transfer function, an internal state transfer function and an output function in the initial DEVS example of tank arrangement.
External status transfer function is mainly used to the change change of control signal of process input flow rate and the change of delivery rate control signal; Internal state transfer function is mainly used in the transient state process of tank arrangement to switch to steady-state process; Output function exports discharging flow by exit side line cap.
Confluence comprises multiple charging side line and a discharging side line, and the initial DEVS example of confluence also comprises multiple feed rate port and a discharging flow port.When feed rate changes, trigger external event shifts, and upgrades the flow of input.In output function, use new flow to calculate discharging pump-around stream amount, the flow of discharging side line is the summation of all input side linear flow rates.
The initial DEVS example of confluence is very simple, comprise multiple feed side line cap and an exit side line cap, equally, also external status transfer function, internal state transfer function and output function is included in the initial DEVS example of confluence, but in confluence, there is no transient state to the transient process of stable state, therefore only need external status transfer function to process the change of input flow rate, without the need for state transfer in internal state transfer, instantaneous discharging flow exports by output function.
(3) reasoning verification is carried out to initial DEVS example, then the conflict obtained is revised, obtain DEVS example;
The present invention uses ontology describing DEVS model to obtain DEVSMO, the relation between each basic composition element in DEVS and each basic composition element is described in DEVSMO, if initial DEVS example occurs mistake when structure, then use during ontology inference and will report an error.
Fig. 4 display is not when input variable " in_value_1 " points to input port " port_in_1 ", the error message of inference engine prompting, in this miscue information, be exactly that inconsistent place appears in inference engine in reasoning process with the place that frame a irises out." in_value_1Type InputVariable " this line is circled, just represent reasoning conflict herein, also namely in modeling process, the type of in_value_1 is InputVariable, but according to the relation of in_value_1 and other basic composition elements, the type of reasoning out in_value_1 is not InputVariable.In DEVSMO, InputVariable is a Variable and certain sensing an input port, i.e. " InputVariable EquivalentTo Variable and (referToPort exactly 1InputPort) " meaning expressed by this line.In the case shown in figure 4, only need to add " referToPort " relationships point " port_in_1 " in " in_value_1 ".
(4) DEVS example is mapped as DEVS model code;
(5) DEVS model code is applied to chemical process emulation, and controls chemical process according to simulation result.
Put in simulation engine by the DEVS model code that step (4) obtains, by the field control instruction of tank field input simulated environment, obtain simulation result as shown in Figure 5, pass through and field results contrast, simulation result can matching preferably.
In Figure 5, can find out that the tank of three tank arrangements holds all within the scope of 20000, demonstrate the correctness of steering order, this steering order can be assigned.
In traditional simulation modeling, DEVS model is all often direct to be provided with code form, easily go wrong, these mistakes be often not easy when pattern checking examined out, when causing using simulation result to instruct actual production process, there is serious accident, and when utilizing DEVSMO to carry out modeling, can front verification model, avoid and bring mistake into simulation process, make simulation result have better guidance to actual production.

Claims (6)

1., based on a chemical process control method for ontological construction DEVS model, it is characterized in that, comprise the following steps:
(1) use the relation between the basic composition element of ontology describing DEVS model and basic composition element, obtain DEVS ontology model;
(2) build production models according to chemical process, and utilize these production models to carry out the instantiation of DEVS ontology model, obtain initial DEVS example;
(3) reasoning verification is carried out to initial DEVS example, then the conflict obtained is revised, obtain DEVS example;
(4) DEVS example is mapped as DEVS model code;
(5) DEVS model code is applied to chemical process emulation, and controls chemical process according to simulation result.
2. as claimed in claim 1 based on the chemical process control method of ontological construction DEVS model, it is characterized in that, described DEVS model comprises three multivariate set and four functions, wherein three multivariate set are respectively: incoming event set, outgoing event set and state set, and four functions are respectively: external status transfer function, internal state transfer function, time stepping method function and output function.
3. as claimed in claim 2 based on the chemical process control method of ontological construction DEVS model, it is characterized in that, described DEVS ontology model comprises three class bodies and four functions, wherein three class bodies are respectively: input set, output set and state set, four functions are respectively: external event transfer function, internal event transfer function, time stepping method function and output function.
4. as claimed in claim 3 based on the chemical process control method of ontological construction DEVS model, it is characterized in that, in DEVS ontology model, each input set comprises some input variables and input port set, comprise some input ports in input port set, each input port is associated with an input variable.
5. as claimed in claim 4 based on the chemical process control method of ontological construction DEVS model, it is characterized in that, in DEVS ontology model, each output set comprises some output variables and output port set, comprise some output ports in output port set, each output port is associated with an output variable.
6. as claimed in claim 5 based on the chemical process control method of ontological construction DEVS model, it is characterized in that, the state set of DEVS model is at least containing the special state variable and the time stepping method variable that are called " Phase ".
CN201510083650.1A 2015-02-15 2015-02-15 Ontology-construction-model-based control method of chemical production process Pending CN104678780A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201510083650.1A CN104678780A (en) 2015-02-15 2015-02-15 Ontology-construction-model-based control method of chemical production process

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201510083650.1A CN104678780A (en) 2015-02-15 2015-02-15 Ontology-construction-model-based control method of chemical production process

Publications (1)

Publication Number Publication Date
CN104678780A true CN104678780A (en) 2015-06-03

Family

ID=53314026

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201510083650.1A Pending CN104678780A (en) 2015-02-15 2015-02-15 Ontology-construction-model-based control method of chemical production process

Country Status (1)

Country Link
CN (1) CN104678780A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113672206A (en) * 2021-09-02 2021-11-19 北京航空航天大学 X language hybrid modeling platform and modeling method
CN113672207A (en) * 2021-09-02 2021-11-19 北京航空航天大学 X language hybrid model modeling system, method and storage medium

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20130104497A (en) * 2012-03-14 2013-09-25 한국과학기술원 Hierarchical management method of devs based simulation model
KR101362838B1 (en) * 2013-08-27 2014-02-17 엘아이지넥스원 주식회사 Devs-based distributed simulation system using global coordinator
KR101421275B1 (en) * 2013-10-17 2014-07-21 주식회사 넷커스터마이즈 simulation method for service prototyping based on user experiences

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20130104497A (en) * 2012-03-14 2013-09-25 한국과학기술원 Hierarchical management method of devs based simulation model
KR101362838B1 (en) * 2013-08-27 2014-02-17 엘아이지넥스원 주식회사 Devs-based distributed simulation system using global coordinator
KR101421275B1 (en) * 2013-10-17 2014-07-21 주식회사 넷커스터마이즈 simulation method for service prototyping based on user experiences

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
YUNPING HU,JUN XIAO,HAO ZHAO,GANG RONG: "DEVSMO: an ontology of DEVS model representation for model reuse", 《PROCEEDING OF THE 2013 WINTER SIMULATION CONFERENCE》 *
张建春等: "面向可组合的基于混合DEVS的鱼雷仿真本体", 《系统仿真学报》 *
彭春光等: "本体在建模与仿真中的应用", 《系统仿真学报》 *
荣冈等: "基于中立模型表达的数学知识管理方法", 《南京理工大学学报》 *

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113672206A (en) * 2021-09-02 2021-11-19 北京航空航天大学 X language hybrid modeling platform and modeling method
CN113672207A (en) * 2021-09-02 2021-11-19 北京航空航天大学 X language hybrid model modeling system, method and storage medium
CN113672207B (en) * 2021-09-02 2024-03-26 北京航空航天大学 X language hybrid model modeling system, method and storage medium
CN113672206B (en) * 2021-09-02 2024-04-02 北京航空航天大学 X language hybrid modeling platform and modeling method

Similar Documents

Publication Publication Date Title
Deshmukh et al. Robust online monitoring of signal temporal logic
Katz et al. Reluplex: a calculus for reasoning about deep neural networks
CN109634600A (en) A kind of code generating method based on security extension SysML and AADL model
Benveniste et al. The fundamentals of hybrid systems modelers
Qin et al. Statistical verification of cyber-physical systems using surrogate models and conformal inference
Riviere et al. Formalising liveness properties in Event-B with the reflexive EB4EB framework
Fan et al. Statistical verification of autonomous systems using surrogate models and conformal inference
Lindemann et al. Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
Naumets et al. Investigation into explainable regression trees for construction engineering applications
Goorden et al. The road ahead for supervisor synthesis
CN104678780A (en) Ontology-construction-model-based control method of chemical production process
Poorhadi et al. Analysing the impact of security attacks on safety using SysML and event-B
Simko et al. A framework for unambiguous and extensible specification of DSMLs for cyber-physical systems
Winter Model checking abstract state machines
Deatcu et al. Design patterns for variability modeling using SES ontology
Cansell et al. Predicate diagrams for the verification of reactive systems
Recalde et al. Continuous Petri nets: Expressive power and decidability issues
CN110119358A (en) The test method and device of FBD program
Capra A pure spec-inscribed pn model for reconfigurable systems
CN111709133B (en) System security assessment method based on model fault tree automatic generation
Archer et al. Using TAME to prove invariants of automata models: Two case studies
CN106249746A (en) The determination methods of a kind of spacecraft state and device
Shang et al. Turing machines based on unsharp quantum logic
Jiménez et al. Forrester diagrams and continuous Petri nets: A comparative view
Folkerts An Architecture for Model Behavior Generation for Multiple Simulators

Legal Events

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

Application publication date: 20150603

RJ01 Rejection of invention patent application after publication