Observability by using viability kernels

The aim of this paper is to propose a new way to deal with observability of systems governed by ODEs, in a more general setting than the standard output equation.The primary finding is that observability over a time horizon reduces to single-valuedness of the vertical section of a set we name the observability kernel.The latter consists of the viability kernel of the output domain under the augmented system.The approach may be used either for global or local observability,to which available results on single-valuedness of multifunctions shall be applied in order to get necessary and/or sufficient characterizing conditions.Several examples are provided in order to illustrate the method.     

手势数据驱动的头部运动合成方法

非手部手势是手语表达中不可缺少的一部分,头部运动的实现并与手势进行协同表达是其重要研究内容。对真人手语表演数据中的手势与头部动作之间的关系进行了深入研究,提取二者的动作特征,利用核典型相关分析方法(kernel canonical correlation analysis,KCCA)建立起手势与头部动作之间的预测关系模型。动画合成结果以及评价实验表明,KCCA方法能更好地刻画手势与头部动作的协调性,实现虚拟人行为动作合成的逼真性。     

A variational method for contour tracking via covariance matching

This paper presents a novel formulation for contour tracking.We model the second-order statistics of image regions and perform covariance matching under the variational level set framework.Specifically,covariance matrix is adopted as a visual object representation for partial differential equation(PDE) based contour tracking.Log-Euclidean calculus is used as a covariance distance metric instead of Euclidean distance which is unsuitable for measuring the similarities between covariance matrices,because the matrices typically lie on a non-Euclidean manifold.A novel image energy functional is formulated by minimizing the distance metric between the candidate object region and a given template,and maximizing the one between the background region and the template.The corresponding gradient flow is then derived according to a variational approach,enabling partial differential equations(PDEs) based contour tracking.Experiments on several challenging sequences prove the validity of the proposed method.     

处理器验证激励在线筛选技术

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间.     

一种新的SAR图像斜距多普勒定位模型的直接解法

斜距多普勒定位模型是实现SAR图像无控制点定位的基本模型,因此如何高效准确地获得RD方程组的解成为实现SAR图像无控制点几何定位的根本问题,也是实现SAR自动图像定位的关键。首先利用地固坐标系下目标速度为零的特性,简化RD模型并整理为一元四次方程,然后利用一元四次方程求根方法,推导出斜距多普勒定位模型的明确数学解析解,并与常用的数值迭代求解方法进行比较分析,仿真结果验证了推导的正确性。新解法具有无需设置初始值,易于编程实现,鲁棒性高的特点。     

P2P网络中的超级节点选取算法研究

P2P系统在构建覆盖网络时未考虑到与物理网络的结合,导致逻辑拓扑结构与物理拓扑结构严重不匹配问题,增加P2P相邻节点间的延迟。本文提出一种基于区域划分的超级节点选取机制,将P2P网络中的节点按照物理位置划分成若干区域,保证区域内节点在物理位置上是相近的。利用MATLAB进行仿真实验,仿真实验表明使用这种机制能降低半分布式P2P网络的信息检索延迟,有效地提高检索的效率,并且具有较好的可扩展性。     

A two-layer fuzzy pattern matching procedure for the evaluation of conditions involving vague quantifiers

In this note, we are interested in the evaluation of conditions of the form The value of attribute a for Q items of X is in F or more shortly Q items of X are F, where X is a set of items, Q denotes a possibly vague proportion (which may be linguistically expressed, e.g. most), F is a (possibly fuzzy) subset of the attribute domain of a. and where the available knowledge about the value a(x) of the attribute a for any item x may be imprecise or even vague. The evaluation is based on a fuzzy pattern matching procedure repeated two times. Such conditions may be encountered in queries addressed to an incomplete information data base or in the if-part of expert rules.     

矿井主通风机不停风倒机控制系统改进方案

针对矿井主通风机不停风倒机控制系统中工控机使用一定年限后容易死机的问题,提出将传感器连接到交换机上,并采用多台工控机同时读取数据的解决方法。针对温度巡检仪及电参数采集模块输出的RS485信号无法直接接入交换机的问题,提出增加串口服务器和增加PLC的RS485模块两种改进方案;分析了两种方案的优缺点,并最终选择增加PLC的RS485模块的方案。实际应用表明,系统改进后运行良好,达到了预期的效果。