• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • 1
  • 1
  • Tagged with
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Agda as a platform for the development of verified railway interlocking systems

Kanso, Karim January 2012 (has links)
No description available.
2

A mobile agent approach for distributed train control and monitoring system.

January 1998 (has links)
by Wong, Wan-Lung. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1998. / Includes bibliographical references (leaves 88-92). / Abstract also in Chinese. / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Mobile Agent Systems --- p.1 / Chapter 1.2 --- Distributed Control Systems --- p.2 / Chapter 1.3 --- Motivation of the Dissertation --- p.3 / Chapter 1.4 --- Related Work --- p.3 / Chapter 1.5 --- Overview of the Dissertation --- p.5 / Chapter 2 --- Mobile Agents --- p.6 / Chapter 2.1 --- Definition of an Agent --- p.7 / Chapter 2.1.1 --- A Weak Notion of Agents --- p.8 / Chapter 2.1.2 --- A Stronger Notion of Agents --- p.9 / Chapter 2.1.3 --- Other Attributes of Agents --- p.9 / Chapter 2.2 --- Characteristics of Mobile Agents --- p.10 / Chapter 2.3 --- Programming Languages for Mobile Agents --- p.11 / Chapter 3 --- A Mobile Agent Framework --- p.16 / Chapter 3.1 --- The Framework --- p.16 / Chapter 3.1.1 --- Agent Operations --- p.19 / Chapter 3.1.2 --- Agent Life Cycle --- p.23 / Chapter 3.1.3 --- Agent Migration Server --- p.26 / Chapter 3.1.4 --- Communication Server --- p.28 / Chapter 3.1.5 --- Facilitator --- p.30 / Chapter 3.2 --- April as a Mobile Agent Language --- p.30 / Chapter 4 --- An Agent Based Distributed Train Control and Monitoring Sys- tem --- p.32 / Chapter 4.1 --- Introduction to DiTCAMS --- p.33 / Chapter 4.2 --- Terminology in DiTCAMS --- p.34 / Chapter 4.3 --- Architecture of DiTCAMS --- p.34 / Chapter 4.3.1 --- Active Agents --- p.36 / Chapter 4.3.2 --- Passive Agents --- p.38 / Chapter 4.4 --- Agent Collaborations --- p.41 / Chapter 4.4.1 --- Track Resource Allocation --- p.41 / Chapter 4.4.2 --- Sensor Triggering --- p.42 / Chapter 4.4.3 --- Hardware Control --- p.42 / Chapter 4.4.4 --- Train Migration --- p.42 / Chapter 4.5 --- Other Implementation Issues --- p.46 / Chapter 4.5.1 --- Track Resource Management --- p.47 / Chapter 4.5.2 --- Railway Topology Encoding --- p.50 / Chapter 4.5.3 --- Train Location Determination --- p.54 / Chapter 4.5.4 --- Train Speed Control --- p.62 / Chapter 4.5.5 --- Collision Prevention and Recovery --- p.64 / Chapter 4.5.6 --- Improving Efficiency of April for Real-time Execution --- p.65 / Chapter 5 --- Discussions --- p.72 / Chapter 5.1 --- On Enabling Mobile Agents --- p.72 / Chapter 5.2 --- Cost in Achieving Mobile Agents --- p.74 / Chapter 5.3 --- On Using April as a Mobile Agent Language --- p.75 / Chapter 5.4 --- History of DiTCAMS --- p.76 / Chapter 6 --- Concluding Remarks --- p.79 / Chapter 6.1 --- Contributions --- p.79 / Chapter 6.2 --- Limitations --- p.80 / Chapter 6.3 --- Future Work --- p.81 / Chapter A --- Hardware Components --- p.83 / Chapter B --- A Concurrent Administrator Based Train System Using C --- p.85 / Bibliography --- p.88
3

Signal size in apparent detectability of railroad-highway crossing signals

Ramankutty, Padmanabhan January 2011 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries

Page generated in 0.0541 seconds