Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

An LL (K)-based interlocking Boolean logic dynamic generation system and a dynamic generation method

A dynamic generation and logic technology, applied in instruments, geometric CAD, calculation, etc., can solve the problems of system coupling, strong adhesion, flexibility, low ease of use, and high BA error, so as to ensure data security and improve development. Effectiveness of Efficiency and Security

Active Publication Date: 2019-04-02
NARI TECH CO LTD
View PDF3 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Strong system coupling and adhesion; too complex and cumbersome; low flexibility and ease of use, high maintenance costs, and a high amount of BA errors generated after changes

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • An LL (K)-based interlocking Boolean logic dynamic generation system and a dynamic generation method
  • An LL (K)-based interlocking Boolean logic dynamic generation system and a dynamic generation method
  • An LL (K)-based interlocking Boolean logic dynamic generation system and a dynamic generation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0057] Please combine figure 1 As shown, the present invention provides a dynamic generation system of interlocking Boolean logic, comprising:

[0058] M1: Primitive Deployment module, used by signal personnel to quickly draw basic station information maps on the interface. The component deployment module provides the equipment components of the station map, including: signal machine, turnout, section, platform, vehicle block, axle counting, ring line, intersection controller, and turnout controller; the component deployment module provides the deployment of each component , to determine the component connection relationship, including: left connection, right connection, side connection.

[0059] M2: Generation of Interlocking table (Generation of Interlocking table) module, which is used to extract the station information map information that has been drawn, convert it into the required interlocking data in the system, and output the route interlocking table at the same time...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an interlocking Boolean logic dynamic generation system and a dynamic generation method in the field of urban rail transit. The system comprises a component deployment module,an interlocking tabulation module, a semantic rule module and a logic generation module by which the Boolean logic data are dynamically generated; and a data encryption module which is used for carrying out data encryption rearrangement according to the generated logic data to generate a Boolean logic file. According to the present invention,the misoperation of the file in the later period is prevented, and the data security is ensured. According to the technical scheme of the invention, a context-independent LL (K) mode is adopted to analyze interlocking logic and dynamically generate and output the interlocking logic; the interlocking developers only need to modify the interlocking logic according to a predetermined grammar rule in the later period, so that the latest Boolean logic can be dynamically generated in real time without changing any code, the rule and generation decoupling is achieved, the workload of signal technicians is greatly reduced, the safety of logic data is ensured through introduction of the encryption technology, the reliability is high, and the working efficiency is improved.

Description

technical field [0001] The invention relates to the field of urban rail transit signal control, in particular to a generating system of Boolean logic of an interlocking system. Background technique [0002] The correct and stable operation of interlocking equipment is the premise of healthy and orderly operation of rail transit, which directly affects the safe operation of trains, and even the personal and property safety of passengers. Interlocking Boolean logic BA (Boolean Algebra) is a set of expressions to ensure stable and orderly cooperation between interlocking devices, and its operation results are the guarantee and basis for the safe operation of interlocking devices. [0003] Due to the complex coupling relationship between interlocking equipment, it is common practice for experienced signal professionals to sort out and calculate the linkage relationship of each equipment, and manually write BA. However, the problem brought by manual compilation is that BA has a ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50G06F21/60
CPCG06F21/602G06F30/18
Inventor 魏源梁奕
Owner NARI TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products