CN109558634A - Boolean logic dynamic generating system and dynamic creation method are interlocked based on LL (K) - Google Patents
Boolean logic dynamic generating system and dynamic creation method are interlocked based on LL (K) Download PDFInfo
- Publication number
- CN109558634A CN109558634A CN201811268865.0A CN201811268865A CN109558634A CN 109558634 A CN109558634 A CN 109558634A CN 201811268865 A CN201811268865 A CN 201811268865A CN 109558634 A CN109558634 A CN 109558634A
- Authority
- CN
- China
- Prior art keywords
- module
- data
- boolean logic
- route
- logic
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/10—Geometric CAD
- G06F30/18—Network design, e.g. design based on topological or interconnect aspects of utility systems, piping, heating ventilation air conditioning [HVAC] or cabling
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/602—Providing cryptographic facilities or services
Abstract
The present invention discloses the interlocking Boolean logic dynamic generating system and dynamic creation method of a kind of field of urban rail, which includes deployment of components module, interlocking tabulation module, semantic rules module, logic generation module, dynamic generation Boolean logic data.Data encryption module carries out data encryption rearrangement according to the logical data of generation, generates Boolean logic file.It prevents the later period from modifying the mistake of this document, guarantees data security.Technical solution of the present invention parse to interlock logic using LL (K) mode of context-free and dynamic generation exports, interlocking developer's later period only needs to defer to predetermined syntax rule and modifies to interlock logic, it can dynamic generation newest Boolean logic in real time, without changing any code, the decoupling of implementation rule and generation, largely mitigate the work load of signalling technique personnel, the introducing of encryption technology ensures the safety of logical data, high reliablity improves work efficiency.
Description
Technical field
The present invention relates to the generation systems of Urban Rail Transit Signal control field more particularly to interlock system Boolean logic
System.
Background technique
The correct stable operation of interlock device is rail traffic health, the premise of orderly function, directly influences train
Safe operation, the even personal safety as well as the property safety of passenger.Interlocking Boolean logic BA (Boolean Algebra) is to ensure that interlocking
One group of expression formula that steady ordered cooperates between equipment, operation result are guarantee and the basis of interlock device safe operation.
Since coupled relation is complicated between interlock device, usual way is will be each by experienced signal professional
Equipment linkage relationship carries out arrangement calculating, hand-coding BA.But the problem of artificial establishment is brought is that BA amount of error is big, reliable for operation
Property is low.
With computer technology is introduced interlock system, there is the tool for automatically generating BA.Its essence is compiled artificial
It writes BA and replaces with computer generation, but can not freely modify.Once there is logic alternative, then modification underlying programs are needed.System coupling
Conjunction, adhesive are strong;It is excessively complicated, heavy;Flexibility ratio, easy expenditure are low, and maintenance cost is higher, the BA mistake generated after change occur
It measures higher.
In summary illustrate, the technical solution for needing one kind new is to solve the above problems.
Summary of the invention
Goal of the invention: the present invention provides a kind of based on LL (K) Boolean logic dynamic generating system.Using semantic rules module
Customized rules, the parsing of LL (K) method, dynamic generation BA, so that the Rulemaking of BA mutually be separated with generation.Logic alternative only needs
Independent rule base is modified, it is not necessary to modify underlying programs, and system coupling is greatly lowered, and improve flexibility ratio.Simultaneously using close
Key technology ensures the safety of logical data, and the ease for use and safety of BA are finally improved while improving development efficiency, reduces
System maintenance cost.
Invention also provides the dynamic creation methods based on the system.
Technical solution: in order to achieve the above objectives, the present invention is based on LL (K) interlocking Boolean logic dynamic generating systems can be used
Following technical solution:
One kind interlocking Boolean logic dynamic generating system based on LL (K), comprising:
Deployment of components module is disposed each basic interlock device on yards design for developer, is set up between each equipment
Connection relationship, deployment of components module export an oriented yard topology information figure;
Interlocking tabulation module, the station yard data for being provided by oriented yard topology information figure, the depth based on figure are excellent
First searching algorithm searches creation route interlocking table;
Semantic rules module customizes the create-rule of BA for developer, forms SRL;
Logic generation module parses SRL for LL (K) method based on context-free, is indicated by SRL keyword
Method searches target device, the operator and free variable base dynamic generation BA provided with SRL;
Data encryption module generates key and encryption file for encrypting to BA data.
Further, the deployment of components module provides the apparatus assembly of yards design, comprising: semaphore, track switch, and section,
Platform, car bumper, meter shaft, loop wire, local controller, track switch controller;Deployment of components module provides the deployment to each component, determines
Component connection relationship, comprising: left connection, right connection, side connection.
Further, interlocking tabulation module extracts facility information in yard topology information figure, excellent by the depth based on figure
First algorithm searches all routes.
Further, semantic rules module is using based on syntax rule predetermined.Signal development personnel are following
On the basis of pre-defined rule, module allows the free edit expressions template of developer, and edited data are stored in semantic rules
Library;Semantic rules define part necessary to constituting an expression formula, comprising: keyword, specific operator, free variable base.
Further, logic generation module carries out keyword recognition to expression formula using LL (k) mode of context-free,
Parsing output Boolean logic data;Logic rules library of the logic generation module according to definition, the newest Boolean logic of dynamic generation
Data.
Further, data encryption module carries out data rearrangement encryption to the Boolean logic data of generation, generates encryption text
Part and key.
The utility model has the advantages that
The Boolean logic dynamic generating system that the technology of the present invention provides generates yard hum pattern by deployment of components, in turn
It extracts yard hum pattern and generates route interlocking table;In conjunction with the create-rule that developer defines, parsing generates BA, finally to BA
Carry out data encryption.Export the identifiable Boolean logic file of interlock device.If BA logic changes, it is only necessary to which modification generates rule
Then, system dynamic generation Boolean logic.To which implementation rule customizes and generates decoupling, the flexibility ratio of system is improved.Simultaneously to patrolling
Data encryption is collected, is guaranteed data security.While finally ensuring BA safety, development efficiency is improved, reduces system maintenance cost.
Following technical scheme can be used in dynamic creation method provided by the invention
It is a kind of according to it is above-mentioned based on LL (K) interlocking Boolean logic dynamic generating system logic dynamic creation method are as follows:
Yards design is generated by deployment of components module, system is extracted yard primitive data and given birth to automatically using interlocking tabulation module
At yard route interlocking table;Simultaneity factor is being patrolled according to signal personnel grammer defined in semantic rules module and interlocking data
It collects and is parsed in generation module, final system carries out data in encrypting module to reset encryption generation not according to the semantic data of parsing
Changeable Boolean logic file.
Further, interlocking tabulation resume module process step is as follows:
P201: interlocking tabulation module reads in TDM or has the data of facility information and connection relationship;
P202: the validity of module verification data is thrown if data are not TDM or the facility information for having connection relationship
Information is abnormal in vain out;
P203: the title of module extraction station field device from input data, type, device orientation, place line direction,
Left and right, side facility information;
P204: module extracts facility information and saves as linked list data structure;
P205: direction is searched in the setting of module sequential order, to search the route of different directions;
P206: module begins search for equipment, judges whether the equipment is initial endpoint signal machine, if not beginning then returns to P204 weight
Newly begin search for;
P207: the facility information that cycle index searches, until encountering terminal signaling machine or car bumper;
P208: judging whether current device is track switch in search process, if it is, proving that when anterior approach include one
New branch's route.A route is then created, and returns to P207 and continues cycling through search;
P209: judge whether current device is car bumper or insulation joint.If searching the device credentials has searched route
Terminal;This time searching terminates, while the route is not intended as true route and exists;
P210: judging whether current device is terminal signaling machine, stops if so, searching, all from beginning to terminal
Equipment constitutes a complete route, saves the route into data structure;
P211: after primary search, determine whether that there are also do not searched equipment;If having, comes back to P204 and start
Next route search;Route interlocking table is directly exported if nothing.
Further, the process flow steps of logic generation module are as follows
P301: after reading in semantic rules library and route interlocking table, module progressively scans every rules and regulations that semantic rules library defines
Then handled;
P302: searching whether still there be untreated next expression formula, if it does not exist next expression formula then semantic rules
Library is all parsed, and exports Boolean logic file;
P303: current expression is taken out;
Whether P304: whether verification expression formula is complete, i.e., in relation to key word, operator, free variable base and expression formula termination
Symbol;If imperfect, then structural integrity of dishing out sexual abnormality returns to P302 and re-executes;
P305: semantic formula is parsed character by character using LL (K) mode of context-free;
P306: whether the character for judging parsing is keyword;
P307: if keyword, show the Dev object for searching interlock device;
P308: judge whether keyword method runs succeeded;If method runs succeeded, the equipment searched is saved;If
Method executes failure, then the method for dishing out executes exception, returns to P302 and re-executes;
P309: judging whether current character is free variable base, if eligible, by the equipment searched and free variable
Base junction is closed;
P310: judge whether current character is operator;If eligible, operator is incorporated into expression formula;
P311: judge whether current character is expression formula terminal symbol;If ineligible, expression formula is not finished, again
Return to P305 execution;
P312: expression formula terminal symbol is reached, then the semantic formula is parsed.
The utility model has the advantages that
By mutually separating the rules customization of Boolean logic with generating, very good solution Boolean logic generates not the present invention
Flexibly, the later period changes problem difficult in maintenance.The introducing of encryption technology preferably resolves asking for Boolean logic data safety again
Topic.To reduce system maintenance cost, improve development efficiency in the case where ensuring data safety.
Detailed description of the invention
Fig. 1 is that Boolean logic dynamic generating system includes module diagram in embodiment.
Fig. 2 is interlocking Boolean logic dynamic creation method flow chart in embodiment.
Fig. 3 is the flow diagram of interlocking tabulation module in embodiment.
Fig. 4 is that the typical trapezoidal schematic diagram of Boolean logic is interlocked in embodiment
Fig. 5 is the flow diagram of logic generation module in embodiment.
Specific embodiment
Incorporated by reference to shown in Fig. 1, the present invention provides a kind of interlocking Boolean logic dynamic generating system, comprising:
M1: deployment of components (Primitive Deployment) module is used for signal personnel Fast Drawing base on interface
This yard hum pattern.The deployment of components module provides the apparatus assembly of yards design, comprising: semaphore, track switch, section are stood
Platform, car bumper, meter shaft, loop wire, local controller, track switch controller;Deployment of components module provides the deployment to each component, determines group
Part connection relationship, comprising: left connection, right connection, side connection.
M2: interlocking tabulation (Generation of Interlocking table) module has been depicted as extracting
The yard hum pattern information of type, converts it into interlocking data required in system, while exporting route interlocking table.Interlocking tabulation
Module extracts facility information in yard topology information figure, searches all routes by the depth-priority-searching method based on figure.
M3: semantic rules (Syntax Rule) module allows developer to defer to set grammer and freely writes Boolean logic
Create-rule.Semantic rules module uses based on syntax rule predetermined.Signal development personnel are following pre-defined rule
On the basis of, module allows the free edit expressions template of developer, and edited data are stored in semantic rules library;Semanteme rule
Then define part necessary to constituting an expression formula, comprising: keyword, specific operator, free variable base.
M4: logic generates (Parser for Boolean Algebra) module, parses create-rule, dynamic generation boolean
Logical data.Logic generation module carries out keyword recognition, parsing output to expression formula using LL (k) mode of context-free
Boolean logic data;Logic rules library of the logic generation module according to definition, the newest Boolean logic data of dynamic generation.
M5: data encryption (Data Encryption) module carries out data encryption rearrangement according to the logical data of generation,
Generate Boolean logic file.
Data encryption module carries out data rearrangement encryption to the Boolean logic data of generation, generates encryption file and key.
Fig. 2 is based on the generation method for generating system described in above-mentioned Fig. 1.
Fig. 3 is the flow diagram of interlocking tabulation module, and main processing steps are as follows:
P201: interlocking tabulation module reads in TDM or has the data of facility information and connection relationship.
P202: the validity of module verification data.If data are not TDM or the facility information for having connection relationship, throw
Information is abnormal in vain out.
P203: the title of module extraction station field device from input data, type, device orientation, place line direction,
Left and right, side facility information etc..
P204: module extracts facility information and saves as linked list data structure.
P205: direction is searched in the setting of module sequential order, to search the route of different directions.
P206: module begins search for equipment, judges whether the equipment is initial endpoint signal machine, if not beginning then returns to P204 weight
Newly begin search for.
P207: the facility information that cycle index searches, until encountering terminal signaling machine or car bumper.
P208: judging whether current device is track switch in search process, if it is, proving that when anterior approach include one
New branch's route.A route is then created, and returns to P207 and continues cycling through search.
P209: judge whether current device is car bumper or insulation joint.If searching the device credentials has searched route
Terminal.This time searching terminates, while the route is not intended as true route and exists.
P210: judge whether current device is terminal signaling machine.Stop if so, searching.It is all from beginning to terminal
Equipment constitutes a complete route.The route is saved into data structure.
P211: after primary search, determine whether that there are also do not searched equipment.If having, comes back to P204 and start
Next route search.Route interlocking table is directly exported if nothing.
Fig. 4 is the interlocking trapezoidal canonical schema of Boolean logic.D1 in figure, D2 are respectively adjacent interlocked object signal generation
Number.A, B, C are that free variable base illustrates code name.Create-rule can be defined for the interlock logic of Fig. 4 are as follows: (<Dev>.A+<
Self>.B) * (~<Adj>.C)+<Self>.A+<Adj>.B=<Adj>.B.Wherein<Dev>,<Self>are keyword;"+",
" * ", "~" are operators;" A ", " B ", " C " are free variable bases.
Fig. 5 is the flow diagram of logic generation module.Below in conjunction with the process flow of Fig. 2, Fig. 4 to Fig. 5 carry out into
One step explanation.
P301: after reading in semantic rules library and route interlocking table, module progressively scans every rules and regulations that semantic rules library defines
Then handled.
P302: searching whether still there be untreated next expression formula, if it does not exist next expression formula then semantic rules
Library is all parsed.Export Boolean logic file.
P303: current expression, (<Dev>.A+<Self>.B) * (~<Adj>.C)+<Self>of corresponding definition are taken out
.A+<Adj>.B=<Adj>;.
Whether P304: whether verification expression formula is complete, i.e., in relation to key word, operator, free variable base and expression formula termination
Symbol.If imperfect, then structural integrity of dishing out sexual abnormality returns to P302 and re-executes.
P305: semantic formula is parsed character by character using LL (K) mode of context-free.
P306: whether the character for judging parsing is keyword.
P307: if keyword, such as<Dev>then executes keyword method, shows the Dev object for searching interlock device.
P308: judge whether keyword method runs succeeded.If method runs succeeded, the equipment searched is saved.If
Method executes failure, then the method for dishing out executes exception, returns to P302 and re-executes.
P309: judge whether current character is free variable base, if eligible, by the equipment searched (in Fig. 4
D1) D1.A is combined into free variable base (A in Fig. 4).
P310: judge whether current character is operator.If eligible, operator ("+", " * ", "~") is incorporated into table
Up in formula.
P311: judge whether current character is expression formula terminal symbol.If ineligible, expression formula is not finished, again
Return to P305 execution.
P312: expression formula terminal symbol is reached, then the semantic formula is parsed.Generate the corresponding definition of single Boolean logic
Last Boolean logic: return to P302 after (D1.A+D1.B) * (~D2.C)+D1.A+D2.B=D2.B and carry out next semanteme
The parsing of rule.
By mutually separating the rules customization of Boolean logic with generating, very good solution Boolean logic generates not the present invention
Flexibly, the later period changes problem difficult in maintenance.The introducing of encryption technology preferably resolves asking for Boolean logic data safety again
Topic.To reduce system maintenance cost, improve development efficiency in the case where ensuring data safety.
The present invention can be used in general or special purpose computing system environment or configuration, such as: personal computer, server
Computer, multiprocessing system etc..
Described above is only the specific embodiment of invention, it is noted that for those skilled in the art
For, various improvements and modifications may be made without departing from the principle of the present invention, these improvements and modifications also should
It is considered as protection scope of the present invention.
Claims (9)
1. one kind interlocks Boolean logic dynamic generating system based on LL (K) characterized by comprising
Deployment of components module disposes each basic interlock device on yards design for developer, sets up the connection between each equipment
Relationship, deployment of components module export an oriented yard topology information figure;
Interlocking tabulation module, the station yard data for being provided by oriented yard topology information figure, the depth-first based on figure are searched
Rope algorithm searches creation route interlocking table;
Semantic rules module customizes the create-rule of BA for developer, is formed SRL (Syntax Rule Library);
Logic generation module parses SRL, the method indicated by SRL keyword for LL (K) method based on context-free
Target device is searched, the operator and free variable base dynamic generation BA provided with SRL;
Data encryption module generates key and encryption file for encrypting to BA data.
2. according to claim 1 interlock Boolean logic dynamic generating system based on LL (K), which is characterized in that described group
The apparatus assembly of part deployment module offer yards design, comprising: semaphore, track switch, section, platform, car bumper, meter shaft, loop wire, crossing
Controller, track switch controller;Deployment of components module provides the deployment to each component, determines component connection relationship, comprising: Zuo Lian
It connects, right connection, side connection.
3. according to claim 2 interlock Boolean logic dynamic generating system based on LL (K), which is characterized in that interlockingt system
Table module extracts facility information in yard topology information figure, searches all routes by the depth-priority-searching method based on figure.
4. according to claim 1 interlock Boolean logic dynamic generating system based on LL (K), which is characterized in that semanteme rule
Then module is using based on syntax rule predetermined.On the basis of following pre-defined rule, module permits signal development personnel
Perhaps the free edit expressions template of developer, edited data are stored in semantic rules library;Semantic rules define composition one
Part necessary to a expression formula, comprising: keyword, specific operator, free variable base.
5. according to claim 1 interlock Boolean logic dynamic generating system based on LL (K), which is characterized in that logic is raw
Keyword recognition, parsing output Boolean logic data are carried out to expression formula using LL (k) mode of context-free at module;It patrols
Collect logic rules library of the generation module according to definition, the newest Boolean logic data of dynamic generation.
6. according to claim 1 interlock Boolean logic dynamic generating system based on LL (K), which is characterized in that data add
Close module carries out data rearrangement encryption to the Boolean logic data of generation, generates encryption file and key.
7. a kind of logic based on LL (K) interlocking Boolean logic dynamic generating system described in any one of -7 according to claim 1
Dynamic creation method, it is characterised in that:
Yards design is generated by deployment of components module, system extracts yard primitive data using interlocking tabulation Module Generation station
Field route interlocking table;Simultaneity factor is raw in logic according to signal personnel grammer defined in semantic rules module and interlocking data
At parsing in module, final system reset encrypting and generates and can not change in encrypting module according to the semantic data of parsing to data
The Boolean logic file of change.
8. dynamic creation method according to claim 7, which is characterized in that interlocking tabulation resume module process step is such as
Under:
P201: interlocking tabulation module reads in TDM (Topo Directed Map) or has the data of facility information and connection relationship;
P202: module verifies the validity of data, if data are not TDM or the facility information for having connection relationship, letter of dishing out
Breath is invalid abnormal;
P203: the title of module extraction station field device from input data, type, device orientation, place line direction, left and right,
Side facility information;
P204: module extracts facility information and saves as linked list data structure;
P205: direction is searched in the setting of module sequential order, to search the route of different directions;
P206: module begins search for equipment, judges whether the equipment is initial endpoint signal machine, if not beginning then returns to P204 and opens again
Begin to search;
P207: the facility information that cycle index searches, until encountering terminal signaling machine or car bumper;
P208: judging whether current device is track switch in search process, if it is, proving that when anterior approach include one new
Branch's route.A route is then created, and returns to P207 and continues cycling through search;
P209: judge whether current device is car bumper or insulation joint.If searching the device credentials has searched route terminal;
This time searching terminates, while the route is not intended as true route and exists;
P210: judging whether current device is terminal signaling machine, stops if so, searching, from beginning to all devices of terminal
A complete route is constituted, saves the route into data structure;
P211: after primary search, determine whether that there are also do not searched equipment;If having, come back to P204 start it is next
Route search;Route interlocking table is directly exported if nothing.
9. dynamic creation method according to claim 7 or 8, which is characterized in that the process flow of logic generation module walks
It is rapid as follows
P301: after reading in semantic rules library and route interlocking table, every rule that module progressive scan semantic rules library defines into
Row processing;
P302: searching whether still there be untreated next expression formula, and then semantic rules library is complete for next expression formula if it does not exist
Portion is parsed, and exports Boolean logic file;
P303: current expression is taken out;
P304: whether verification expression formula is complete, i.e., in relation to key word, operator, free variable base and expression formula terminal symbol;Such as
If imperfect, structural integrity of dishing out sexual abnormality returns to P302 and re-executes;
P305: semantic formula is parsed character by character using LL (K) mode of context-free;
P306: whether the character for judging parsing is keyword;
P307: if keyword, show the Dev object for searching interlock device;
P308: judge whether keyword method runs succeeded;If method runs succeeded, the equipment searched is saved;If method
Failure is executed, then the method for dishing out executes exception, returns to P302 and re-executes;
P309: judging whether current character is free variable base, if eligible, by the equipment searched and free variable base junction
It closes;
P310: judge whether current character is operator;If eligible, operator is incorporated into expression formula;
P311: judge whether current character is expression formula terminal symbol;If ineligible, expression formula is not finished, and is come back to
P305 is executed;
P312: expression formula terminal symbol is reached, then the semantic formula is parsed.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811268865.0A CN109558634B (en) | 2018-10-29 | 2018-10-29 | Dynamic generation system and dynamic generation method based on LL (K) interlocking Boolean logic |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811268865.0A CN109558634B (en) | 2018-10-29 | 2018-10-29 | Dynamic generation system and dynamic generation method based on LL (K) interlocking Boolean logic |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109558634A true CN109558634A (en) | 2019-04-02 |
CN109558634B CN109558634B (en) | 2022-11-18 |
Family
ID=65865605
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811268865.0A Active CN109558634B (en) | 2018-10-29 | 2018-10-29 | Dynamic generation system and dynamic generation method based on LL (K) interlocking Boolean logic |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109558634B (en) |
Cited By (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110674191A (en) * | 2019-10-08 | 2020-01-10 | 卡斯柯信号(成都)有限公司 | Universal interlocking logic searching method and device |
CN112208586A (en) * | 2020-09-08 | 2021-01-12 | 通号城市轨道交通技术有限公司 | Interlocking table generation method and device and readable storage medium |
CN112231884A (en) * | 2019-06-28 | 2021-01-15 | 比亚迪股份有限公司 | Method and apparatus for drawing station yard graph, and storage medium |
CN113268455A (en) * | 2021-04-26 | 2021-08-17 | 卡斯柯信号(成都)有限公司 | Boolean logic-based automatic configuration method and system for interlocking data |
CN113704839A (en) * | 2021-10-28 | 2021-11-26 | 北京全路通信信号研究设计院集团有限公司 | Method and system for automatically generating route information table based on depth priority |
CN113696935A (en) * | 2021-10-28 | 2021-11-26 | 北京全路通信信号研究设计院集团有限公司 | Signal equipment primitive data model establishing method and system |
CN113807078A (en) * | 2021-10-09 | 2021-12-17 | 杭州路信科技有限公司 | Signal interlocking system control method and device, electronic equipment and storage medium |
CN115257881A (en) * | 2022-07-12 | 2022-11-01 | 中铁第四勘察设计院集团有限公司 | Basic route selection algorithm and equipment based on depth-first and conflict monitoring algorithm |
CN115366944A (en) * | 2022-09-20 | 2022-11-22 | 中南大学 | Rail transit vehicle and access control method and system thereof |
CN116702665A (en) * | 2023-08-04 | 2023-09-05 | 山东启芯软件科技有限公司 | Large-scale integrated circuit design optimization method based on common sub-expression |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102239645A (en) * | 2008-12-03 | 2011-11-09 | Abb研究有限公司 | Electrical power network management system |
CN103440349A (en) * | 2013-09-16 | 2013-12-11 | 国电南瑞科技股份有限公司 | Urban rail traffic station data validation method |
CN106664071A (en) * | 2014-06-25 | 2017-05-10 | 康杜实验室公司 | Multilevel driver circuit for high speed chip-to-chip communications |
-
2018
- 2018-10-29 CN CN201811268865.0A patent/CN109558634B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102239645A (en) * | 2008-12-03 | 2011-11-09 | Abb研究有限公司 | Electrical power network management system |
CN103440349A (en) * | 2013-09-16 | 2013-12-11 | 国电南瑞科技股份有限公司 | Urban rail traffic station data validation method |
CN106664071A (en) * | 2014-06-25 | 2017-05-10 | 康杜实验室公司 | Multilevel driver circuit for high speed chip-to-chip communications |
Cited By (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112231884A (en) * | 2019-06-28 | 2021-01-15 | 比亚迪股份有限公司 | Method and apparatus for drawing station yard graph, and storage medium |
CN110674191A (en) * | 2019-10-08 | 2020-01-10 | 卡斯柯信号(成都)有限公司 | Universal interlocking logic searching method and device |
CN110674191B (en) * | 2019-10-08 | 2022-07-26 | 卡斯柯信号(成都)有限公司 | Universal interlocking logic searching method and device |
CN112208586A (en) * | 2020-09-08 | 2021-01-12 | 通号城市轨道交通技术有限公司 | Interlocking table generation method and device and readable storage medium |
CN113268455A (en) * | 2021-04-26 | 2021-08-17 | 卡斯柯信号(成都)有限公司 | Boolean logic-based automatic configuration method and system for interlocking data |
CN113268455B (en) * | 2021-04-26 | 2022-07-26 | 卡斯柯信号(成都)有限公司 | Boolean logic-based automatic configuration method and system for interlocking data |
CN113807078A (en) * | 2021-10-09 | 2021-12-17 | 杭州路信科技有限公司 | Signal interlocking system control method and device, electronic equipment and storage medium |
CN113807078B (en) * | 2021-10-09 | 2023-03-10 | 杭州路信科技有限公司 | Signal interlocking system control method and device, electronic equipment and storage medium |
CN113696935A (en) * | 2021-10-28 | 2021-11-26 | 北京全路通信信号研究设计院集团有限公司 | Signal equipment primitive data model establishing method and system |
CN113704839A (en) * | 2021-10-28 | 2021-11-26 | 北京全路通信信号研究设计院集团有限公司 | Method and system for automatically generating route information table based on depth priority |
CN115257881A (en) * | 2022-07-12 | 2022-11-01 | 中铁第四勘察设计院集团有限公司 | Basic route selection algorithm and equipment based on depth-first and conflict monitoring algorithm |
CN115366944A (en) * | 2022-09-20 | 2022-11-22 | 中南大学 | Rail transit vehicle and access control method and system thereof |
CN115366944B (en) * | 2022-09-20 | 2024-04-16 | 中南大学 | Rail transit vehicle and route control method and system thereof |
CN116702665A (en) * | 2023-08-04 | 2023-09-05 | 山东启芯软件科技有限公司 | Large-scale integrated circuit design optimization method based on common sub-expression |
CN116702665B (en) * | 2023-08-04 | 2023-10-27 | 山东启芯软件科技有限公司 | Large-scale integrated circuit design optimization method based on common sub-expression |
Also Published As
Publication number | Publication date |
---|---|
CN109558634B (en) | 2022-11-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109558634A (en) | Boolean logic dynamic generating system and dynamic creation method are interlocked based on LL (K) | |
CN103823666B (en) | Smart substation equipment visualized programming method | |
CN104319891B (en) | Maintenance O&M device and method for transformer station process layer | |
CN104049976B (en) | Interlocking software automatic creation system based on Boolean logic | |
CN110674191B (en) | Universal interlocking logic searching method and device | |
CN108549650A (en) | A kind of intelligent substation anti-misoperation locking logic rules source configuration method and system | |
CN107067081A (en) | Substation secondary maintenance safety measure generation method based on many object models | |
CN104503920A (en) | Software system fault detection method based on dynamic description logic and case-based reasoning | |
CN105956245A (en) | Bay decoupling method for SCD model of intelligent substation | |
CN104407577A (en) | Intelligent check anti-maloperation method based on real-time trend | |
CN110674353B (en) | XML-based in-place protection process layer automatic configuration method | |
CN100388691C (en) | An automatic fault location method and system | |
CN105488293B (en) | A kind of method and system configuring virtual terminator line in SCD | |
CN107871176A (en) | The safety-optimized method and system of secondary device applied to IEC61850 information modelings | |
CN107025329A (en) | The empty loop automatic connection method of intelligent substation | |
Han et al. | Safety requirements specification and verification for railway interlocking systems | |
CN104881538B (en) | A kind of empty terminal arrangement table design method | |
CN108304947A (en) | The safety-optimized method and system of secondary device based on SCD file object model | |
Zhang et al. | Mutation model-based test case generation of chinese train control system with automatic train operation function | |
CN109522045B (en) | A kind of secondary system of intelligent substation quickly configuration method based on information flow chart | |
CN107748819A (en) | A kind of electrical secondary equipment modeling method and system based on natural language processing | |
CN107871168A (en) | Intelligent substation secondary maintenance safety measure generation method | |
Meolic et al. | Verification of concurrent systems using ACTL | |
CN107871030A (en) | Substation secondary maintenance safety measure generation method based on SCD file object model | |
CN108132664B (en) | Automatic relay protection information point aligning method suitable for intelligent substation |
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 |