CN114090154B - Finite state machine-based multi-state icon display method, electronic equipment and storage medium - Google Patents
Finite state machine-based multi-state icon display method, electronic equipment and storage medium Download PDFInfo
- Publication number
- CN114090154B CN114090154B CN202111361524.XA CN202111361524A CN114090154B CN 114090154 B CN114090154 B CN 114090154B CN 202111361524 A CN202111361524 A CN 202111361524A CN 114090154 B CN114090154 B CN 114090154B
- Authority
- CN
- China
- Prior art keywords
- state
- equipment
- finite
- state machine
- output
- 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
- 238000000034 method Methods 0.000 title claims abstract description 38
- 238000010586 diagram Methods 0.000 claims abstract description 13
- 238000004590 computer program Methods 0.000 claims description 9
- 238000006243 chemical reaction Methods 0.000 claims description 4
- 239000003086 colorant Substances 0.000 claims description 3
- 238000013507 mapping Methods 0.000 claims description 3
- 230000011664 signaling Effects 0.000 claims description 3
- 230000007704 transition Effects 0.000 claims description 3
- 230000002159 abnormal effect Effects 0.000 abstract description 5
- 238000001914 filtration Methods 0.000 abstract description 3
- 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
- 238000012986 modification Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 230000009471 action Effects 0.000 description 3
- 230000003068 static effect Effects 0.000 description 3
- 230000007547 defect Effects 0.000 description 2
- 238000000819 phase cycle Methods 0.000 description 2
- 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
- 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
- 238000006467 substitution reaction Methods 0.000 description 1
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 finite state machine-based multi-state icon display method, electronic equipment and a storage medium, wherein the method comprises the following steps: selecting any signal equipment in the TIDAS operation control system, abstracting the finite states of the signal equipment, and analyzing the finite states into a finite state machine; analyzing the appearance of a plurality of output states of the signal equipment, respectively storing the appearance as a plurality of binary data files, wherein the plurality of 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 control system, the method constructs the multi-state icon library containing different equipment types, realizes the filtering of abnormal output states, improves the loading performance of the graphic files, greatly improves the maintenance iteration efficiency of data, enhances the visualization of the human-computer interface of the TIDAS operation control system, enhances the flexibility and diversity of the interface display of the configuration software system, and improves the working efficiency of operators.
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 the business demands of information sharing, subsystem linkage control, picture fusion and the like of a rail transit system, a signal system and a comprehensive monitoring system are fused to form a comprehensive automation system (Traffic Integrated Dispaching and Automation System, TIDAS) for dispatching and commanding of driving is an urgent trend. The integrated TIDAS operation control system can realize real-time tracking of train running conditions and passenger flow statistical data, realize information sharing and coordination interaction among all subsystems, analyze and discover hidden danger of signal equipment in advance, prevent equipment faults, ensure normal operation of the signal equipment system, and fuse the signal interface with other service pictures in a human-computer interface of the TIDAS operation control system to form a window for linkage analysis control of operation management personnel on various scenes. The analog quantity and the switching value of equipment operation displayed in real time by the TIDAS operation control system are the basis for the operator to comprehensively analyze the system state and timely perform intervention adjustment of abnormal conditions. The engineered device state diagram associated with the data is static. The acquisition variables stored in the real-time database are changed in synchronization with the field state.
At present, the corresponding relation between the elements of the equipment picture and the real-time database variable can be established through the configuration graphic animation link. When the temperature, the liquid level and the like are changed, a designer can define the pointer element to be related to the variable through configuration information, so that the pointer can synchronously deflect along with data. However, there are many real-time status data monitored, which are difficult to be presented by the change of color, position and filling percentage of some elements, and describing these status requires the joint presentation of multiple device status diagrams, so that the tigas operation control system is difficult to locate the faulty device by the change of interface graphics, and cannot timely transmit the control command to the system, and cannot timely adjust the control parameters.
The equipment state output matching algorithm in the prior art is independent aiming at the calculation process of the front and back states of the equipment, whether the output state obtained through the input variable is legal or not is judged, the animation link design and the state matching algorithm of the configuration software of the TIDAS operation control system in the prior art have limitations, the requirements of the data of the acquisition equipment on static equipment state diagram elements cannot be completely covered, and flexible and changeable configuration tools cannot be provided so as to meet the increasingly developed industry requirements.
Disclosure of Invention
The invention aims to provide a finite state machine-based multi-state icon display method, electronic equipment and a storage medium. The problem that in the prior art, a TIDAS operation control system is difficult to locate fault equipment through the change of interface graphics, cannot timely transmit control instructions to the system, cannot timely adjust control parameters, and cannot provide flexible and changeable configuration tools is solved.
In order to achieve the above 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 equipment in the TIDAS operation control system, abstracting the finite states of the signal equipment, and analyzing the finite states into a finite state machine;
analyzing the appearance of a plurality of output states of the signal equipment, respectively storing the appearance as a plurality of binary data files, wherein the plurality of 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 for specific equipment in the TIDAS operation control system;
abstracting input variables of the signal equipment in the finite state machine into a plurality of independent variables;
after data acquisition is converted into an input signal of the current signal equipment, an output variable and an output state of the signal equipment are obtained;
after the lower computer of the TIDAS operation control system receives the input variable, the finite state machine is used for deducing a state icon, and the current state of the signal equipment is redrawn so as to present the determined icon state on an interface.
Preferably, the finite state machine may be described in particular 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 mapping relation of the state transition is represented,
the set of all states Q ε Q is described as
Q' ∈q represents the next state.
Preferably, it is assumed that a certain of said signal devices comprises k states q i (i=1,., k.gtoreq.1), the corresponding finite state sequence q 1 ,…,q k Expressed as τ= (x) 1 ,y 1 ),…,(x k ,y k )∈(∑I×∑O) * And satisfies (q, x) 1 ,y 1 ,q 1 )∈h，...，(q k-1 ,x k ,y k ,q k )∈h，
Where τ is an input-output sequence describing q, |τ|=k.
Preferably, the appearance of any of the output states is determined from an analysis of the output y e Σo.
Preferably, the binary data file defines a number of basic graphics, colors, text, and fill style information.
Preferably, the multi-state icon of each type of the signal device is provided with a unique identification ID.
Preferably, in said limited number of sequences τ= (x 1 ,y 1 ),…,(x k ,y k ) In the method, because the input variables of the lower computer acquired by the actual rail transit system are a plurality of,
abstracting the input x into n independent variables v according to the input x E sigma I 1 ，…v n (n.gtoreq.1), wherein M represents a non-null value set of the independent variable, the independent variable satisfies the following condition
Preferably, since the state of the signal device of the TIDAS operation control system is a determined finite state machine, after the data acquisition is converted into the current (Q, x) e q×Σi, the output variable and the output state are obtained according to the corresponding conversion relation (Q, x, y, Q') e h with only one.
Preferably, the signaling device is provided with an initialized configuration state.
Preferably, the specific equipment includes fans, shielding doors and escalators.
The invention also provides an electronic device comprising a processor and a memory, wherein the memory stores a computer program, and the computer program realizes the multi-state icon display method based on the finite state machine when being executed by the processor.
The present invention also provides a readable storage medium having stored therein a computer program which, when executed by a processor, implements the finite state machine based multi-state icon display method described above.
Compared with the prior art, the invention has the following beneficial effects:
1. the invention defines a specific finite state machine model between the equipment output state of the TIDAS operation control system and the input variable of the lower computer, realizes a matching algorithm from data acquisition to equipment state output according to actual demands, reflects the correlation of the equipment front-back state change and also realizes the filtering of abnormal output states;
2. the invention combines the equipment state of the TIDAS operation control system and the finite state machine model, makes the specific equipment state into a multi-state icon, and provides the function of loading the icon to the current picture, thus greatly improving the loading performance of the graphic file; the modification of the state appearance of the later-stage equipment 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 equipment state of the TIDAS operation control system and the associated state graph thereof, overcomes the defect that the state value of the real-time database and the state graph element of the equipment cannot be completely and synchronously changed in the prior art by using the picture mode animation, and enhances the visualization of the human-computer interface of the TIDAS operation control system;
4. the invention constructs the multi-state icon library of the TIDAS operation control system equipment by methods such as a finite state machine, picture mode animation and the like, enhances the flexibility and diversification of the display of the configuration software system interface, and improves the working efficiency of operators.
Drawings
For a clearer description of the technical solutions of the present invention, the drawings that are needed in the description will be briefly introduced below, it being obvious that the drawings in the following description are one embodiment of the present invention, and that, without inventive effort, other drawings can be obtained by those skilled in the art from these drawings:
FIG. 1 is a schematic diagram of a finite state machine model of a blower according to an embodiment of the present invention;
fig. 2 is a flowchart of a finite state machine-based multi-state icon display method according to an embodiment of the present invention.
Detailed Description
The finite state machine-based multi-state icon display method according to the present invention is described in further detail below with reference to fig. 1 and 2 and the detailed description. The advantages and features of the present invention will become more apparent from the following description. It should be noted that the drawings are in a very simplified form and are all to a non-precise scale, merely for the purpose of facilitating and clearly aiding in the description of embodiments of the invention. For a better understanding of the invention with objects, features and advantages, refer to the drawings. It should be understood that the structures, proportions, sizes, etc. shown in the drawings are for illustration purposes only and should not be construed as limiting the invention to the extent that any modifications, changes in the proportions, or adjustments of the sizes of structures, proportions, or otherwise, used in the practice of the invention, are included in the spirit and scope of the invention which is otherwise, without departing from the spirit or essential characteristics thereof.
In view of the shortcomings of the existing TIDAS operation control system equipment, a state machine is effectively built; given a finite state machine, a matching algorithm of the input variables is obtained. The embodiment provides a finite state machine-based multi-state icon display method, which comprises the following steps:
step S1, selecting a certain signal device in the TIDAS operation control system, abstracting a limited number of possible states, and analyzing the states into a finite state machine FSM (FiniteStateMachine). The finite state machine may be described in particular 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 mapping relation of the state transition is represented,
the set of all states Q ε Q is described as
Q' ∈q represents the next state.
Finite state sequence q 1 ,…,q k Expressed as τ= (x) 1 ,y 1 ),…,(x k ,y k )∈(∑I×∑O) * And satisfies (q, x) 1 ,y 1 ,q 1 )∈h，...，(q k-1 ,x k ,y k ,q k )∈h。
Where τ is an input-output sequence describing q, |τ|=k.
Step S2, knowing k states q of a certain device i (i=1,., k.gtoreq.1), the corresponding finite state sequence q 1 ,…,q k Expressed as τ= (x) 1 ,y 1 ),…,(x k ,y k ) And determining the appearance of any output state according to the analysis of the output y epsilon sigma O, and storing a binary data file. The file defines a plurality of basic graphics, colors, texts, filling patterns and other information; k binary files constitute k device state diagrams for such device multi-state icons. The multi-state icon for each class of device has a unique identification ID.
Step S3, aiming at specific equipment in the TIDAS operation control system, such as fans, shielding doors, escalators and the like, step S2 is sequentially carried out to form a multi-state icon library containing different equipment types. When engineering personnel make static data pictures, only the names and the unique identification IDs of the icons are recorded in the corresponding equipment graphics.
Step S4, in a finite number of sequences τ= (x) 1 ,y 1 ),…,(x k ,y k ) The actual rail traffic system can collect a plurality of input variables of the lower computer. Abstracting x into a plurality of independent variables v according to x E sigma I 1 ，…v n (n is more than or equal to 1), and M represents a non-null value set of the independent variable, thereby meeting the requirements of
Step S5, for the equipment of the TIDAS operation control system, the state of the equipment is a definite finite state machine. After the data acquisition is converted into the current (Q, x) epsilon Q x sigma I, the data of the lower computer of the TIDAS operation control system is initial input data, but the data of the lower computer cannot be directly used as the corresponding parameters in the finite state machine model, so that the data of the lower computer are required to be converted, namely the data are converted into the current (Q, x) epsilon Q x sigma I. The output variable and the output state can be obtained according to the fact that there is only one corresponding conversion relation (q, x, y, q')epsilonh.
In step S6, when the picture is opened, the equipment has an initialized configuration state. The method comprises the steps of receiving input variables from a lower computer of a TIDAS operation control system, deducing state icons by using a finite state machine model, redrawing the current equipment state, and finally, enabling operators to see the determined icon states presented on an interface.
FIG. 2 is a flow chart of a finite state machine based multi-state icon display method according to an embodiment.
The embodiment also provides an electronic device, which comprises a processor and a memory, wherein the memory stores a computer program, and the computer program realizes the finite state machine-based multi-state icon display method when being executed by the processor.
The present embodiment also provides a readable storage medium having stored therein a computer program which, when executed by a processor, implements the finite state machine based multi-state icon display method described above.
As shown in fig. 1, taking a finite state machine model of a 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. The positive and negative control alternating current contactors are interlocked, only one main contact outputs power at the same time, the phase sequences of the output power are opposite, the fan rotates positively when the power is in positive phase sequence, and the fan rotates reversely when the power is in reverse sequence.
As shown in fig. 1, the reference numerals in fig. 1 respectively indicate corresponding states, specifically: 0 represents that the fan stops, 1 represents that the fan rotates forward, 2 represents that the fan turns over, -1 represents that the communication is faulty, -4 represents that the fan ends.
After the human-computer interface of the TIDAS operation control system is started, the fan is initialized to be in a stop state. When the system operates normally, the fan enters a forward rotation or reverse rotation state correspondingly when the forward rotation control loop or the reverse rotation control loop is effective; after the fan equipment information is subjected to signal conversion and input into a finite state machine model for analysis and judgment, the corresponding fan state is output and displayed on an interface. The positive and negative rotation interlocking loop limits that when the fan is switched in the positive rotation state and the negative rotation state, the fan must return to the stop state first, and the reverse state can be performed after a period of time, so that the occurrence of a power short-circuit accident is prevented. The fan is damaged in the process of rotation starting or rotating, and then enters a fault state. The general interface program and the server program are deployed separately, and if the communication of the general interface program and the server program is normal, the real-time state of the fan can be searched in the real-time database; if the communication is faulty, the fan displays abnormal communication state. In particular, as shown in fig. 1.
In summary, the embodiment defines a specific finite state machine model between the output state of the equipment of the TIDAS operation control system and the input variables of the lower computer, realizes a matching algorithm from data acquisition to equipment state output according to actual requirements, reflects the correlation of the state change before and after the equipment, and also realizes the filtering of abnormal output states.
In the embodiment, the equipment state of the TIDAS operation control system 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 loading performance of the graphic file is greatly improved; and the modification of the state appearance of the later-stage equipment only needs to be operated aiming at the multi-state icon, so that the maintenance iteration efficiency of the data is greatly improved.
The embodiment models the equipment state of the TIDAS operation control system and the associated state graph thereof, overcomes the defect that the state value of the real-time database and the elements of the equipment state graph cannot be completely synchronously changed in the prior art by using the picture mode animation, and enhances the visualization of the human-computer interface of the TIDAS operation control system.
According to the embodiment, the multi-state icon library of the TIDAS operation control system equipment is constructed through methods such as a finite state machine and picture mode animation, flexibility and diversification of configuration software system interface display are enhanced, and working efficiency of operators is improved.
It is noted that relational terms such as first and second, and the like are 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. Moreover, 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 one … …" does not exclude the presence of other like elements in a process, method, article, or apparatus that comprises the element.
It should be noted that the apparatus and methods disclosed in the embodiments herein may be implemented in other ways. The apparatus embodiments described above are merely illustrative, for example, flow diagrams 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, segment, or 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 which 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 a single part, or the modules may exist alone, or two or more modules may be integrated to form a single part.
While the present invention has been described in detail through the foregoing description of the preferred embodiment, it should be understood that the foregoing description is not to be considered as limiting the invention. Many modifications and substitutions of the present invention will become apparent to those of ordinary skill in the art upon reading the foregoing. Accordingly, the scope of the invention should be limited only by the attached claims.
Claims (7)
1. A finite state machine-based multi-state icon display method, comprising:
any signal device in the TIDAS operation control system is selected, its finite states are abstracted and parsed into a finite state machine, which is specifically described 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 mapping relation of the state transition is represented,
the set of all states Q ε Q is described as
Q' ∈q represents the next state;
analyzing the appearance of a plurality of output states of the signal equipment, respectively storing the appearance as a plurality of binary data files, wherein the plurality of 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 for specific equipment in the TIDAS operation control system, wherein the specific equipment comprises one or any combination of a fan, a shielding door and an escalator;
abstracting input variables of the signal equipment in the finite state machine into a plurality of independent variables;
after data acquisition is converted into an input signal of the current signal equipment, an output variable and an output state of the signal equipment are obtained;
after the lower computer of the TIDAS operation control system receives the input variable, the finite state machine is used for deducing a state icon, and the state of the signal equipment is redrawn to present the determined icon state on an interface,
assuming that a certain of the signal devices comprises k states q i (i=1,., k.gtoreq.1), the corresponding finite state sequence q 1 ，…，q k Expressed as τ= (x) 1 ，y 1 )，…，(x k ，y k )∈(∑I×∑O) * And satisfies (q, x) 1 ，y 1 ，q 1 )∈h，…，(q k-1 ，x k ，y k ，q k )∈h，
Where τ is an input-output sequence describing q, |τ|=k,
in a finite state sequence τ= (x 1 ，y 1 )，…，(x k ，y k ) In the method, because the input variables of the lower computer acquired by the actual rail transit system are a plurality of,
abstracting the input x into n independent variables v according to the input x E sigma I 1 ，...v n (n.gtoreq.1), wherein M represents a non-null value set of the independent variable, the independent variable satisfies the following condition
And (3) after the data acquisition is converted into the current (Q, x) epsilon Q x sigma I, the output variable and the output state are obtained according to the corresponding conversion relation (Q, x, y, Q') epsilon h with only one.
2. The finite state machine based multi-state icon display method of claim 1 wherein the appearance of any of said output states is determined from an output y e Σo analysis.
3. The finite state machine based multi-state icon display method of claim 2, wherein the binary data file defines a number of graphics, colors, text, and fill style information.
4. A finite state machine based multi-state icon display method according to claim 3 wherein the multi-state icon of each class of said signalling devices is provided with a unique identification ID.
5. The finite state machine based multi-state icon display method of claim 4, wherein said signaling device is provided with an initialized configuration state.
6. An electronic device comprising a processor and a memory, the memory having stored thereon a computer program which, when executed by the processor, implements the method of any of claims 1 to 5.
7. A readable storage medium, characterized in that the readable storage medium has stored therein a computer program which, when executed by a processor, implements the method of any one of claims 1 to 5.
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 CN114090154A (en) | 2022-02-25 |
| CN114090154B true 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 (5)
| 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 |
| US7503027B1 (en) * | 2006-03-31 | 2009-03-10 | The Mathworks, Inc. | Hardware description language code generation from a state diagram |
| 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 |
Family Cites Families (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7020850B2 (en) * | 2001-05-02 | 2006-03-28 | The Mathworks, Inc. | Event-based temporal logic |
| EP1413937A1 (en) * | 2002-10-21 | 2004-04-28 | ABB Schweiz AG | Finite state machine display for operator guidance |
| JP4480737B2 (en) * | 2007-03-29 | 2010-06-16 | 富士通株式会社 | Logic verification support program, recording medium recording the program, logic verification support device, and logic verification support method |
| WO2014152800A1 (en) * | 2013-03-14 | 2014-09-25 | Massively Parallel Technologies, Inc. | Project planning and debugging from functional decomposition |
-
2021
- 2021-11-17 CN CN202111361524.XA patent/CN114090154B/en active Active
Patent Citations (5)
| 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 |
| US7503027B1 (en) * | 2006-03-31 | 2009-03-10 | The Mathworks, Inc. | Hardware description language code generation from a state diagram |
| 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 |
|---|
| FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories;Chenjie Gu 等;《16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)》;7-12 * |
| 大规模城轨路网客流分布推演的建模与仿真方法;蒋熙 等;《铁道学报》;第40卷(第11期);9-18 * |
| 高铁信号系统安全关键功能测试建模方法;李耀 等;《西南交通大学学报》;第57卷(第1期);28-35, 45 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN114090154A (en) | 2022-02-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US12056423B2 (en) | Operations and maintenance system and method employing digital twins | |
| CN112579226B (en) | User interface logical views and performing view navigation and conversion | |
| CN111562769B (en) | AI extension and intelligent model validation for industrial digital twinning | |
| US20220027529A1 (en) | Controls system based digital twin for supervisory control of independent cart technology tracks and lines | |
| CN107729065B (en) | Three-dimensional monitoring method and system | |
| CN102947767B (en) | Display has the method and system of the live thumbnail of the procedure graph diagram of priority | |
| EP3951533B1 (en) | System and method for constructing fault-augmented system model for root cause analysis of faults in manufacturing systems | |
| US6154128A (en) | Automatic building and distribution of alerts in a remote monitoring system | |
| JP5516736B2 (en) | Software maintenance support device and electronic control device verified thereby | |
| US20140082116A1 (en) | Design assistance device of network system | |
| WO2001063370A1 (en) | System and method for monitoring a control process in a process plant | |
| CN103927335A (en) | Vehicle diagnosis visualized modeling management system and method | |
| Yang et al. | Lifetime-characteristics and inspection-schemes for Lévy degradation processes | |
| CN115480521A (en) | Method, operating system and monitoring system for detecting restricted operation and monitoring of a technical installation, and process control system | |
| CN114090154B (en) | Finite state machine-based multi-state icon display method, electronic equipment and storage medium | |
| Felke et al. | Architectures for integrated vehicle health management | |
| CN114666238A (en) | Visual monitoring method, system, equipment and medium for data link | |
| US11080939B1 (en) | Generating test cases for augmented reality (AR) application testing | |
| CN118246310A (en) | Digital twin modeling method for equipment remote intelligent monitoring and operation and maintenance | |
| KR100528833B1 (en) | Computer readable medium having thereon computer executable instruction for performing circuit simulation using real image circuit diagram | |
| CN114443205B (en) | Fault analysis method, device and non-transitory computer readable storage medium | |
| CN102308309A (en) | Technologies for mapping a set of criteria | |
| CN112633853A (en) | Project management method and device and electronic equipment | |
| US20230237249A1 (en) | Method and system for generating an automation engineering project in a technical installation using multidisciplinary approach | |
| JP7375931B2 (en) | Display control device and display control method |
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 |