The invention relates to an optimization method of interlocking Boolean logic, including: after generating Boolean expressions, the generated results are optimized by optimizing the interlocking Boolean logic algorithm, and the new expression is output. Compared with the existing technology, the invention greatly simplifies the Boolean logic expression and reduces the Boolean variables in each expression.
【技术实现步骤摘要】
一种联锁布尔逻辑的优化方法
本专利技术涉及一种信号优化方法,尤其是涉及一种联锁布尔逻辑的优化方法。
技术介绍
在轨道交通铁路信号设计过程中,布尔代数被应用于计算机联锁系统,用来表示联锁逻辑关系,基于专利申请号200910049341.7的现有已有辅助工具自动生成的布尔代数,有以下缺陷:1.数据量大。对一个有40组道岔的中等车站的布尔代数有近1万条布尔表达式,一条表达式中包含的布尔变量有可能达到上百个,这对联锁下位机软件的处理速度有极大的影响。2.有冗余变量。每一条布尔表达式中可能会出现多余的支路或者无效变量。3.逻辑复杂。每一条布尔表达式中可能包含多个变量相加再连乘的复杂四则混合运算,变量个数多,增加联锁下位机的运算负荷。
技术实现思路
本专利技术的目的就是为了克服上述现有技术存在的缺陷而提供一种联锁布尔逻辑的优化方法。本专利技术的目的可以通过以下技术方案来实现:一种联锁布尔逻辑的优化方法,包括:在生成布尔表达式后,对生成的结果通过优化联锁布尔逻辑算法进行优化,得到新的表达式进行输出。优选地,该方法具体包括以下步骤:步骤S1、读取所有布尔表达式,遍历每一条布尔表达式,记录值为常零的布尔变量到可优化布尔变量链表一,记录值为常1的布尔变量到可优化布尔变量链表二,进入步骤S2;步骤S2、遍历每一条布尔表达式,若表达式中包含小括号,则进行拆除括号操作,得到只有加法和乘法运算的布尔表达式,进入步骤S3;步骤S3、循环遍历每一条布尔表达式,将每一条布尔表达式以加号分割每一组布尔变量:若存在相同的项,则只保留一项,其余项删除,进入步骤S4;步骤S4、若存在某一项加上某一项乘 ...
【技术保护点】
一种联锁布尔逻辑的优化方法,其特征在于,包括:在生成布尔表达式后,对生成的结果通过优化联锁布尔逻辑算法进行优化,得到新的表达式进行输出。
【技术特征摘要】
1.一种联锁布尔逻辑的优化方法,其特征在于,包括:在生成布尔表达式后,对生成的结果通过优化联锁布尔逻辑算法进行优化,得到新的表达式进行输出。2.根据权利要求1所述的方法,其特征在于,该方法具体包括以下步骤:步骤S1、读取所有布尔表达式,遍历每一条布尔表达式,记录值为常零的布尔变量到可优化布尔变量链表一,记录值为常1的布尔变量到可优化布尔变量链表二,进入步骤S2;步骤S2、遍历每一条布尔表达式,若表达式中包含小括号,则进行拆除括号操作,得到只有加法和乘法运算的布尔表达式,进入步骤S3;步骤S3、循环遍历每一条布尔表达式,将每一条布尔表达式以加号分割每一组布尔变量:若存在相同的项,则只保留一项,其余项删除,进入步骤S4;步骤S4、若存在某一项加上某一项乘以另一项的情况,则删除某一项乘以另一项,仅保留某一项,进入步骤S5;步骤S5、若存在某一项加上某一项取反的情况,则整个表达式的值置为1,且记录到链表二中,进入步骤S6;步骤S6、若存在某一项乘以另一项加上某一项的取反乘以另一相同项的情况,则仅保留另一项,进入步骤S7;步骤S7、将优化后的布尔表达式删除多余运算符之后保存,进入S3,若步骤S3、S4、S5、S6都没有进行优化操作,则进入步骤S8;步骤S8、遍历每一条优化后的布尔表达式,若表达式中包含可优化布尔变量链表一中的布尔变量,且为该布尔变量与其它布尔变量相加的方式,则删除该布尔变量,进入步骤S9;步骤S9、若表达式中包含可优化布尔变量链表一中的布尔变量,且为该布尔变量与其它布尔变量相乘的方式,则删除该布尔变量以及与它相乘的所有布尔变量,进入步骤S10;步骤S10、若最后得到的布尔变量值为零,则添加该布尔变量到链表一中,即P=0,则记录P到可优化布尔变量链表一中,进入步骤...
【专利技术属性】
技术研发人员:王玲群,张程,陈吉余,高武,徐泽骏,马锐,莫运前,成鹏,
申请(专利权)人:卡斯柯信号有限公司,
类型:发明
国别省市:上海,31
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。