Search Results

You are looking at 1 - 4 of 4 items for

  • Author: Grzegorz Bocewicz x
Clear All Modify Search
Open access

Grzegorz Bocewicz and Zbigniew Banaszak

Abductive Reasoning Driven Approach to Project - Like Production Flow Prototyping

Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that context, CP can be considered as an appropriate framework for development of decision making software supporting scheduling of multi-robot in a multi-product job shop. The paper deals with multi-resource problem in which more than one shared renewable and non-renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CLP-driven approach to multi-robot task allocation providing a prompt service to a set of routine queries stated both in straight and reverse way. Provided examples illustrate both cases while taking into account an accurate as well as an uncertain specification of robots and workers operation time.

Open access

Zbigniew Banaszak and Grzegorz Bocewicz

Abstract

A declarative framework enabling to determine conditions as well as to develop decision-making software supporting small- and medium-sized enterprises aimed at unique, multi-project-like and mass customized oriented production is discussed. A set of unique production orders grouped into portfolio orders is considered. Operations executed along different production orders share available resources following a mutual exclusion protocol. A unique product or production batch is completed while following a given activity’s network order. The problem concerns scheduling a newly inserted project portfolio subject to constraints imposed by a multi-project environment The answers sought are: Can a given project portfolio specified by its cost and completion time be completed within the assumed time period in a manufacturing system in hand? Which manufacturing system capability guarantees the completion of a given project portfolio ordered under assumed cost and time constraints? The considered problems regard finding a computationally effective approach aimed at simultaneous routing and allocation as well as batching and scheduling of a newly ordered project portfolio subject to constraints imposed by a multi-project environment. The main objective is to provide a declarative model enabling to state a constraint satisfaction problem aimed at multi-project-like and mass customized oriented production scheduling. Multiple illustrative examples are discussed.

Open access

Grzegorz Bocewicz and Zbigniew Banaszak

Abstract

Multimodal processes planning and scheduling play a pivotal role in many different domains including city networks, multimodal transportation systems, computer and telecommunication networks and so on. Multimodal process can be seen as a process partially processed by locally executed cyclic processes. In that context the concept of a Mesh-like Multimodal Transportation Network (MMTN) in which several isomorphic subnetworks interact each other via distinguished subsets of common shared intermodal transport interchange facilities (such as a railway station, bus station or bus/tram stop) as to provide a variety of demand-responsive passenger transportation services is examined. Consider a mesh-like layout of a passengers transport network equipped with different lines including buses, trams, metro, trains etc. where passenger flows are treated as multimodal processes. The goal is to provide a declarative model enabling to state a constraint satisfaction problem aimed at multimodal transportation processes scheduling encompassing passenger flow itineraries. Then, the main objective is to provide conditions guaranteeing solvability of particular transport lines scheduling, i.e. guaranteeing the right match-up of local cyclic acting bus, tram, metro and train schedules to a given passengers flow itineraries.

Open access

Grzegorz Bocewicz, Zbigniew Banaszak and Izabela Nielsen

Abstract

The problems of designing supply networks and traffic flow routing and scheduling are the subject of intensive research. The problems encompass the management of the supply of a variety of goods using multi-modal transportation. This research also takes into account the various constraints related to route topology, the parameters of the available fleet of vehicles, order values, delivery due dates, etc. Assuming that the structure of a supply network, constrained by a transport network topology that determines its behavior, we develop a declarative model which would enable the analysis of the relationships between the structure of a supply network and its potential behavior resulting in a set of desired delivery-flows. The problem in question can be reduced to determining sufficient conditions that ensure smooth flow in a transport network with a fractal structure. The proposed approach, which assumes a recursive, fractal network structure, enables the assessment of alternative delivery routes and associated schedules in polynomial time. An illustrative example showing the quantitative and qualitative relationships between the morphological characteristics of the investigated supply networks and the functional parameters of the assumed delivery-flows is provided.