一、十字旋转门的规格是多少
◆人数分钟：20 人每分钟 ◆模块化设计，可有单个，双个，三个或多个通道形式，可手动或机械动作。
◆由旋转栏杆（障碍物）分120°三翼组成或者90°十字栏杆。此系列可高效地，安全地，自动地进行出入口进行控制。
◆它可以和各式出入控制装置，如：ID卡、IC卡、手机SIM、条码卡、指纹机、掌型仪、人脸识别等多项识别方式集成一体使用。 ◆提供人机界面交互的免费控制软件和开发包协议，方便控制与调试，扩展性强。
◆自动复位功能：开闸后，在规定的时间内未通行系统将自动上锁，通行时间可调。 ◆断电后，可持续工作8小时，无需验证，可使行人快速通行，符合消防要求。
◆提供紧急开关，在人流高峰期，减少人员等待时间。 闸机组成： 机箱、转杆、机芯、控制板和电源 结 构： 框架结构 不锈钢外壳 外形尺寸： 长2400*宽1500*高2400(mm)可定制 闸机转向： 单向 双向（可选） 开闸时间： 0.2秒 防反转： 具备防反转功能，以保证一卡一人，杜绝尾随。
电源电压： 输入：AC220V±10%，输出：DC24V、DC12V。 工作环境： 室内、室外（建议配防雨棚） 工作温度： -10℃~60℃，相对湿度5%~95%，不凝露 通行速度： >30人分钟 工作噪声：。
二、求高人指导下相继式
在证明论中，相继式是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。
相继式有如下形式
Γ |-Σ
这里的 Γ 和 Σ 二者是逻辑公式的序列（就是说公式的数目和出现次序都是重要的）。符号 通常被称为十字转门（turnstile）或 T 型符号（tee），并经常被读做"产生"或"证明"。它不是语言中的符号，而用来讨论证明的元语言中的符号。在相继式中，Γ 叫做相继式的前件（antecedent）而 Σ 叫做相继式的后继（succedent）。
一个典型的相继式：
φ ，ψ|-α，β
它声称要么 α 要么 β 可以推导自 φ 且 ψ。
性质
因为在（左边的）的前件中的所有公式都必须为真来获得在（右边的）后继中至少一个公式为真，向任何一端增加公式都导致一个更弱的相继式，而从任何一端去除公式都得到更强的相继式。
三、barrier是什么意思
barrier
[英][ˈbæriə（r）][美][ˈbæriɚ]
n.
（阻碍通道的）障碍物，屏障（如栅栏、挡板、挡墙、壁垒、障壁、十字转门等）
障碍，阻碍，隔离，隔阂，壁垒
【赛马】起跑屏障（拦马于起跑点的可动门）
（国境线上的）海关关卡，关口
（火车站出入口的）检票处
界线
[有时作 B-] 【自然地理学】（扩伸到海洋中的）南极洲冰盾（或冰层）
= barrier bar
【生物学】（限制或影响动植物迁徙或自由移动的）障阻，阻限
[常作复数] （中世纪骑士比武区的）围栅
[常作 Barriers] （中世纪）骑士步战比武
[古语] （守门把关的）要塞，（保卫入口处的）堡垒；围桩，栅栏
vt.
把…关入栅栏；以障碍物（或屏障）隔绝（或隔开）
