物联网(IoT)代表着一个重要的发展趋势，逐渐将日常生活中的各个方面相互连接在一起。不同于早期的路由器等无线设备(每个房间或者办公室安装一个)在数量上的局限性，物联网将会非常深入的渗透到方方面面，
定位是感知应用的一个重要属性。在室内环境中，如果位置信息可用并非常可靠，有更多的应用场景可以实现的。行人航位推算(PDR) 就是这样一种技术，在室内环境中可提供行人航位信息并提高定位可靠性。
想像一下你正在排队等待参加一个重要活动。门票是通过网上购买的，存储在你的智能手机中。你需要将手机放到某个指定区域上，建立起NFC连接，门票随之得到确认，大门开启允许你进入。好消息是，所有这一切都是在匿
CMP是处理器体系结构发展的一个重要方向，其中Cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议，本文建立了CMP的Cache一致性协议的验证模型，总结了三种验证方法——状
