[逻辑实验]案例.doc

实验题目：出租车计价器 提交日期：2010年6月7日 指导老师：张　琴、毛文林 版本：v0.1 目录 1. 实验目的与设计原理 1 2. 定义设计要求 1 3. 设计一般化框图 1 4. 设计系统结构粗框图 2 4.1 预设模块 2 4.2 时间模块 2 4.3 计数模块 3 4.4 小结 3 4.5 再论计数模块 3 数字逻辑综合实验 ——出租车计价器 当今社会，出租车已经成为人们日常出行中必不可少的公共交通工具。作为出租车重要的组成部分，出租车计价器（以下简称计价器）的设计尤为关键。如何设计出一个较能体现乘客和出租车司机（以下简称司机）需求、显示信息充足、结构简单的计价器就成为了本文的目的所在。 为了设计一个计价器，了解普通出租车计价器工作的整个过程就成为了本次设计的设计原理。 一般而言，当司机开始打表时，计价器就会显示当地政府指导的出租车起步价。在某些大城市中，出租车起步价不仅仅同车型相关，还和乘坐出租车的时间有关。一般来说，由于司机在凌晨几个小时中往往载客量少，油费占收入的比重较大；同时承担的安全风险也较白天高。故出租车在凌晨的起步价比白天略高。 当出租车行驶的里程（包含等待时间折算得到的里程）超过当地政府指导的出租车基准里程后，计价器就会随着行驶里程和等待时间的增加而有规律地分段线性增加。为了简化模型，本次实验采用脉冲信号代替安装在出租车转轴上里程传感器发来的信号。但由于是否计算出租车的等待时间往往是根据出租车的行使速度来决定（如车速持续低于5km/h达到3秒时开始计时，车速达到8km/h停止计时），上面为简化而做出的模型无法实现这种等待计时，因此也必须对等待计时进行模型的简化。在这里，我做出如下的设定：司机在开始等待乘客时会按下计价器上的“等待”按钮以进行计时，乘客上车后再次按下按钮停止计时，在此过程中出租车是停止的，即不计算行使的里程。综上，在本文所做的简化模型中，在某一时间段内，出租车计费仅由里程和等待二者之一产生。 一旦出租车到达目的地，司机便会让计价器停止计费并显示最终的价格。随后，按照司机的指令，计价器会归零等待下一次计费的过程。 以上整个计价器工作的过程就是本文设计计价器的原理所在。 定义设计要求 出租车能按照里程和时间进行收费。 提供一个可进行12小时和24小时时制转换、可设定时间的电子时钟。 具有可人工设定的起步价、里程单价和等待时间转换的单价（以下简称为等待单价）。 能利用数码管等装置显示最后的计费价格、起步价、里程单价、总里程数、等待单价（假定为3分钟换为元）。 利用电子时钟对不同时间段内的起步价进行自动设定。 按下“计价”键后计数装置（指里程数、计费价格和等待时间长度三个部分）开始计数，并按照行使的里程计费；按下“等待”键后，计费模式切换到按等待时间计费；按下“复位”键后，计数装置清零。显然，“计价”键按下后才能按下“等待”键；“计价”键和“复位”键不能同时按下，即“复位”键按下时其他两个按键自动断开。 设计一般化框图 一般化框图定义和描述了系统的输入、输出和实现的一般算法。 对于前文所讨论的出租车计价器来说，输入有三类： 用于模拟和简化模型的脉冲信号输入：时钟的脉冲（与等待时间共用一个，以下简称时钟脉冲）、统计里程的脉冲（以下简称里程脉冲）； 司机预置的输入，用来预置：起步价、里程单价、等待单价； 各种按键输入：“计价”键、“等待”键、“复位”键、“12-24小时时制转换”键。 同样地，输出也分为三类： 显示时间的电子时钟输出：包括时、分、秒（已经经过12-24小时时制转换），12-24小时时制转换指示灯； 显示相对静止的常量数据：包括起步价、里程单价、等待单价； 显示变量数据：包括最终的计费价格、总里程数。 综上，得到如图1所示的一般化框图。在这一过程中，系统部分始终为黑箱。 图1 一般化框图 设计系统结构粗框图 设计出一般化框图后就需要对其进一步细化，以使得黑箱逐步变为灰箱，并最终变为白箱，得到最终的数字系统。下面将首先通过对设计要求的分析，对输出端进行分类地讨论，并对每一类初步细化控制单元和信息处理单元。 预设模块 由前文分析和图1知，在此系统中，用户预设输入只有等待单价、起步价、里程单价三部分。但要注意，系统内部还有一个自动的隐含预设，即由电子时钟根据不同的当前的时间以决定出租车的起步价。因此，总共有4个预设输入，预设的对象共有3个。预设对象直接译码输出即可得到等待单价、起步价、里程单价的显示。 时间模块 继续观察图1可以看出，“设置时钟”键、“12-24小时时制转换” 键、“时钟脉冲”这三个输入部分都是和时间相关联的。不难分析得到，这三部分都直接和电子时钟模块相联系，而电子时钟模块经时制转换模块即可译码输出，得到时间。同时，“12-24小时时制