Civil & Environmental Engineering Research Works

Permanent URI for this collectionhttp://hdl.handle.net/1903/1657

Browse

End date: 2019Subject: search.filters.subject.infrastructure

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways
    (MDPI, 2018-01-12) Austin, Mark A.; Johnson, John
    Now that modern infrastructure systems are moving toward an increased use of automation in their day-to-day operations, there is an emerging need for new approaches to the formal analysis and validation of system functionality with respect to correctness of operations. This paper describes a compositional approach to the multi-level behavior modeling and formal validation of large-scale distributed system operations with hierarchies and networks of finite state automata. To avoid the well-known state explosion problem, we develop a new procedure for viewpoint-action-process traceability, thereby allowing parts of a behavior model not relevant to a specific decision to be removed from consideration. Key features of the methodology are illustrated through the development of behavior models and validation procedures for polite conversation between two individuals, and lockset- and system-level concerns for ships traversing a large-scale waterway system.
  • Thumbnail Image
    Item
    Utilization of Dynamic and Static Sensors for Monitoring Infrastructures
    (IntechOpen, 2018-12-12) Fu, Chung C.; Zhu, Yifan; Hou, Kuang-Yuan
    Infrastructures, including bridges, tunnels, sewers, and telecommunications, may be exposed to environmental-induced or traffic-induced deformation and vibrations. Some infrastructures, such as bridges and roadside upright structures, may be sensitive to vibration and displacement where several different types of dynamic and static sensors may be used for their measurement of sensitivity to environmental-induced loads, like wind and earthquake, and traffic-induced loads, such as passing trucks. Remote sensing involves either in situ, on-site, or airborne sensing where in situ sensors, such as strain gauges, displacement transducers, velometers, and accelerometers, are considered conventional but more durable and reliable. With data collected by accelerometers, time histories may be obtained, transformed, and then analyzed to determine their modal frequencies and shapes, while with displacement and strain transducers, structural deflections and internal stress distribution may be measured, respectively. Field tests can be used to characterize the dynamic and static properties of the infrastructures and may be further used to show their changes due to damage. Additionally, representative field applications on bridge dynamic testing, seismology, and earthborn/construction vibration are explained. Sensor data can be analyzed to establish the trend and ensure optimal structural health. At the end, five case studies on bridges and industry facilities are demonstrated in this chapter.