Sökning: "automatic routing"

Visar resultat 1 - 5 av 10 avhandlingar innehållade orden automatic routing.

  1. 1. Ad hoc routing protocol validation

    Författare :Oskar Wibling; Joachim Parrow; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Sammanfattning : We explore and evaluate methods for validation of ad hoc routing protocols which are used to set up forwarding paths in spontaneous networks of mobile devices. The focus is automatic formal verification but we also make an initial account of a protocol performance comparison using structured live testing. LÄS MER

  3. 2. Computational Methods for Deformable 1D Objects in Virtual Product Realization

    Författare :Tomas Hermansson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; assembly verification; variation simulation; robust design; path planning; Cosserat rod theory; deformable 1D objects; automatic routing;

    Sammanfattning : In industry today, virtual design tools are used in the realization of a new product. As changes in the design and planning concepts are extremely costly in the later verification and production phases, much can be gained if a product design can be optimized and verified with respect to the assembly process with simulation tools as early as possible. LÄS MER

  4. 3. Creating Correct Network Protocols

    Författare :Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

    Sammanfattning : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. LÄS MER

  5. 4. Aspects of proactive traffic engineering in IP networks

    Författare :Anders Gunnar; Mikael Johansson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Automatic control; Reglerteknik;

    Sammanfattning : To deliver a reliable communication service over the Internet it is essential for the network operator to manage the traffic situation in the network. The traffic situation is controlled by the routing function which determines what path traffic follows from source to destination. LÄS MER

  7. 5. Planning Robotic Assembly Sequences

    Författare :Domenico Spensieri; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; robot routing and scheduling; path planning; Assembly planning; geometrical variation; cycle time optimization;

    Sammanfattning : In the automotive industry, short ramp up times and high product quality drive the development toward state-of-the-art solutions both in the research and industrial perspective. In addition to that, a sustainable industry requires optimized equipment utilization, in terms of materials used and consumed energy. LÄS MER