行政楼电梯DFA-形式语言大作业.docVIP

哈工大行政楼电梯DFA设计 小组成员： ------------------ 2015年11月14日 一、 自然语言描述 （一）电梯基本状况： 1.行政楼一共6层，有两个电梯工作，两个电梯并非完全并行，但是若同时考虑两个电梯的话，例如关于同一指令的优先判定之类的问题变量过多，在这次DFA设计中出于方便和简洁的考虑我们只研究1个电梯的运行状态。 2.在电梯外，一楼只有向上键，六楼只有向下键，其他楼层既有向上键，又有向下键。在电梯内部，有1-6六个按键，分别对应6个楼层。 3.电梯有超重检测系统，承载重量超过额定重量之后会蜂鸣提示，同时保持停靠状态。 4.在电梯中还有开关门及意外情况报警的按键，对构造电梯的DFA没有影响，可不予考虑。 电梯运行方式： 为了设计DFA我们首先需要对实地考察得出的电梯运行规律用自然语言进行描述： 现设有i,j,k三个变量其中 1= i j k =6。 （1）在i层向上的电梯，若电梯内有j k 按键被按下，则先到j层 再到 k层； （2）在i层向上的电梯，在内部有j键按下， 外部k层有向键按下，先到j再到k； （3）在i层向上的电梯，外部j，k层有向上键按下，先到j再到k； （4）在i层向上的电梯，外部j，k层有向下键按下，先到上到k再下到j； （5）在i层向上的电梯，外部j层有向下键按下，k层有向上键按下，先到k并继续向上达到目标后再到j； （6）在i层向上的电梯，在内部有k键按下， 外部j层有向下键按下，先到k层后再回到j层； （7）在j层向上的电梯，在电梯内有i，k键被按下，则先到达k层后，i键被取消； （8）在j层向上的电梯，在电梯内有k键被按下，i层外有键按下，则先到k层再返回i层； （9）在j层向上的电梯，在电梯外i层k层有向下键按下，当电梯向上状态结束后，先到k层再到i层； （10）在电梯向下运动的过程中，与以上的行为相似，因此不再重述； （11）电梯内部的数字键和每一层楼电梯门外部的上下键一旦被按下就不能再由用户通过按键操作取消； （12）当电梯的乘客超员时，会提示超载并停止运行，直到轿厢内重量小于额定载重为止，电梯方可继续运行； DFA设计 由于研究的是电梯的运行，所以自然想到以电梯的运行和停靠为DFA的基本状态。而用户的按键操作作为改变电梯运行状态的变量，所以依此构造状态转移函数。因为若单纯的考虑不同按键情况下的电梯的运行情况会发现按键组合过于复杂，所以必须分情况对不同的按键情况进行一定的整合。通过考察我们发现，不同的按键组合下，电梯都是首先收集所有的用户请求然后再按照一定的规律综合这些请求生成具体的指令，以便于最高效率地达到用户的目的，所以这些潜在的规律是构造我们的DFA的基础。而为了构造我们的DFA也需要以电梯基础的各种运行状况逐渐向深层分析电梯运行的规律，由此获得我们的DFA的状态转移函数。 请求队列 请求队列 指令生成 用户请求 电梯运行 指令 电梯状态 更新后队列 指令用户请求更新后队列 指令 用户请求 更新后队列 请求队列指令生成用户请求电梯运行指令电梯状态 请求队列 指令生成 用户请求 电梯运行 指令 电梯状态 更新后队列 电梯运行 指令生成 请求队列 电梯状态 电梯状态 电梯的控制体统 （一）DFA状态： 根据行政楼电梯的楼层数，以及电梯向下、向上的实际不同情况，可将电梯分为以下几种状态： S1，S2，S3，S4，S5，S6 Si表示电梯电梯停留在第i层（包括超重停靠的状态）； U1，U2,U3，U4，U5 Ui表示电梯在第i层向上运行； D2,D3, D4, D5, D6 Di表示电梯在第i层向下运行。 （二）DFA输入： 根据电梯的按键，电梯的输入可以用以下内容表示 1， 2， 3， 4， 5， 6 i表示电梯内部相应楼层的按键被按下； 1u， 2u， 3u， 4u， 5u iu表示电梯外部相应楼层的向上键被按下； 2d， 3d， 4d， 5d， 6d id表示电梯外部相应楼层的向下键被按下。 在Si状态中会有一个特殊的输入W，这个输入仅会在Si状态出现，即超重输入。 每个状态都应对所有的输入数据进行响应，但有些按键请求会被忽略。 在电梯内的按键： 1、例如当处在j层向上的电梯，一旦电梯停止后，会对电梯内部对i（ij）的按键请求进行忽略（即在电梯内按键低于j的会在到达当前上行的顶层时，自动取消）。即在向上状态时，只对大于等于当前层数的电梯内按键请求作出响应，小于当前层数的按键请求会被忽略； 2、当处在j层向下的电梯，一旦电梯停止后，会对电梯内部对i（ij）的按键请求进行忽略（即在电梯内按键高于j的会在到达当前下行的底层时，自动取消）。在电梯的向下状态时，只对小于等于当前层数的电梯内按键做响应，大于当前层数的按键请求会被忽略。 在电梯外的按键： 而当电