The availability of two decades of research in off-the-shelf constraint solvers makes Constraint Programming the method of choice in many application areas of Artificial Intelligence. The domain of these systems is naturally very abstract such that an elaborate modeling of the application domain in the constraint domain has to be made. In interactive applications, the found model is normally to...

An uncertainty-oriented cross-scale topology optimization model with global stress reliability constraint, local displacement and micro-manufacturing control based on evidence theory is presented. The oriented to two-dimensional porous material structure, which concurrently designs the distribution of both macrostructure cell microstructure. During process, homogenization method used solve equi...

one of the most remarkable basis of the gravity data inversion is the recognition of sharp boundaries between an ore body and its host rocks during the interpretation step. therefore, in this work, it is attempted to develop an inversion approach to determine a 3d density distribution that produces a given gravity anomaly. the subsurface model consists of a 3d rectangular prisms of known sizes ...

Two experiments tested the hypothesis that lexical access in reading is initiated on the basis of word-initial letter information obtainable in the parafoveal region. Eye movements were monitored while college students read sentences containing target words whose initial trigram (Experiment 1) or bigram (Experiment 2) imposed either a high or a low degree of constraint in the lexicon. In contra...

We study the problem of scheduling n jobs in a two-machine flow shop where the second machine is not available for processing during a given time interval. A resumable scenario is assumed, i.e if a job cannot be finished before the down period it is continued after the machine becomes available again. The objective is to minimize the makespan. The best fast approximation algorithm for this prob...

Introduction Because of historical, geographical and demographic conditions Bhutan has a comparative advantage for livestock production. In spite of this favourable conditions the high expectations from development interventions of the seventies and eighties could only be partly realized. After thirty years of intensive breeding programmes, with high inputs of financial and human resources, Bhu...

In this paper, we address the problem of scheduling a set of jobs in a flowshop with makespan objective. In contrast to the usual assumption of machine availability presented in most research, we consider that machines may not be available at the beginning of the planning period, due to processing of previously scheduled jobs. We first formulate the problem, analyse the structure of solutions d...

An efficient resource management mechanism is important in a heterogeneous distributed system to discover available resources, to allocate an appropriate subset of resources to applications, and to map data or tasks onto selected resources. The key component, task scheduling, draws our attention. Makespan is the principal concern of many existing researches. But, other QoS requirements are also...

This paper proposes an optimal solution to large-scale Flexible Manufacturing System (FMS) scheduling problems under availability constraints based on Timed Petri Nets (TPNs). First a decomposition method of TPNs is proposed, then a mathematical model is derived based on their properties. The mathematical model is built to determine the optimal firing sequence of TPN transitions to minimize the...