We describe a computer-based system to automatically lay out metro maps using multicriteria optimization. The starting layout for the method is the geographic layout or a sketch of the map. The system attempts to improve this layout. It measures the map by calculating a number of criteria. These criteria are weighted and summed together: stations are moved if the sum of the weighted criteria is...

This paper describes the project, the development and deployment of a Metro Ethernet Network in the city of Morungaba, SP, Brazil. The Ethernet is a widely deployed technology that has proved its robustness and cost-effectiveness. The Ethernet standards guarantee transmission rates from 10Mbps to 10,000Mbps. When used in the scope of the Metropolitan Network, the Ethernet standard can allow the...

We consider the problem of drawing a set of simple paths along the edges of an embedded underlying graph G = (V, E), so that the total number of crossings among pairs of paths is minimized. This problem arises when drawing metro maps, where the embedding of G depicts the structure of the underlying network, the nodes of G correspond to train stations, an edge connecting two nodes implies that t...

This paper describes the network shapes and operating characteristics that allow a transit system to deliver a level of service competitive with that of the automobile. To provide exhaustive results for service regions of different sizes and demographics, the paper idealizes these regions as squares, and their possible networks with a broad and realistic family that combines the grid and the hu...

This diploma thesis investigates the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g. the physical location of the tracks and stations of a metro system) and a set L of paths or cycles in G (e.g. metro lines) such that each edge of G belongs to at least one element of L, draw G and L nicely. We fi...

We study Express, a system that uses template semantics to map specifications to SMV models. We investigate the efficiency of the generated SMV models. We consider two case studies and compare manually created SMV models with models generated by Express. The generated models are more complex and have larger state spaces, and consequently longer verification times. We also analyze the effect of ...

Whilst being hailed as the remedy to the world's ills, cities will need to adapt in the 21(st) century. In particular, the role of public transport is likely to increase significantly, and new methods and technics to better plan transit systems are in dire need. This paper examines one fundamental aspect of transit: network centrality. By applying the notion of betweenness centrality to 28 worl...

INTERNET traffic volumes are growing and require the transmission capacity of the underlying infrastructure to be continuously extended. A closer look at this infrastructure reveals that the Internet architecturally relies on a three level hierarchy consisting of backbone networks, metropolitan area networks, and local access networks. The national or international backbone networks will provid...

This paper examines the system design considerations of metropolitan area networks utilizing cable television networks for the delivery of a variety of services to residential customers. Specifically, this paper focuses on the technology, marketplace, and regulatory aspects of this new and expanding market.