The basic properties of soundness, extensibility, and stability required from a verification system V taken in full yield the necessity of having a reflection rule in every such V. However, the reflection rule based on the Gödel provability predicate (implicit provability predicate) leads to a "reflection tower" of theories which cannot be formally verified. The paper introduces an explicit ref...

SESAR is supposed to boost the development of new operational procedures together with the supporting systems in order to modernize the pan-European air traffic management (ATM). One consequence of this development is that more and more information is presented to –and has to be processed by– air traffic control officers (ATCOs). Thus, there is a strong need for a software design concept that f...

The paper explores known results related to the problem of identifying if a given program terminates on all inputs – this is a simple generalization of the halting problem. We will see how this problem is related and the notion of proof verifiers. We also see how verifying if a program is terminating involves reasoning through a tower of axiomatic theories – such a tower of theories is known as...

This paper presents a benefits assessment methodology for an air traffic control tower advanced automation system called the Tower Flight Data Manager (TFDM), which is being considered for development by the FAA to support NextGen operations. The standard FAA benefits analysis methodology is described, together with how it has been tailored to the TFDM application to help inform the development...

Efficient vertical mobility is a critical component of tall building development and construction. This paper investigates recent advances in elevator technology and examines their impact on tall building development. It maps out, organizes, and collates complex and scattered information on multiple aspects of elevator design, and presents them in an accessible and non-technical discourse. Impo...

Design/bid/build and design/build are two principal project delivery systems used worldwide. The performance of each project may differ with the type of procurement system used. This study has two aims: firstly, to assess and compare the performance of design/bid/build and design/build projects in Lebanon; secondly, to compare the results with the performance of equivalent systems in the Far Ea...

in a steam power plant, the temperature of the cooling water leaving the condenser for recyclingshould decrease. this is achieved in a cooling tower. the heller cooling tower does not require waterfor operation, thus, it is a suitable system for use in thermal power plants throughout iran. wind is anenvironmental factor that unfavorably affects the performance of a cooling tower. previous studi...

This paper presents a detailed thermodynamical exergy analysis of an optimized MSF distillation plant based on the latest published thermodynamics properties of water and seawater software of the Massachusetts Institute of Technology by using design and optimized plant operation data. Exergy flow rates are evaluated throughout the plant and the exergy flow diagram is prepared in both cases....

Fault diagnosis has always been an essential aspect of control system design. This is necessary due to the growing demand for increased performance and safety of industrial systems is discussed. Support vector machine classifier is a new technique based on statistical learning theory and is designed to reduce structural bias. Support vector machine classification in many applications in v...