This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of formal methods: the core time-based constructs of a formal method are schematically translated to the BeSpaceD extension of the Scala programming l...

this paper addresses the mixed integer reliability redundancy allocation problems to determine simultaneous allocation of optimal reliability and redundancy level of components based on three objective goals. system engineering principles suggest that the best design is the design that maximizes the system operational effectiveness and at the same time minimizes the total cost of ownership (tco...

The Model Driven Architecture (MDA) approach of OMG aims to automatically derive software from models. Information Engineering (IE) is succeeding to do this with well established industry solutions for more then one decade. IE can be introduced into the MDA world using model transformation such that both of them can profit from each other in a cooperative way. keywords: MDA, MOF, UML, Informati...

Post-earthquake repair costs are important for evaluating the performance of new bridge design options and different existing bridge configurations in the next major earthquake. Hazard and structural demand models provide information on the probabilistic structural response during earthquakes. Damage and decision models are needed to link the structural response to decisions on bridge repair ac...

To deepen understanding and hasten the development of treatments, cancer needs to be modelled more accurately in vitro; applying tissue-engineering concepts and approaches in this field could bridge the gap between two-dimensional studies and in vivo animal models.

This paper reviewed models embedded in coal combustion simulation, and simulation of 200MW TFB (tangentially-fired boiler) is illustrated later. Comprehensive simulation of combustion will be a bridge between physical theory and practical engineering problems.

System identification technique is used widely in the damage assessment of engineering structures. It is regarded as the key part of a structural health monitoring system, which identifies the physical parameters from the raw measurement data. The changes in the identified parameters will be used to assess the damage of the structure. Most system identification methods need the input loading an...

The United States and Korea have vast national bridge inventories that require vigilant inspection and repair. With a new generation of sensing technologies and computational tools emerging from interdisciplinary research between civil engineering and other engineering disciplines, bridge management strategies are rapidly improving. Foremost among the new sensors are wireless sensors, EM stress...

Recent developments in instrumentation, modeling, and data collection have advanced the state of the art in structural health monitoring in many engineering areas. However, the application of these developments in civil engineering infrastructure still presents some challenges. With approximately 11% of the bridges in the USA classified as structural deficient and billions of dollars required f...