In preliminary design phase the integration of the economic constraints of a product is a hard engineering work since there is a real lack of dedicated tools. This article illustrates a specification software solution method making it possible to meet this need, applied to the micro-electronic field.

Cloud computing is a nascent technology which widely spreads among researchers. It provides users with infrastructure, platform and software as amenity which is effortlessly accessible via Internet. In cloud computing, there are numerous tasks needs to be executed by the existing resources to attain best performance, shortest response time, minimal total time for completion, utilization of reso...

In this article, reliability sampling plans are developed for the Weibull distribution when the life test is progressively first-failure censored.We use themaximum likelihoodmethod to obtain the point estimators of the model parameters. We propose an approach to establish reliability sampling plans which minimize three different objective functions under the constraint of total cost of experime...

the world health organization’s (who’s) world health report 2010, “health systems financing, the path to universal coverage,” promoted universal health coverage (uhc) as an aspirational objective for country health systems. yet, in addition to the dimensions of services and coverage, distribution of coverage in the population, and financial risk protection highlighted by the report, the conside...

We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size – Minion delivers scalable constraint solving. Minion is a general-purpose constraint solver, with an expressive input language based on the common constraint modelling device of matrix m...

A methodology is presented for integrating effective-bandwidth-based routing for QoS-sensitive traffic and datagram routing of the best-effort traffic. To prevent excessive delays of best-effort traffic in a network domain, we develop (1) a constraint, stated in the form of a residual link bandwidth, and (2) a cost function for application to routing of QoS connections. Link-based and path-base...

Modelbased Predictive Control (MPC) is a control technique that is widely used in chemical process industry. In the past decade, stability of MPC has been an intensive research area, resulting in the general acceptance of a theoretical MPC stability framework introducing a terminal cost and terminal constraint to the classic MPC formulation. Although guaranteeing stability, issues regarding opt...

Many global constraints can be described by a regular expression or a DFA. Originally, the regular constraint, uses a DFA to describe the constraint, however, it can also be used to express a table constraint. Thus, there are many representations for an equivalent constraint. In this paper, we investigate the effect of different representations on natural extensions of the regular constraint fo...

We present a new kinematic calibration algorithm for redundantly actuated parallel mechanisms, and illustrate the algorithm with a case study of a planar seven-element 2-degree-of-freedom (DOF) mechanism with three actuators. To calibrate a nonredundantly actuated parallel mechanism, one can find actual kinematic parameters by means of geometrical constraint of the mechanism’s kinematic structu...

As the cost-driven public cloud services emerge, budget constraint is one of the primary design issues in large-scale scientific applications executed on heterogeneous cloud computing systems. Minimizing the schedule length while satisfying the budget constraint of an application is one of the most important quality of service requirements for cloud providers. A directed acyclic graph (DAG) can...