基于AT89S52的智能简易车辆系统设计

介绍了以单片机AT89S52为控制核心的智能简易车辆系统设计方案。系统根据角度传感器检测的信号,控制小车在跷跷板上做相应运动,其中采用角度传感器感应板面水平角是否为零,确保小车达到平衡。同时采用反射式光电传感器感应板面引导线,保证小车不脱离轨道,并指引小车在规定区域内顺利爬上板面。系统显示装置采用RT1602液晶显示器,能够实时显示行距、时间;小车动力源采用步进电机,并用STA475集成晶体管芯片构成的桥式电路对其驱动,电源直接由12 V蓄电池供电,单片机根据各模块检测的信号作出判断,保证小车正常行动。     

基于形式化方法的安全协议安全性分析

协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质,使两者在统一框架下实现可分析和验证是亟待解决的问题,形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结,并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。     

用于电冰箱门封磁条上的钡铁氧体橡塑磁粉材料

本文从原料选择、配方设计到工艺路线和技术关键对用于电冰箱门封磁条上的各向同性钡铁氧体橡塑磁粉材料作了较详细的论述。