Integer programming based solution approaches for the train dispatching problem

Railroads face the challenge of competing with the trucking industry in a fastpaced environment. In this respect, they are working toward running freight trains on schedule and reducing travel times. The planned train schedules consist of departure and arrival times at main stations on the rail network. A detailed timetable, on the other hand, consists of the departure and arrival times of each train in each track section of its route. The train dispatching problem aims to determine detailed timetables over a rail network in order to minimize deviations from the planned schedule. We provide a new integer programming formulation for this problem based on a spacetime network; we propose heuristic algorithms to solve it and present computational results of these algorithms. Our approach includes some realistic constraints that have not been previously considered as well as all the assumptions and practical issues considered by the earlier works

The mission operations planning assistant

The Mission Operations Planning Assistant (MOPA) is a knowledge-based system developed to support the planning and scheduling of instrument activities on the Upper Atmospheric Research Satellite (UARS). The MOPA system represents and maintains instrument plans at two levels of abstraction in order to keep plans comprehensible to both UARS Prinicpal Investigators and Command Management personnel. The hierarchical representation of plans also allows MOPA to automatically create detailed instrument activity plans from which spacecraft command loads may be generated. The MOPA system was developed on a Symbolics 3640 computer using the ZETALISP and ART languages. MOPA's features include a textual and graphical interface for plan inspection and modification, recognition of instrument operational constraint violations during the planning process, and consistency maintenance between the different planning levels. This paper describes the current MOPA system

Semantic enabled complex event language for business process monitoring

Efforts are being made to enable business process monitoring and analysis through processing continuously generated events. Several ontologies and tools have been defined and implemented to allow applying general-purpose Business Process Analysis techniques to specific domains. On this basis, a Semantic Enabled Monitoring Event Language (SEMEL) is proposed to facilitate defining complex queries over monitoring data so as to interleave temporal and ontological reasoning. In this paper, the formal semantics of SEMEL is discussed, and the implementation approach of SEMEL interpreter is also briefly described, which encompasses translation into an operational language

Targeting Conservation Investments in Heterogeneous Landscapes: A distance function approach and application to watershed management

To achieve a given level of an environmental amenity at least cost, decision-makers must integrate information about spatially variable biophysical and economic conditions. Although the biophysical attributes that contribute to supplying an environmental amenity are often known, the way in which these attributes interact to produce the amenity is often unknown. Given the difficulty in converting multiple attributes into a unidimensional physical measure of an environmental amenity (e.g., habitat quality), analyses in the academic literature tend to use a single biophysical attribute as a proxy for the environmental amenity (e.g., species richness). A narrow focus on a single attribute, however, fails to consider the full range of biophysical attributes that are critical to the supply of an environmental amenity. Drawing on the production efficiency literature, we introduce an alternative conservation targeting approach that relies on distance functions to cost-efficiently allocate conservation funds across a spatially heterogeneous landscape. An approach based on distance functions has the advantage of not requiring a parametric specification of the amenity function (or cost function), but rather only requiring that the decision-maker identify important biophysical and economic attributes. We apply the distance-function approach empirically to an increasingly common, but little studied, conservation initiative: conservation contracting for water quality objectives. The contract portfolios derived from the distance-function application have many desirable properties, including intuitive appeal, robust performance across plausible parametric amenity measures, and the generation of ranking measures that can be easily used by field practitioners in complex decision-making environments that cannot be completely modeled. Working Paper # 2002-01

A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc