CN110099094B - Power Internet of things information interaction process analysis method and system considering resource constraints - Google Patents
Power Internet of things information interaction process analysis method and system considering resource constraints Download PDFInfo
- Publication number
- CN110099094B CN110099094B CN201910100169.7A CN201910100169A CN110099094B CN 110099094 B CN110099094 B CN 110099094B CN 201910100169 A CN201910100169 A CN 201910100169A CN 110099094 B CN110099094 B CN 110099094B
- Authority
- CN
- China
- Prior art keywords
- information interaction
- power internet
- interaction process
- things service
- things
- 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.)
- Active
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L67/00—Network arrangements or protocols for supporting network services or applications
- H04L67/01—Protocols
- H04L67/12—Protocols specially adapted for proprietary or special-purpose networking environments, e.g. medical networks, sensor networks, networks in vehicles or remote metering networks
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Health & Medical Sciences (AREA)
- Computing Systems (AREA)
- General Health & Medical Sciences (AREA)
- Medical Informatics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Supply And Distribution Of Alternating Current (AREA)
Abstract
The invention relates to a method and a system for analyzing an information interaction process of a power internet of things in consideration of resource constraints, wherein the method comprises the following steps: acquiring an information interaction process meeting a preset power Internet of things service target in an information interaction process of the power Internet of things service; the technical scheme provided by the invention is oriented to the electric power application scene, and can verify whether the information interaction process of the electric power Internet of things meets the requirements of the business target in the aspects of structure and performance, so that the standardization and the reliability of the electric power Internet of things application are ensured.
Description
Technical Field
The invention relates to the technical field of power internet of things, in particular to a method and a system for analyzing an information interaction process of the power internet of things by considering resource constraints.
Background
With the development of the internet of things technology, in order to solve the problem of application fragmentation, an internet of things operating system and basic software are evolved towards the direction of generalization, and a technical architecture is composed of a kernel, a peripheral module, a collaboration framework, an intelligent engine, an integrated development environment and the like so as to adapt to differentiated application development. The Internet of things is an important component of power informatization, and compared with other Internet of things applications, the power Internet of things is characterized by being combined with an industrial control system and having strict safety and reliability; meanwhile, a large number of terminals of the power internet of things are embedded measurement and control devices, and therefore the terminals not only need to have conventional information interaction capacity, but also need to meet the real-time requirement of wide-area measurement and control under the resource constraint condition.
At present, in the aspect of guaranteeing the reliability of the application of the power internet of things, a common method is to describe an information interaction process by using a sequence diagram in the UML, convert a power internet of things information model into a model with accurate semantics by fully traversing a state space of the system, and then verify the safety and reliability of system behaviors by using tools such as the uppal and the like. However, the above method faces the problem of explosion of the state space, and as the scale of the system increases, the state space of the system grows exponentially, making it difficult to perform quantitative analysis.
Disclosure of Invention
Aiming at the defects of the prior art, the invention aims to provide an application scene of the power internet of things, in particular to analysis and verification under the resource constraint condition of an industrial embedded device, which is used for verifying whether the information interaction process of the power internet of things meets the requirements of a preset business target in the aspects of structure and performance and can ensure the normative and reliability of the application of the power internet of things.
The purpose of the invention is realized by adopting the following technical scheme:
the improvement of an analysis method for an information interaction process of a power internet of things considering resource constraints is that the analysis method comprises the following steps:
acquiring an information interaction process meeting a preset power Internet of things service target in an information interaction process of the power Internet of things service;
and determining an information interaction process meeting given resource constraints in the information interaction process meeting the preset power Internet of things service target.
Preferably, the acquiring an information interaction process meeting a preset power internet of things service target in an information interaction process of the power internet of things service includes:
step 1: acquiring an information interaction process meeting a preset power Internet of things service target by using a bounded model inspection method;
and 2, step: and (3) by using a method of a Buchi automaton, meeting the information interaction process of the preset power Internet of things service target in the information interaction process of meeting the preset power Internet of things service target obtained in the step (1).
Further, the step 1 comprises:
information interaction process omega =for constructing information interaction process power internet of things service<D,S,I,O,G,G 0 ,P>The Kripke structure of (1);
utilizing an SAT solver to carry out upper limit T on the Kripke structure and the number of preset information interaction steps max And a pre-constructed first-order linear time sequence logic table of information interaction process omega of power Internet of things serviceSolving the expression phi to obtain an information interaction process meeting the preset power Internet of things service target;
wherein, a first-order linear sequential logic expression phi of the information interaction process omega of the pre-constructed power Internet of things service satisfies
And satisfy
Omega is an information interaction process of the power Internet of things service, D is operation data of the power Internet of things service, S is a state set of the power Internet of things service, I is an input quantity set of the power Internet of things service, O is an output quantity set of the power Internet of things service, G is a condition set of the information interaction process of the power Internet of things service, and G is a condition set of the information interaction process of the power Internet of things service 0 Is the initial condition of the information interaction process of the power Internet of things service, P is the step set of the information interaction process of the power Internet of things service,
P n for the nth step of the information interaction process of the power internet of things service,
for the condition executed by the nth step of the information interaction process of the power internet of things service,
the input quantity of the nth step of the information interaction process of the power internet of things service,
is the output quantity of the nth step of the information interaction process of the power internet of things service,
in order to execute the state conversion rule after the nth step in the information interaction process of the power internet of things service,
x is an information interaction sequence in the information interaction process of the power Internet of things service,
the method is a specific information interaction sequence of the power Internet of things service, and C is resource constraint of the power Internet of things service.
Further, the step 2 comprises:
storing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service in a root node of the Buchi automaton;
adopting a depth-first exploration algorithm, utilizing a Tableau rule, recursively expanding nodes of the Buchi automaton, and acquiring new nodes and new migration states;
if the new node is equivalent to the existing node in the Buchi automaton, discarding the new node, and taking the existing node in the Buchi automaton as an unprocessed node;
if the new migration state is equivalent to the existing migration state in the Buchi automaton, merging the new migration state and the existing migration state in the Buchi automaton to obtain a merged migration state;
expanding unprocessed nodes and the merged transition state as LTL expressions, and recursively circulating until all the LTL expressions are expanded to construct a Buchi automaton;
taking an information interaction sequence X in an information interaction process of the power Internet of things service as an input of the Buchi automaton, if the information interaction sequence in the information interaction process of the power Internet of things service can obtain an output quantity through processing of the Buchi automaton, meeting a power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service, and otherwise, not meeting the power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service.
Preferably, the determining an information interaction process meeting given resource constraints in the information interaction process meeting the preset power internet of things service objective includes:
if the resources provided by the electric power Internet of things meet the resources required by each interaction step in the information interaction process, the information interaction process meets the resource constraint of the electric power Internet of things, otherwise, the information interaction process does not meet the resource constraint of the electric power Internet of things.
Further, the resource constraints of the power internet of things comprise volume constraints, energy consumption constraints, communication bandwidth constraints, disk consumption constraints and time constraints of the power internet of things equipment.
The improvement of an analysis method and system for the information interaction process of the power internet of things considering resource constraints is that the analysis method and system comprises the following steps:
the obtaining unit is used for obtaining an information interaction process meeting a preset electric power Internet of things service target in the information interaction process of the electric power Internet of things service;
and the determining unit is used for determining the information interaction process meeting the given resource constraint in the information interaction process meeting the preset power Internet of things service target.
Preferably, the acquiring unit includes:
the acquisition module is used for acquiring an information interaction process meeting a preset power Internet of things service target by using a bounded model checking method;
and the selection module is used for further determining an information interaction process meeting the preset power Internet of things service target in the information interaction process meeting the preset power Internet of things service target acquired in the step 1 by using a method of a Buchi automaton.
Further, the obtaining module includes:
the construction submodule is used for constructing an information interaction process omega = of the power Internet of things service in the information interaction process<D,S,I,O,G,G 0 ,P>The Kripke structure of (1);
an acquisition submodule for exchanging the Kripke structure and preset information by using SAT solverUpper limit of the number of steps T max Solving a first-order linear sequential logic expression phi of a pre-constructed information interaction process omega of the power Internet of things service to obtain an information interaction process meeting a preset power Internet of things service target;
wherein, a first-order linear sequential logic expression phi of the information interaction process omega of the pre-constructed power Internet of things service satisfies
And satisfy
Omega is an information interaction process of the power Internet of things service, D is operation data of the power Internet of things service, S is a state set of the power Internet of things service, I is an input quantity set of the power Internet of things service, O is an output quantity set of the power Internet of things service, G is a condition set of the information interaction process of the power Internet of things service, and G is a condition set of the information interaction process of the power Internet of things service 0 Is the initial condition of the information interaction process of the power Internet of things service, P is the step set of the information interaction process of the power Internet of things service,
P n for the nth step of the information interaction process of the power internet of things service,
for the condition executed by the nth step of the information interaction process of the power internet of things service,
the input quantity of the nth step of the information interaction process of the power internet of things service,
is the output quantity of the nth step of the information interaction process of the power internet of things service,
to execute electricityThe rule of state transition after the nth step in the information interaction process of the Internet of things service,
x is an information interaction sequence in the information interaction process of the power Internet of things service,
and C is a specific information interaction sequence of the power Internet of things service, and the resource constraint of the power Internet of things service.
Further, the selecting module is configured to:
storing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service in a root node of the Buchi automaton;
recursively expanding nodes of the Buchi automata by adopting a depth-first exploration algorithm and utilizing a Tableau rule to acquire new nodes and new migration states;
if the new node is equivalent to the node already existing in the Buchi automaton, discarding the new node, and taking the node already existing in the Buchi automaton as an unprocessed node;
if the new migration state is equivalent to the existing migration state in the Buchi automaton, combining the new migration state and the existing migration state in the Buchi automaton, and acquiring the combined migration state;
expanding the unprocessed nodes and the merged migration state as LTL expressions, and recursively circulating until all the LTL expressions are expanded to construct a Buchi automaton;
taking an information interaction sequence X in an information interaction process of the power Internet of things service as an input of the Buchi automaton, if the information interaction sequence in the information interaction process of the power Internet of things service can obtain an output quantity through processing of the Buchi automaton, meeting a power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service, and otherwise, not meeting the power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service.
Compared with the closest prior art, the invention has the following beneficial effects:
according to the technical scheme provided by the invention, an information interaction process meeting a preset electric power Internet of things service target is obtained in the information interaction process of the electric power Internet of things service; and selecting an information interaction process meeting given resource constraints in the information interaction process meeting the preset power Internet of things service target. Based on the technical scheme provided by the invention, the analysis and verification under the resource constraint condition of the power Internet of things oriented application scene, especially the industrial embedded device can verify whether the structure and performance of the information interaction process of the power Internet of things meet the requirements of the preset business target, and ensure the normalization and reliability of the application of the power Internet of things.
According to the method, the information interaction process which does not meet the preset power Internet of things service target can be quickly eliminated by adopting a bounded model inspection method, so that the information interaction process which meets the preset power Internet of things service target is obtained, and the interaction process which meets the preset power Internet of things service target is further inspected by adopting a Buchi automaton method in the information interaction process which meets the preset power Internet of things service target and is obtained after the bounded model inspection, so that the verification efficiency is improved, and the problem of state space explosion is solved.
Drawings
Fig. 1 is a flowchart of an analysis method for an information interaction process of an electric power internet of things considering resource constraints, provided by the invention;
FIG. 2 is a schematic diagram of model checking for information interaction provided by an embodiment of the present invention;
fig. 3 is a schematic structural diagram of an electric power internet of things information interaction process analysis system considering resource constraints, provided by the invention.
Detailed Description
The following provides a more detailed description of embodiments of the present invention, with reference to the accompanying drawings.
In order to make the objects, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below with reference to the drawings in the embodiments of the present invention, and it is obvious that the described embodiments are some, but not all, embodiments of the present invention. All other embodiments, which can be derived by a person skilled in the art from the embodiments given herein without making any creative effort, shall fall within the protection scope of the present invention.
The invention provides an analysis method for an information interaction process of an electric power internet of things considering resource constraints, which comprises the following steps of:
101. acquiring an information interaction process meeting a preset power Internet of things service target in an information interaction process of the power Internet of things service;
102. and determining an information interaction process meeting given resource constraints in the information interaction process meeting the preset power Internet of things service target.
For example: in a distributed energy storage system based on the internet of things for electric power, a schematic diagram of model verification for realizing information interaction is shown in fig. 2. The method comprises the following steps: the system comprises distributed energy storage devices, controllable switches corresponding to each group of distributed energy storage devices, an alternating current-direct current converter, an Internet of things agent and an energy management and control server. The energy management and control server is used for carrying out Internet of things management on the isomorphic bidirectional information network. The nature of distributed energy storage is a dynamic optimization problem of a large-scale complex network, the characteristics and the state of a single energy storage device are mastered, the characteristics and the performance of a network formed by the distributed energy storage devices according to different topological structures are mastered, and the purpose of optimizing the performance of the whole internet of things is achieved by dynamically adjusting the working condition of the single energy storage device and the topological structure of the internet of things.
Before the step 101, an information interaction process of the power internet of things service needs to be defined as follows: ω =<D,S,I,O,G,G 0 ,P>；
Constructing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service to meet the requirement
Defining a first-order linear time sequence logic expression meeting a preset power Internet of things service target under the constraint of power Internet of things resources as
Omega is an information interaction process of the power Internet of things service, D is operation data of the power Internet of things service, S is a state set of the power Internet of things service, I is an input quantity set of the power Internet of things service, O is an output quantity set of the power Internet of things service, G is a condition set of the information interaction process of the power Internet of things service, and G is a condition set of the information interaction process of the power Internet of things service 0 Is the initial condition of the information interaction process of the power IOT service, P is the step set of the information interaction process of the power IOT service, P [ P 0 ,P 1 …P n ]，
P n For the nth step of the information interaction process of the power internet of things service,
for the condition executed by the nth step of the information interaction process of the power internet of things service,
the input quantity of the nth step of the information interaction process of the power internet of things service,
is the output quantity of the nth step of the information interaction process of the power internet of things service,
in order to execute the state conversion rule after the nth step in the information interaction process of the power internet of things service,
x is an information interaction sequence in the information interaction process of the power Internet of things service,
and C is a specific information interaction sequence of the power Internet of things service, and the resource constraint of the power Internet of things service.
For example, the operation data D of the power internet of things service includes the capacity, internal resistance, self-discharge characteristic, and temperature characteristic of the energy storage device; the state set S of the power Internet of things service comprises the charge and discharge state of the energy storage device and the current connection topology; the condition set G of the information interaction process of the power Internet of things service comprises the state of an energy storage device monomer, the switch state and the converter state; the above-mentioned
Namely is meeting
Will execute P under the condition of n ；
Is a rule for determining execution P n The latter state conversion relationship; an information interaction sequence X in the information interaction process of the power Internet of things service is a permutation and combination of information interaction steps; for another example, P is required to be executed to achieve isolation of a fault energy storage device 0 Estimation of state of charge SOC, P 1 Confirmation of failure, P 2 Reconfiguring energy storage device connection topology, P 3 Adjusting the converter, P that can accomplish the business objective 0 ～P 3 All the permutation and combination form an information interaction sequence X, and any group of information interaction sequences in the information interaction sequence X is
The step 101 comprises:
step 1: acquiring an information interaction process meeting a preset power Internet of things service target by using a bounded model checking method;
step 2: and (3) further selecting an information interaction process meeting the preset power Internet of things service target from the information interaction process meeting the preset power Internet of things service target obtained in the step (1) by using a method of a Buchi automaton.
The step 1 comprises the following steps:
information interaction process omega =for constructing information interaction process power internet of things service<D,S,I,O,G,G 0 ,P>The Kripke structure of (1);
setting the upper limit of the step of the information interaction process of the power Internet of things service as T max ；
The upper limit of the number of the Kripke structure and the information interaction steps by using an SAT solver is T max And solving a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service to obtain an information interaction process meeting a preset power Internet of things service target.
For example, a business target is isolation of a certain fault energy storage device, a first-order linear sequential logic (FO-LTL) expression phi is used for describing an information interaction process of the fault energy storage device, a series of operations such as estimation of a state of charge (SOC), fault confirmation, reconstruction of energy storage device connection topology, converter adjustment and the like are required to be executed to complete the business target, the operation is represented by omega, a Kripke structure corresponding to omega is constructed, and the upper limit of information interaction process steps is set to be T max I.e. only T or less is considered max The information interaction sequence with the length can meet the requirement, and an SAT solver is utilized to carry out upper limit T on the Kripke structure and the number of the information interaction steps max And solving a first-order linear time sequence logical expression phi of the information interaction process omega of the power Internet of things service, and if the solution does not meet the condition, quickly eliminating the information interaction process which does not meet the service target.
The step 2 comprises the following steps:
storing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service in a root node of the Buchi automaton;
adopting a depth-first exploration algorithm, utilizing a Tableau rule, recursively expanding nodes of the Buchi automaton, and acquiring new nodes and new migration states;
if the new node is equivalent to the node already existing in the Buchi automaton, discarding the new node, and taking the node already existing in the Buchi automaton as an unprocessed node;
if the new migration state is equivalent to the existing migration state in the Buchi automaton, merging the new migration state and the existing migration state in the Buchi automaton to obtain a merged migration state;
expanding unprocessed nodes and the merged transition state as LTL expressions, and recursively circulating until all the LTL expressions are expanded to construct a Buchi automaton;
taking an information interaction sequence X in an information interaction process of the power Internet of things service as an input of the Buchi automaton, if the information interaction sequence in the information interaction process of the power Internet of things service can obtain an output quantity through processing of the Buchi automaton, meeting a power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service, and otherwise, not meeting the power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service.
The step 102 includes:
if the resources provided by the electric power Internet of things meet the resources required by each interaction step in the information interaction process, the information interaction process meets the resource constraint of the electric power Internet of things, otherwise, the information interaction process does not meet the resource constraint of the electric power Internet of things.
The resource constraints of the power internet of things comprise volume constraints, energy consumption constraints, communication bandwidth constraints, disk consumption constraints and time constraints of the power internet of things equipment.
For example, each interaction step is constrained by resources such as communication channel, data storage, response time, etc., and the device performing information interaction is constrained by resources such as volume, energy consumption, processor, memory, etc. of the power internet of things device.
Based on the same concept of the method, the invention also provides an electric power internet of things information interaction process analysis system considering resource constraints, as shown in fig. 3, the system comprises:
the obtaining unit is used for obtaining an information interaction process meeting a preset electric power Internet of things service target in the information interaction process of the electric power Internet of things service;
and the determining unit is used for determining the information interaction process meeting the given resource constraint in the information interaction process meeting the preset power Internet of things service target.
Before the acquiring unit, the method further comprises:
the first definition unit is used for defining the information interaction process of the power Internet of things service as follows: ω =<D,S,I,O,G,G 0 ,P>；
A construction unit, configured to construct a first-order linear sequential logic expression phi of the information interaction process omega of the power internet of things service, so that the first-order linear sequential logic expression phi satisfies the requirement
A second definition unit, configured to define a first-order linear sequential logic expression that meets a preset power internet of things service target under the power internet of things resource constraint as
Omega is an information interaction process of the power Internet of things service, D is operation data of the power Internet of things service, S is a state set of the power Internet of things service, I is an input quantity set of the power Internet of things service, O is an output quantity set of the power Internet of things service, G is a condition set of the information interaction process of the power Internet of things service, and G is a condition set of the information interaction process of the power Internet of things service 0 Is the initial condition of the information interaction process of the power Internet of things service, and P is the information interaction process of the power Internet of things serviceSet of steps of, P [ P ] 0 ,P 1 …P n ]，
P n For the nth step of the information interaction process of the power internet of things service,
for the condition executed by the nth step of the information interaction process of the power internet of things service,
the input quantity of the nth step of the information interaction process of the power internet of things service,
is the output quantity of the nth step of the information interaction process of the power internet of things service,
in order to execute the rule of state transition after the nth step in the information interaction process of the power internet of things service,
x is an information interaction sequence in the information interaction process of the power Internet of things service,
the method is a specific information interaction sequence of the power Internet of things service, and C is resource constraint of the power Internet of things service.
The acquisition unit includes:
the acquisition module is used for acquiring an information interaction process meeting a preset power Internet of things service target by using a bounded model inspection method;
and the selection module is used for further selecting an information interaction process meeting the preset power Internet of things service target from the information interaction process meeting the preset power Internet of things service target obtained in the step 1 by using a method of a Buchi automaton.
The acquisition module includes:
a construction submodule, configured to construct an information interaction process ω = of the power internet of things service in the information interaction process<D,S,I,O,G,G 0 ,P>The Kripke structure of (1);
a presetting submodule for setting the upper limit of the step of the information interaction process of the power Internet of things service as T max ；
An obtaining submodule used for utilizing an SAT solver to carry out upper limit T on the Kripke structure and the information interaction step number max And solving a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service to obtain an information interaction process meeting a preset power Internet of things service target.
The selection module is configured to:
storing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service in a root node of the Buchi automaton;
recursively expanding nodes of the Buchi automata by adopting a depth-first exploration algorithm and utilizing a Tableau rule to acquire new nodes and new migration states;
if the new node is equivalent to the node already existing in the Buchi automaton, discarding the new node, and taking the node already existing in the Buchi automaton as an unprocessed node;
if the new migration state is equivalent to the existing migration state in the Buchi automaton, combining the new migration state and the existing migration state in the Buchi automaton, and acquiring the combined migration state;
expanding the unprocessed nodes and the merged migration state as LTL expressions, and recursively circulating until all the LTL expressions are expanded to construct a Buchi automaton;
taking an information interaction sequence X in an information interaction process of the power Internet of things service as an input of the Buchi automaton, if the information interaction sequence in the information interaction process of the power Internet of things service can obtain an output quantity through processing of the Buchi automaton, meeting a power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service, and otherwise, not meeting the power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service.
The determining unit is configured to:
if the resources provided by the electric power Internet of things meet the resources required by each interaction step in the information interaction process, the information interaction process meets the resource constraint of the electric power Internet of things, otherwise, the information interaction process does not meet the resource constraint of the electric power Internet of things.
The resource constraints of the power internet of things comprise volume constraints, energy consumption constraints, communication bandwidth constraints, disk consumption constraints and time constraints of the power internet of things equipment.
As will be appreciated by one skilled in the art, embodiments of the present application may be provided as a method, system, or computer program product. Accordingly, the present application may take the form of an entirely hardware embodiment, an entirely software embodiment or an embodiment combining software and hardware aspects. Furthermore, the present application may take the form of a computer program product embodied on one or more computer-usable storage media (including, but not limited to, disk storage, CD-ROM, optical storage, and the like) having computer-usable program code embodied therein.
The present application is described with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the application. It will be understood that each flow and/or block of the flow diagrams and/or block diagrams, and combinations of flows and/or blocks in the flow diagrams and/or block diagrams, can be implemented by computer program instructions. These computer program instructions may be provided to a processor of a general purpose computer, special purpose computer, embedded processor, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions specified in the flowchart flow or flows and/or block diagram block or blocks.
These computer program instructions may also be stored in a computer-readable memory that can direct a computer or other programmable data processing apparatus to function in a particular manner, such that the instructions stored in the computer-readable memory produce an article of manufacture including instruction means which implement the function specified in the flowchart flow or flows and/or block diagram block or blocks.
These computer program instructions may also be loaded onto a computer or other programmable data processing apparatus to cause a series of operational steps to be performed on the computer or other programmable apparatus to produce a computer implemented process such that the instructions which execute on the computer or other programmable apparatus provide steps for implementing the functions specified in the flowchart flow or flows and/or block diagram block or blocks.
Finally, it should be noted that: although the present invention has been described in detail with reference to the above embodiments, it should be understood by those skilled in the art that: modifications and equivalents may be made to the embodiments of the invention without departing from the spirit and scope of the invention, which is to be covered by the claims.
Claims (4)
1. A method for analyzing an information interaction process of a power Internet of things in consideration of resource constraints is characterized by comprising the following steps:
acquiring an information interaction process meeting a preset power Internet of things service target in an information interaction process of the power Internet of things service;
determining an information interaction process meeting given resource constraints in the information interaction process meeting the preset power Internet of things service target;
the information interaction process of meeting the preset electric power Internet of things service target is obtained in the information interaction process of the electric power Internet of things service, and the information interaction process comprises the following steps:
step 1 and step 2;
the step 1 comprises the following steps:
information interaction process omega =for constructing information interaction process power internet of things service<D,S,I,O,G,G 0 ,P>The Kripke structure of (1);
utilizing SAT solver to carry out upper limit T on the Kripke structure and the preset number of information interaction steps max Solving a first-order linear sequential logic expression phi of a pre-constructed information interaction process omega of the power Internet of things service to obtain an information interaction process meeting a preset power Internet of things service target;
wherein, a first-order linear sequential logic expression phi of the information interaction process omega of the pre-constructed power Internet of things service satisfies
And satisfy
Omega is an information interaction process of the power Internet of things service, D is operation data of the power Internet of things service, S is a state set of the power Internet of things service, I is an input quantity set of the power Internet of things service, O is an output quantity set of the power Internet of things service, G is a condition set of the information interaction process of the power Internet of things service, and G is a condition set of the information interaction process of the power Internet of things service 0 Is the initial condition of the information interaction process of the power IOT service, P is the step set of the information interaction process of the power IOT service, P [ P 0 ,P 1 …P n ]，
P n For the nth step of the information interaction process of the power internet of things service,
for the condition executed by the nth step of the information interaction process of the power internet of things service,
the input quantity of the nth step of the information interaction process of the power internet of things service,
is the output quantity of the nth step of the information interaction process of the power internet of things service,
in order to execute the state conversion rule after the nth step in the information interaction process of the power internet of things service,
x is an information interaction sequence in the information interaction process of the power Internet of things service,
the specific information interaction sequence of the power Internet of things service is shown, and C is the resource constraint of the power Internet of things service;
the step 2 comprises the following steps:
storing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service in a root node of the Buchi automaton;
adopting a depth-first exploration algorithm, utilizing a Tableau rule, recursively expanding nodes of the Buchi automaton, and acquiring new nodes and new migration states;
if the new node is equivalent to the node already existing in the Buchi automaton, discarding the new node, and taking the node already existing in the Buchi automaton as an unprocessed node;
if the new migration state is equivalent to the existing migration state in the Buchi automaton, merging the new migration state and the existing migration state in the Buchi automaton to obtain a merged migration state;
expanding the unprocessed nodes and the merged migration state as LTL expressions, and recursively circulating until all the LTL expressions are expanded to construct a Buchi automaton;
taking an information interaction sequence X in an information interaction process of the power Internet of things service as an input of the Buchi automaton, if the information interaction sequence in the information interaction process of the power Internet of things service can obtain an output quantity through processing of the Buchi automaton, meeting a power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service, and otherwise, not meeting the power Internet of things service target by the information interaction process corresponding to the information interaction sequence in the information interaction process of the power Internet of things service.
2. The method of claim 1, wherein the determining, in the information interaction process satisfying the preset power internet of things service target, an information interaction process satisfying a given resource constraint comprises:
if the resources provided by the electric power Internet of things meet the resources required by each interaction step in the information interaction process, the information interaction process meets the resource constraint of the electric power Internet of things, otherwise, the information interaction process does not meet the resource constraint of the electric power Internet of things.
3. The method of claim 2, wherein the resource constraints of the power internet of things include volume constraints, energy consumption constraints, communication bandwidth constraints, disk consumption constraints, and time constraints of power internet of things devices.
4. A power Internet of things information interaction process analysis method system considering resource constraints is characterized by comprising the following steps:
the obtaining unit is used for obtaining an information interaction process meeting a preset electric power Internet of things service target in the information interaction process of the electric power Internet of things service;
the determining unit is used for determining an information interaction process meeting the given resource constraint in the information interaction process meeting the preset power Internet of things service target;
the acquisition unit includes: the device comprises an acquisition module and a selection module;
the acquisition module includes:
the construction submodule is used for constructing an information interaction process omega = of the power Internet of things service in the information interaction process<D,S,I,O,G,G 0 ,P>The Kripke structure of (1);
an obtaining submodule for utilizing SAT solver to carry out upper limit T on the Kripke structure and the preset number of information interaction steps max Solving a first-order linear time sequence logic expression phi of a pre-constructed information interaction process omega of the power Internet of things service to obtain an information interaction process meeting a preset power Internet of things service target;
wherein, a first-order linear sequential logic expression phi of the information interaction process omega of the pre-constructed power Internet of things service satisfies
And satisfy
Omega is an information interaction process of the power Internet of things service, D is operation data of the power Internet of things service, S is a state set of the power Internet of things service, I is an input quantity set of the power Internet of things service, O is an output quantity set of the power Internet of things service, G is a condition set of the information interaction process of the power Internet of things service, and G is a condition set of the information interaction process of the power Internet of things service 0 Is the initial condition of the information interaction process of the power Internet of things service, P is the step set of the information interaction process of the power Internet of things service, P [ P ] 0 ,P 1 …P n ]，
P n For the nth step of the information interaction process of the power internet of things service,
for the condition executed by the nth step of the information interaction process of the power internet of things service,
the input quantity of the nth step of the information interaction process of the power internet of things service,
is the output quantity of the nth step of the information interaction process of the power internet of things service,
in order to execute the state conversion rule after the nth step in the information interaction process of the power internet of things service,
x is an information interaction sequence in the information interaction process of the power Internet of things service,
the method comprises the following steps that A, a specific information interaction sequence of the power Internet of things service is obtained, and C is resource constraint of the power Internet of things service;
the selection module is configured to:
storing a first-order linear time sequence logic expression phi of the information interaction process omega of the power Internet of things service in a root node of the Buchi automaton;
adopting a depth-first exploration algorithm, utilizing a Tableau rule, recursively expanding nodes of the Buchi automaton, and acquiring new nodes and new migration states;
if the new node is equivalent to the existing node in the Buchi automaton, discarding the new node, and taking the existing node in the Buchi automaton as an unprocessed node;
if the new migration state is equivalent to the existing migration state in the Buchi automaton, merging the new migration state and the existing migration state in the Buchi automaton to obtain a merged migration state;
expanding unprocessed nodes and the merged transition state as LTL expressions, and recursively circulating until all the LTL expressions are expanded to construct a Buchi automaton;
taking an information interaction sequence X in an information interaction process of the power Internet of things service as an input of the Buchi automaton, if the information interaction sequence in the information interaction process of the power Internet of things service can obtain an output quantity through processing of the Buchi automaton, meeting a power Internet of things service target in the information interaction process of the power Internet of things service, and otherwise, not meeting the power Internet of things service target in the information interaction process of the power Internet of things service.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910100169.7A CN110099094B (en) | 2019-01-31 | 2019-01-31 | Power Internet of things information interaction process analysis method and system considering resource constraints |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910100169.7A CN110099094B (en) | 2019-01-31 | 2019-01-31 | Power Internet of things information interaction process analysis method and system considering resource constraints |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN110099094A CN110099094A (en) | 2019-08-06 |
| CN110099094B true CN110099094B (en) | 2022-10-25 |
Family
ID=67442987
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201910100169.7A Active CN110099094B (en) | 2019-01-31 | 2019-01-31 | Power Internet of things information interaction process analysis method and system considering resource constraints |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN110099094B (en) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105049283A (en) * | 2015-07-07 | 2015-11-11 | 天津大学 | Security exchange protocol model detection method |
| CN106294824A (en) * | 2016-08-17 | 2017-01-04 | 广东工业大学 | Manufacture Internet of Things towards the complex events detecting methods of uncertain data stream and system |
| CN108471355A (en) * | 2018-02-28 | 2018-08-31 | 哈尔滨工程大学 | A kind of Internet of Things Information Interoperability method based on extra large cloud computing framework |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8037002B2 (en) * | 2007-03-28 | 2011-10-11 | Kabushiki Kaisha Toshiba | Property description coverage measuring apparatus |
| US11488181B2 (en) * | 2016-11-01 | 2022-11-01 | International Business Machines Corporation | User satisfaction in a service based industry using internet of things (IoT) devices in an IoT network |
| US20180183861A1 (en) * | 2016-12-28 | 2018-06-28 | Ned M. Smith | Internet-of-things transaction resoruce with finite state automata |
-
2019
- 2019-01-31 CN CN201910100169.7A patent/CN110099094B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105049283A (en) * | 2015-07-07 | 2015-11-11 | 天津大学 | Security exchange protocol model detection method |
| CN106294824A (en) * | 2016-08-17 | 2017-01-04 | 广东工业大学 | Manufacture Internet of Things towards the complex events detecting methods of uncertain data stream and system |
| CN108471355A (en) * | 2018-02-28 | 2018-08-31 | 哈尔滨工程大学 | A kind of Internet of Things Information Interoperability method based on extra large cloud computing framework |
Non-Patent Citations (1)
| Title |
|---|
| 物联网服务建模:一种基于环境建模的方法;李戈等;《中国科学:信息科学》;20131015(第10期);全文 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN110099094A (en) | 2019-08-06 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Souri et al. | Behavioral modeling and formal verification of a resource discovery approach in Grid computing | |
| Baker | Learning warm-start points for AC optimal power flow | |
| CN108664241B (en) | Method for carrying out simulation verification on SysML model | |
| CN110740079A (en) | full link benchmark test system for distributed scheduling system | |
| Coppit et al. | Software assurance by bounded exhaustive testing | |
| Herget et al. | Design space exploration for distributed cyber-physical systems: State-of-the-art, challenges, and directions | |
| Pomante | HW/SW co‐design of dedicated heterogeneous parallel systems: an extended design space exploration approach | |
| Yang et al. | Design and research of microservice application automation testing framework | |
| CN104598214A (en) | Timed task management method and device for application service of oil and gas pipeline system | |
| CN110099094B (en) | Power Internet of things information interaction process analysis method and system considering resource constraints | |
| CN114143235A (en) | NFV automatic test method, device, equipment and storage medium | |
| CN116629015A (en) | Digital twin task processing method, device, equipment and storage medium | |
| Sinha et al. | Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software | |
| CN114610648B (en) | Test method, device and equipment | |
| Mikov et al. | Some problems of the simulation model efficiency and flexibility | |
| Liu et al. | Power system stochastic transient stability assessment based on Monte Carlo simulation | |
| Zeliu et al. | MapReduce rationality verification based on object Petri net | |
| Abdullah et al. | Monitoring informed testing for IoT | |
| Henares et al. | Definition of a transparent constraint-based modeling and simulation layer for the management of complex systems | |
| Nia et al. | Ubiquitous IoT structure via homogeneous data type modelling | |
| CN112214201A (en) | Method, device, equipment and storage medium for authenticating bottom interface of vehicle machine system | |
| Hulse et al. | Synthetic fault mode generation for resilience analysis and failure mechanism discovery | |
| Zhang et al. | Resource Demand Analysis of IoT Terminal Chips Based on Atomic Service Modeling | |
| Mittal et al. | Software fault tolerance of distributed programs using computation slicing | |
| Mikov et al. | Implementation of simulation process under incomplete knowledge using domain ontology |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |