Drawing with SAT: four methods and A tool for producing railway infrastructure schematics

Schematic drawings showing railway tracks and equipment are commonly used to visualize railway operations and to communicate system specifications and construction blueprints. Recent advances in on-line collaboration and modeling tools have raised the expectations for quickly making changes to models, resulting in frequent changes to layouts, text, and/or symbols in schematic drawings. Automating the creation of high-quality schematic views from geographical and topological models can help engineers produce and update drawings efficiently. This paper introduces four methods for automatically producing schematic railway drawings with increasing level of quality and control over the result. The final method, implemented in the open-source tool that we have developed, can use any combination of the following optimization criteria, which can have different priorities in different use cases: width and height of the drawing, the diagonal line lengths, and the number of bends. We show how to encode schematic railway drawings as an optimization problem over Boolean and numerical domains, using combinations of unary number encoding, lazy difference constraints, and numerical optimization into an incremental SAT formulation. We compare drawings resulting from each of the four methods, applied to models of real-world engineering projects and existing railway infrastructure. We also show how to add symbols and labels to the track plan, which is important for the usefulness of the final outputs. Since the proposed tool is customizable and efficiently produces high-quality drawings from railML 2.x models, it can be used (as it is or extended) both as an integrated module in an industrial design tool like RailCOMPLETE, or by researchers for visualization purposes.publishedVersio

Network modeling and optimization for energy and sustainable transit

Energy and transportation systems are integral to our infrastructure. Along with other types of networks, critical challenges constantly arise, particularly with regard to accessibility, efficiency, optimality, and sustainability. In this dissertation, we use mixed integer programming, data mining and mixed complementarity techniques to address some of these challenges. We have developed an improved schematic mapping algorithm to facilitate the process of network representation for a variety of systems beyond transportation. We also discover fundamental patterns in bicycle ownership on a global scale with implications for sustainable urban planning and public health outcomes. Finally, we model the fast-growing crude oil market in North America, implementing scenarios that point to integrated approaches to exports, pipeline investments and targeted rail restrictions as most viable for addressing medium-term oil transportation concerns. The methods we employ are generalizable to other types of energy and transit systems, and beyond. Finally, we discuss the importance of these methods to newer applications

De-Sign Environment Landscape City Atti

La VI Conferenza Internazionale sul Disegno, De_Sign Environment Landscape City_Genova 2020 tratta di: Rilievo e Rappresentazione dell’Architettura e dell’Ambiente; Il Disegno per il paesaggio; Disegni per il Progetto: tracce - visioni e pre-visioni; I margini i segni della memoria e la città in progress; Cultura visiva e comunicazione dall’idea al progetto; Le emergenze architettoniche; Il colore e l’ambiente; Percezione e identità territoriale; Patrimonio iconografico culturale paesaggistico: arte, letteratura e ricadute progettuali; Segni e Disegni per il Design e Rappresentazione avanzata. Federico Babina, architetto e graphic designer presenta ARCHIVISION, e Eduardo Carazo Lefort, Docente dell’Università di Valladolid e Targa d’Oro dell’Unione Italiana Disegno la Lectio Magistralis. The VI International Conference on Drawing, De_Sign Environment Landscape City_Genoa 2020, deals with: Survey and Representation of Architecture and the Environment; Drawing for the landscape; De-signs for the Project: traces-visions and previews; Margins, signs of memory and the city in progress; Visual culture and communication from idea to project; Architectural emergencies; The color and the environment; Perception and territorial identity; Landscape cultural iconographic heritage: art, literature and design implications; Signs and Drawings for Design and Advanced Representation. Federico Babina, architect and graphic designer presents ARCHIVISION, and Professor Eduardo Carazo Lefort-University of Valladolid and Gold Plate of the Italian Design Union presents his Lectio Magistralis

Final Report of the DAUFIN project

DAUFIN = Data Assimulation within Unifying Framework for Improved river basiN modeling (EC 5th framework Project

Proceedings of the 9th Arab Society for Computer Aided Architectural Design (ASCAAD) international conference 2021 (ASCAAD 2021): architecture in the age of disruptive technologies: transformation and challenges.

The ASCAAD 2021 conference theme is Architecture in the age of disruptive technologies: transformation and challenges. The theme addresses the gradual shift in computational design from prototypical morphogenetic-centered associations in the architectural discourse. This imminent shift of focus is increasingly stirring a debate in the architectural community and is provoking a much needed critical questioning of the role of computation in architecture as a sole embodiment and enactment of technical dimensions, into one that rather deliberately pursues and embraces the humanities as an ultimate aspiration

Learning cognitive maps: Finding useful structure in an uncertain world

In this chapter we will describe the central mechanisms that influence how people learn about large-scale space. We will focus particularly on how these mechanisms enable people to effectively cope with both the uncertainty inherent in a constantly changing world and also with the high information content of natural environments. The major lessons are that humans get by with a less is more approach to building structure, and that they are able to quickly adapt to environmental changes thanks to a range of general purpose mechanisms. By looking at abstract principles, instead of concrete implementation details, it is shown that the study of human learning can provide valuable lessons for robotics. Finally, these issues are discussed in the context of an implementation on a mobile robot. © 2007 Springer-Verlag Berlin Heidelberg