用于自动生成布尔代数的多机信息处理方法及装置

摘要

本发明涉及一种用于自动生成布尔代数的多机信息处理方法，采用客户端/服务器模式来实现布尔代数的多机自动生成，所述的信息处理方法包括以下步骤：1)服务器端将源文件进行分割，依次传输给客户端；2)客户端进行接收，并生成布尔代数文件，并将该布尔代数文件传送给服务器端；3)服务器端接收布尔代数文件，并将其合并。与现有技术相比，本发明具有异步分解性强、运算能力强、系统兼容性高、扩展性好等优点。

说明书

技术领域

本发明涉及一种布尔代数生成方法，尤其是涉及一种用于自动生成布尔代数 的多机信息处理方法及装置。

背景技术

布尔代数应用于计算机联锁系统，经过了从手工编制到自动生成的过程。手 工编制以其工作量大，易出现错误等缺点自然逐渐被淘汰，随着应用的日益广泛， 布尔代数辅助设计技术成了人们研究的一个热点。

现有的布尔代数辅助设计工具软件均是单机完成逻辑检查，产生布尔代数输 出文件。但随着应用场所的逐渐复杂化，特别是遇到基本进路以及长进路较多的大 型车站时，单机生成将花费大量的时间在进路的筛选和处理上，生成速度就比较慢， 影响了使用效率，同时也无法保证生成系统的安全性，可靠性和稳定性。

发明内容

本发明的目的就是为了克服上述现有技术存在的缺陷而提供一种异步分解性 强、运算能力强、系统兼容性高、扩展性好的用于自动生成布尔代数的多机信息处 理方法及装置。

本发明的目的可以通过以下技术方案来实现：

一种用于自动生成布尔代数的多机信息处理方法，其特征在于，采用客户端/ 服务器模式来实现布尔代数的多机自动生成，所述的信息处理方法包括以下步骤：

1)服务器端将源文件进行分割，依次传输给客户端；

2)客户端进行接收，并生成布尔代数文件，并将该布尔代数文件传送给服务 器端；

3)服务器端接收布尔代数文件，并将其合并。

所述的步骤2)具体步骤如下：

1)启动客户端；

2)配置服务器端的IP地址；

3)尝试连接服务器，当超过延时且无法连接时，返回步骤2)，若连接成功， 执行步骤4)；

4)连接成功后，判断当前目录下是否有VCF(规则库配置)文件需要生成， 若为是，执行步骤8)，若为否，执行步骤5)；

5)向服务器端发送传输文件的请求；

6)若服务器端返回接收确认信息，则执行步骤7)；若收到生成终止信息，则 生成结束，并执行步骤12)

7)接收服务器端的VCF文件至客户端相关目录下；

8)根据目录下的VCF文件，生成相应的BOOL(布尔)表达式；

9)删除当前生成完毕的VCF文件；

10)将生成BOOL表达式的VTL(布尔表达式)文件传送至服务器端；

11)返回步骤4)，进行循环操作；

12)结束。

所述的步骤1)、步骤3)中的服务器端处理过程如下：

1)启动服务器端；

2)开始接收客户端信息；

3)判断是否接收到客户端信息，若为是，执行步骤4)，若为否，返回步骤2)；

4)检测到当有客户端连接时，判断客户端是否有发送VCF文件的请求，若为 是，执行步骤5)，若为否，则执行步骤9)；

5)判断当前服务器端是否还有剩余的VCF文件，若为是，则执行步骤6)， 若为否，则执行步骤11)

6)服务器端将VCF文件发送至客户端；

7)服务器端删除步骤6)发送的VCF文件；

8)返回步骤4)，接收客户端的请求；

9)判断客户端是否有传送VTL文件的请求，若为否，则经过延时，返回步骤 4)；

10)接收客户端的VTL文件，接收完成后，回到步骤9)；

11)服务器端已没有可以传输的VCF文件，则发送生成结束信息至客户端；

12)检测客户端是否有发送VTL文件的请求，若有，则执行13)，否则执行 步骤14)

13)接收客户端的VTL文件至服务器目录下，接收完成后，返回步骤12)

14)将所有收到的VTL文件合并成一个完整的最终输出文件；

15)结束。

一种多机自动生成布尔代数的信息处理装置，其特征在于，包括客户端、服务 器端、通信网络，所述的客户端通过通信网络与服务器端连接。

所述的客户端为一台或一台以上。

所述的服务器端为一台。

与现有技术相比，本发明具有异步分解性、运算能力强，系统兼容性高，花 费时间少等特点，并且采用客户机/服务器(C/S)模式，可以方便的增加通道的数 量，具有良好的扩展性。

附图说明

图1为本发明客户端处理过程流程图；

图2为本发明服务器端处理过程流程图；

图3为本发明的硬件结构示意图。

具体实施方式

下面结合附图和具体实施例对本发明进行详细说明。

实施例

一种用于自动生成布尔代数的多机信息处理方法，其特征在于，采用客户端/ 服务器模式来实现布尔代数的多机自动生成，所述的信息处理方法包括以下步骤：

1)服务器端将源文件进行分割，依次传输给客户端；

2)客户端进行接收，并生成布尔代数文件，并将该布尔代数文件传送给服务 器端；

3)服务器端接收布尔代数文件，并将其合并。

如图1所示，所述的步骤2)具体步骤如下：

(101)启动客户端；

(102)配置服务器端的IP地址；

(103)尝试连接服务器，当超过延时且无法连接时，返回步骤(102)，若连 接成功，执行步骤(104)；

(104)连接成功后，判断当前目录下是否有VCF文件需要生成，若为是，执 行步骤8)，若为否，执行步骤(105)；

(105)向服务器端发送传输文件的请求；

(106)若服务器端返回接收确认信息，则执行步骤(107)；若收到生成终止 信息，则生成结束，并执行步骤(112)

(107)接收服务器端的VCF文件至客户端相关目录下；

(108)根据目录下的VCF文件，生成相应的BOOL表达式；

(109)删除当前生成完毕的VCF文件；

(110)将生成BOOL表达式的VTL文件传送至服务器端；

(111)返回步骤(104)，进行循环操作；

(112)结束。

如图2所示，所述的服务器端发送数据、接收数据、合并数据过程如下：

(201)启动服务器端；

(202)开始接收客户端信息；

(203)判断是否接收到客户端信息，若为是，执行步骤(204)，若为否，返 回步骤(202)；

(204)检测到当有客户端连接时，判断客户端是否有发送VCF文件的请求， 若为是，执行步骤(205)，若为否，则执行步骤(209)；

(205)判断当前服务器端是否还有剩余的VCF文件，若为是，则执行步骤 (206)，若为否，则执行步骤(211)

(206)服务器端将VCF文件发送至客户端；

(207)服务器端删除步骤(206)发送的VCF文件；

(208)返回步骤(204)，接收客户端的请求；

(209)判断客户端是否有传送VTL文件的请求，若为否，则经过延时，返回 步骤4)；

(210)接收客户端的VTL文件，接收完成后，回到步骤(209)；

(211)服务器端已没有可以传输的VCF文件，则发送生成结束信息至客户端；

(212)检测客户端是否有发送VTL文件的请求，若有，则执行(213)，否则 执行步骤(214)

(213)接收客户端的VTL文件至服务器目录下，接收完成后，返回步骤(212)

(214)将所有收到的VTL文件合并成一个完整的最终输出文件；

(215)结束。

如图3所示，一种多机自动生成布尔代数的信息处理装置，包括客户端1、服 务器端2、通信网络3，所述的客户端1通过通信网络3与服务器端2连接。所述 的客户端1为一台或一台以上。所述的服务器端2为一台。

本发明采用服务器端和客户端分布处理的模式，服务器端通过与多个客户端相 连接，将源文件进行分割，依次传输给客户端进行逐个生成再合并，加快了生成的 总时间，提高了应用中的工作效率。