In this paper, dynamic neural networks (DNNs) are used as the on-line identifier for a class of nonlinear systems with unknown external disturbance and unknown multiple dead zone actuators. By integrating the novel no...
详细信息
In this paper, dynamic neural networks (DNNs) are used as the on-line identifier for a class of nonlinear systems with unknown external disturbance and unknown multiple dead zone actuators. By integrating the novel nonlinear disturbance observer with adaptive control algorithms, the parameter coupling problem between unknown dead zone and DNNs can be successfully solved and the multiple disturbances can also be rejected simultaneously. Both the observation error and the identification error can be proved to convergent to zero. Furthermore, by combining with the numerical result of an unmanned aerial vehicle (UAV) model, the effectiveness of theoretical algorithms can be fully verified.
The framework is designed to provide a simple and powerful way of Web application component development. Components of the framework can nest, and the framework is designed to be easy to reuse as a component, thus pro...
详细信息
The contribution presents a new software with a graphical user interface facilitating the diagnostics of granulomatosis with polyangiitis (GPA) using computed tomography (CT) image analysis. GPA represents a serious d...
详细信息
The contribution presents a new software with a graphical user interface facilitating the diagnostics of granulomatosis with polyangiitis (GPA) using computed tomography (CT) image analysis. GPA represents a serious disease that can be efficiently diagnosed, using CT image processing methods. Standard software packages enable the CT image visualization supplemented by some rather restricted interactive tools only (zoom, rotation, distance or angle measurements etc.) but provide no automatic analysis. Therefore, we have introduced a new software with semi-automatic or automatic analysis.
Distributed computer systems of microcontrollers with environmental sensors, known as wireless sensor networks, allow real time monitoring of complex events. Over the last ten years this technology is slowly being app...
详细信息
This paper presents the extension of the previously proposed method for multi-agent formation control based on potential function. The method derived for 2D space is extended to 3D. It has been shown that the control ...
详细信息
This paper focuses on interpolation-based path planning algorithms for mobile robot that use the occupancy grid map of the environment. Such an algorithm produces the path close to optimal solution in continuous searc...
详细信息
Versatility and scalability are the major factors for meeting the requirements of a flexible production of the 21 st century. A versatile production can only be realized if the machine control infrastructure is also v...
详细信息
Versatility and scalability are the major factors for meeting the requirements of a flexible production of the 21 st century. A versatile production can only be realized if the machine control infrastructure is also versatile and scalable – current machine controls are not. Limitations in areas like e.g. reconfiguration ability, security and computational power demand for a radically new concept for machine controls. The approach presented in this paper is to split the physical location of the machine tool control from the machine tool itself. The approach moves the control in a cloud providing machine control as a service (MCaaS).
Due to the semantic gap, the low-level features are not able to semantically represent images well. Besides, traditional semantic related image representation may not be able to cope with large inter class variations ...
详细信息
This work is motivated by the problem of synthesizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications ...
详细信息
ISBN:
(纸本)9781479901777
This work is motivated by the problem of synthesizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications expressed in linear temporal logic. We use augmented finite transition systems as abstract models of continuous switched systems. Augmented finite transition systems are equipped with liveness properties that can be used to enforce progress in accordance with the underlying dynamics. We then introduce abstraction and refinement relations that induce a preorder on this class of finite transition systems. By construction, the resulting preorder respects the feasibility (i.e., realizability) of the synthesis problem. Hence, existence of a discrete switching strategy for one of these abstract finite transition systems guarantees the existence of a mode sequence for the continuous system such that all of its trajectories satisfy the specification. We also present an algorithm, which can be implemented using sum-of-squares based relaxations, to compute such high fidelity abstract models in a computationally tractable way. Finally, these ideas are illustrated on an example.
Scale Invariance Feature Transform (SIFT) is quite suitable for image matching because of its invariance to image scaling, rotation and slight changes in illumination or viewpoint. However, due to high computation com...
详细信息
Scale Invariance Feature Transform (SIFT) is quite suitable for image matching because of its invariance to image scaling, rotation and slight changes in illumination or viewpoint. However, due to high computation complexity it's technically challenging to deploy SIFT in real time application situations. To address this problem, we propose CLSIFT, an OpenCL based highly speeded up and performance portable SIFT solution. Important optimization techniques employed in CLSIFT such as: (1) For less global memory traffic, independent logical functions are merged into the same kernel to reuse data. (2) loop buffers are introduced in for data and intermediate results reusing. (3)Task queue used to schedule threads in the same branch to remove branch divergences. (4) Data partition is based on the statics patterns for workload balance among workgroups. (5) Overlap of CPU time and better parallel strategies are used too. With all mentioned efforts, CLSIFT processes lena. jpg at 74.2 FPS and 43.4FPS respectively on NVidia and AMD GPUS, much higher than CPU's nearly 10 FPS and the known fastest SIFTGPU's 39.8 FPS and 13FPS. Moreover in a quantitative comparison approach we analyze those successful strategies beating SIFTGPU, a famous existing GPU implementation. Additionally, we observe and conclude that NVidia GPU achieves better occupancy and performance due to some factors. Finally, we summarize some techniques and empirical guiding principles that may be shared by other applications on GPU.
暂无评论