Optimal testing resource allocation during module testing considering cost, testing effort and reliability

Software reliability is one of the most important quality attributes of commercial software. During software testing, software reliability growth models (SRGMs) are commonly used to describe the phenomenon of failure occurrence and/or fault removal which consequently enhancements software reliability. Large software systems are developed by integrating a number of relatively small and independent modules, which are tested independently during module testing phase. The amount of testing resource available is limited which is desired to be consumed judiciously so as to optimize the testing process. In this paper we formulate a resource allocation problem of minimizing the cost of software testing under available amount of testing resource, given a reliability constraint. We use a flexible SRGM considering testing effort which, depending upon the values of parameters, can describe either exponential or S-shaped failure pattern of software modules. A systematic and sequential Algorithm is proposed to solve the optimization problem formulated. Numerical examples are given to illustrate the formulation and solution procedures. Sensitivity analysis is performed to examine the behavior of some parameters of SRGM with most significant influence.     

Aircraft design optimization

In this paper we describe briefly a set of procedures for the optimal design of full mission aerospace systems. This involves multi-physics simulations at various fidelity levels, surrogates, distributed computing and multi-objective optimization. Low-fidelity analysis is used to populate a database of inputs and outputs of the system simulation and Neural Networks are then designed to generate inexpensive surrogates. Higher fidelity is used only where is warranted and also to do a local exploration after global optimization techniques have been used on the surrogates in order to provide plausible initial values. The ideas are exemplified on a generic supersonic aircraft configuration, where one of the main goals is to reduce the ground sonic boom.     

Active fault detection and control: Unified formulation and optimal design

A new unified formulation of the active fault detection and control problem for discrete-time stochastic systems and its optimal solution are proposed. The problem formulation stems from the optimal stochastic control problem and includes important special cases: an active detector and controller, an active detector and input signal generator, and an active detector with a given input signal generator. The optimal solution is derived using the so-called closed loop information processing strategy. This strategy respects the influence of the current decision and/or input on the future behavior of the observed system, allows penalizing future wrong decisions, and improves the quality of fault detection. The proposed formulation and obtained solution also provide better understanding of the active fault detection and its relation to the optimal stochastic control. The results are illustrated in numerical examples.     

Suppressing intersample behavior in iterative learning control

Iterative Learning Control (ILC) is a control strategy to improve the performance of digital batch repetitive processes. Due to its digital implementation, discrete time ILC approaches do not guarantee good intersample behavior. In fact, common discrete time ILC approaches may deteriorate the intersample behavior, thereby reducing the performance of the sampled-data system. In this paper, a generally applicable multirate ILC approach is presented that enables to balance the at-sample performance and the intersample behavior. Furthermore, key theoretical issues regarding multirate systems are addressed, including the time-varying nature of the multirate ILC setup. The proposed multirate ILC approach is shown to outperform discrete time ILC in realistic simulation examples.     

Optimal dynamic advertising with an adverse exogenous effect on brand goodwill

We propose the model of a firm that advertises a product in a homogeneous market, where a constant exogenous interference is present. Using the framework of Nerlove and Arrow’s advertising model, we assume that the interference acts additively on goodwill production as a negative term. Hence, we allow that the goodwill may become negative and we associate a zero demand with negative goodwill values. We consider a piecewise linear demand function and formulate a nonsmooth optimal-control problem with an infinite horizon. We obtain that an optimal advertising policy exists and takes one of two forms: either a positive and constant advertising effort, or a decreasing effort starting from a positive level and eventually reaching the zero value at a finite exit time. In the former scenario, the demand is always positive and the firm stays in the market in the long run; in the latter, the demand becomes zero in the short run, and afterward, the firm goes out of business. In both cases we have an explicit representation of the optimal control, which is obtained through the study of an auxiliary smooth optimal-control problem. It is interesting that the fundamental choice between staying in the market and going out of business at some time depends both on the interference level and on the initial goodwill level.     

Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics

In this paper we introduce a class of continuous-time hybrid dynamical systems called integral continuous-time hybrid automata (icHA) for which we propose an event-driven optimization-based control strategy. Events include both external actions applied to the system and changes of continuous dynamics (mode switches). The icHA formalism subsumes a number of hybrid dynamical systems with practical interest, e.g., linear hybrid automata. Different cost functions, including minimum-time and minimum-effort criteria, and constraints are examined in the event-driven optimal control formulation. This is translated into a finite-dimensional mixed-integer optimization problem, in which the event instants and the corresponding values of the control input are the optimization variables. As a consequence, the proposed approach has the advantage of automatically adjusting the attention of the controller to the frequency of event occurrence in the hybrid process. A receding horizon control scheme exploiting the event-based optimal control formulation is proposed as a feedback control strategy and proved to ensure either finite-time or asymptotic convergence of the closed-loop.     

Exploiting the performance gains of modern disk drives by enhancing data locality

Due to the widening performance gap between RAM and disk drives, a large number of I/O optimization methods have been proposed and designed to alleviate the impact of this gap. One of the most effective approaches of improving disk access performance is enhancing data locality. This is because the method could increase the hit ratio of disk cache and reduce the seek time and rotational latency. Disk drives have experienced dramatic development since the first disk drive was announced in 1956. This paper investigates some important characteristics of modern disk drives. Based on the characteristics and the observation that data access on disk drives is highly skewed, the frequently accessed data blocks and the correlated data blocks are clustered into objects and moved to the outer zones of a modern disk drive. The idea attempts to enhance spatial locality, improve the efficiency of aggressive sequential prefetch, and take advantage of Zoned Bit Recording (ZBR). An experimental simulation is employed to investigate the performance gains generated by the enhanced data locality. The performance gains are analyzed by breaking down the disk access time into seek time, rotational latency, data transfer time, and hit ratio of the disk cache. Experimental results provide useful insights into the performance behaviours of a modern disk drive with enhanced data locality.     

Automatic face detection in video sequences using local normalization and optimal adaptive correlation techniques

Automatic human face detection from video sequences is an important component of intelligent human computer interaction systems for video surveillance, face recognition, emotion recognition and face database management. This paper proposes an automatic and robust method to detect human faces from video sequences that combines feature extraction and face detection based on local normalization, Gabor wavelets transform and Adaboost algorithm. The key step and the main contribution of this work is the incorporation of a normalization technique based on local histograms with optimal adaptive correlation (OAC) technique to alleviate a common problem in conventional face detection methods: inconsistent performance due to sensitivity to variation illuminations such as local shadowing, noise and occlusion. The approach uses a cascade of classifiers to adopt a coarse-to-fine strategy for achieving higher detection rates with lower false positives. The experimental results demonstrate a significant performance improvement gains and achieved by local normalization over methods without normalizations in real video sequences with a wide range of facial variations in color, position, scale, and varying lighting conditions.     

On the analysis of nonlinear nilpotent switched systems using the Hall–Sussmann system

We consider an open problem on the stability of nonlinear nilpotent switched systems posed by Daniel Liberzon. Partial solutions to this problem were obtained as corollaries of global nice reachability results for nilpotent control systems. The global structure is crucial in establishing stability. We show that a nice reachability analysis may be reduced to the reachability analysis of a specific canonical system, the nilpotent Hall–Sussmann system. Furthermore, local nice reachability properties for this specific system imply global nice reachability for general nilpotent systems. We derive several new results revealing the elegant Lie-algebraic structure of the nilpotent Hall–Sussmann system.