离散数学教学中的命题符号化难点讨论..doc

离散数学教学中的命题符号化难点讨论 摘　要：离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂內容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。br　　关键词br本文来自：计算机毕业网 ：数理逻辑；命题符号化；教学方法br　　　　　　br　　引言br　　br　　离散数学是计算机科学与技术专业的一门重要的专业基础课程，它在计算机科学中有着广泛的应用。离散数学教学除了教给学生离散数学知识以外，更重要的是通过严格的训练，逐步实现学生思维方式的数学化。因此，对于计算机专业的学生来说，学好离散数学这门课是非常重要的。br　　br　　注：“本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文 /p p /p p br / /p p /p PRFID技术在邮政领域的应用分析/P P　全球化条件下,邮政局速递业务量逐年增大,加上电子商务平台的普及化,对采用新技术提高生产效率有着迫切的要求,这时RFID技术便应运而生,它是一种利用射频技术实现的非接触式自动识别技术。它具有高速运动物体识别、多目标识别和非接触识别等特点。RFID技术可有效提高速递邮件传递速度和服务质量,提高速递生产的劳动生产率,而且通过进一步完善信息系统后,可以实现邮件从收寄、运输、分拣、投递整个环节的高度信息化管理,提高企业信息化水平,促进邮政领域从传统邮政企业向现代化信息化综合物流企业发展的进程。 BR　　 BR　　一、RFID技术在邮政领域应用的基本原理 BR　　RFID射频识别是一种非接触式的自动识别技术,它涉及信息、先进制造、材料、装备及工艺等诸多前沿和高技术领域的交叉融合技术群,涵盖的技术包括无线电通讯电磁辐射、无线收发、芯片设计、制造、封装、天线设计、软件集成、数据交换、信息安全等。它通过射频信号自动识别目标对象并获取相关数据,识别工作无须人工干预,可工作于各种恶劣环境。它是通过射频读写设备与附着在被标识物上的标签之间的电感祸合,完成两者之间特定标识信息、读写指令信息、传感信息等数据的通讯,从而达到自动数据采集与写入的目的。 BR　　 BR　　二、RFID技术在邮政领域应用的技术层面分析 BR　　信息标识方案是实现邮件总包自动识别的首要问题。目前邮政物流的邮件信息标识形式有:物流详情单;物流标签;总包30位条码标签。物流详情单在收寄局填写,一式五联,若为“一票多件”的物品则只有第一件上有“物流详情单”,物流详情单上含有业务种类和流水号13位邮件ID条码信息。RFID信息标识方案有以下几种:(1)集装箱ID信息射频标签采用无源、只读标签,信息一次性写入固定ID信息,电子信息仅含有集装箱ID信息,不含有收寄局、寄达局、重量、件数等总包特征信息。此方案的实施需要有完善、可靠的信息网络支撑。(2)集装箱ID信息+实时集装箱30位信息 射频标签采用可读写标签。标签中一次写入固定ID信息外,还需实时写入邮政大网要求的30位集装箱全信息。此方案的实施需要配备大量的信息录入和生成设备。(3)集装箱ID信息+实时集装箱30位信息+内件信息射频标签采用大容量可读写标签,标签中除含有标签ID信息、30位集装箱全信息内容外还含有内件信息内容。根据计算,此方案中,标签信息容量应至少为1778字节,约合14.2K。此方案中,可以脱离信息网络随时对内件和清单进行勾挑核对,能够给生产作业带来便利,但由于所承载信息量过大,将使信息读取和写入时间过长。 BR　　 BR　　三、RFID技术在邮政领域应用的业务流程方面分析 BR　　目前中邮物流的生产采用区域集散的方式,区域集散中心负责临近省市的集散交换工作。各地市的揽收点收寄货物后运输至省中心,再由省中心运输至区域集散中心进行处理。需要由行包专列运输的物品,在集散中心分拣后由转趟汽车运至火车站台发运。RFID技术在邮政物流集装箱应用中牵涉到的生产环节主要包括:区域集散中心出口集装箱封发环节;区域集散中心的集装箱接发环节;火车专列站台上的集装箱交接环节;区域集散中心进口集装箱开箱环节。在每一个环节,由工作人员使用手持式读写器,读出