Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...

Quark-meson duality for two-point functions of vector and axial-vector QCD currents is investigated in the large-Nc approximation. We find that the joint constraints of duality and chiral symmetry imply degeneracy of excited vector and axial-vector mesons in the large-Nc limit. We compare model-independent constraints with expectations based on the VenezianoLovelace-Shapiro string model. Severa...

In this paper, an efficient method is presented to control the attitude of a satellite with ON-OFF actuator. The main objective of this novel method is to control the amplitude of the limit cycle which commonly appears in the steady state of such systems; and at the same time by consideration of real actuator constraints, reduce the fuel consumption of system. The Proposed method is a combinati...

A Fault-Tolerant Control (FTC) methodology has been presented for nonlinear processes being imposed by control input constraints. The proposed methodology uses a combination of Feedback Linearization and Model Predictive Control (FLMPC) schemes. The resulting constraints in the transformed process will be dependent on the actual evolving states, making their incorporation in the de...

Many optimization techniques have been proposed since the inception of engineering optimization in 1960s. Traditional mathematical modeling-based approaches are incompetent to solve the engineering optimization problems, as these problems have complex system that involves large number of design variables as well as equality or inequality constraints. In order to overcome the various difficultie...

The study was carried out in Anambra State, Nigeria. Questionnaire was used to collect data from a sample of one hundred and eight (108) small-scale farmers. Percentage, mean score, standard deviation and factor analysis were used for data analysis. The duration of the study was June 2009 and March, 2010. Results of the study indicated that the major constraints to effective use of ICTs by smal...

Complete row and column symmetry breaking in constraint models using the lex leader method is generally prohibitively costly. Double lex, which is derived from lex leader, is commonly used in practice as an incomplete symmetrybreaking method for row and column symmetries. Double lex is based on a rowwise canonical variable ordering. However, this choice is arbitrary. We investigate other canoni...

A near-optimal midcourse trajectory shaping guidance algorithm is proposed for both air and ballistic target engagement mission attributes for generic long range interceptor missile. This guidance methodology is based on the maximum final velocity as the objective function and maximum permissible flight altitude as the in-flight state constraint as well as the head-on orientation as the termina...

The first section provides additional background on solving control problems with pure state constraints. Section B contains proofs, derivations, and the analysis of the Hotelling-like policy in the main text. Section C describes the numerical example’s calibration and solution. Section D adapts the carbon dioxide (CO2) decay model of Golosov et al. (2014) to our setting and demonstrates that t...

We provide a dynamic programming principle for stochastic optimal control problems with expectation constraints. A weak formulation, using test functions and a probabilistic relaxation of the constraint, avoids restrictions related to a measurable selection but still implies the Hamilton-Jacobi-Bellman equation in the viscosity sense. We treat open state constraints as a special case of expecta...