红外与可见光复合寻的制导中的快速图像配准方法

对现有多传感器图像配准方法在红外与可见光复合寻的制导应用中存在的计算量大等不足,提出了一种基于部分Hausdorff距离的快速方法和一种两集合相似度的定义,从而实现了有效减小误匹配特征点对的红外与可见光图像快速配准方法.此算法通过分别提取两幅图像边缘上显著特征点,再根据提出的快速方法和两集合相似度定义,粗略估计出图像间的旋转角度、平移量;然后依据此估计值,缩小特征点匹配时匹配特征点搜索范围,求得一致特征点对;最后用最小二乘法求解最优变换参数.实验结果表明了该方法的有效性、快速性.     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

结合阴影抑制的混合高斯模型改进算法

混合高斯模型背景法作为运动目标检测的一种经典方法,已经广泛应用于智能视频监控系统中。但是,传统的混合高斯模型背景法容易将阴影误检测为运动目标的一部分。因此,针对该方法在区分阴影和运动目标方面的不足,提出了一种将混合高斯模型背景法和HSV空间阴影抑制相结合的运动目标检测算法。这种改进算法首先将颜色空间转换到HSV空间,初步提取运动目标,然后再利用阴影的灰度值比背景中的灰度值小,而前景的灰度值比背景中灰度值大的特性,检测出运动目标中的阴影。实验结果表明,这种改进的算法明显提高了检测效果,有效抑制了阴影对运动目标检测的干扰,算法实时性也较好。     

A modular designed bolt tightening shaft based on adaptive fuzzy backstepping control

This paper presents a modular designed autonomous bolt tightening shaft system with an adaptive fuzzy backstepping control approach developed for it. The bolt tightening shaft is designed for the autonomous bolt tightening operation, which has huge potential for industry application. Due to the inherent nonlinear and uncertain properties, the bolt tightening shaft and the bolt tightening process are mathematically modeled as an uncertain strict feedback system. With the adaptive backstepping and approximation property of fuzzy logic system, the controller is recursively designed. Based on the Lyapunov stability theorem, all signals in the closed-loop system are proved to be uniformly ultimately bounded and the torque tracking error exponentially converges to a small residue. And the effectiveness and performance of the proposed autonomous system are verified by the simulation and experiment results on the bolt tightening shaft system.     

Extension of the gap statistics index to fuzzy clustering

The well-known gap statistic index proposed by Tibshirani et al. has successfully applied in many clustering evaluations. However, the gap statistic index cannot evaluate the clustering partitions from any fuzzy clustering algorithm. This is because fuzzy clustering cannot provide the within-cluster similarity measure that is used in the gas statistic index. Thus, the applicable range of the gap statistic index is very limited. In this paper, we present a new method that extends the gap statistic index to fuzzy clustering by using fuzzy membership notations. Our proposed method can extend the applicability of the gap statistic index, and outperform other existing fuzzy indices in several aspects. Experiments on eight sets of synthetic and real datasets are used to verify the applicability and efficiency of the proposed method.     

Bounded Consensus Algorithms for Multi‐Agent Systems in Directed Networks

In this paper, the consensus problem is investigated via bounded controls for the multi‐agent systems with or without communication. Based on the nested saturation method, the saturated control laws are designed to solve the consensus problem. Under the designed saturated control laws, the transient performance of the closed‐loop system can be improved by tuning the saturation level. First of all, asymptotical consensus algorithms with bounded control inputs are proposed for the multi‐agent systems with or without communication delays. Under these consensus algorithms, the states’ consensus can be achieved asymptotically. Then, based on a kind of novel nonlinear saturation functions, bounded finite‐time consensus algorithms are further developed. It is shown that the states’ consensus can be achieved in finite time. Finally, two examples are given to verify the efficiency of the proposed methods.     

Color segmentation robust to brightness variations by using B-spline curve modeling

Color segmentation takes a great attention because color is an effective and robust visual cue for characterizing an object from the others. However, color segmentation suffers from color variations incurred by irregular illumination changes. We propose a reliable color modeling approach in hue–saturation–intensity (HSI) color space while considering intensity information by adopting the B-spline curve fitting to make a mathematical model for statistical characteristics of a color with respect to intensity. It is based on the fact that color distribution of a single-colored object is not invariant with respect to brightness variations even in the HS (hue–saturation) plane. The statistical characteristics contain the mean and standard deviation of hue and saturation with respect to intensity. They are mathematically expressed as four bar graphs. In order to fit the bar graphs to continuous curves, we use B-spline curve fitting procedure. From several experimental results, we verify that the proposed algorithm is successfully applied to color segmentation under various illumination conditions.     

基于变结构思想的OGY同步控制器

为扩展混沌控制方法在混沌同步中的应用, 设计了一种基于变结构思想的Ott-Grebogi-Yorke(OGY)同步控制器. 基于变结构控制的思想, 将OGY混沌控制方法进行了扩展, 通过误差系统近似的线性模型寻找合适的稳定流形, 进而通过变结构控制器将误差系统的轨迹控制到稳定流形上面, 实现混沌系统的同步. 这种变结构控制策略使得OGY方法可以应用到混沌同步当中. H′enon映射的仿真结果验证了该控制策略的有效性.     

双积分系统阶跃响应快速无超调控制: 一种增益切换非线性PD控制

采用标准PD或PID控制器镇定双积分对象时,系统的阶跃响应必然存在超调:为此,设计了一种可以切换增益的非线性PD控制器,给出了系统阶跃响应无超调的充要条件,以及减小调节时间的方法.采用的切换规律是:当误差的幅值大于设定门限时,设计好的快速PD控制器投入工作,以加快误差的收敛:当误差的幅值小于设定门限时,设计好的强阻尼PD控制器投入工作,以抑制可能出现的超调.通过这两个控制器的配合作用,既能实现阶跃响应无超调,又能有效减小调节时间.仿真验证了该结论.