A general formulation of monotonically convergent algorithms in the control of quantum dynamics beyond the linear dipole interaction

This paper presents a general method to formulate monotonically convergent algorithms for identifying optimal control fields to manipulate quantum dynamics phenomena beyond the linear dipole interaction. The method, facilitated by a field-dependent dipole moment operator, is based on an integral equation of the first kind arising from the Heisenberg equation of motion for tracking a time-dependent, dynamical invariant observable associated with a reference control field.     

Multi-camera calibration based on an invariant pattern

In this paper we present a method for the calibration of multiple cameras based on the extraction and use of the physical characteristics of a one-dimensional invariant pattern which is defined by four collinear markers. The advantages of this kind of pattern stand out in two key steps of the calibration process. In the initial step of camera calibration methods, related to sample points capture, the proposed method takes advantage of using a new technique for the capture and recognition of a robust sample of projective invariant patterns, which allows to capture simultaneously more than one invariant pattern in the tracking area and recognize each pattern individually as well as each marker that composes them. This process is executed in real time while capturing our sample of calibration points in the cameras of our system. This new feature allows to capture a more numerous and robust set of sample points than other patterns used for multi-camera calibration methods. In the last step of the calibration process, related to camera parameters' optimization, we explore the collinearity feature of the invariant pattern and add this feature in the camera parameters optimization model. This approach obtains better results in the computation of camera parameters. We present the results obtained with the calibration of two multi-camera systems using the proposed method and compare them with other methods from the literature.     

混合视觉系统中共同视场的确定与3维重建方法

利用一个单目摄像机和一个全景摄像机搭建了相应的混合视觉系统,通过分析两者的对极几何关系,提出该系统共同视场的确定方法.在此基础上完成共同视场中场景SIFT特征的提取,并以SIFT描述器向量之间的夹角为约束条件进行特征点间的初次匹配,然后利用外极线约束消除初次匹配中的误匹配,从而获得正确的特征匹配关系,由此完成局部场景的...     

形式化开发非递归Koch曲线算法

形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法作了较深入的实践和探讨。     

一类模糊系统全局稳定的几个充分条件

针对一类多变量连续Ｔ－Ｓ模糊模型,通过对全局系统性质的研究,提出一种基于线性时不变系统的全局稳定性分析方法,并得到该类模糊系统的全局稳定的几个充分条件。该方法为模糊控制的稳定性研究提供了新途径。     

基于算法框架的可重用部件设计与实现

对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。     

Numerically Invariant Signature Curves

Corrected versions of the numerically invariant expressions for the affine and Euclidean signature of a planar curve introduced by Calabi et al. in (Int. J. Comput. Vision, 26: 107–135, 1998) are presented. The new formulas are valid for fine but otherwise arbitrary partitions of the curve. We also give numerically invariant expressions for the four differential invariants parameterizing the three dimensional version of the Euclidean signature curve, namely the curvature, the torsion and their derivatives with respect to arc length.     

图像直方图不变特征在影像匹配定位中的应用

图像的直方图在影像的亮度及对比度发生变化时,可以保持基本不变.基于此,提出了由图像直方图的不变特征进行影像匹配的算法,使匹配的稳定性提高且大大减少了匹配时间.     

基于p2-不变量的透视变换下的点模式匹配方法

点模式匹配是计算机视觉和模式识别领域中的一个重要问题 .通过研究 ,在假定待匹配的两个点模式中已知有三对点整体对应的前提下 ,基于射影坐标以及对投影变换和排序变换同时保持不变的 p2 -不变量等理论 ,通过定义一种广义距离 ,给出了一种求解透视变换下 ,点数不等的两个平面点模式匹配问题的新算法 .理论分析和仿真实验表明 ,该算法是快速、有效的     

Benney方程的势对称和不变解

利用微分形式的吴方法计算了Benney方程的势对称及其不变解．由于Benney方程中包含不稳定项和耗散项,使得直接求其不变解较为困难,利用吴一微分特征列算法可大大降低其中确定方程组的计算难度．本文全面讨论了Benney方程不同系数情况下的对称,并且得到了新的势对称,同时利用这些对称求得了相应的不变解,这些解对进一步研究Benney方程所描述的物理现象具有广泛的应用价值．文章表明,对于守恒形式的偏微分方程,可通过其辅助系统求得的势对称来构造其不变解．