A new fast motion estimation algorithm using fast mode decision for high-efficiency video coding standard

High-efficiency video coding is the latest standardization effort of the International Organization for Standardization and the International Telecommunication Union. This new standard adopts an exhaustive algorithm of decision based on a recursive quad-tree structured coding unit, prediction unit, and transform unit. Consequently, an important coding efficiency may be achieved. However, a significant computational complexity is resulted. To speed up the encoding process, efficient algorithms based on fast mode decision and optimized motion estimation were adopted in this paper. The aim was to reduce the complexity of the motion estimation algorithm by modifying its search pattern. Then, it was combined with a new fast mode decision algorithm to further improve the coding efficiency. Experimental results show a significant speedup in terms of encoding time and bit-rate saving with tolerable quality degradation. In fact, the proposed algorithm permits a main reduction that can reach up to 75 % in encoding time. This improvement is accompanied with an average PSNR loss of 0.12 dB and a decrease by 0.5 % in terms of bit-rate.     

Performance analysis of a non-preemptive priority queuing system subjected to a correlated Markovian interruption process

In this paper, we consider a discrete-time queuing system with head-of-line non-preemptive priority scheduling and a single server subjected to server interruptions. We model the server interruptions by a correlated Markovian on/off process with geometrically distributed on and off periods. Two classes of traffic are considered, namely high-priority and low-priority traffic. In the first part of the paper, we derive an expression for the functional equation describing the transient evolution of this priority queuing system. This functional equation is then manipulated and transformed into a mathematical tractable form. This allows us to derive the joint probability generating function (pgf) of the system contents. From this pgf, closed-form expressions for various performance measures, such as mean and variance of system contents and customer delay can be derived. Finally, we illustrate our solution technique with some numerical examples, whereby we demonstrate the negative effect of correlation in the interruption process on the performance of both classes. Some numerical results illustrating the impact of second-order characteristics of the arrival process on mean delays are also presented. The proposed approach which is purely based on pgfs is entirely analytical and enables the derivation of not only steady-state but transient performance measures, as well. The paper presents new insights into the performance analysis of discrete-time queues with service interruption and it also covers some previously published results as a special case.

Scope and purpose

In this contribution, we consider a practical queuing model, with HOL priority scheduling, two classes of traffic, and a server which is subjected to a correlated Markovian interruption process. We first derive a non-linear functional equation relating the joint pgf of the system state vector between two consecutive slots. Then we outline a solution technique to solve for this functional equation. This allows us to derive the joint pgf of the system contents of both classes, from which various performance measures related to mean system contents and customer delays are derived. We also demonstrate how the proposed approach allows for derivation of transient performance measures, as well. It should be noted that detailed coverage of the transient analysis of the system is beyond the scope of this paper.To our best knowledge, this is the first initiative that aims to explore the performance of queuing systems with priority scheduling when the shared server is subjected to service interruption. The paper also generalizes the results of Walraevens et al. (Analysis of a single-server ATM queue with priority scheduling, Computers & Operations Research 2003;30(12):1807–30) by incorporating service interruption into their original queuing model. By means of numerical results, the paper also demonstrates the effect of correlation in the service interruption process on the performance of both classes of customers. The impact of second-order characteristics of the arrival process on mean delays is also investigated.     

A GGP approach to solve non convex min-max predictive controller for a class of constrained MIMO systems described by state-space models

This paper proposes a new method to solve non convex min-max predictive controller for a class of constrained linear Multi Input Multi Output (MIMO) systems. A parametric uncertainty state space model is adopted to describe the dynamic behavior of the real process. Moreover, the output deviation method is used to design the j-step ahead output predictor. The control law is obtained by the resolution of a non convex min-max optimization problem under input constraints. The key idea is to transform the initial non convex optimization problem to a convex one by means of variable transformations. To this end, the Generalized Geometric Programming (GGP) which is a global deterministic optimization method is used. An efficient implementation of this approach will lead to an algorithm with a low computational burden. Simulation results performed on Multi Input Multi Output (MIMO) system show successful set point tracking, constraints satisfaction and good non-zero disturbance rejection.     

Verifying parallel programs with dynamic communication structures

We address the verification problem of networks of communicating pushdown systems modeling communicating parallel programs with procedure calls. Processes in such networks can read the control state of the other processes according to a given communication structure (specifying the observability rights between processes). The reachability problem of such models is undecidable in general. First, we define a class of networks that effectively preserves recognizability (hence, its reachability problem is decidable). Then, we consider networks where the communication structure can change dynamically during the execution according to a phase graph. The reachability problem for these dynamic networks being undecidable in general, we define a subclass for which it becomes decidable. Then, we consider reachability when the switches in the communication structures are bounded. We show that this problem is undecidable even for one switch. We define a natural class of models for which this problem is decidable. This class can be used in the definition of an efficient semi-decision procedure for the analysis of the general model of dynamic networks. Our techniques allowed to find bugs in two versions of a Windows NT Bluetooth driver.     

A Fuzzy Collaborative Assessment Methodology for Partner Trust Evaluation

Trust level assessment within collaborative networks is an interesting issue in the partner evaluation and partner selection literature. This paper proposes a fuzzy collaborative assessment methodology for partner trust evaluation within horizontal collaborative networks. The proposed approach concerns a group evaluation context where a decision‐making comity associated with a manufacturer needs to evaluate its company's partners for their ranking purposes. Different expertise levels are attributed to the comity members. In this paper, trust level is evaluated based on information‐sharing attributes considered in the literature as critical influencing factors. Different weights are associated with these attributes with respect to their corresponding influence on trust. The semantic fuzzy partitioning method is considered for the collaborative trust assessment based on unbalanced linguistic term sets representing information‐sharing attributes. The developed approach is applied to a real case showing its effectiveness and its objectivity.     

Hot carrier reliability of RF N- LDMOS for S Band radar application

This paper presents an innovative reliability bench specifically dedicated to high RF power device lifetime tests under pulse conditions for radar application. A base-station dedicated LDMOS transistor has been chosen for RF lifetests and a complete device electric characterization has been performed. A whole review of its critical electrical parameters after accelerated ageing tests is proposed and discussed. This study tend to explain the physical degradation mechanisms occurred during RF life-tests by means of 2D ATLAS-SILVACO simulations. Finally, the paper demonstrates that N-LDMOS degradation is linked to hot carriers generated interface states (traps) and trapped electrons, which results in a build up of negative charge at Si/SiO2 interface. More interface states are created at low temperature due to a located maximum impact ionization rate at the gate edge.     

Mesoscopic approach for steady‐state free convection in a diamond array

The purpose of the present paper is testing an in‐house efficiency algorithm based on lattice Boltzmann method (LBM) and using it to resolve the obtained coupled nondimensional governing equations to analyze two‐dimensional free convection inside a cold outer cavity subjected to a heated cylindrical diamond array. Steady state or oscillatory results are obtained using the Bhatnagar‐Gross‐Krook collision model associated to the thermal LBM. Both the velocity and temperature fields are solved using the D2Q9 models. With different Rayleigh numbers (Ra), the tested free convection can either achieve to steady state or oscillatory. We extended our in house Fortran 90 code using curved boundary conditions and implemented them into a cavity with a diamond array. The numerical simulations were done using distinct Ra (10⁶ and 10 ⁷) and distances between the four neighboring circular cylinders aligned in a diamond array. The effects of several physical parameters, including Ra and position of the hot body array on flow and heat transfer characteristics are investigated. The obtained results are highlighted in the form of streamlines, isotherms, and velocities plots. We show in this paper the stability and the efficiency of the LBM to deal with a complex geometry and its ability to reach suitable convergence criteria for high Ra (10 ⁶ and 10 ⁷). The numerical results indicate that LBM can simulate numerical problems with a high Ra reaching a steady state where we can depict the change of the flow pattern and enhancement of the heat transfer in the presence of heated diamond array.     

Extracting TSK-type Neuro-Fuzzy model using the Hunting search algorithm

This paper proposes a Takagi-Sugeno-Kang (TSK) type Neuro-Fuzzy model tuned by a novel metaheuristic optimization algorithm called Hunting Search (HuS). The HuS algorithm is derived based on a model of group hunting of animals such as lions, wolves, and dolphins when looking for a prey. In this study, the structure and parameters of the fuzzy model are encoded into a particle. Thus, the optimal structure and parameters are achieved simultaneously. The proposed method was demonstrated through modeling and control problems, and the results have been compared with other optimization techniques. The comparisons indicate that the proposed method represents a powerful search approach and an effective optimization technique as it can extract the accurate TSK fuzzy model with an appropriate number of rules.