基于LPV鲁棒输出反馈控制的变形无人机暂态控制律设计

文章研究了LPV鲁棒输出反馈控制技术在变形无人机变形过程的纵向暂态控制中的应用.首先,从理论上研究了LPV鲁棒输出反馈控制问题的求解及解的可实现性问题,然后用雅克比线性化方法建立了飞机的LPV模型,并以变形无人机变形暂态过程中纵向俯仰角保持为例,使用LPV鲁棒输出反馈设计其控制器.结构奇异值分析和蒙特卡洛仿真结果均表明,系统具有很好的鲁棒性和控制性能.最后,对LPV鲁棒输出反馈技术进行了总结,并给出了需要进一步研究的问题.     

贝叶斯网络在空间机械臂故障诊断中的应用研究

空间机械臂在空间设施中广泛应用,如何准确快速判断其运行状态成为需要解决的重要问题。文中首先介绍了机械臂在国内外空间设施的应用背景,然后采用基于故障树与贝叶斯网络的故障诊断方法,包括：基于系统组成结构的故障树建模、贝叶斯网络转化、团树传播算法和最大后验估计(MAP)推理结果分析。最后利用单点故障实验和多点故障实验对所提方法进行了验证,结果表明将故障树分析和贝叶斯网络结合应用到空间机械臂故障诊断是有效的、可行的。     

利用单分类SVM算法检测Android应用程序

目前, Android应用市场大多数应用程序均采取加壳的方法保护自身被反编译, 使得恶意应用的检测特征只能基于权限等来源于AndroidManifest.xml配置文件. 基于权限等特征的机器学习分类算法因为恶意应用与良性应用差异性变小导致检测效果不理想. 如果将更加细粒度的应用程序调用接口(Application Program Interface,API)作为特征, 会因为应用程序加壳的原因造成正负样本数量的严重失衡. 针对上述问题, 本文将大量的恶意应用作为训练样本, 将良性应用样本作为新颖点, 采用单分类SVM算法建立恶意应用的检测模型. 相比于二分类监督学习, 该方法能有效地检测出恶意应用和良性应用, 具有现实意义.     

RSA密码核时间侧信道检测与量化分析

攻击者通过RSA时间侧信道可有效破解其密钥。但目前缺乏有效的方法检测和评估RSA硬件密码核时间侧信道信息泄漏。针对此问题,利用门级信息流追踪方法检测RSA时间侧信道;提出一种测试框架对密钥位泄露进行定性检测和定量分析。通过对五种不同RSA密码硬件体系结构进行案例研究,实验结果显示,所提方法可有效评估和验证迁移技术对RSA时间侧信道信息泄露的影响。该测试方法可有效辅助硬件设计人员权衡时间侧信道安全性、硬件资源消耗和性能等指标。     

电能实时远程在线监控系统设计与实现

文中将ZigBee无线传感器网络、MQTT消息代理以及WebSocket技术相结合,设计实现了一个适用于小到家庭大到工业园区的实时远程监测控系统,以减少不必要的电能浪费,同时有效地节省人力物力。系统后台利用ZigBee无线传感器网络采集用电信息;中间层利用MQTT消息代理将采集到的用电信息以消息的格式统一管理,并为用户预留创建新消息的接口,便于系统的扩展;前端采用B/S模式增强其通用性,采用WebSocket技术将Web服务器得到的消息实时地推送到客户端浏览器,提高了系统的实时性。结果表明该系统在可扩展性、通用性、实时性等方面都有所改进。     

电能实时远程在线监控系统设计与实现

本文将ZigBee无线传感器网络、MQTT消息代理以及WebSocket技术相结合,设计实现了一个适用于小到家庭大到工业园区的实时远程监测控系统,以减少不必要的电能浪费、同时有效地节省人力物力。系统后台利用ZigBee无线传感器网络采集用电信息;中间层利用MQTT消息代理将采集到的用电信息以消息的格式统一管理,并为用户预留创建新消息的接口,便于系统的扩展;前端采用B/S模式增强其通用性,采用WebSocket技术将Web服务器得到的消息实时地推送到客户端浏览器,提高了系统的实时性。结果表明该系统在可扩展性、通用性、实时性等方面都有所改进。     

一种新型的无竞争的基于TDMA的MAC协议

本文提出了一种无竞争的基于TDMA的MAC协议CA-TDMA.CA-TDMA协议通过对超帧中竞争时隙的直接分配和数据时隙的相互申请来实现在整个网络中无时隙竞争,并且通过添加新的申请消息(RTS、CTS、CTR)和提出新的时隙竞争机制、时隙续约机制和竞争时隙交换机制,来提高整个网络的性能.仿真结果表明,CA-TDMA相比动态TDMA协议在分组投递率和网络延迟等性能参数方面均有明显的提高.     

贝叶斯网络在空间机械臂故障诊断中应用研究

空间机械臂在空间设施中广泛应用,如何准确快速判断其运行状态成为需要解决的重要问题。本文首先介绍了机械臂在国内外空间设施的应用背景,然后采用基于故障树与贝叶斯网络的故障诊断方法,包括：基于系统组成结构的故障树建模、贝叶斯网络转化、团树传播算法和最大后验估计（MAP）推理结果分析。最后利用单点故障实验和多点故障实验对所提方法进行了验证,结果表明将故障树分析和贝叶斯网络结合应用到空间机械臂故障诊断是有效的和可行的。     

硬件安全门级细粒度形式化验证方法

针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法．该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型,并结合霍尔逻辑三元组理论构造用于验证该模型安全属性的定理．定理的证明过程是以人机交互的方式在定理证明器环境下验证定理的合理性．实验结果表明,该方法能够形式化地遍历电路语义模型的状态空间,精确验证不同输入状态下电路语义模型的安全性．该方法通过构造安全属性跟踪逻辑提高了验证的精确性,结合定理证明提高了验证覆盖率,能够有效地验证硬件设计的安全性．