Combinational Numerical Methods with Minimum Discretization Error

A class of combinational numerical methods is developed, where the discretization error decreases as the order of combination increases. A combination is obtained for which the discretization error is absent up to the second order of smallness. The analytical error estimates are tested in the analysis of conservative systems without losses, quartz oscillators, and high-quality systems with long transients.     

Stabilized Methods for Compressible Flows

This article reviews 25 years of research of the authors and their collaborators on stabilized methods for compressible flow computations. An historical perspective is adopted to document the main advances from the initial developments to modern approaches.     

Hybrid Methods for Detection and Identification of Faults in Dynamic Systems

Since the 1960s, when automation became essential to productivity, methods for the detection and identification of faults have been proposed. Physical systems are diversified and can be mechanical, electrical, pneumatic, electronic, or a combination of these. In addition, real plants have a large number of these devices, which are for its own operation, sensoring or control. Therefore the solutions given for detection of faults are generally very specific or particular. This paper aims to describe and analyze two hybrid methods of detection and fault identification based on residue and to check whether their inclusion with other methods, combining different techniques, can produce a better fault detection and identification system. The methods use the state observers for the generation of residues, which serve for the detection and identification and the set called the bank of signatures to identify the faults. Thereafter, the methods use different approaches to diagnose the fault: the first uses the approach of the mean square error, and the second uses a decision tree.     

Reduced-Order Adaptive Controllers for Fluid Flows Using POD

This article presents a reduced-order adaptive controller design for fluid flows. Frequently, reduced-order models are derived from low-order bases computed by applying proper orthogonal decomposition (POD) on an a priori ensemble of data of the Navier–Stokes model. This reduced-order model is then used to derive a reduced-order controller. The approach discussed here differ from these approaches. It uses an adaptive procedure that improves the reduced-order model by successively updating the ensemble of data. The idea is to begin with an ensemble to form a reduced-order control problem. The resulting control is then applied back to the Navier–Stokes model to generate a new ensemble. This new ensemble then replaces the previous ensemble to derive a new reduced-order model. This iteration is repeated until convergence is achieved. The adaptive reduced-order controllers effectiveness in flow control applications is shown on a recirculation control problem in channel flow using blowing (actuation) on the boundary. Optimal placement for actuators is explored. Numerical implementations and results are provided illustrating the various issues discussed.     

Hybrid Adaptive Control for Aerial Manipulation

This paper presents a control scheme to achieve dynamic stability in a mobile manipulating unmanned aerial vehicle (MM-UAV) using a combination of Gain scheduling and Lyapunov based model reference adaptive control (MRAC). Our test flight results indicate that we can accurately model and control our aerial vehicle when both moving the manipulators and interacting with target objects. Using the Lyapunov stability theory, the controller is proven to be stable. The simulation results showed how the MRAC is capable of stabilizing the oscillations produced from the unstable PI-D attitude control loop. Finally a high level control system based on a switching automaton is proposed in order to ensure the saftey of the aerial manipulation missions.     

Hybrid, Incremental Assertion-Based Verification for TLM Design Flows

Transaction-level modeling is an emerging design practice for overcoming increasing design complexity. This article proposes a methodology for verifying the correctness of RTL refinement from transaction-level modeling. The authors demonstrate the effectiveness of this methodology, guided by an assertion coverage metric on the modules of an industry design.     

A Hybrid Second Order Scheme for Shallow Water Flows

We extend the well-balanced second order hybrid scheme developed in Donat and Martinez-Gavara (J. Sci. Comput., to appear) to the one-dimensional and two-dimensional shallow water system. We show that the scheme is exactly well-balanced for quiescent steady states, when a particular integration formula is employed, just as in the scalar models considered in Donat and Martinez-Gavara (J. Sci. Comput., to appear). A standard treatment of wet/dry fronts can easily be adapted, obtaining a robust scheme that produces well-resolved numerical solutions.     

Hybrid Difference Methods for PDEs

We propose the hybrid difference methods for partial differential equations (PDEs). The hybrid difference method is composed of two types of approximations: one is the finite difference approximation of PDEs within cells (cell FD) and the other is the interface finite difference (interface FD) on edges of cells. The interface finite difference is obtained from continuity of some physical quantities. The main advantages of this new approach are that the method can applied to non-uniform grids, retaining the optimal order of convergence and stability of the numerical method for the Stokes equations is obtained without introducing staggered grids.     

基于混合方法的多维时间序列驾驶异常点检测

针对传统异常点检测模型难以准确分析汽车驾驶异常行为的情况,建立一种基于自动编码器与孤立森林算法的多维时间序列汽车驾驶异常点检测模型。利用滑动窗口计算原始多维时间序列范数、范数变化率及相关统计信息值提取数据特征,通过自动编码器重构特征数据,并结合孤立森林算法实现异常点检测。实验结果表明,与基于LOF、OCSVM、iForest和LSTM-AE的异常点检测模型相比,该模型的召回率和F1度量值可分别提升至6%和2.4%以上,综合性能更优。     

Finite Element-Based Level Set Methods for Higher Order Flows

In this paper we shall discuss the numerical simulation of geometric flows by level set methods. Main examples under considerations are higher order flows, such as surface diffusion and Willmore flow as well as variants of them with more complicated surface energies. Such problems find various applications, e.g. in materials science (thin film growth, grain boundary motion), biophysics (membrane shapes), and computer graphics (surface smoothing and restoration). We shall use spatial discretizations by finite element methods and semi-implicit time stepping based on local variational principles, which allows to maintain dissipation properties of the flows by the discretization. In order to compensate for the missing maximum principle, which is indeed a major hurdle for the application of level set methods to higher order flows, we employ frequent redistancing of the level set function. Finally we also discuss the solution of the arising discretized linear systems in each time step and some particular advantages of the finite element approach such as the variational formulation which allows to handle the higher order and various anisotropies efficiently and the possibility of local adaptivity around the zero level set.     

Spectral Element Methods for Transitional Flows in Complex Geometries

We describe the development and implementation of an efficient spectral element code for simulating transitional flows in complex three-dimensional domains. Critical to this effort is the use of geometrically nonconforming elements that allow localized refinement in regions of interest, coupled with a stabilized high-order time-split formulation of the semi-discrete Navier–Stokes equations. Simulations of transition in a model of an arteriovenous graft illustrate the potential of this approach in biomechanical applications.     

Stabilization Methods for Spectral Element Computations of Incompressible Flows

A stabilization method for the spectral element computation of incompressible flow problems is investigated. It is based on a filtering procedure which consists in filtering the velocity field by a spectral vanishing Helmholtz-type operator at each time step. Relationship between this filtering procedure and SVV-stabilization method, introduced recently in [JCP, 2004, 196(2), p680], is established. A number of numerical examples are presented to show the accuracy and stabilization capability of the method.     

Adaptive Wavelet Methods for Hyperbolic PDEs

We analyze how to solve hyperbolic PDEs with compactly supported orthonormal wavelets adaptively. We use thresholded wavelet expansions of signals and operators. A tree structure is used to represent the signal, and a multidimensional analogue of the fast wavelet transform is used to expand the operators. We solve the advection equation and Burgers' equation on a periodic domain.     

基于混合策略的QoS选播流路由优先算法

分析了QoS选播流交错服务问题的产生过程及其对网络资源的浪费,提出了一种基于混合策略的全局路由优化解决方法.在构建路由优化问题模型的基础上,得出了选播流路由端到端时延、服务器负载、网络流量、路径调整等多个优化目标和QoS约束的表达式.给出了GA、SA、TS三种算法有机结合形成的一种混合优化算法,并说明了运用该算法求解的关键步骤和实现过程.实验结果表明,本算法能够在满足QoS约束的前提下实现选播路由的多目标组合优化,与基于GA或者SA的求解算法相比具有更强的稳定性和更高的精确度.     

Portable Solution for Modeling Compressible Flows on All Existing Hybrid Supercomputers

A variant of a numerical algorithm for simulating viscous gasdynamic flows on unstructured hybrid grids and its software implementation for heterogeneous computations is described. The system of Navier–Stokes equations is approximated by the finite-volume method of an increased approximation order with the values of the variables being defined at the mass centers of the grid elements. The distributed software implementation of the numerical algorithm is adapted to running on hybrid computer systems of various architectures. Comparative implementations were created using the MPI, OpenMP, CUDA, and OpenCL software models permitting the use of multicore processors and various types of accelerators, including NVIDIA and AMD graphics processors, and Intel Xeon Phi multicore coprocessors. The data exchange between MPI processes and between processors and accelerators is carried out simultaneously with the execution of calculations (both in MPI + OpenMP mode and when using CUDA or OpenCL). The indicators of parallel efficiency and performance on systems with different types of computing devices are studied in detail. In the tests, up to 260 GPUs were successfully used.     

基于无线局域网的移动检测优化方案

移动检测对移动IPv6中切换时延有重要影响,对移动IPv6中的移动检测机制进行研究.提出了一种在IEEE 802.11无线局域网环境下移动IPv6的低时延检测方法.在不依靠链路1层触发的条件下,使用非均匀检测模型来减小切换检测产生的时延,降低了切换检测过程的开销.     

Adaptive Fuzzy Output Regulation for Unmanned Surface Vehicles with Prescribed Performance

Dynamics of an unmanned surface vehicle (USV) is usually hard to be modeled accurately due to system uncertainties and disturbances, which can significantly reduce system control performance. To guarantee a satisfied control performance under modeling uncertainties and disturbances, a novel control scheme combining adaptive fuzzy output regulation control and prescribed performance control is proposed in this paper. The unknown nonlinear dynamics of the USV is firstly approximated by a fuzzy logic system, and then an adaptive output regulation control law is developed using backstepping approach for the USV to track a reference system while rejecting disturbances and approximation errors induced by the fuzzy logic system. Meanwhile, the prescribed performance control technique is combined to the adaptive output regulation control design to reach a desired control performance in spite of the unknown system dynamics and disturbances. A simulation study is finally provided to demonstrate the effectiveness of the proposed approach.