一种支持大规模数据逻辑函数优化的改进选拔算法

选拔算法是两级逻辑综合中求解最小化覆盖的经典方法之一,但在输出变量集合和质立方体集合规模较大的情况下,采用选拔法求最小化覆盖存在空间复杂度高、求解时间长等问题。为此,提出了求解多输出函数最小化覆盖的改进选拔算法。利用相交迭代和局部搜索的思想,分别对选拔法的极值运算和分支处理进行了改进。实验结果表明,在现有计算机资源条件下,该算法为大规模数据条件下逻辑函数的优化提供了一种有效的方法。     

一个基于多层结构的快速眼睛定位算法

眼睛的位置是人脸识别过程中一个很重要的信息。针对灰度人脸图像上的眼睛定位问题,提出了一个基于多层结构的快速眼睛定位算法。该算法首先利用极小值区域(MER)进行眼睛粗定位;然后使用三层筛选算法逐步去除错误的候选保留唯一的正确候选;最后使用眼睛精确定位算法来校正眼睛的位置。该算法在CAS-PEAL人脸数据库、JAFFE数据库和自建数据集上均有良好表现,是一个行之有效的方法。     

基于极值动力学的自组织优化算法求解TSP问题

旅行商问题(traveling salesman problem, TSP)具有很强的理论研究和工程应用价值. 在定义离散状态变量和局部适应度的基础上, 分析了TSP优化解的微观特征; 将自组织临界(self-organized criticality, SOC)的概念引入到组合优化领域, 提出了一种基于极值动力学的自组织优化算法. 该算法利用快速下降和间断涨落的动态搜索过程, 高效地遍历解空间中的局部最优解. 针对TSPLIB中典型实例, 计算结果表明其求解效率和优化性能均优于模拟退火和遗传算法等优化方法. 文中算法提供了一种全新的思路, 有助于从系统角度理解组合优化问题的复杂性, 并分析合理的优化动力学过程.     

结合MSCRs与MSERs的自然场景文本检测

目的 目前,基于MSERs(maximally stable extremal regions)的文本检测方法是自然场景图像文本检测的主流方法。但是自然场景图像中部分文本的背景复杂多变,MSERs算法无法将其准确提取出来,降低了该类方法的鲁棒性。本文针对自然场景图像文本背景复杂多变的特点,将MSCRs(maximally stable color regions)算法用于自然场景文本检测,提出一种结合MSCRs与MSERs的自然场景文本检测方法。方法 首先采用MSCRs算法与MSERs算法提取候选字符区域;然后利用候选字符区域的纹理特征训练随机森林字符分类器,对候选字符区域进行分类,从而得到字符区域;最后,依据字符区域的彩色一致性和几何邻接关系对字符进行合并,得到最终文本检测结果。结果 本文方法在ICDAR 2013上的召回率、准确率和F值分别为71.9%、84.1%和77.5%,相对于其他方法的召回率和F值均有所提高。结论 本文方法对自然场景图像文本检测具有较强的鲁棒性,实验结果验证了本文方法的有效性。     

一类含两个圈的特殊本原双色有向图的指数

一个双色有向图D是本原的,如果存在非负整数h和k,h+k>0,使得D的每对顶点(i,j)都存在从i到j的(h,k)-途径,称h+k的最小值为本原双色有向图D的指数.给出了一类含两个圈的特殊本原双色有向图指数的紧的上下界,并对一类特殊情况进行了极图刻划.     

FUZZIFYING THE “PRECISE”

Based on the fuzzy-integral model, methods and algorithms are developed for identifying the “input–output” operator of continuous and stationary discrete extremal fuzzy dynamic systems (EFDS). The EFDS “input–output” operator is restored by means of experimental data with possibilistic uncertainty, the source of which is extremal fuzzy time intervals. The regularization conditions for obtaining quasi-optimal estimates are substantiated by the proved theorems. The corresponding algorithms are provided. The results obtained are illustrated by examples in the case of a finite set of EFDS states.     

冲积性河流横断面形态调整研究方法及应用分析

总结了中外学者对冲积性河流横断面形态调整规律研究的现状,从研究方法上对其进行归纳和分析。内容涉及到经验公式、终极假说和力学理论分析等相关领域,分析了横断面形态与水沙及河床边界条件的相关关系。并对渭河下游河道的横断面情况作了简要分析,建立了主槽河宽与水沙及河床前期边界条件的相关关系。最后总结了三种方法的特点,并对以后研究工作提出建议。     

多连通区域单叶函数

本文是作者在多连通区域单叶函数领域研究成果的总结．文中给出：Ｖｉｌｌａｔ公式的两个极简单证明；多连通区域的Ｓｃｈｗａｒｚ公式，Ｐｏｉｓｓｏｎ公式，Ｐｏｉｓｓｏ－Ｊｅｎｓｅｎ公式；多连通区域解析函数一参族对参数的可微性定理；多连通区域单叶函数的变分定理和参数表示定理；一类泛函极值问题的解．     

不变区域提取算法及其在两视图粗校正中的应用

在宽基线成像过程中,两视图的成像角度、光照条件都发生较大的变化,使得立体匹配的难度加大。提出了一种基于不变区域提取算法,通过灰度指数变换,定义的目标函数不仅提取了定位准确的极值点,形成稳定的不变区域,而且突显了每个方向上灰度的变化。将其应用于两视图RTS变化参数估算中,正确率分别达到:旋转91.65%,水平位移84.85%,垂直位移80%,比例84.29%。根据估算值对右图像进行校正,校正后的右图像明显地提高了与左图像的相似度。     

Optimal Control on the Heisenberg Group

Let H denote either the Heisenberg group , or the Cartesian product of n copies of the three-dimensional Heisenberg group . Let {X ₁, Y ₁, ...;, X _n, Y _n} be an independent set of left-invariant vector fields on H. In this paper, we study the left-invariant optimal control problem on H with the dynamics the cost functional with arbitrary positive parameters ₁, ...;, _n , and admissible controls taken from the set of measurable functions The above control system is encoded either in the kernel of a contact 1-form (for ), or in the kernel of a Pfaffian system (for ). In both cases, the action of the semi-direct product of the torus T ⁿ with H describe the symmetries of the problem.The Pontryagin maximum principle provides optimal controls; extremal trajectories are solutions to the Hamiltonian system associated with the problem. Abnormal extremals (which do not depend on the cost functional) yield solutions that are geometrically irrelevant.An explicit integration of the extremal equations provides a tool for studying some aspects of the sub-Riemannian structure defined on H by means of the above optimal control problem.