Search
Now showing items 1-7 of 7
Real-Time Software Development with Formal Models
Publisher: American Society of Civil Engineers
Abstract: Improvements in microprocessor technology have prompted a willingness to embed computer hardware in structural and mechanical systems. Active structural control is one such application in which computer-based sensors and ...
Data Abstraction in Engineering Software Development
Publisher: American Society of Civil Engineers
Abstract: Large‐scale engineering analylsis programs are among the most difficult to develop, maintain, and extend. The translation of a few pages of classical mathematics turns into tens of thousands of lines of nontrivial code. ...
Semantic Validation of Product and Process Models
Publisher: American Society of Civil Engineers
Abstract: This paper describes the use of equational specifications and process algebras in developing product and process models. These formal approaches enable an abstract and precise description of products, where both syntactic ...
Finite State Verification of Intelligent Transportation Systems
Publisher: American Society of Civil Engineers
Abstract: Intelligent transportation systems (ITS) represent a major initiative to improve roadway and travel conditions, not by building roads, but by drawing on new technologies in computing, sensing, and communications. However, ...
Genetic Algorithm-Based Decision Support for Optimizing Seismic Response of Piping Systems
Publisher: American Society of Civil Engineers
Abstract: This paper describes computational approaches used in a prototype decision support system (DSS) for seismic design and performance evaluation of piping supports. The DSS is primarily based on a genetic algorithm (GA) that ...
Optimal Design of Redundant Water Distribution Networks Using a Cluster of Workstations
Publisher: American Society of Civil Engineers
Abstract: A genetic algorithm (GA)-based method for the least-cost design of looped pipe networks for various levels of redundancy is presented in this paper. Redundancy constraints are introduced in the optimization model by ...