逻辑控制在交通灯中应用.pdfVIP

逻辑控制在交通灯中的应用 摘要：泛布尔代数被应用在城市T 型交通节点的交通灯控制上。根据城市T 型交通节点的特点和交通灯控制的目的，本文主要研究了不同环境下的应用情况 和通信控制准则。最终为了简化这些准则和将它们转化成逻辑表达方式，我们使 用了泛布尔代数 （Li Bin, 2000 ）。本文的研究结果为进一步的模拟和真实电路设 计提供了逻辑学基础。 关键词：泛布尔代数，逻辑控制，逻辑准则，思维控制 1 引言 在城市交通中，交通灯的信号是控制交通网络的最重要因素。近些年来，交 通工具的数量以极高的速度增长。这对城市市区施加了巨大的压力。众所周知， 道路交叉点是交通通道的瓶颈问题。所以研究交通通道的准则和制定实际情况中 的交通灯通信准则是非常必需的。这些对于缓解交通拥堵和提高道路交叉点的运 行效率具有重要的现实意义。本文得到了分析 T 型道路节点的所有交通灯的控 制情况的一般规律和准则。在制定通信准则本文应用了逻辑思维方法，以保证交 通车辆可以顺畅通过。 2 泛布尔代数简介 泛布尔代数（Zhang Nanlun, 1986 ）在上个世纪八十年代被提出。它被特别地 应用于直接解决具有多参数和多状态，并且每个参数对应不同通讯状态常数的现 实问题。本章将简要介绍泛布尔代数的公理系统（Zhang Nanlun 和Xiao Xi ’an, 1985）。 在泛布尔代数系统中不同种类的符号如下： 因子： （或者称为变量，并不参与逻辑运算） 状态参数： 1 ， 2 ，… ， ( i ＝1，2. ，3，…) ，（参与逻辑运算） 常数：0 ，1 运算符号：+ （逻辑加法） ·（逻辑乘积） 相等：= A 、B 、C 表示泛布尔常数系统的小项。泛布尔系统的原理如下：（每个公式 前的A ，D 仅代表相应公式的序号，没有其他含义。） (A 1) A+B ＝B+A (A 2) A ·B ＝B ·A (A 3) A ·(B+C) ＝(A ·B)+(A ·C) (A 4) A+(B ·C) ＝(A+B) ·(A+C) (A 5) A+0 ＝A (A 6) A ·1＝A (A 7) (A+B)+C ＝A+(B+C) (A 8) (A ·B) ·C ＝A ·(B ·C) 状态准则：对于任意正整数i，存在且仅存在一个对应的整数 ≥ 2; ( 称为 因子的状态常数) (A9) 1 + 2 + ⋯ + = 1 (A10) · = 0 (1 ≤ ≤ ) 这两个公式是布尔代数（Gudesitanyin R L，1975）附加准则和盈余准则的不 同形式（Hou Lijuan ，2000 ）。例如，A 十字路口的车辆流量（因子1 ）可以分解 成：小流量，一般流量，大流量。然后我们可以用状态参数 1 ， 2和 3来表示这 1 1 1 三种状态。可以看到1 因子并不参与运算，但是 1 ， 2和 3全部是真值为0 和1 1 1 1 的状态参数，它们参与了运算。此时有： 1 + 2 + 3 = 1 1 1 1