低强度经颅超声刺激对帕金森病康复的研究进展

低强度经颅超声刺激,作为一种分辨率高且安全性高的神经调控技术,在改善帕金森病的运动症状和非运动症状方面,具有巨大潜力。本文从超声刺激的参数与分类、疗效及作用机制等方面入手,就低强度经颅超声刺激在帕金森病康复治疗中的临床应用及机制研究进展进行综述。

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。该算法减少了计算控制流的工作量,避免计算谓词依赖集的过程,减少了存储资源开销,提高了切片的效率。

一种集成化的PKI数字证书验证安全增强方案

近年来,PKI数字证书服务出现了多次安全事件:CA机构由于攻击等原因签发虚假的TLS服务器数字证书,将攻击者的公钥绑定在被攻击网站的域名上。因此,研究人员提出了多种PKI数字证书验证安全增强方案,用于消除虚假数字证书的影响,现有各种方案在安全性和效率上各有优劣。提出了一种集成化的PKI数字证书验证安全增强方案,以Pinning方案为基础,利用其他方案来改进Pinning方案的缺陷。当浏览器面临TLS服务器数字证书的三种Pinning方案不同状态(初始化、正常使用、更新),兼顾安全性和执行效率、分别综合使用不同的安全增强方案,整体上达到了最优的安全性和执行效率。完成的集成化PKI数字证书验证安全增强方案能够有效解决虚假数字证书的攻击威胁。

我爱小白鸽

去年夏天，爸爸送给我一对可爱的小白鸽。两个小家伙身上披着雪白的羽毛。那只雌鸽的脖子上长着一圈黑毛，好像戴着一条十分别致的项链。雄鸽的翅膀上对称地长着两道蓝色的花纹，飞起来一闪一闪的，十分好看。它们的眼睛黑亮黑亮的，红彤彤的嘴巴尖尖的，十分惹人喜爱。