摘要：在遵循制动力分配原则的基础上,提出了基于最佳制动效果和模糊控制的再生制动控制策略,使机械制动和再生制动可以很好地协同工作,实现前后轮制动力合理分配。设计了以制动强度和蓄电池荷电状态为输入变量,以期望再生制动力为输出变量的模糊控制器。利用仿真软件ADVISOR,对所设计的控制策略进行了部件性能、制动能量回收、制动感觉三方面仿真分析。同时,为验证ADVISOR仿真结果的有效性,搭建了硬件在环仿真实验平台。结果表明,所设计的控制策略在保证汽车制动稳定性的前提下,能够使驾驶员获得满意的制动感觉,同时有效提高了汽车能量利用率,最终达到了最佳制动效果。

摘要：为了提高制导精度,达到理想的毁伤效果,提出了一种空地制导武器近垂直俯冲攻击制导律.在建立二维平面内弹—目相对运动模型的基础上,将落角约束转化为末端视线角控制问题.针对落点和落角约束条件,设计了一种含有角度误差项、开关项、趋近律和常值量4个制导参数的滑模变结构制导律.分析了4个参数对制导性能的影响,得到了其选取依据.仿真结果表明,所设计的制导律脱靶量近似为0,落角接近90°,与比例导引律相比,脱靶量减小87.43%,落角增大47.01%.

摘要：为了提高混合动力汽车制动能量回收率,根据镍氢电池快速充电特性和集成启动电机(Integrated starter/generator,ISG)发电特性,确定了电机与电池联合高效工作曲线。根据上述曲线,提出了一种无级自动变速传动(Continuously variable transmission,CVT)速比控制的混合动力汽车再生制动模糊滑模控制策略。利用滑模控制方法对永磁同步电机的转矩进行控制,此外,给被控对象加上一个外界干扰,并对干扰采取模糊控制策略,使电机运行点处于联合高效曲线附近。在MATLAB/ADVISOR中搭建再生制动模糊滑模控制仿真模型。仿真结果表明,与Advisor控制策略相比,所设计的模糊滑模控制策略有效地提高电机制动过程中的能量回收率。

摘要：在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度。

摘要：IEEE802.15.4因其低速率、低成本、低功耗和高质量特点,成为无线传感器网络MAC层标准,已被广泛应用于各种领域,其安全漏洞一旦被攻击者发现并利用将造成难以估量的后果。为发现当前协议标准中存在的问题,文章对IEEE802.15.4协议的MAC层标准进行了分析,发现了信标广播漏洞和GTS管理机制等漏洞,并给出了信标同步扰乱、阻止节点接入、空闲时隙抢占和空闲节点仿冒4种漏洞利用模式。漏洞及其利用模式的发现可为研究人员改进协议设计的安全性提供基本依据。