(完整版)外文翻译改立体车库(可编辑修改word版)

本科毕业设计

外文文献及译文

文献、资料题目：Specification, Analysis and

Verification of an Automated

Parking Garage

文献、资料来源：谷歌学术

文献、资料发表（出版）日期：2005

院（部）：机电工程学院

专业：机械工程及自动化

班级：机械112

姓名：江治国

学号：2011071154

指导教师：刘辉

翻译日期：2015.3.10

外文文献：

Specification, Analysis and Verification of an Automated Parking Garage Aad Mathijssen , A. Johannes Pretorius

Abstract

In this report we discuss the specification, analysis and verification of an automated parking garage in mCRL2, a process algebra with data. We view the parking garage as a system that we conceptually divide into three layers: a logical layer, a safety layer and a hardware abstraction layer. This allows us to abstract from implementation details (hardware abstraction layer) and algorithm design (logical layer). Instead, we are able to focus on the specification of a communication interface between these two layers that only allows safe system behavior. This interface constitutes the safety layer. For the safety layer, we identify and formulate a number of requirements. These are verified and reported on. We also discuss the analysis of the specification of the safety layer with a simple custom visualization tool. This tool was implemented as a plug- in to the mCRL2 toolset and helped us gain important insights during the specification and analysis of the safety layer.

1Introduction

During the past two decades process algebras have become increasingly popular tools for describing complex systems that interact with their environment [5]. Such systems differ from classic batch processes that receive input, process the input, produce output and then terminate. Instead, their behavior is continuously influenced by information that they receive from their environment. An automated parking garage is a prime example of such a system. It is in operation 24 hours a day, 7 days a week: it is continuously on standby, ready to stowaway and retrieve cars for users. Furthermore, the state of the garage is constantly changing as cars are added and removed. At any point in time, this state influences which operations are possible and how they are executed.

Process algebra allows for high-level descriptions of systems that interact with their environment. A system is regarded as a number of interacting processes that together describe its behaviour. In this way a mathematical model is acquired and this is used to prove various

properties of the system using mathematical proof techniques. The process algebra used in this report is mCRL2 [3]. It succeeds and extends μCRL [4, 5].

With μCRL a large number of real-world systems have been analysed and verified. Some of the successes that μCRL has booked include the detection of an unknown deadlock in the most complex variant of the sliding window protocol [1, 11], the identification of a number of errors in a distributed lifting system for trucks [2] and the discovery of two errors in a Java distributed memory implementation [9]. From all these experiments we unfortunately have had to formulate the 100% rule: in 100% of the cases considered, systems turn out to contain more or less serious errors, which are not very hard to detect.

An important characteristic of mCRL2 and its predecessor μCRL is the inclusion of data .Experience has shown that in real-world systems data is of paramount importance [6]. In addition to the execution of actions, it is often the case that data is stored and communicated, thus having a significant influence on system behaviour.

In the remainder of this report we discuss the specification of an automated parking garage in mCRL2. We also discuss the analysis and verification of the system and the techniques used. In section 2 we provide more details on the challenges presented by this system. In section 3 we outline the approach we have taken to address these issues and we explain how we conceptually divide the system into three layers. This allows us to concentrate on one layer, the safety layer, which we believe is essential in verifying that the system is safe. We follow this by a discussion of mCRL2 and the mCRL2 toolset in section 4. In sections 5, 6 and 7 we specify the hardware abstraction layer, the safety layer and the logical layer respectively. We treat the hardware abstraction layer and the logical layer tersely but reveal more details of the safety layer: we provide a specification, formulate a number of safety requirements and verify these. In section 8 we describe a simple visualization plug-in for the mCRL2 toolset as well as the insights we gained from using it. Finally, we draw conclusions in section 9.

2Problem description

The parking garage that we are concerned with was commissioned by developers in Bremen, Germany and was designed by the Dutch company CVSS Automated Parking Systems. It will be realised below street level in the basement of an existing building. Access to the garage will be

provided with a vertical lift shaft that has a doorway at street level. To use the facility, users will drive their car through this doorway into the lift. After they have exited from their car and the lift, their car will automatically be lowered to an in termediate level, rotated 180 ? horizontally, lowered to the basement and stowed away using a number of conveyor belts and shuttles. When a user wishes to retrieve a car, this same system of conveyor belts and shuttles will be used to bring the car to the lift from which it will be brought to street level. Since the car had been rotated before, it will now face the direction of the street. The user steps into the car and drives away through the doorway.

The system will provide a number of security and safety checks during check-in and check- out of a car. This includes reading a transponder card on the car and checking a database of registered users before opening the doorway to the lift. As the car is driven into the lift, the user will be provided with a number of cues to ensure that the car is positioned appropriately. There will also be a check to ensure that the handbrake is engaged. Before lowering the car to the basement, the lift will be scanned to ensure that there are no living beings present. When a user wishes to retrieve a car there will be the necessary security checks to prevent theft. Furthermore, there will be traffic lights outside the doorway to prevent traffic jams and the installation will be provided with driver motors, position sensors, closed circuit television cameras, smoke alarms and sprinklers.

In subsequent descriptions we consciously abstract from details such as driver motors, position sensors and so forth. We also restrict ourselves to only the vertical lift and the basement level parking garage. We do not take into account the mechanisms put in place for regulating traffic outside the lift, correctly positioning the car in the lift, or cues to enter and leave the lift. This is done in order to tightly draw the bounds of our scope and to focus on what we believe are the essential elements that facilitate the safe behaviour of the system. In doing so, we avoid getting bogged down by implementation issues, hardware or logistics.

Figure 1: Floorplan of the parking garage, basement level From our perspective the operation of the system is initiated every time a car is positioned appropriately in the lift at street level or when a request for a car is received. Physically we view the system as consisting of a single lift and a parking garage. The lift can be in one of three vertical positions: street level, rotation level or basement level. At the rotation level, the lift is able to rotate 180 ? horizontally. This is provided that there are no cars positioned immediate ly adjacent to the lift shaft (on either side) at basement level. The floor of the lift consists of a conveyor belt. When the lift is at the basement level this conveyor belt is able to move sideways (see the description below).

The most complex and most interesting part of the system is the parking garage at basement level. The movement of cars at this level is facilitated by a number of conveyor belts and shuttles. This is illustrated in the floor plan of the basement in figure 1.

As shown in the figure, the garage is divided into three rows(r1,r2andr3)and ten columns (c1- c10). Conveyor belts are portrayed by grey rectangles with arrows on their ends and are identified by labels such as b-r1a-sh (below we elaborate further on the naming convention used). The arrows indicate their direction of movement. Columns c1 and c10 contain three shuttles each. In each of these columns one shuttle may be tilted on its long end facing the wall. This results in an open position to which adjacent lowered shuttles may be moved. A tilted shuttle may also move

to a new row position behind lowered shuttles (this implies that it is possible for two shuttles to be in the same row and column position provided that one is tilted and the other lowered). In Figure 1, black arrows indicate the directions in which shuttles can move. Similar to the lift, every shuttle also contains a conveyor belt that can move sideways.

The lift shaft is in row r1. Notice that it is not placed over a full position, but rather intersects two columns (c6 and c7). This artefact is due to the construction of the building in which the garage is to be installed (and hence beyond the control of the engineers who designed the garage). More importantly, this implies that it must be possible to move cars half-column distances in the first row. For this reason every column in row r1 is also divided into an a (left) and b (right) part as indicated by the dashed lines in figure 1. We use this same convention in the naming of the belts in the figure. Hence, b-r1a-sh refers to the conveyor belt of the shuttle on the left-hand side of row r1, and so forth.

It is possible to move any subset of conveyor belts and any subset of lowered shuttles. It is also possible to connect neighbouring conveyor belts to function as a single larger conveyor belt. For instance, conveyor belt b-r3a-sh can be connected to b r3. Furthermore, one shuttle in c1 and one shuttle in c10 can be tilted. A tilted shuttle can be moved independently from the lowered shuttles in that column.

The system hardware can determine whether any (half-)position is free or occupied. For any column in r1, it is possible to determine the status of its a and b part. Note that this implies that individual cars on r1 cannot be identified by hardware sensors. Since we only want to guarantee safe behaviour, this does not impact our specification. It is also possible to determine whether there is a lowered, a tilted or no shuttle at all in any row of c1 and c10. Furthermore, the current height of the lift can be determined and also whether it is free or occupied. This makes it possible to get a snapshot of the system at any point in time during operation.

Apart from not being involved in hardware design, it is also not our goal to be concerned with algorithm design. Instead, our goal is to provide specialists in algorithm design with an interface to an abstraction of the underlying hardware that guarantees the safe and correct operation thereof. This provides a clear separation of concerns. The algorithms need to ensure that cars are efficiently stowed away and retrieved. They must also ensure that the garage can be filled to its maximum capacity of 29 cars (this leaves one position free and allows for the garage to operate in

a fashion similar to a large sliding puzzle). Even if there are errors in such algorithms, the interface should not allow the parking garage or the cars in it to get damaged during their execution. It needs to specify the necessary checks and restrictions that guarantee the execution of only safe or legal moves. The safety interface must also be able to report on the success or failure of issued commands. We envision that properly designed algorithms will be able to respond to such feedback in an appropriate fashion.

3Conceptual system design

3.1Architecture

As already alluded to above, our aim is to specify a safety layer that sits between eventual placement and retrieval algorithms and the abstract hardware of the automated parking garage. This layer must allow only safe or legal instructions and report on their success or failure. We therefore introduce a three-layered architecture consisting of a logical layer (LL), a safety layer (SL) and a hardware abstraction layer (HAL) (see figure 2). With this conceptual division into layers, the safety layer ensures the safe operation of the system independently of the particular algorithms that are implemented and without being concerned with hardware implementation issues.

3.2Data

The following data are communicated between the layers:

?Event: this data type represents events that are outside the scope of our design, but that do have an impact on the system. We identify the following events:

–add car: a new car has entered the lift.

–remove car: a car has been removed from the lift.

Figure 2: Conceptually the system consists of three layers

?InstructionSet: this data type represents sets of instructions that are to be executed con- currently by the HAL. It consists of a number of elements of type Instruction.

?Instruction: this data type represents the single instructions that the hardware should execute. They should be implemented by the HAL (see section 5). There are 5 different instructions:

–move belts(bs: BeltSet, d: Direction, ms: MoveSize): this instruction specifies that the set of belts bs should be moved in direction d with a distance of size ms (half or full).

–move shuttles(shs: ShuttleSet, o: ShuttleOrientation, d: Direction): this instruction specifies that the set of shuttles shs in orientation o (lowered or tilted) should be moved in direction d with a distance of one row interval. The indication of orientation o is needed for disambiguation, since it is possible for both a lowered and tilted shuttle to be in the same position.

–tilt shuttle(p: ShuttlePosition, o: ShuttleOrientation): this instruction specifies that the shuttle in position p and orientation o should be lowered or tilted to the orientation that is the opposite of o.

–move lift(h: Height): this instruction specifies a new vertical position h to move the lift to.

–rotate lift: this instruction specifies that the lift should be rotated by 180 ?horizontally.

?Result: this data type indicates whether an instruction has been executed successfully (ok) or whether it has failed (fail).

?GlobalState: this data type reflects the current system state. That is, for every position whether it is free or occupied (FloorState), for every shuttle whether it is lowered or tilted (ShuttleState), and for the lift its current vertical position and whether it is free or

occupied (LiftState).

A precise specification of all data types can be found in appendix B.

3.3Actions

To facilitate communication between the different layers in our conceptual design, we introduce the following actions (also see figure 2):

?occur(e: Event): this action signifies the occurrence of an event e. When the HAL detects e, the SL is informed by the action occur(e). In turn, the SL informs the LL by issuing an identical

occur(e) action. Note that for the sake of modularity of the design,the LL is not directly informed by the HAL.

?req(is: InstructionSet): this action allows the LL to request the execution of a set of instructions is. This request is propagated to the HAL via the SL. The notion of a set of instructions allows for the execution of multiple instructions that apply to non-overlapping areas of the basement (for instance, it is possible with a single request to issue different instructions for moving conveyorbelts as long as the belts in question do not overlap).

?ack req(is: InstructionSet): when the LL requests the execution of a set of instructions is, and these are deemed safe by the SL, the SL issues an ack req(is) action.

?deny req(is: InstructionSet): in the case that the SL deems a request for a set of instructions is from the LL as unsafe it replies by issuing a deny req(is) action. When this happens, no further requests are made to the HAL by the SL.

?ack exec(is: InstructionSet, r: Result): upon completion of a set of instructions is with result r, the HAL issues an ack exec(is, r) action to the SL. In turn, the SL issues this action to the LL.

?req state: this action is used to request the current global state from the HAL via the SL.

?ack state(gs: GlobalState): this action is used to communicate the current global state from the HAL to higher layers. This is done in response to a req state action.

A precise description of the most relevant actions and their use can be found in appendix C.1. 4mCRL2

In followingsections we providemoredetails of the actual specification of the system in terms of the layered architecture introduced above. Before we proceed, we introduce the mCRL2 specification language and the accompanyingmCRL2 toolset.

The mCRL2 language is a successor to μCRL. The most important improvements on μCRL is that the language is compositional, that is large systems can be specified in terms of smaller components. It also has a more advanced data specification language which is higher-orderand provides concrete data types.

Below we only introduce the language features that are used for the specification of the safety layer. The data and process languages are treated separately. A rich text format is used as opposedtoplaintextin theappendices. To overcomethedifferencesbetweenthese formats, a

translation table is provided in appendix A. In the plain text format found in the appendices, the %-symbol indicates the beginning of a comment that extends to the end of the line.

4.1Data language

The mCRL2 data language is in a functional language based on higher-order abstract data types [7, 8]. Types, constructors, functions and their definitions can be declared. For instance,the following declares the type A with constructors c,d, functions f,g and the definitions of f,g: ……

中文译文：

规范,分析和验证的自动化车库

安德马蒂伊森,约翰内斯·普里托里厄斯

概要

在这份报告中,我们讨论了进程代数与数据 mCRL2 中的规范，分析和验证的自动化车库。我们认为停车场系统在概念上分为三层:逻辑层、安全层和硬件抽象层。这让我们对实现细节(硬件抽象层)和算法设计(逻辑层)进行抽象。相反，我们能够关注这两层之间只允许安全的系统行为的通信接口的规范。这个接口构成的安全层。对于安全层，我们识别和制定一些要求。这些都已经被验证和报告了。我们还讨论用一个简单的自定义可视化工具分析规范的安全层。这个工具被实现为一个插件 mCRL2 工具箱，能帮助我们获得重要的安全层的见解和分析。

1介绍

在过去的二十年里，过程代数已成为越来越受欢迎的用于描述复杂系统与环境交互的工具 [5]。这样的系统不同于经典的接收输入，输入的过程，生成输出，然后终止的批处理过程。相反，他们的行为不断受到他们所处环境的信息影响。一个自动停车场是这样一个系统典型的例子。在一天 24 小时，一周 7 天它被操作着：它不断待命，准备发现偷车贼和检索用户的汽车。此外，车库的状态随着的汽车被停放不断变化。在任何时间点上，该状态下的影响哪些操作是可能的，它们是如何执行的。

进程代数允许高级系统与环境交互的描述。系统被认为是一个数量的描述其行为互动过程。通过这种方式获得一个数学模型，可以来证明使用数学证明技术系统的各种属性。在这份报告中使用的进程代数 mCRL2[3]。它继承并延伸了μCRL(4、5)。

与μCRL大量实际系统进行了分析和验证。μCRL的一些成功案例已经被练了，包括未知死锁检测的最复杂的变体的滑动窗口协议[1,11]，分布式卡车[2]和提升系统中许多错误的识别和在 Java 分布式内存实现过程发现的两个错误[9]。从所有这些实验我们不幸的是不得不制定 100%规则:在 100%的情况下,系统会或多或少包含严重的错误,这不是很难检测到。

mCRL2 及其前任μCRL的一个重要特征是包含的数据。经验表明，在实际系统中数据是非常重要的[6]。除了执行的操作，通常情况下，数据的存储和沟通，对系统行为有重大影响。

在本报告的其余部分，我们讨论一个规范在 mCRL2 自动化的停车场。我们还讨论系统和方法的分析和验证。在第二节中，通过这个系统我们提供更多细节呈现的挑战。在第三节中，我们概述解决这些问题所采取的方法，然后解释在概念上如何将系统划分为三层。这使我们能够专注于一层，安全层，我们相信必要的验证系统是安全的。我们遵循这个 mCRL2 的讨论和在第四节 mCRL2 工具箱。在章节 5、6 和 7 我们指定硬件抽象层，分别为安全层和逻辑层。我们精练地探讨硬件抽象层和逻辑层，但透露出安全层的更多细节：我们提供了一个规范，制定一些安全要求并验证这些。8 节中我们将描述一个简单的可视化插件 mCRL2 工具箱以及我们从使用它获得的见解。最后，我们得出结论部分 9。

2问题描述

我们关心的停车场是由德国不莱梅港市的开发商在委托的，由荷兰公司设计得 CVSS 自动停车系统。这将实现城市现有的建筑地下。在街道上进入车库将会提供一个垂直电梯井道门口。使用设备时，用户将驾驶他们的车通过这门进电梯。用户走出他们的汽车和电梯后，他们的汽车会自

动降低一个中间水平，然后水平旋转了 180?，降低了地下室，折叠使用传送带和梭子。当

用户希望获取一辆车，这同一系统的传送带和梭子将用于把汽车从它将电梯送到街道上。因为汽车向前旋转，它将面临街的方向。用户走进汽车，开着车走出门口。

在存入和取出一辆车是该系统将提供一个安全和安全检查。这包括阅读应答器卡的车，在打开电梯门前检查注册用户的数据库。当汽车开进电梯，用户将会提供一些线索，确保汽车定位恰当。还会有一个检查确保手闸。之前降低汽车到地下室，电梯将扫描，以确保没有生物存在。当用户希望获取汽车将有必要的安全检查，防止盗窃。此外，会有交通信号灯在门口防止交通堵塞，装置将提供驱动电机、位置传感器、闭路电视摄像头、烟雾报警器和洒水装置。

在随后的描述中我们有意识地抽象细节，如驱动电机、位置传感器等等。我们也限制只有垂直起降和地下室停车场。我们不考虑调节交通电梯到位的机制外,正确定位汽车在电梯里，或提示进入和离开电梯。这样做是为了紧紧地吸引我们视野的范围，把重点放在我们认为是有利于系统的安全行为的基本要素。在这样做的时候，我们避免陷入困境的实现问题，硬件或物流。

图 1：地下室停车场的平面布置图，水平

从我们的角度来看的操作系统每次启动汽车定位在街道上适当的电梯或者当汽车收到的请求时。身体上我们认为系统是由一个电梯和一个停车场组成的。电梯可以在三种垂直位置：街面，旋转层或地下室。在旋转层，电梯可以水平旋转 180?。这是没有提供汽车定位的电梯井道(两侧)地下室。电梯的地板由传送带组成。当电梯在地下室时这种传送带可以横向移动(见下面的描述)。

系统的最复杂和最有趣的部分是在地下室停车场。汽车在地下的运动是由传送带和梭子带动的。这是地下室的平面图，如图 1 所示。

如图所示,车库分为三行(r1,r2 和 r3)和十列(c1-c10)。传送带通过灰色矩形箭描绘结束和识别等标签b-r1a-sh(下面我们进一步讨论使用的命名约定)。箭头指示运动方向。列c1 和 c10 包含三个梭子。在每一列一个梭子可能是倾斜的长墙面临的终点。这会导致在一个开放的位置相邻降低梭子可能会移动。倾斜的梭子也可以搬到一个新行背后的位置降低梭

子(这意味着有可能两个梭子是在相同的行和列的位置，一个是倾斜的，另一个降低)。在

图1 中，黑色箭头表示梭子可以移动的方向。类似于电梯，每一个梭子还包含一个传送带，可以横向移动。

电梯井行 r1。请注意，这不是放置在醒目位置，而是相交两列(c6、c7)。这种人工制品是由于建筑物的施工安装车库的(因此无法控制的工程师设计车库)。更重要的是，这意味着必须能够移动汽车半身柱到第一行距离。因此每一行 r1 也分为 a(左)和 b(右)部分由图 1 中的虚线表示。在图中我们使用相同的约定命名皮带。因此，b-r1a-sh 指的是传送带上的梭子左侧行 r1 等等。

任何子设备的传送带和子设备的降低梭子都是可以移动的。还可以连接相邻的传送带作为一个较大的传送带。例如，传送带 b-r3a-sh 可以连接到 br3。此外，一个航天飞机在 c1 和一个梭子在 c10 可以倾斜。倾斜的梭子可以独立于该列的降低梭子。

系统硬件可以确定其他(一半)位置是空的或有车。在 r1 任何列，可以确定其 a 和 b 部分的状态。注意，这意味着 r1 的个人汽车不能被硬件传感器识别。因为我们只是想保证安全的行为，但这并不影响我们的规范。还可以确定是否有降低，倾斜或根本没有梭子在 c1 和c10 的任何行。此外，当前电梯可以确定是否空的或有车。在操作期间的任何时候这可以得到系统的快照。

除了不参与硬件设计，关心算法设计也不是我们的目标。相反，我们的目标是为算法设计的专家提供一个接口的保证安全、正确的操作底层硬件抽象体。这提供了一个明确的分离关注点。算法需要确保汽车是有效地存放和检索。他们还必须确保车库可以填满 29 辆车的最大容量(这使得一个车库位置自由，允许在一个时尚类似大型滑动拼图)。即使在这种算法里有错误，界面不应该允许停车场或汽车损坏它们的执行。它需要指定必要的检查和限制来保证唯一安全和规定的执行动作。安全接口还必须能够成功或失败的报告发布命令。我们设想，设计算法能够以合适的方式应对这些反馈。

3概念系统设计

3.1体系结构

正如上面已经提到的，我们的目标是最终之间指定一个安全层，坐落位置和检索算法

和硬件抽象的自动化车库。这一层必须只允许安全或法律指令然后报告他们的成功或失败。

因此，我们引入一个逻辑层组成的三层体系结构(LL)，安全层(SL)和一个硬件抽象层(HAL)(参见图 2)。这个概念划分成层，安全层保证独立于实现特定的算法系统的安全运行

但是不关心硬件实现的问题。

3.2数据

以下是数据层之间的沟通:

?事件:这个数据类型表示的事件超出了我们的设计范围,但这有一个对系统的影响。我们确定以下事件:

——添加车:一辆新车已经进入电梯。

——移除汽车:汽车已从电梯被移除。

图 2:在概念上的系统由三层组成

?指令集:这个数据类型代表共同执行的来自硬件抽象层的指令。它包含许多元素类型的

指令。

?指令:这个数据类型代表单一指令的硬件执行。他们应该实现的硬件抽象层(见第五节), 有 5 个不同的产品说明:

——移动皮带(bs:带组,d:方向,ms:移动尺度):这个指令指定的皮带组bs 应该搬到方向d 的距离为移动尺度 ms(或全部)的一半。

——梭子移动(shs,梭子设置 o:梭子方向,d:方向):这个指令指定的梭子在取向 o(降低或倾斜)应该搬到 d 一行间隔距离的方向。取向 o 需要消歧的迹象,因为它可能跟降低和倾斜的梭子在相同的位置。

——梭子倾斜(p：梭子位置,o:梭子方向):这个指令指定梭子的位置应该降低 p 和取向o 或倾斜的方向是相反的。

——移动电梯(h:高度):这个指令指定电梯到垂直位置一个新的高度 h。

——旋转升降:这个指令指定电梯应该水平旋转 180?。

?结果:这个数据类型表示一条指令是否执行成功(好)或是否已经失败(失败)。

?目标规范:这个数据类型反映了当前的系统状态。也就是说,每一个位置是否免费或占领

(地面规范),对于每一个梭子是否降低或倾斜(梭子规范),电梯当前垂直位置和是否它是免费的占据(提升规范)。

准确规范的数据类型可以在附录 B 中找到。

3.3行动

为了方便不同层之间的通信在我们的概念设计,我们在内设置以下行动(也见图 2): ?请求(e:事件发生):这个动作代表一个事件的发生 e。硬件抽象层探测 SL e,告知发生(e) 的行动。反过来,SL 通知我发行一个相同的发生(e)行动。请注意,为了模块化的设计,我没有直接告硬件抽象层。

?要求(is:指令集):这个动作允许你请求一组的执行指令。这个请求是通过 SL 传播到硬件抽象层的概念的指令集允许多个指令的执行,适用于非地下室的重叠区域(例如,它可能是

一个单一的请求发出不同的指令移动传送带只要带不重叠的问题)。

?应答请求(is:指令集):当我请求一组指令的执行是,这些被认为是安全的 SL,SL 问题ack 请求()操作。

?否认请求(is:指令集):如果 SL 认为一组的请求规划设计不安全,回复发出否认请求操作。当这发生时,没有进一步的请求由 SL 硬件抽象层。

?ack exec(is:指令集，r:结果):在完成一组指令由于 r,哈尔问题 ack exec(r)SL 行动。反过来,SL 问题你的行动。

?申请状态:该操作用于请求从硬件抽象层通过当前全球状态 SL。

?ack 状态(gs GlobalState):该操作用于当前全球通信状态从硬件抽象层到更高的层次。这样做是为了应对申请状态的行动。

一个精确的描述最相关的行为和他们的使用可以在附录 C.1 找到。

智能停车场中英文对照外文翻译文献

智能停车场中英文对照外文翻译文献 (文档含英文原文和中文翻译) 智能停车场 最近几年来汽车的动态平衡与静态管理已成为许多专家学者重点研究的新课题。智能停车场系统为了保证车辆安全和交通方便，迫切需要采用自动化程度高、方便快捷的停车场自动管理系统，提高停车场管理水平。现阶段的目标就是要提供满足人们工作、生活、娱乐环境更科学、规范、有效快捷、安全、方便的智能停车场自动管理系统。停车场管理系统正在向大型化、复杂化、集成化和高科技化方向发展，智能停车场系统已经被纳入智能建筑的一个重要子系统，并且正与智能建筑的其它子系统进一步高度集成。 智能停车场管理系统采用先进技术和高度自动化的机电设备，将机械、电子计算机和自控设备以及智能IC卡技术有机地结合起来，通过电脑管理可实现车辆出入管理、自动存储数据等功能，实现脱机运行并提供—种高效管理服务的系统。 新型的智能停车场将生活理念和建筑艺术、信息技术、计算机电子技术等现代高科技完美结合，提供的是一种操作简单、使用方便、功能先进的人性化系统。它依靠高科技，以人为本，采用图形人机界面操作方式，提供一种更加安全、舒适、方便、快捷和开放的智能化、信息化生活空间，促进了人文环境的健康发展。 1 目前国内外停车场主要有以下几种类型 1．1 机械式停车场 机械式停车场是国内停车场主要的一种，机械式停车场是指停车场完全由机械停车设备

如曳引驱动机、导向轮、载车板、横移装置、控制柜、召唤操作盘、升降回转装置、搬运器等构成。分为升降横移类、垂直循环类、水平循环类、多层循环类、平面移动类、垂直升降类、简单升降类等类型。因其停车方式多样独特，具有很强的应用性。它的主要优点有占地面积小，选型多样、可具体结合场地特点设计，也可与其他方式相结合来实施，自动化程度高，操作使用方便，管理和维护也较为容易，具有定量存车的特点。 1．2 平面停车场系统 智能停车场系统平面停车场系统因其主要采取感应式IC卡读卡方式，所以也叫感应式停车场系统。目前我国的停车场仍是以平面停车场为主，一般建于建筑物的地下层，也有不少以公共区域如广场、道路边等作为停车场，其次就是酒店、企事业、工厂等单位自己规划设计的停车场。 1．3 智能立体停车库 智能立体停车库系统又叫垂直升降式停车系统或电梯式立体停车库系统。它是集设备、操作、安全、监控、维护、管理为一体的智能化系统，触摸屏式的人机界面，操作和使用也极为方便，具备智能化管理及收费系统。其高度的智能检测和完善的服务体系可实现零也障运行。它最大的特点就是独创的分时控制功能，实现分时段、分层停车控制，有效提高车位利用率。通过键盘密码和IC卡即可实现汽车存取、收费的过程，操作简单、存取方便；并且可以与城市停车收费系统连接，可实现全市停车收费一卡通，并可加装监视系统与小区联网。另一种模块化智能型立体车库也开始趋于成熟，不仅实现了全模块化设计，采用了智能控制技术，更是充分利用了太阳能技术、能量蓄积(节能)技术。模块化智能型立体车库不再是一个整体建筑，它由独立的模块组合而成，如停车位、升降装置、智能载车器等分散的零部件，修建时只要像搭积木一样把各个零部件组装起来，就成了一个标准的立体车库，具有节省时间、成本低等优点。 1．4 遥控停车场管理系统 智能停车场系统遥控停车场管理系统的特点是不受停车位置及方向限制，只要在遥控距离内即可控制开门及抬杆。遥控器携带方便、价格便宜，安装简单。其主要原理是在栏杆机控制箱及电动门控制器安装遥控接收卡及存储器卡，在使用时，只要遥控器的密码正确即可对系统进行控制。其产品经历了由拨码式到脉冲式再到循环式的发展过程，目前已日趋成熟。遥控停车场管理系统被广泛用于欧洲许多停车场及私人住宅。 2 智能停车场收费系统的特点 2．1 严格的收费管理系统 对于目前的人工现金收费方式，不仅劳动强度大、效率低，而且很容易在财务上造成很大的漏洞和现金流失。采用IC卡收费管理系统，因收费都经电脑确认、统计与记录，避免了失误和作弊等现象，能有效地保障车场投资者的利益。 2．2 防伪性能高 因为IC卡保密性极高，它的加密功能一般电脑花上十年的时间也解不了，也无法进行仿造，从根本上保证了系统的可信度与可行性。 2．3 高度安全稳健的管理 在采取人工发卡、收卡的地方因疏漏而又没有随时记录可查，丢车或谎报丢车现象时有发生，给停车场管理带来许多不便，也给停车场带来了经济损失。而采用电脑收费管理系统

立体车库PLC控制系统

河南科技学院新科学院2015届本科毕业论文（设计） 立体车库PLC控制系统 学生姓名：&&& 所在院系：电气工程 所学专业：电气工程及其自动化 导师姓名： &&& 完成时间：2015年4月19日

立体车库PLC控制系统 摘要 目前，中国城市的机动车保有量的迅速增长与城市停车场建设滞后的矛盾十分突出，“停车难”的问题将越演越烈，为满足广大车主的停车需求，立体车库应运而生。全自动立体车库作为智能建筑的一部分以其高效、快速、安全等特点成为解决都市停车难问题最有效的途径，立体车库控制系统是实现车库安全、高效率运行的关键。本文将PLC 控制技术应用于升降横移式立体车库，设计了升降横移式立体车库自动存取车系统，并就其机械结构、工作原理、硬件结构做了研究。本文对升降横移式立体车库的机械机构及其控制策略进行了分析和研究。阐述了升降横移式立体车库自动存取车系统的工作原理控制功能，设计了升降横移式立体车库的自动控制系统，给出了升降横移式立体车库的硬件接线图，并对一些开关元件进行了介绍与选择。介绍了升降横移式立体车库的软件设计思想，并给出了PLC 的硬件配置图、程序流程图和程序。 关键词：立体车库，PLC，控制系统

Stereo garage PLC control system Abstract At present, the rapid growth of urban parking contradictory city in China lags behind the vehicle population is very prominent, "parking difficult" issue will be intensified, in order to meet the parking needs of the majority of owners, parking emerged. Automatic parking system as part of its intelligent building efficient, fast, and security features to solve urban parking problem has become the most effective way, parking garage control system is to achieve safe, efficient operation of the key. This article PLC control technology for lifting and transferring parking garage, designed lifting and transferring parking automatic vehicle access system, and its mechanical structure, working principle, hardware structure to do the research. In this paper, lifting and transferring parking mechanical mechanism and control strategy analysis and research. Describes the automatic lifting and transferring parking access works vehicle system and its PC functionality, design the lifting and transferring parking automatic control system, given the lifting and transferring parking hardware wiring diagram, and a number of switching elements are introduced and choice. It describes the lifting and transferring parking software design, and gives PLC hardware configuration diagram, program flow and procedures. Keywords: three-dimensional garage；PLC；Control system

基于某PLC的立体车库控制系统设计

PLC实训设计任务书 一.实训的主要容 根据实际要求，以S7-200型PLC为核心，设计立体车库控制系统。设计控制系统硬件电路，编写软件控制系统程序，目的是掌握PLC控制的基本原理、直流电机、传感器等器件的原理及使用。 二.实训报告任务 车库模型以205实验室的立体车库模型为准 立体停车库实物教学实验装置的主要结构分为控制柜和停车库模型两部分。 控制柜部分由按键显示板、信号接口板电气 控制板几部分组成停车库模型部分由停车层模型和停车盘模型组成。 停车层分为上中下三层上层有四个车位共有四个车盘可停放四辆汽车 模型从左到右分别是1号位2号位3号位4号位简记符为3-1、3-2、 3-3、3-4中层有四个车位共有三个车盘可停放三辆汽车模型从左到右 分别是2-1车盘2-2车盘2-3车盘下层有四个车位共有三个车盘可停 放三辆汽车模型从左到右分别是1-1车盘1-2车盘1-3车盘。 对立体车库的控制可以有两种方法 第一种是由现场操作人员通过相应的按钮控制立体车库设备的动作 第二种是根据实际的生产工艺要求编制出控制程序按照现场要求来控制 立体车库设备的动作。 按下存车按钮选择存车位置。如果选择的车位上已有车停放将发出警示信 息。该警示信息可以通过控制系统点亮警示灯或发出警示声来实现。如果选择的 车位上无车系统将做如下动作 如果选择存放1-1号车位汽车进入车库。当检测到光电开关的信号后表 明车辆己经进库。如果选择存放1-2号车位载车盘1-1右移载车盘1-2下移 到第一层汽车进入车库。1-2号车位上移到第二层原位停止。 按下取车按钮选择取车位置。如果选择的车位上没有车停放将发出警示信 息。如果选择的车位上有车系统将做如下动作 如果选择取1-1号车位的车此时车辆可以离开车库。当检测到限位开关的 信号后表明车辆已经出库车位1-1车辆出库过程完成。如果选择取1-2号车 位的车载车盘1-1右移载车盘1-2下移到第一层汽车出库。车位1-2车辆 出库过程完成上移回原位车位1-2车辆出库过程完成。

立体车库文献综述

文献综述 前言 本人毕业设计的论题为《基于PLC的垂直循环式立体车库控制系统的设计》，无处停放车辆的问题是城市的交通，经济以及社会发展到了一定的程度产生的结果，然而就像在现代化的大城市里，立体式的交通和立体式的建筑都有了非常明显的发展，因此，为了能够尽量减少土地的使用面积，并且能够最大限度的压缩停车设施的面积，也为了将来交通不再拥堵，人们的进出也更加的方便，办事的效率能够得到有效的提高，上班和下班之后心爱的车有个停放之处，并且生活品质也能得到很大的改善，还可以促进汽车产业的迅速发展的同时。因此，立体式停车库也将是未来发展的方向。 本文章是依据目前国内外的学者对可编程控制器和立体式机械车库的研究成果，并且借鉴他们的理论和原理，将它们运用在plc立体式机械车库的设计中。查阅的文献给了本文非常大的参考价值，而且本文还主要查阅了近几年中外有关于可编程控制器和立体式机械车库的书籍、论文以及文献期刊等等。 正文 1、课题的研究背景及意义 伴随着机动车数量的不断提升，因此，停车难、停车乱的问题愈演愈烈，这也成为城市管理的一大难题，再加上当前中心商业区建设的大力推进，越来越多的资源也将靠拢和集聚，停车困难的问题会愈加明显。 停车困难日益突出： 目前，机动车的停放，通常来说有小区停放、商场和超市停车场、路边车位等几种停放方式。近几年来，各省通过新规划停车位、加强停车场的管理等一些途径，在一定程度上暂时缓解了停车难问题，但是其力度和速度远远没有解决众多机动车的停放需求。 形成这种情况的原因，主要有两方面的原因，一是历史原因，如老旧小区建设时缺乏合理的规划，因此也导致了小区停车矛盾日益突出；二是土地资源的稀缺，为设置车位带来了不便。因此，立体停车库的发展，将会能够很有效的解决停车难，停车乱的问题。

(完整版)基于PLC的立体车库控制系统开题报告

毕业设计开题报告 课题题目基于PLC的立体车库控制系统设计 课题来源生产实践是否实做□ 成果形式毕业设计■ 毕业论文□ 开题报告内容（可另附页） 见附页 指导教师意见（课题难度是否适中、工作量是否饱满、进度安排是否合理、工作条件是否具备等） 课题难度适中，工作量饱满，进度安排合理，具备毕业设计工作条件。 指导教师签名： 年月日 专家组及学院意见（选题是否适宜、各项内容是否达到毕业设计（论文）大纲要求、整改意见等） 专家组成员签字：教学院长（签章）： 年月日

附页 附页 一．课题研究的目的及意义 随着社会的发展，城市人口日益增多，楼房和车辆也越来越多，特别是随着改 革开放以来，国民经济的高速发展为汽车工业的振兴注入了强劲的动力。目前 中国家用轿车的保有量为489 万辆到2010年将增加达到1466万辆2倍，到2020年这一数字再增加4倍，达到7200万辆。届时我国大城市的车辆越来越多，而除了新建的高档住宅小区外，大多数普通住宅小区的车库严重配套不足，以至于小区内小轿车到处乱停乱放，马路边、人行道、甚至草坪上都停车。“十五”期间，国家鼓励轿车进入家庭，随着城市居民汽车普及率的大幅提高，在中 国城市土地资源越来越紧缺的情况下，城市住宅小区的停车难问题已经日益突出，许多大城市为了解决这个问题，都提出了住宅小区停车位的供应以配建为主，并都制定了新的建筑物配建停车设施标准，如合肥市住宅区配建停车位标 准提高到0.5-1.6个不等。 但我国大城市普通住宅区以及老城区以前建立的住宅区大部分都没有建停车场(库)，也不会有太大的地方和空间来建大型停车场，也就无法满足住宅小区内广大居民的停车需求。为此停车问题也就逐渐成为大城市一个大难题。城市中有 限的地面面积已经无法提供足够的停车车位，于是向空间发展成为解决当前问 题的一条重要途径。立体停车库就是在这种背景下发展起来的。研究立体停车 库网络智能管理系统不仅能够降低成本，带来经济效益，更能提高效率，方便 人们的日常生活。最后，通过毕业设计，在综合利用以前所学知识同时，进一 步的学习了专业知识，为参加工作和进一步的深造做准备。 二．本课题国内外研究现状 早在50多年前，立体停车就在国外有所发展，先后出现了针对家庭使用的双层停车设备，利用住宅空地建起2-4层升降横移停车设备，适合城市中心商住区 使用的停车楼和停车塔；利用广场、建筑物下面的空间建设地下车库。自70年代末起，世界经济高速发展，汽车逐渐普及，保有量不断增加，迫使地少人多、车多的国家、地区和一些发达国家积极开展了机械式停车技术的研究开发和制 造应用。以日本、美国、德国等为代表的发达国家在停车技术领域的研究处于

基于PLC的立体车库控制系统设计

PLC实训设计任务书 一.实训的主要内容 根据实际要求，以S7-200型PLC为核心，设计立体车库控制系统。设计控制系统硬件电路，编写软件控制系统程序，目的是掌握PLC控制的基本原理、直流电机、传感器等器件的原理及使用。 二.实训报告任务 车库模型以205实验室的立体车库模型为准 立体停车库实物教学实验装置的主要结构分为控制柜和停车库模型两部分。 控制柜部分由按键显示板、信号接口板电气 控制板几部分组成停车库模型部分由停车层模型和停车盘模型组成。 停车层分为上中下三层上层有四个车位共有四个车盘可停放四辆汽车 模型从左到右分别是1号位2号位3号位4号位简记符为3-1、3-2、 3-3、3-4中层有四个车位共有三个车盘可停放三辆汽车模型从左到右 分别是2-1车盘2-2车盘2-3车盘下层有四个车位共有三个车盘可停 放三辆汽车模型从左到右分别是1-1车盘1-2车盘1-3车盘。 对立体车库的控制可以有两种方法 第一种是由现场操作人员通过相应的按钮控制立体车库设备的动作 第二种是根据实际的生产工艺要求编制出控制程序按照现场要求来控制 立体车库设备的动作。 按下存车按钮选择存车位置。如果选择的车位上已有车停放将发出警示信 息。该警示信息可以通过控制系统点亮警示灯或发出警示声来实现。如果选择的 车位上无车系统将做如下动作 如果选择存放1-1号车位汽车进入车库。当检测到光电开关的信号后表 明车辆己经进库。如果选择存放1-2号车位载车盘1-1右移载车盘1-2下移 到第一层汽车进入车库。1-2号车位上移到第二层原位停止。 按下取车按钮选择取车位置。如果选择的车位上没有车停放将发出警示信 息。如果选择的车位上有车系统将做如下动作 如果选择取1-1号车位的车此时车辆可以离开车库。当检测到限位开关的 信号后表明车辆已经出库车位1-1车辆出库过程完成。如果选择取1-2号车 位的车载车盘1-1右移载车盘1-2下移到第一层汽车出库。车位1-2车辆 出库过程完成上移回原位车位1-2车辆出库过程完成。

三菱PLC立体车库毕业设计-本科毕业设计外文翻译

毕业设计外文文献翻译 毕业设计题目多车位轿车立体停车库PLC控制系统设计翻译题目可编程逻辑控制器 专业机械设计制造及其自动化 姓名XXX 班级A0916 学号XX 指导教师XXX 机械与材料工程学院 二O一四年四月

可编程逻辑控制器 1 PLC介绍 PLCS（可编程逻辑控制器）是用于各种自动控制系统和过程的可控网络集线器。他们包含多个输入输出，输入输出是用晶体管和其它电路，模拟开关和继 电器来控制设备的。PLCS用软件接口，标准计算器接口，专门的语言和网络设备编程。 可编程逻辑控制器I/O通道规则包括所有的输入触点和输出触点，扩展能力和最大数量的通道。触点数量是输入点和输出点的总和。PLCS可以指定这些值的任何可能的组合。扩展单元可以被堆栈或互相连接来增加总的控制能力。最大数量的通道是在一个扩展系统中输入和输出通道的最大总数量。PLC系统规则包括扫描时间，指令数量，数据存储和程序存储。扫描时间是PLC需要的用来检测输入输出模块的时间。指令是用于PLC软件（例如数学运算）的标准操作。数据存储是存储数据的能力。程序存储是控制软件的能力。 用于可编程逻辑控制器的输入设备包括DC，AC，中间继电器，热电偶，RTD，频率或脉冲，晶体管和中断信号输入；输出设备包括DC，AC，继电器，中间继电器，频率或脉冲，晶体管，三端双向可控硅开关元件；PLC的编程设备包括控制面板，手柄和计算机。 可编程逻辑控制器用各种软件编程语言来控制。这些语言包括IEC61131-3，顺序执行表（SFC），动作方块图（FBD），梯形图（LD），结构文本（ST），指令序列（IL），继电器梯形图（RIL），流程图，C语言和Basic语言。IEC61131-3编程环境能支持五种语言，用国际标准加以规范，分别为SFC，FBD，LD，ST 和IL。这便允许了多卖主兼容性和多种语言编程。SFC是一种图表语言，它提供了编程顺序的配合，就能支持顺序选择和并列选择，二者择其一即可。FBD 用一种大的运行库，以图表形式建立了一些复杂的过程。标准数学和逻辑运行可 以与用户交流和接口运行相结合。LD是适用于离散控制和互锁逻辑的图表语言。 1 它在离散控制上与FBD是完全兼容的。ST是一种文本语言，用于复杂的数学过程和计算，不太适用于图表语言。 摘自：科学与工程期刊作者：Laurence Bodelot

基于PLC立体车库控制系统的设计..

泰山学院 本科毕业论文 基于PLC立体车库控制系统的设计 所在学院机械与工程学院 专业名称机械设计制造及其自动化申请学士学位所属学科工学 年级 2011级（3+2） 学生姓名、学号王永平 2011170231 指导教师姓名、职称陈宏圣副教授完成日期 2013年 5月 30日

摘要 立体停车库生产在中国是个新兴行业，立体停车库可缓解城市动、静态交通问题，改善居住环境，有效利用土地价值。本系统采用PLC、计算机结合组态画面监控，按动按钮或控制组态画面即可完成汽车存取过程，操作简单，存取方便。控制电路部分采用交流接触器传统方式，使运行安全可靠。设计采用可分组合，模块式安装，方便灵活，具备维护使用方便，造价低等特点。 关键词：自动控制，立体停车场，垂直循环式，PLC

Abstract Parking equipment production in China is an emerging industry, parking can relieve urban dynamic and static traffic problems and improve the living environment and efficient use of land value. The system uses PLC, combining computer configuration screen monitoring, press the button or control the configuration screen to complete the process of car access, simple operation, easy access. Control circuit AC contactor traditional way to make safe and reliable operation. Design uses a combination separable, modular installation, convenient and flexible, with easy maintenance and use, and low cost. Keywords: automatic control, three-dimensional parking, vertical circulation, PLC

立体车库PLC控制毕业设计--PLC在简易立体车库的应用

大专毕业论文（设计）论文题目：PLC在简易立体车库的应用 系部：机电工程系 专业：机电一体化 姓名： 班级： 学号：

摘要 立体车库是专门实现各种车辆的自动停放及科学寄存的仓储设施。随着城市汽车保有量的不断增加，停车难问题己经成为大中型城市的一个普遍现象。机械式立体车库可充分利用上地资源，发挥空间优势，最大限度地停放车辆，成为解决城市静态交通问题的重要途径。本课题以较为典型的升降横移式立体车库为研究对象，综合考虑立体车库制造成本和运行效率的双重因素。 本文在对国内外车库现状及发展趋势做了充分调研的基础上，选择三层三列式车库结构为研究模型。升降横移式立体车库就其组成部分而言，可分为三大部分：车库结构部分、传动机构部分和控制系统部分。本文简单介绍了车库的主体结构和特点，对车库的控制系统也作了简单的说明，依据升降横移式立体车库的运行原理，运用力学理论对升降横移式立体车库的结构进行了全面的力学分析，包括升降横移式立体车库的框架结构的强度、横移传动系统中轴的强度和升降传动系统中轴的强度等。在对升降横移式立体车库控制系统的设计中，采用了先进的PLC控制，运用欧姆龙公司的编程软件编制了升降横移式立体车库控制系统的程序，并经调试、运行，证明采用可编程序控制器(PLC)作为控制系统简单易行。其稳定、可靠、快速、性价比高的特点使得控制系统非常完美。为了使停车设备满足使用要求，根据国家关于机械式停车设备通用安全要求的标准、升降横移式立体车库的实际，在升降横移式立体车库中使用了一些必要的安全技术，这样保证了车辆的绝对安全，使得整个车库可以安全平稳的运行。 关键词：立体车库，控制系统，可编程序控

自动立体车库PLC控制系统设计论文

摘要 立体车库是专门实现各种车辆的自动停放及科学寄存的仓储设施。随着城市里面汽车数量的不断增加，停车困难的问题己经成为大中型城市的普遍现象。自动立体化立体车库可充分利用上地资源，发挥空间优势，最大限度地停放车辆，成为解决城市停车困难问题的重要途径。本课题以最为典型的升降横移式立体车库为研究对象，综合考虑立体车库制造成本和运行效率等因素进行设计。 本文在对国内外车库现状及发展趋势做了充分调研的基础上，选择三层十车位式自动立体车库结构为研究模型。升降横移式立体车库就其组成部分而言，可分为三大部分：车库结构部分、传动机构部分和控制系统部分。本文简单介绍了车库的主体结构特点和传动机构部分。在对升降横移式立体车库控制系统的设计中，采用了先进的PLC控制，运用西门子公司的编程软件编制了升降横移式立体车库控制系统的程序，并经调试、运行，证明采用可编程序控制器(PLC)作为控制系统简单易行。其稳定、可靠、快速、性价比高的特点使得控制系统非常完美。为了使停车设备满足使用要求，根据国家关于机械式停车设备通用安全要求的标准、升降横移式立体车库的实际，在升降横移式立体车库中使用了一些必要的安全技术，这样保证了车辆的绝对安全，使得整个车库可以安全平稳的运行。 关键词：自动立体车库；控制系统；可编程序控制器。

Abstract Stereo garage is specifically implement check of vehicles automatic parking and scientific storage facilities. With the increasing of urban car ownership, parking problem has become a common phenomenon of large and medium-sized cities. Mechanical stereo garage can make full use of land resources, give full play to the advantage of the play maximum parking vehicles becoming the important way to slow the problem of urban static traffic. This topic was typical to lift move transversely type parking equipment as the research object, considering the three-dimensional garage dual factors of manufacturing cost and operation efficiency. In the garage at home and abroad present situation and the development trend on the basis of investigation and choose three layers of ten parking type automatic stereoscopic garage structure as the research model. Lifting and moving type stereo garage in terms of their component parts, can be divided into three parts: the garage structural parts, transmission parts and control system. This article simply introduces the main structural characteristics and transmission mechanism parts of the garage. In three-dimensional garage for lifting and moving the design of control system, adopt advanced PLC control, using Siemens programming software of the control system of three-dimensional garage for lifting and moving type, and the debugging and running, prove that using programmable controller (PLC) as control system is simple. Its stable, reliable, rapid, cost-effective features makes the control system very perfect. In order to make the parking equipment meets the requirement, according to the state of mechanical parking equipment general safety standards, lift the lateral movement type parking equipment and actual using some necessary safety technology in the lift move transversely, so that ensures the complete safety of the vehicle, make the whole garage can be safe and smooth operation. Keywords：automatic stereoscopic garage；control system；PLC.

立体车库外文翻译与原文

附件2：外文文献译文与原文 专业班级：电气124 姓名：陈威驰学号：50 基于密码的旋转多层停车场系统 作者：Nayab Suhail Hamirani, Imdad Ali Ismaili, Asad Ali Shaikh, Faheem Ahmed, Azhar Ali Shah 摘要：在人口稠密地区和较大的城市，由于交通拥挤，停车成为了一个大问题。使用旋转立体停车系统能够有效地减轻这个问题。使用停车系统能够在更少的空间获得更安全的停车场。为了降低成本并获得更小的空间和最佳的性能，我们使用ATMEL单片机作为主处理器，同时借助LCD和电机分别用于显示和旋转楼层。密码锁定系统用来区分用户并检测停车场还剩下多少自由空间。随着市场的全球化，汽车的数量也上升到了无法控制的局面。设计这个系统模型的初衷就是为了解决这个问题，同时本项目中嵌入密码锁定系统也可以提高车辆停车的安全性。 关键词:基于密码的安全性；单片机；直流齿轮电机；普通IC；快速PCB 1．引言 本项目的目的是设计一种自动多层停车场系统，帮助普通民众将车停放在更小更安全的地方。由于现代人口密集，以前的一些停车位被用作一些基础设施的建设，在大企业和公寓需要一个可以避免空间浪费的创新设计。但是，这类项目的开发一直有个问题，虽然这些停车场是多层的，可是并不安全。因此为了能够使用密码锁设备我们使用了微控制器，同时我们还使用了旋转楼层以保证最佳的设计。本项目基于圆形建筑而不是正方形或长方形的建筑物，之所以这么选择是因为通过使用圆形建筑形状我们可以停放更多的车辆，但是使用其他形状的建筑物像正方形和矩形就很难这么做[1]。在提案中，我们需要的器件包括两个电机，不同的操作开关，一个振荡器，一个按钮和液晶显示屏[6]。 2．项目研究现状 在信息时代，我们可以看到人口已经增长到了一个不可控制的程度。为了弥补这个问题我们设计了很多的大型项目。但是很多项目都不安全，从人类的利益和缓解停车危机的角度出发我们设计了多层旋转停车场，这个设计可以有效的处理安全问题。目前的立体停车系统都是线性机制的，而我们发现最能替代缓解用户和节省空间的是旋转立体停车系统。这个项目的另一个与众不同的特性是我们嵌入了密码锁定系统，每个用户都有自己独特的密码可以增加安全性，万一用户忘记了密码，我们还做了一些访问技术可以解决这个问题。 3．基本思路 我们在项目里放一个液晶用了显示各种信息。一个LCD屏幕放在大门口，当车辆到达

智能立体车库系统

智能立体车库系统 智能立体车库系统包括管理系统和内部控制系统。 一．管理系统包括刷卡系统、车牌识别系统、声光引导系统、计费系统、信息数据管理系统。 1.刷卡系统。 刷卡系统是智能立体车库实现无人化的基础，也是车辆信息计算的重要组成部分。 智能立体车库实行一车一卡制度，磁卡与车牌绑定。存车时刷卡，车牌识别系统会对车辆牌照进行识别，识别无误后系统进行存车的一系列控制，存车时刷卡也是预防驾驶员没有及时下车被系统带入车库的手段。如果识别不符，拒绝存车。取车时刷卡，系统把对应的车辆调出。这样可以有效杜绝一卡存多车取车时的混乱。 磁卡为预存费卡，设最低预存费额，余额不足需充值。可分为金卡（免费）、VIP（折扣）、普通（按时收费）、临时等档次。 临时卡是为临时没有注册的用户设立的（收手续费），临时用户存车时需要按取卡按钮，由工作人员手动键盘输入车辆信息进行储存。 持卡人磁卡丢失，由工作人员根据持卡人提供的信息将车辆调出。 2.车牌识别系统 车牌信息是存取车辆特别是取车时的重要的标志性信息，在车辆存入过程中，车牌信息、磁卡信息全部由系统存入数据库。在内

部控制过程中，不管内部怎么位置调配，最终取车时都是按车牌数据为依据。 3.声光引导系统 声光引导系统可以有效的提示驾驶人员，以使车辆停止在安全合适的位置。 4.计费系统 由系统根据存车到取车之间的时间进行实时计算，费用在磁卡中扣除。 5.信息数据管理系统 信息数据管理系统是很庞大的系统，是智能车库的管理中枢，磁卡信息、车牌信息、指挥信息、费用信息、车位信息、车位调度、车位变换、故障信息等都由信息数据管理系统集中运算并进行相关信息的收发。系统建立有数据库，所有信息及数据都保存在数据库中。 系统凭密码登录，分高（总经理）、中（经理）、低（职员）三等级登录模式。每个等级分配不同的操作权限。高等级可以修改中等级和低等级登录密码，中等级可以修改低等级登录密码。 二．内部控制系统是智能立体车库的执行控制系统，包括信息采集部分和运动控制部分。 1.信息采集部分 信息采集部分包括车位空余检测、车位车辆的到位检测、挪车器车辆到位检测、挪车器到位检测。所有检测结果实时上传信息数

立体车库控制系统设计

电信学院毕业设计任务书 题目立体车库智能系统设计 学生姓名刘凤飞班级学号 题目类型工程设计指导教师王迎系主任 一、毕业设计的技术背景和设计依据： 现代化城市发展中，如何合理、有效地解决停车难，是困扰城市发展的一大难题。目前，机械式立体智能停车库是一种多层的空间立体停车库，是解决大都市停车难问题的有效方法之一。机械式立体停车库的类型很多，根据原理与结构的不问可分为升降横移式、垂直循环式、垂直升降式、平面移动式、巷道堆垛式、水平循环式等多种类型。其中，升降横移式立体停车库占地面积小，规模可以根据场地和需求灵活改变。本设计以３层１０车位升降横移式立体停车库为研究对象，利用PLC来实现其控制系统。 二、毕业设计的任务 1、熟悉题目要求，查阅相关科技文献 2、方案设计（方案论证与确定、技术经济分析等内容） 3、硬件设计（必要的理论分析、设备及元器件的选型等） 4、软件设计（程序流程图以及相应的程序代码） 5、撰写设计说明书 6、绘制图纸 7、外文科技资料翻译 三、毕业设计的主要内容、功能及技术指标 1、毕业设计的主要内容 （1）课题研究的意义及目的，国内外研究现状； （2）控制系统组成； （3）控制系统主要功能； （4）系统总体方案设计； （5）控制程序设计。 2、设计实现的主要功能 （1）利用可编程序控制器(PLC)对立体车库进行逻辑控制，实现升降横移式立体停车库的控制系统。 （2）升降横移式立体停车库为3层，每个车位单独配有载车板。中间层和地面层每层都有一个空位，顶层没有窄位。上层车位如果要到地面层，需要将下层的载车板 移开，使得上层车位的下方腾出空位，然后进行升降。 （3）安全防护措施是立体车库的安全保障，一般设有紧急停止开关、超限装置、车长检测、阻车装置、防坠装置、警示装置等。 四、毕业设计提交的成果 1、设计说明书（不少于80页，约3万字左右） （1）摘要（中英文），目录 （2）概述 （3）系统总体方案的优选与设计

立体车库的外文翻译

立体车库 一、立体车库概述 车辆无处停放的问题是城市的社会、经济、交通发展到一定程度产生的结果，立体停车设备的发展在国外，尤其在日本已有近30~40年的历史，无论在技术上还是在经验上均已获得了成功。我国也于90年代初开始研究开发机械立体停车设备，距今已有十年的历程。由于很多新建小区内住户与车位的配比为1:1，为了解决停车位占地面积与住户商用面积的矛盾，立体机械停车设备以其平均单车占地面积小的独特特性，已被广大用户接受。 机械车库与传统的自然地下车库相比，在许多方面都显示出优越性。首先，机械车库具有突出的节地优势。以往的地下车库由于要留出足够的行车通道，平均一辆车就要占据40平方米的面积，而如果采用双层机械车库，可使地面的使用率提高80％—90％，如果采用地上多层（21层）立体式车库的话，50平方米的土地面积上便可存放40辆车，这可以大大地节省有限的土地资源，并节省土建开发成本。 机械车库与地下车库相比可更加有效地保证人身和车辆的安全，人在车库内或车不停准位置，由电子控制的整个设备便不会运转。应该说，机械车库从管理上可以做到彻底的人车分流。 在地下车库中采用机械存车，还可以免除采暖通风设施，因此，运行中的耗电量比工人管理的地下车库低得多。机械车库一般不做成套系统，而是以单台集装而成。这样可以充分发挥其用地少、可化整为零的优势，在住宅区的每个组团中或每栋楼下都可以随机设立机械停车楼。这对眼下车库短缺的小区解决停车难的问题提供了方便条件。 目前，立体车库主要有以下几种形式：升降横移式、巷道堆垛式、垂直提升式、垂直循环式、箱型水平循环式、圆形水平循环式。 (一）升降横移式 升降横移式立体车库采用模块化设计，每单元可设计成两层、三层、四层、五层、半地下等多种形式，车位数从几个到上百个。此立体车库适用于地面及地下停车场，配置灵活，造价较低。 1. 产品特点： 1) 节省占地，配置灵活，建设周期短。 2) 价格低，消防、外装修、土建地基等投资少。 3) 可采用自动控制，构造简单，安全可靠。 4) 存取车迅速，等候时间短。

立体车库控制系统

立体车库控制系统

————————————————————————————————作者: ————————————————————————————————日期： ?

大连民族学院机电工程学院 课程设计报告 题目：基于plc的立体车库控制系统设计 专业：机械设计制造及其自动化 学号：2014022４18 学生姓名: 齐冬宇 指导教师：孙禹辉 设计完成日期：201７年12月10日

目录 １引言............................................................ - 5 - 1．1立体车库的研究背景...................... 错误!未定义书签。 1.2立体车库发展状况......................... 错误!未定义书签。 2多层立体车库组成及功能?错误!未定义书签。 ２.1停车库模型.............................. 错误!未定义书签。 ２.２升降横移式立体车库的特点?错误!未定义书签。 2.３升降横移式立体车库的工作原理............ 错误!未定义书签。 8 - 3立体车库电气控制系统设计?- 3.1 ｐlｃ控制系统设计....................... 错误!未定义书签。 3.2 plc控制系统程序设计?错误!未定义书签。 3．3 Ｓ７-3０0PLＣ的特点.................... 错误!未定义书签。 ３．4车位检测部分?错误!未定义书签。 4结束语?错误!未定义书签。 5参考文献 ......................................... 错误!未定义书签。 ６附录............................................. 错误!未定义书签。 立体车库主电路图 ............................ 错误!未定义书签。 I/O分配地址表:?错误!未定义书签。

基于PLC的立体车库控制系统开题报告

毕业设计开题报告

附页 附页 一．课题研究的目的及意义 随着社会的发展，城市人口日益增多，楼房和车辆也越来越多，特别是随着改 革开放以来，国民经济的高速发展为汽车工业的振兴注入了强劲的动力。目前 中国家用轿车的保有量为489 万辆到2010年将增加达到1466万辆2倍，到2020年这一数字再增加4倍，达到7200万辆。届时我国大城市的车辆越来越多，而除了新建的高档住宅小区外，大多数普通住宅小区的车库严重配套不足，以至于小区内小轿车到处乱停乱放，马路边、人行道、甚至草坪上都停车。“十五”期间，国家鼓励轿车进入家庭，随着城市居民汽车普及率的大幅提高，在中 国城市土地资源越来越紧缺的情况下，城市住宅小区的停车难问题已经日益突出，许多大城市为了解决这个问题，都提出了住宅小区停车位的供应以配建为主，并都制定了新的建筑物配建停车设施标准，如合肥市住宅区配建停车位标 准提高到0.5-1.6个不等。 但我国大城市普通住宅区以及老城区以前建立的住宅区大部分都没有建停车场(库)，也不会有太大的地方和空间来建大型停车场，也就无法满足住宅小区内广大居民的停车需求。为此停车问题也就逐渐成为大城市一个大难题。城市中有 限的地面面积已经无法提供足够的停车车位，于是向空间发展成为解决当前问 题的一条重要途径。立体停车库就是在这种背景下发展起来的。研究立体停车 库网络智能管理系统不仅能够降低成本，带来经济效益，更能提高效率，方便 人们的日常生活。最后，通过毕业设计，在综合利用以前所学知识同时，进一 步的学习了专业知识，为参加工作和进一步的深造做准备。 二．本课题国内外研究现状 早在50多年前，立体停车就在国外有所发展，先后出现了针对家庭使用的双层停车设备，利用住宅空地建起2-4层升降横移停车设备，适合城市中心商住区 使用的停车楼和停车塔；利用广场、建筑物下面的空间建设地下车库。自70年代末起，世界经济高速发展，汽车逐渐普及，保有量不断增加，迫使地少人多、车多的国家、地区和一些发达国家积极开展了机械式停车技术的研究开发和制 造应用。以日本、美国、德国等为代表的发达国家在停车技术领域的研究处于