An analytical model is developed to assign regional freight across a multimodal highway and railway network using geographic information systems. As part of the regional planning process, the model is an iterative procedure that assigns multimodal freight traffic to the network to achieve overall network optimum. The procedure integrates optimization programming with traffic assignment, conside...

Traditionally, traffic assignment allocates trips to links in a traffic network. Nowadays it is also useful to recommend routes. Here, it is interesting to recommend routes that are as close as possible to the system optimum, while also considering the user equilibrium. To compute an approximation of such an assignment, we use a hybrid approach in which an optimization process based on an evolu...

Abstract interpretation techniques can be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. SMT-solving techniques and sparse representations of paths and sets of paths avoid this pitfall. We improve previously proposed techniques for guided static analysis and the generation of disjunctive invariants by combining them with techniques for...

A key feature of optical networks based on wavelength division multiplexing (WDM) technology is the ability to optimize the configuration of optical resources, i.e. wavelengths, with respect to a particular traffic demand. In the broadcast architecture, this involves the assignment of wavelengths to logical links, while in the switched architecture it additionally involves the routing of bandwi...

В работе описывается двухстадийная модель равновесного распределения транспортных потоков. Модель состоит из двух блоков, где первый блок — расчета матрицы корреспонденций, а второй потоков по путям. Первая модель, используя матрицу затрат (затраты на перемещение одного района в другой, данном случае время), рассчитывает описывающую потребности объемах передвижения другой район. Для решения это...