CN114090154A - Multi-state icon display method based on finite-state machine, electronic equipment and storage medium - Google Patents
Multi-state icon display method based on finite-state machine, electronic equipment and storage medium Download PDFInfo
- Publication number
- CN114090154A CN114090154A CN202111361524.XA CN202111361524A CN114090154A CN 114090154 A CN114090154 A CN 114090154A CN 202111361524 A CN202111361524 A CN 202111361524A CN 114090154 A CN114090154 A CN 114090154A
- Authority
- CN
- China
- Prior art keywords
- state
- finite
- state machine
- equipment
- icon
- 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.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 46
- 238000010586 diagram Methods 0.000 claims abstract description 13
- 238000004590 computer program Methods 0.000 claims description 11
- 230000011664 signaling Effects 0.000 claims description 6
- 238000006243 chemical reaction Methods 0.000 claims description 4
- 238000013507 mapping Methods 0.000 claims description 3
- 230000007704 transition Effects 0.000 claims description 3
- 238000013480 data collection Methods 0.000 claims 1
- 230000002159 abnormal effect Effects 0.000 abstract description 5
- 238000012423 maintenance Methods 0.000 abstract description 3
- 238000012800 visualization Methods 0.000 abstract description 3
- 238000004422 calculation algorithm Methods 0.000 description 5
- 230000008859 change Effects 0.000 description 5
- 230000006870 function Effects 0.000 description 5
- 230000008569 process Effects 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 230000009471 action Effects 0.000 description 3
- 230000007547 defect Effects 0.000 description 3
- 230000003068 static effect Effects 0.000 description 3
- 239000003086 colorant Substances 0.000 description 2
- 238000001914 filtration Methods 0.000 description 2
- 238000000819 phase cycle Methods 0.000 description 2
- 230000004075 alteration Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000004927 fusion Effects 0.000 description 1
- 230000003993 interaction Effects 0.000 description 1
- 239000007788 liquid Substances 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 239000013642 negative control Substances 0.000 description 1
- 239000013641 positive control Substances 0.000 description 1
- 230000001360 synchronised effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/451—Execution arrangements for user interfaces
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Human Computer Interaction (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Debugging And Monitoring (AREA)
Abstract
The invention discloses a multi-state icon display method based on a finite-state machine, an electronic device and a storage medium, wherein the method comprises the following steps: selecting any signal device in the TIDAS operation and control system, abstracting a limited state of the signal device, and analyzing the limited state into a finite state machine; analyzing the appearances of a plurality of output states of the signal equipment, and respectively storing the output states as a plurality of binary data files, wherein the binary data files form a plurality of equipment state diagrams of the multi-state icon of the signal equipment; aiming at specific equipment in the TIDAS operation and control system, a multi-shaped icon library comprising different equipment types is constructed, the abnormal output state is filtered, the loading performance of graphic files is improved, the maintenance iteration efficiency of data is greatly improved, the visualization of a human-computer interface of the TIDAS operation and control system is enhanced, the flexibility and diversity of the display of a configuration software system interface are enhanced, and the working efficiency of operators is improved.
Description
Technical Field
The invention relates to the technical field of rail transit, in particular to a multi-state icon display method based on a finite-state machine, electronic equipment and a storage medium.
Background
With the development of business requirements of information sharing, subsystem linkage control, picture fusion and the like of a rail transit System, it is an urgent trend to integrate a signal System and an Integrated monitoring System to form a Traffic Integrated Dispatching and Automation System (TIDAS). The integrated TIDAS operation control system can realize real-time tracking of train operation conditions and passenger flow statistical data, information sharing and coordination interaction among subsystems are realized, hidden danger of signal equipment is analyzed and found in advance, equipment faults are prevented, normal operation of the signal equipment system is guaranteed, and in a human-computer interface of the TIDAS operation control system, the signal interface is fused with other service pictures to form a window for operation management personnel to perform linkage analysis control on various scenes. The analog quantity and the switching value equivalent of the equipment operation displayed by the TIDAS operation control system in real time are the basis for operators to comprehensively analyze the system state and intervene and adjust abnormal conditions in time. The engineered data-associated device state diagram is static. The acquisition variables stored in the real-time database are changed synchronously with the field state.
At present, the corresponding relationship between the elements of the equipment picture and the real-time database variables can be established through configuration graphic animation links. For example, when the temperature, the liquid level height and the like are changed, a designer can define the pointer element to be related to the variable through the configuration information, and the synchronous deflection of the pointer along with the data is realized. However, there are many real-time status data monitored, which are difficult to be presented by changing the color, position and filling percentage of some elements, and describing these statuses requires the joint presentation of multiple device status diagrams, so that the TIDAS operation and control system is difficult to locate a faulty device through the change of an interface diagram, cannot transmit a control command to the system in time, and cannot adjust a control parameter in time.
The equipment state output matching algorithm in the prior art is independent in calculation process of the front state and the back state of the equipment, whether the output state obtained through input variables is legal or not is judged, the animation link design and the state matching algorithm of the TIDAS configuration system configuration software in the prior art have limitations, the requirement of data association static equipment state diagram elements of the acquisition equipment cannot be completely covered, and a flexible and changeable configuration tool cannot be provided, so that the increasingly developed industrial requirement is met.
Disclosure of Invention
The invention aims to provide a multi-state icon display method based on a finite-state machine, an electronic device and a storage medium. The method aims to solve the problems that in the prior art, a TIDAS operation control system is difficult to locate fault equipment through the change of an interface graph, cannot transmit a control instruction to the system in time, cannot adjust control parameters in time, and cannot provide a flexible and changeable configuration tool.
In order to achieve the purpose, the invention is realized by the following technical scheme:
the invention provides a multi-state icon display method based on a finite-state machine, which comprises the following steps:
selecting any signal device in the TIDAS operation and control system, abstracting a limited state of the signal device, and analyzing the limited state into a finite state machine;
analyzing the appearances of a plurality of output states of the signal equipment, and respectively storing the output states as a plurality of binary data files, wherein the binary data files form a plurality of equipment state diagrams of the multi-state icon of the signal equipment;
constructing a multi-state icon library containing different equipment types aiming at specific equipment in the TIDAS operation and control system;
abstracting input variables of the signal equipment in the finite-state machine into a plurality of independent variables;
acquiring and converting data into an input signal of the current signal equipment, and then obtaining an output variable and an output state of the signal equipment;
and after the lower computer of the TIDAS operation and control system receives the input variables, the finite-state machine is used for deducing state icons and redrawing the current state of the signal equipment so as to present the determined icon state on an interface.
Preferably, the finite state machine can be described specifically as a five-tuple (Q,q,∑I,∑O,h)，
wherein: q represents a finite and non-empty set of states;
qrepresents an initial state, andq∈Q；
Σ I represents a set of input variables;
Σ O represents a set of output variables;
the set of all states Q ∈ Q is described as
Q' ∈ Q denotes the next state.
Preferably, it is assumed that a certain of said signalling devices comprises k states qi(i ═ 1., k, k ≧ 1), then the corresponding finite number of state sequences q1,…,qkIs expressed as τ ═ (x)1,y1),…,(xk,yk)∈(∑I×∑O)*And satisfy (q, x)1,y1,q1)∈h，...，(qk-1,xk,yk,qk)∈h，
Where τ is an input-output sequence describing q, | τ | ═ k.
Preferably, the appearance of any of said output states is determined from an analysis of the output y ∈ Σ O.
Preferably, the binary data file defines a number of basic graphics, colors, text and fill style information.
Preferably, the multi-state icons of each type of said signalling device are provided with a unique identification ID.
Preferably, in said limited number of sequences τ ═ (x)1,y1),…,(xk,yk) In the method, because the number of the lower computer input variables collected by the actual rail transit system is several,
abstracting the input x into n independent variables v according to the input x epsilon sigma I1，…vn(n is more than or equal to 1), and M represents a non-empty value set of the independent variable, so that the independent variable satisfies the condition
Preferably, since the state of the signal equipment of the TIDAS operation and control system is a certain finite state machine, the output variable and the output state are obtained according to one or only one corresponding conversion relationship (Q, x, y, Q'), (Q, y, Q) e.h) after data acquisition is converted into the current (Q, x) e.q x Σ I.
Preferably, the signalling device is provided with an initialised configuration state.
Preferably, the specific equipment includes a fan, a screen door and an escalator.
The invention also provides an electronic device comprising a processor and a memory, wherein the memory is stored with a computer program, and the computer program is executed by the processor to realize the multi-state icon display method based on the finite-state machine.
The present invention also provides a readable storage medium, in which a computer program is stored, and when the computer program is executed by a processor, the method for displaying a multi-state icon based on a finite-state machine is implemented.
Compared with the prior art, the invention has the following beneficial effects:
1. the method defines a specific finite-state machine model between the output state of the TIDAS operation control system equipment and the input variable of a lower computer, realizes a matching algorithm from data acquisition to equipment state output according to actual requirements, embodies the relevance of the change of the front and back states of the equipment, and also realizes the filtration of abnormal output states;
2. according to the method, the TIDAS operation and control system equipment state and the finite-state machine model are combined with each other, a specific equipment state is made into a multi-state icon, and a function of loading the icon to a current picture is provided, so that the loading performance of the graphic file is greatly improved; the modification of the state appearance of the equipment at the later stage only needs to be operated aiming at the multi-state icon, so that the maintenance iteration efficiency of the data is greatly improved;
3. the invention models the TIDAS operation control system equipment state and the associated state graph, overcomes the defect that the real-time database state value and the equipment state graphic primitive element can not be completely changed synchronously in the prior art by using the picture mode animation, and enhances the visualization of the TIDAS operation control system human-computer interface;
4. according to the invention, a multi-state icon library of the TIDAS operation and control system equipment is constructed through methods of a finite-state machine, picture mode animation and the like, so that the flexibility and the diversity of the interface display of a configuration software system are enhanced, and the working efficiency of operators is improved.
Drawings
In order to more clearly illustrate the technical solution of the present invention, the drawings used in the description will be briefly introduced, and it is obvious that the drawings in the following description are an embodiment of the present invention, and other drawings can be obtained by those skilled in the art without creative efforts according to the drawings:
FIG. 1 is a schematic diagram of a finite state machine model of a wind turbine according to an embodiment of the present invention;
fig. 2 is a flowchart of a method for displaying a multi-state icon based on a finite-state machine according to an embodiment of the present invention.
Detailed Description
The multi-state icon display method based on finite-state machine according to the present invention will be described in detail with reference to fig. 1 and 2 and the following detailed description. The advantages and features of the present invention will become more apparent from the following description. It is to be noted that the drawings are in a very simplified form and are all used in a non-precise scale for the purpose of facilitating and distinctly aiding in the description of the embodiments of the present invention. To make the objects, features and advantages of the present invention comprehensible, reference is made to the accompanying drawings. It should be understood that the structures, ratios, sizes, and the like shown in the drawings and described in the specification are only used for matching with the disclosure of the specification, so as to be understood and read by those skilled in the art, and are not used to limit the implementation conditions of the present invention, so that the present invention has no technical significance, and any structural modification, ratio relationship change or size adjustment should still fall within the scope of the present invention without affecting the efficacy and the achievable purpose of the present invention.
In view of the defects of the existing TIDAS operation and control system equipment, a state machine is effectively established; and obtaining a matching algorithm of the input variables after a finite state machine is given. The embodiment provides a multi-state icon display method based on a finite-state machine, which comprises the following steps:
step S1, selecting a signal device in the TIDAS operation control system, abstracting a finite number of possible states, and analyzing the state into a finite state machine fsm (finite state machine cache). The finite state machine may be described specifically as a five-tuple (Q,q,∑I,∑O,h)。
wherein Q represents a finite and non-empty set of states;
qrepresents an initial state, andq∈Q；
Σ I represents a set of input variables;
Σ O represents a set of output variables;
all statesThe set of Q ∈ Q is described as
Q' ∈ Q denotes the next state.
Finite sequence of states q1,…,qkIs expressed as τ ═ (x)1,y1),…,(xk,yk)∈(∑I×∑O)*And satisfy (q, x)1,y1,q1)∈h，...，(qk-1,xk,yk,qk)∈h。
Where τ is an input-output sequence describing q, | τ | ═ k.
Step S2, knowing k states q of a certain devicei(i ═ 1., k, k ≧ 1), then the corresponding finite number of state sequences q1,…,qkIs expressed as τ ═ (x)1,y1),…,(xk,yk) And analyzing and determining the appearance of any output state according to the output y E sigma O, and storing the appearance into a binary data file. Defining a plurality of basic information such as graphics, colors, texts, filling styles and the like in a file; the k binary files constitute k device state diagrams for such device multi-state icons. The multi-state icon for each type of device has a unique identification ID.
And S3, sequentially performing S2 on specific equipment in the TIDAS operation and control system, such as a fan, a screen door, an escalator and the like, and forming a multi-state icon library containing different equipment types. When the engineer makes a static data picture, only the name and the unique identification ID of the icon are recorded in the corresponding equipment graph.
Step S4, where τ (x) is a finite number of sequences1,y1),…,(xk,yk) In the method, a plurality of lower computer input variables may be collected by the actual rail transit system. Abstracting x in x epsilon sigma I into a plurality of independent variables v1，…vn(n is more than or equal to 1), and M represents a non-empty value set of the independent variable to meet the requirement
Step S5, for the device of the TIDAS operation control system, its state is a definite finite state machine. When data acquisition is converted into the current (Q, x) belonging to Q x sigma I, the data of the lower computer of the TIDAS operation and control system is initial input data, but the data of the lower computer cannot be directly used as corresponding parameters in a finite state machine model, so that the data needs to be converted into the current (Q, x) belonging to Q x sigma I. The output variables and the output states can be obtained from the presence and only one corresponding conversion relation (q, x, y, q') ∈ h.
At step S6, the device has an initialized configuration state when the screen is open. And receiving input variables from a lower computer of the TIDAS operation control system, deducing a state icon by using the finite-state machine model, redrawing the current equipment state, and finally viewing the determined icon state presented on the interface by an operator.
FIG. 2 is a flowchart illustrating a method for displaying a multi-state icon based on a finite-state machine according to an embodiment.
The embodiment also provides an electronic device, which includes a processor and a memory, where the memory stores a computer program, and when the computer program is executed by the processor, the electronic device implements the above-mentioned finite-state-machine-based multi-state icon display method.
The present embodiment also provides a readable storage medium, in which a computer program is stored, and when the computer program is executed by a processor, the method for displaying a multi-state icon based on a finite-state machine is implemented.
As shown in fig. 1, taking the finite state machine model of the fan as an example, a general fan control main circuit includes an air switch, a forward rotation control ac contactor and a reverse rotation control ac contactor connected in parallel. Positive and negative control ac contactor interlocking, only one main contact output power at the same time, and the power phase sequence of output is opposite, and fan corotation when the power positive phase sequence, fan reversal when the power reverse sequence.
As shown in fig. 1, the numbers in fig. 1 respectively indicate the corresponding states, specifically: 0 indicates the fan is stopped, 1 indicates the fan rotates forwards, 2 indicates the fan overturns, 1 indicates a communication fault, and 4 indicates the end.
After the human-computer interface of the TIDAS operation and control system is started, the fan is initialized to a stop state. When the system normally operates, when the forward rotation control circuit or the reverse rotation control circuit takes effect, the fan correspondingly enters a forward rotation state or a reverse rotation state; and after the fan equipment information is subjected to signal conversion and input into a finite-state machine model for analysis and judgment, outputting a corresponding fan state and displaying the fan state on an interface. The positive and negative rotation interlocking loop limits that when the fan is switched between the positive rotation state and the negative rotation state, the fan must return to the stop state firstly, and the reverse state can be carried out after a period of time delay, so as to prevent the occurrence of power supply short circuit accidents. When the fan is in a rotating starting or rotating process, the fan is damaged and enters a fault state. The general interface program and the server program are separately deployed, and if the communication between the general interface program and the server program is normal, the real-time state of the fan can be retrieved from the real-time database; and if the communication is failed, the fan displays the abnormal communication state. Specifically, as shown in fig. 1.
To sum up, the present embodiment defines a specific finite-state machine model between the output state of the TIDAS operation control system device and the input variable of the lower computer, so as to implement a matching algorithm from data acquisition to device state output according to actual requirements, and the model embodies the correlation of the device front-back state change and also implements the filtering of abnormal output states.
In the embodiment, the TIDAS operation and control system equipment state and the finite-state machine model are combined with each other, the specific equipment state is made into the multi-state icon, and the function of loading the icon to the current picture is provided, so that the graphic file loading performance is greatly improved; and the modification of the state appearance of the equipment at the later stage only needs to be operated aiming at the multi-state icon, so that the maintenance iteration efficiency of the data is greatly improved.
The method models the state of the TIDAS operation and control system equipment and the associated state graph thereof, overcomes the defect that the state value of a real-time database and the element of the equipment state graph can not be changed completely and synchronously in the prior art by using the picture mode animation, and enhances the visualization of the human-computer interface of the TIDAS operation and control system.
In the embodiment, a multi-state icon library of the TIDAS operation and control system equipment is constructed by methods such as a finite-state machine and picture mode animation, so that the flexibility and the diversity of the interface display of a configuration software system are enhanced, and the working efficiency of operators is improved.
It is noted that, herein, relational terms such as first and second, and the like may be used solely to distinguish one entity or action from another entity or action without necessarily requiring or implying any actual such relationship or order between such entities or actions. Also, the terms "comprises," "comprising," or any other variation thereof, are intended to cover a non-exclusive inclusion, such that a process, method, article, or apparatus that comprises a list of elements does not include only those elements but may include other elements not expressly listed or inherent to such process, method, article, or apparatus. Without further limitation, an element defined by the phrase "comprising an … …" does not exclude the presence of other identical elements in a process, method, article, or apparatus that comprises the element.
It should be noted that the apparatuses and methods disclosed in the embodiments herein can be implemented in other ways. The apparatus embodiments described above are merely illustrative, and for example, the flowchart and block diagrams in the figures illustrate the architecture, functionality, and operation of possible implementations of apparatus, methods and computer program products according to various embodiments herein. In this regard, each block in the flowchart or block diagrams may represent a module, a program, or a portion of code, which comprises one or more executable instructions for implementing the specified logical function(s). It should also be noted that, in some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts, or combinations of special purpose hardware and computer instructions.
In addition, the functional modules in the embodiments herein may be integrated together to form an independent part, or each module may exist separately, or two or more modules may be integrated to form an independent part.
While the present invention has been described in detail with reference to the preferred embodiments, it should be understood that the above description should not be taken as limiting the invention. Various modifications and alterations to this invention will become apparent to those skilled in the art upon reading the foregoing description. Accordingly, the scope of the invention should be determined from the following claims.
Claims (12)
1. A multi-state icon display method based on a finite-state machine is characterized by comprising the following steps:
selecting any signal device in the TIDAS operation and control system, abstracting a limited state of the signal device, and analyzing the limited state into a finite state machine;
analyzing the appearances of a plurality of output states of the signal equipment, and respectively storing the output states as a plurality of binary data files, wherein the binary data files form a plurality of equipment state diagrams of the multi-state icon of the signal equipment;
constructing a multi-state icon library containing different equipment types aiming at specific equipment in the TIDAS operation and control system;
abstracting input variables of the signal equipment in the finite-state machine into a plurality of independent variables;
acquiring and converting data into an input signal of the current signal equipment, and then obtaining an output variable and an output state of the signal equipment;
and after the lower computer of the TIDAS operation and control system receives the input variables, the state icon is deduced by using the finite-state machine, and the current state of the signal equipment is redrawn so as to present the determined icon state on an interface.
2. The finite state machine based multi-state icon display method of claim 1, wherein the finite state machine is characterized as a quintuple (Q,q,∑I,∑O,h)，
wherein: q represents a finite and non-empty set of states;
qrepresents an initial state, andq∈Q；
Σ I represents a set of input variables;
Σ O represents a set of output variables;
the set of all states Q ∈ Q is described as
Q' ∈ Q denotes the next state.
3. The finite state machine based multi-state icon displaying method of claim 2, wherein it is assumed that a certain of the signaling devices includes k states qi(i ═ 1., k, k ≧ 1), then the corresponding finite number of state sequences q1,…,qkIs expressed as τ ═ (x)1,y1),…,(xk,yk)∈(∑I×∑O)*And satisfy (q, x)1,y1,q1)∈h，...，(qk-1,xk,yk,qk)∈h，
Where τ is an input-output sequence describing q, | τ | ═ k.
4. A finite state machine based multi-state icon displaying method as claimed in claim 3, characterized in that the appearance of any of the output states is determined from an output y e O analysis.
5. The finite state machine based multi-state icon display method of claim 4, wherein the binary data file defines a number of basic graphics, color, text, and fill style information.
6. The finite state machine based multi-state icon display method as claimed in claim 5, wherein the multi-state icon for each type of the signaling device is provided with a unique identification ID.
7. The finite state machine-based multi-state icon displaying method of claim 6, wherein in the finite number of sequences τ ═ (x ═ x1,y1),…,(xk,yk) In the method, because the number of the lower computer input variables collected by the actual rail transit system is several,
abstracting the input x into n independent variables v according to the input x epsilon sigma I1，…vn(n is more than or equal to 1), and M represents a non-empty value set of the independent variable, so that the independent variable satisfies the condition
8. The finite-state-machine-based multi-state icon displaying method of claim 7, wherein since the state of the signal equipment of the TIDAS operation control system is a definite finite-state machine, after data collection is converted into a current (Q, x) e Q x Σ I, the output variables and the output states are obtained according to a corresponding conversion relationship (Q, x, y, Q') eh of one and only one.
9. The finite state machine based multi-state icon displaying method of claim 8, wherein the signaling device is provided with an initialized configuration state.
10. The finite state machine based multi-state icon display method as claimed in claim 1, wherein the specific device comprises one or any combination of a blower, a screen door and an escalator.
11. An electronic device comprising a processor and a memory, the memory having stored thereon a computer program which, when executed by the processor, carries out the method of any one of claims 1 to 10.
12. A readable storage medium, in which a computer program is stored which, when being executed by a processor, carries out the method of any one of claims 1 to 10.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111361524.XA CN114090154B (en) | 2021-11-17 | 2021-11-17 | Finite state machine-based multi-state icon display method, electronic equipment and storage medium |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111361524.XA CN114090154B (en) | 2021-11-17 | 2021-11-17 | Finite state machine-based multi-state icon display method, electronic equipment and storage medium |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN114090154A true CN114090154A (en) | 2022-02-25 |
| CN114090154B CN114090154B (en) | 2023-12-01 |
Family
ID=80301270
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202111361524.XA Active CN114090154B (en) | 2021-11-17 | 2021-11-17 | Finite state machine-based multi-state icon display method, electronic equipment and storage medium |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN114090154B (en) |
Citations (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6182268B1 (en) * | 1998-01-05 | 2001-01-30 | Synplicity, Inc. | Methods and apparatuses for automatic extraction of finite state machines |
| US20030046658A1 (en) * | 2001-05-02 | 2003-03-06 | Vijaya Raghavan | Event-based temporal logic |
| US20040083011A1 (en) * | 2002-10-21 | 2004-04-29 | Abb Schweiz Ag | Finite state machine display for operator guidance |
| US20080243470A1 (en) * | 2007-03-29 | 2008-10-02 | Fujitsu Limited | Logical check assist program, recording medium on which the program is recorded, logical check assist apparatus, and logical check assist method |
| US7503027B1 (en) * | 2006-03-31 | 2009-03-10 | The Mathworks, Inc. | Hardware description language code generation from a state diagram |
| US20140282368A1 (en) * | 2013-03-14 | 2014-09-18 | Massively Parallel Technologies, Inc. | Automated Latency Management And Cross-Communication Exchange Conversion |
| CN111651828A (en) * | 2020-06-12 | 2020-09-11 | 招商局重庆交通科研设计院有限公司 | Traffic flow simulation method and system based on routing optimization and parallel computing architecture |
| CN111724499A (en) * | 2020-05-14 | 2020-09-29 | 中国铁道科学研究院集团有限公司电子计算技术研究所 | Method and device for rapidly displaying monitoring information of urban rail transit equipment in batches |
| CN112966375A (en) * | 2021-02-26 | 2021-06-15 | 全球能源互联网研究院有限公司 | Finite state machine-based modeling method and system for information physical elements of power distribution network |
-
2021
- 2021-11-17 CN CN202111361524.XA patent/CN114090154B/en active Active
Patent Citations (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6182268B1 (en) * | 1998-01-05 | 2001-01-30 | Synplicity, Inc. | Methods and apparatuses for automatic extraction of finite state machines |
| US20030046658A1 (en) * | 2001-05-02 | 2003-03-06 | Vijaya Raghavan | Event-based temporal logic |
| US20040083011A1 (en) * | 2002-10-21 | 2004-04-29 | Abb Schweiz Ag | Finite state machine display for operator guidance |
| US7503027B1 (en) * | 2006-03-31 | 2009-03-10 | The Mathworks, Inc. | Hardware description language code generation from a state diagram |
| US20080243470A1 (en) * | 2007-03-29 | 2008-10-02 | Fujitsu Limited | Logical check assist program, recording medium on which the program is recorded, logical check assist apparatus, and logical check assist method |
| US20140282368A1 (en) * | 2013-03-14 | 2014-09-18 | Massively Parallel Technologies, Inc. | Automated Latency Management And Cross-Communication Exchange Conversion |
| CN111724499A (en) * | 2020-05-14 | 2020-09-29 | 中国铁道科学研究院集团有限公司电子计算技术研究所 | Method and device for rapidly displaying monitoring information of urban rail transit equipment in batches |
| CN111651828A (en) * | 2020-06-12 | 2020-09-11 | 招商局重庆交通科研设计院有限公司 | Traffic flow simulation method and system based on routing optimization and parallel computing architecture |
| CN112966375A (en) * | 2021-02-26 | 2021-06-15 | 全球能源互联网研究院有限公司 | Finite state machine-based modeling method and system for information physical elements of power distribution network |
Non-Patent Citations (3)
| Title |
|---|
| CHENJIE GU 等: "FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories", 《16TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2011)》, pages 7 - 12 * |
| 李耀 等: "高铁信号系统安全关键功能测试建模方法", 《西南交通大学学报》, vol. 57, no. 1, pages 28 - 35 * |
| 蒋熙 等: "大规模城轨路网客流分布推演的建模与仿真方法", 《铁道学报》, vol. 40, no. 11, pages 9 - 18 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN114090154B (en) | 2023-12-01 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20200364387A1 (en) | Operations and maintenance system and method employing digital twins | |
| CN102947767B (en) | Display has the method and system of the live thumbnail of the procedure graph diagram of priority | |
| US8423226B2 (en) | Dynamic decision sequencing method and apparatus for optimizing a diagnostic test plan | |
| US6154128A (en) | Automatic building and distribution of alerts in a remote monitoring system | |
| US10754494B2 (en) | Method and control system providing one-click commissioning and push updates to distributed, large-scale information handling system (LIHS) | |
| EP2581796A1 (en) | Method and computer readable storage media for distributed diagnostic reasoning | |
| EP2713231A1 (en) | Method for performing condition based data acquisition in a hierarchically distributed condition based maintenance system | |
| US20150105875A1 (en) | Human-machine interface (hmi) system having a symbol wizard creator | |
| EP3951533B1 (en) | System and method for constructing fault-augmented system model for root cause analysis of faults in manufacturing systems | |
| FR2953954A1 (en) | Device for elaborating alert from communicating equipment of avionic system in e.g. military airplane, has detection unit processing object status consultation and receiving requests to transmit alerts associated with abnormalities | |
| US7705849B2 (en) | Intelligent lamm schematics | |
| CN103927335A (en) | Vehicle diagnosis visualized modeling management system and method | |
| WO2020168190A1 (en) | Process mapping and monitoring using artificial intelligence | |
| US20150106506A1 (en) | Human-machine interface (hmi) system having elements with aggregated alarms | |
| WO2013049016A2 (en) | Graphical symbol animation with evaluations for building automation graphics | |
| CN114143220A (en) | Real-time data visualization platform | |
| CN114666238B (en) | Visual monitoring method, system, equipment and medium for data link | |
| CN114090154A (en) | Multi-state icon display method based on finite-state machine, electronic equipment and storage medium | |
| Addie et al. | Netml: networking networks | |
| JP2010092312A (en) | Causal relation visualizing device and causal relation visualization method | |
| US20110282824A1 (en) | Technologies for mapping a set of criteria | |
| CN111899337B (en) | Model service chain driven environment emergency monitoring and virtual simulation method and device | |
| US9383901B1 (en) | Methods and apparatus for navagating data center using advanced visualization | |
| CN105653424A (en) | Reliability assessment method and apparatus for flight query system | |
| Re | DTMN a Modelling Notation for Digital Twins |
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 |