摘要：无线通讯技术和计算机技术的发展为移动警务系统的设计与实现提供了良好的技术支持。该系统可以为路面的一线交警快速,安全的提供所需要的信息。从而达到现场处理车辆相关业务,有效进行驾驶员管理,及时处理违规,违章行为的目的。该系统提高了一线交警的工作效率。本系统已通过多普达586PDA手执设备的测试,目前运行良好。

摘要：离散数学又称为计算机数学,它是研究离散量之间的科学。数理逻辑是离散数学的四大模块之一。为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域。回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出。逻辑学是研究思维规律和思维的形式结构的一门学科。数据逻辑是用数学方法研究逻辑学中形式逻辑的一门分支学科。数理逻辑分成命题逻辑和谓词逻辑。该文主要研究命题逻辑的应用问题,分别研究了推理问题、分工问题、逻辑学家的推理、程序下载、自动调动电路、人员录取方案、人员选派问题。研究方法分别采用命题推理理论、真值表、穷举法、等值演算法。