in the conventional design and analysis methods affecting parameters (loads, materials'strength, etc) are not set as probable variables. safety factors in the current codes andstandards are usually obtained on the basis of judgment and experience, which may beimproper or uneconomical. in technical literature, a method based on nonlinear static analysisis suggested to set reliability index on st...

In an earlier paper, we described a data structure, called support graph, for efficient incremental evaluation of tabled logic programs. The support graph records the dependencies between answers in the tables, and is crucial for efficiently propagating the changes to the tables when facts are deleted. Incremental computation with support graphs are hundreds of times faster than from-scratch ev...

Adaptive Incremental Dynamic Analysis (AIDA) is a novel ground motion selection scheme that adaptively changes the ground motion suites at different ground motion intensity levels to match hazardconsistent properties for structural response assessment. Incremental Dynamic Analysis (IDA), a current dynamic response history analysis practice in Performance-Based Earthquake Engineering (PBEE), use...

Many engineers are hesitant to specify rocking foundations for ordinary bridges because of the unsubstantiated notion that rocking bridges are more susceptible to instability than conventional fixed-base bridges. A parametric study using a finite element model including large deformation effects compares the performance and stability of stiff, flexible, tall, and short hinging-column and rockin...

Computer-Go programs have high computational costs for static analysis, even though most intersections of the board remain unchanged by one move. Therefore, incremental computation as well as theoretical models are essential features for static analysis. This paper describes some formal models for static analysis, and explores how incremental computation is applied to the static analysis in Go ...