摘要：云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行。因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上。由于分布式系统采用大量的商品机通过复杂的结构进行搭建,因此分布式系统中组件发生故障是无法避免的。为了提高分布式系统的可靠性,技术人员在开发分布式系统时为其设计了容错机制。为了保证容错机制在分布式系统发生故障时能真正有效地工作,故障注入是检验容错机制的方法之一,通过人为地向系统中注入特定的故障,观察系统的行为并检验容错机制是否正确工作。由于分布式系统的并发特性,传统软件测试方法无法对其进行完全测试,近年来越来越多地使用模型检测技术来对分布式系统进行验证。现有的模型检测技术注重对分布式系统的安全性属性和活性属性的检测,忽略了对容错机制尤其是活性属性容错机制的检测,所以如何验证系统的活性属性容错机制是目前面临的挑战。采用抽象模型检测方法会引入模型与实际系统不匹配的问题。同时,采用实现级模型检测方法会加剧模型检测中的状态空间爆炸问题。本文提出了一个实现级模型检测工具LTMC(Liveness Properties Fault Tolerance Model Checker),结合故障注入技术对分布式协议的安全性属性与活性属性及其容错机制进行验证。同时,基于分布式系统节点的角色,本文提出了一种对等约减策略PRP(Peer Reduction Policy)对LTMC需要搜索的状态空间进行约减,缓解了状态空间爆炸问题。此外,LTMC通过引入逻辑时钟机制,优先搜索那些更有实际价值的事件执行路径。LTMC能够有目标地在待验证系统运行的特定时刻注入特定的故障,而不依赖于随机故障注入策略;当待验证系统发生改变时,只需要简单地对工具进行轻微的修改;LTMC可以系统地发现分布式协议中指定类型的所有Bug。在本文最后,我们将LTMC应用到ZooKeeper和Cassandra的几个协议中,并与深度优先搜索作对比,可以发现LTMC有3.7~594.4倍的状态空间约减率。

摘要：如今物联化、智能化席卷全球,智能家居日益流行,电风扇也应该顺应这个热潮。此智能电风扇的设计涉及自动化控制,传感器技术,电机电路,单片机,计算机程序设计,Android等技术领域。本设计实现了风扇根据温度自动调节转速以及人与风扇距离过近自动停止的功能,使其更健康安全,有一定的现实意义。而且创新地使用物联网理念,使用Android端通过网络与风扇互联,使之更加智能化、方便用户使用。

摘要：域名系统是互联网重要组成部分,其安全性是互联网安全的基础,但实际部署中往往存在大量安全隐患。设计实现一种大规模快速权威DNS安全问题测量工具集,通过在教育网范围内大规模测量发现其中存在不当的NS配置、匿名区域传输、不安全的域名动态更新和不完整的DNSSEC配置等问题,证明工具集测量的高效和准确。针对教育网权威DNS安全测量结果,建议网络管理员通过采用完整的身份认证机制、正确部署DNSSEC等方式及时进行修复,以保障网络的安全稳定运行。

摘要：如今智能化随处可见,花卉护理也不例外,为了解决盆栽种植成活率低,弥补传统花卉护理的缺陷,本团队设计了一种基于STM32和Android的智能花卉护理系统。本文提出了设计的四层系统架构:感知层、控制层、通信层及应用层。感知层进行温湿度、光强、水箱液位监测;控制层进行智能浇灌,PWM智能补光,水箱液位、温度报警;通信层进行传感节点与Android端之间的Wi-Fi双向通信;应用层进行Android端应用:扫描二维条码将信息导入系统实现"一键种花"。本文对设计的系统的"智能化"、"物联化"、低功耗、环保、方便的优势做了进一步阐述,分析设计的意义,作用以及发展空间。