DeepAI AI Chat
Log In Sign Up

Computational Network Design from Functional Specifications

10/30/2015
by   Chi-Han Peng, et al.
Arizona State University
UCL
0

Connectivity and layout of underlying networks largely determine the behavior of many environments. For example, transportation networks determine the flow of traffic in cities, or maps determine the difficulty and flow in games. Designing such networks from scratch is challenging as even local network changes can have large global effects. We investigate how to computationally create networks starting from only high-level functional specifications. Such specifications can be in the form of network density, travel time versus network length, traffic type, destination locations, etc. We propose an integer programming-based approach that guarantees that the resultant networks are valid by fulfilling all specified hard constraints, and score favorably in terms of the objective function. We evaluate our algorithm in three different design settings (i.e., street layout, floorplanning, and game level design) and demonstrate, for the first time, that diverse networks can emerge purely from high-level functional specifications.

READ FULL TEXT

page 6

page 7

page 8

page 9

12/17/2019

ORC Layout: Adaptive GUI Layout with OR-Constraints

We propose a novel approach for constraint-based graphical user interfac...
02/23/2022

ReverseORC: Reverse Engineering of Resizable User Interface Layouts with OR-Constraints

Reverse engineering (RE) of user interfaces (UIs) plays an important rol...
02/23/2020

ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints

OR-constrained (ORC) graphical user interface layouts unify conventional...
01/15/2018

Algebraic Specifications of Wayfinding Using Cognitive Map

This paper outlines the formal representation of the environment in whic...
03/16/2013

Separating Topology and Geometry in Space Planning

We are dealing with the problem of space layout planning here. We presen...
04/27/2022

Online Distributed Evolutionary Optimization of Time Division Multiple Access Protocols

With the advent of cheap, miniaturized electronics, ubiquitous networkin...
01/17/2019

Computational Design of Lightweight Trusses

Trusses are load-carrying light-weight structures consisting of bars con...