单滞后时变区间动力系统的指数稳定性

用矩阵测度和时滞微分不等式研究了单滞后时变区间动力系统 x(t) =N[P(t) ,Q(t) ]x(t) +N[C(t) ,D(t) ]x(t -τ) ,τ≥ 0 的指数稳定性 ,给出了其指数稳定的判别准则 ,推广和改进了文 [1～ 3]的工作     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

考虑后视和多前车信息反馈的车辆跟驰模型

为改进车联网环境下车辆跟驰模型的稳定性,在经典OVCM模型基础上考虑后视效应、多前车速度差和多前车最优速度记忆综合信息对交通流稳定性能的影响,提出一种基于后视和多前车信息反馈的扩展车辆跟驰模型。根据线性稳定性分析法得出模型的中性稳定性判断条件,并进行数值仿真实验与分析。实验结果表明,在扰动初始条件设置一致下,所提模型相比于OV、FVD、OVCM模型,交通流稳定区域增大,速度波动幅度减小,特别是考虑的前车数k、后视敏感系数λi和记忆效应敏感系数γi取值为k=3,λi=［0.2,0.15,0.1］,γi=［0.1,0.08,0.06］时,车辆的平均速度波动率低于0.1%,由此说明,所提模型能有效减少扰动影响,增强交通流的稳态保持。     

PMC模型下的一个贪婪诊断算法

提出了一种PMC模型下基于矩阵运算的贪婪诊断算法——MGFD算法。算法结合作者曾经提出的"绝对故障基"思想,首先剔除绝对故障基,得到一个维度减小的矩阵,之后根据该矩阵求得集团。在文献[10]提出的四个贪婪诊断算法的基础上,提出集团的内贪婪因子、外贪婪因子、综合贪婪因子等概念,设计了新的贪婪准则。论证了MGFD算法的正确性,并对算法进行了实验仿真。实验结果表明,MGFD算法相比文献[10]提出的贪婪诊断算法,具有较高的诊断正确率。     

基于Hessian矩阵的线形结构搜索路面裂缝提取方法

针对目前三维路面裂缝提取方法效果不佳的问题,提出一种基于Hessian矩阵的线形结构搜索路面裂缝提取方法。首先针对路面深度图像对比度弱、多干扰等问题,根据裂缝的几何特性和灰度特征,给出基于分段函数的路面深度图像预处理方法;然后针对基于Hessian矩阵的多尺度路面裂缝粗提取方法,存在的裂缝提取不连续和对噪声敏感的问题,根据裂缝局部方向的一致性和噪声的离散性特点,给出基于线形结构约束的路面裂缝精提取方法。实验结果对比表明,本文方法适应于不同尺度和程度的路面裂缝提取,较文献［5］的方法完整度提高了10%以上,正确率提高了2%以上,而耗时几乎相同;较文献［15］的方法完整度提高了6%以上,正确率提高了1%以上,但耗时约为该方法的1/3。     

基于信道状态信息的安防监控系统

无线网络的信道状态信息（Channel State Information, CSI）是MIMO系统中反映各个子载波信号频谱特性的重要指标,通过在Linux平台上定制Intel 5300网卡驱动,就可在常规的无线网络通信环境下通过编程实现对CSI数据的实时采集。因CSI信息对环境变化十分敏感,因此可用于构建基于CSI的非接触式环境感知系统。本文以CSI为数据载体,详细梳理基于CSI的无线感知应用,建立基于CSI信号的安防监控系统,能够成功检测人员到访事件。系统提取人员到访时间的CSI信号特征〖WTHX〗v〖WTBX〗*t={σ,MaxPt,MinPt,E}并通过实验求得,当其值为〖WTHX〗v〖WTBX〗*t={1×10－3,［1,2］,［1,2］,2.0×10－4}时,系统可获得高达99.07%的检测成功率。     

无随机预言的完全匿名多服务订购系统

最近,Canard等(CANARD S, JAMBERT A. Untraceability and profiling are not mutually exclusive ［C］// TrustBus 2010: Proceedings of the 7th International Conference on Trust, Privacy and Security in Digital Business, LNCS 6264. Berlin: Springer-Verlag, 2010: 117-128)提出了多服务订购的概念以及几个实例化的系统。然而,这些系统仅满足较弱的可撤销的匿名性且不适合于“按次付费”的服务。为此,通过对Canard等的系统进行扩展而提出一个改进的多服务订购系统。新系统利用Liu等(LIU J K, AU M H, SUSILO W, et al. Enhancing location privacy for electric vehicles (at the right time) ［EB/OL］. ［2012-08-01］. http://eprint.iacr.org/2012/342)的匿名支付技术实现了对“按次付费”的支持,利用Peng-Bao小区间证明技术实现了对“账户余额足以为当前服务付费”的零知识证明。此外,通过将Cramer等的技术应用于底层∑协议,实现了新系统的构造过程所需的完全零知识的知识证明协议。相对于已有的典型系统,新系统的优势体现在安全性方面:首先,在标准模型下满足可证安全;其次,实现了3个关键性质的最强安全等级,即支付令牌的不可分割性、用户的匿名性和底层证明系统的零知识性。     

对称位相型滤波器及其在边缘检测中的应用

该文从概率的角度提出了两类新的滤波器：对称位相型滤波器和对称梯阶滤波器;证明了对任意给定的非负对称滤波器可用这两类滤波器的序列在（－∞,＋∞）内一致逼近;这种序列有着统一的结构形式：L（x）＝^s∑i＝1e^λi│x－μ│^Ni∑k＝0ak^（i）│x－μ│^ k。对于L（x）,文中给出了选择L（x）一些最优准则的解析表达。从而表明L（x）既具有一般性,又易进行解析处理和数值计算。对于已有文献中相关于对称指数滤波器的两类不同形式,例如Li等和Ma等,该文从理论上进一步刻画了它们的内在一致性。     

Pbn微团簇(n=20～30)及铅晶体表面过程的计算机模拟

基于Ｍｕｒｒｅｌｌ等提出的有效正体加三体展开势能函数取铅微团簇ｐｂｎ（ｎ＝２～３０）的结构及面心立体表面心立方晶体铅的表面进行也计算机模拟。发现ｐｂｎ微团簇的结构衍生规律为：依次增加一个配位的表面原子,分子表面原子,分子表面为三元环所覆盖,整个分子为畸变的四面体的密堆积：ｆ（ｃ）铅晶体的表面层原子间内压缩最为严重（最大达８％）,从第三层开始层间距的伸缩率已经很小（〈１％）。     

一种求解命题公式骨干集的警示传播算法

警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设计了一种求解命题公式骨干集的信息传播算法。当变元数目超过400时,与经典骨干集求解算法对比,效率提高了40%,与目前常用算法对比也有10%的提高。结果表明,所提算法求解命题公式骨干集时非常有效。