车辆主动悬架耗散静态输出反馈控制器的设计

通过建立1/4车辆模型和路面输入模型,应用耗散系统理论设计车辆主动悬架严格(Q,S,R)耗散静态输出反馈控制器,进行仿真研究,将主、被动悬架的车身加速度、悬架动行程和轮胎动位移3项指标进行对比分析.仿真结果表明,使用严格耗散静态输出控制器的主动悬架可以改善车辆乘坐舒适性和行驶平顺性.     

基于SAT的分离制造攻击方法

芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法并不能完全恢复出原始电路.本文提出了一种基于布尔可满足性的攻击方法(SplitSAT),它利用功能正常的电路作为黑箱模型,利用多路复用器对待攻击的不完整电路建模为逻辑加密电路,将恢复电路连接关系的问题转化为逻辑解密的可满足性问题,采用已有的CycSAT算法求解带环路的可满足性问题,可显著提高邻近攻击的成功率.考虑到SAT算法可求解的问题规模有限,本文提出经验式的解空间缩减方法,利用现有物理信息和自动化布局布线工具的特点,降低了解空间规模,提高了SplitSAT攻击效率.实验结果验证了本文提出SplitSAT算法的有效性.     

参与城乡居民基本医疗保险对贫困脆弱性影响研究

为评估城乡居民基本医疗保险政策化解返贫风险及推动社会保障公平效果，基于中国家庭追踪调查(China Family Panel Studies, CFPS)面板数据，系统探究城乡居民医疗保险政策对贫困脆弱性的影响效果及其传导机制。研究表明，城乡居民医疗保险政策可显著降低贫困脆弱性，能较好缓解风险型贫困脆弱性，针对结构型贫困脆弱性的缓解效果并不显著。城乡居民医疗保险制度可通过促进收入增加和缩小收入差距等降低贫困脆弱性。