System for automatically generating interlocking software based on Boolean logic

An automatic generation and Boolean logic technology, applied in the direction of program control devices, etc., can solve problems such as error-prone, long time to get started, and unfamiliar computer languages, so as to improve work efficiency and save development time.

Active Publication Date: 2014-09-17
SHANGHAI ELECTRIC THALES TRANSPORTATION AUTOMATION SYST CO LTD
View PDF3 Cites 17 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] However, if the method of automatically generating interlocking is adopted, when a certain functional module of the interlocking software needs to be modified, the corresponding source code must be modified. Most of the interlock

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
  • System for automatically generating interlocking software based on Boolean logic
  • System for automatically generating interlocking software based on Boolean logic
  • System for automatically generating interlocking software based on Boolean logic

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0021] The present invention will be further described below in conjunction with accompanying drawing.

[0022] First, briefly define the grammar rules (logic tree):

[0023] Boolean logic is generally defined by AND, OR, NOT and time, such as F(out)=(V1+~V2)*~V3+V4*V5)*V6, using the Boolean logic ladder diagram such as figure 1 shown.

[0024] Each of the above logical statements has a corresponding logical tree, which completely represents the logical relationship between all input and output quantities and assigned variables in the logical statement, and can generate corresponding logical statements based on the logical tree. The logic tree is similar to Boolean logic, and has four nodes: "and", "or", "not", and "variable", such as figure 2 shown.

[0025] F(out)=(V1+~V2)*~V3+V4*V5)*V6 is represented by logic tree as image 3 shown. By applying the logic tree, the operator expressions of all nodes are combined to form a complete Boolean logic expression.

[0026] see...

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 a system for automatically generating interlocking software based on Boolean logic. The system comprises a database analysis module, a class module, a logic variable module, a logic tree module, a logic script generating module and a binary file generating module. The database analysis module receives original trackside data and screens out information needed by interlocking logic. The class module defines different types in the interlocking logic. The logic variable module defines class member variables and attributes of the class member variables. An interlocking logic rule base module defines grammatical rules based on the interlocking logic. The logic tree module is used for transforming a Boolean expression into a multi-fork tree structure. The logic script generating module is used for generating instantiated interlocking station interlocking scripts. The binary file generating module is used for generating instantiated interlocking station binary files. According to the automatically-generated interlocking software, a relay logic expression familiar to signal technicians serves as an expression form of codes, a rule base can be modified only in the mode similar to a natural language in the modification process, a large amount of development time is saved, and work efficiency is improved.

Description

technical field [0001] The invention relates to an automatic generation system of interlocking software based on Boolean logic in a wayside control unit. Background technique [0002] At present, for the backup control unit in the subway CBTC (Communication Based Train Control, communication-based train control) system, the interlocking software is generally completed by Boolean algebra, and has gone through the process of manual programming to automatic generation; among them: manual programming of interlocking software work The amount is large and error-prone, and has been gradually replaced by automatic generation; automatic generation of interlocks generally uses C, C++, etc. to complete the automatic generation of interlocking software sub-function modules. [0003] However, if the method of automatically generating interlocking is adopted, when a certain functional module of the interlocking software needs to be modified, the corresponding source code must be modified....

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
IPC IPC(8): G06F9/44
Inventor 李广诚刘会明
Owner SHANGHAI ELECTRIC THALES TRANSPORTATION AUTOMATION SYST CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap