This paper demonstrates the application of a prior-use evaluation model developed to assist management to evaluate the probable impact of introducing automated equipment on construction sites. Two case studies have been used to illustrate the importance of not only considering the particular project characteristics, when assessing the potential benefits associated with automated equipment, but ...

2 Architecture In this paper, firstly we discuss the architecture of a flexible automated production system under which all components are well-modulized. Then, a solution, EMFAK(Event-driven Multi-tasking Flexible Automation Kernel) is proposed to speed up the construction of system control. At last, a flexible assembly system using EMFAK is described to show how to apply it to a real flexible...

A computer implementation of Gödel’s algorithm for class formation in Mathematica was used to formulate definitions and theorems about iteration in Gödel’s class theory. The intent is to use this approach for automated reasoning about a variety of applications of iteration using McCune’s automated reasoning program Otter. The applications include the theory of transitive closures of relations, ...

This paper describes some of the work we have done to evaluate and compare the use of three IR systems (Verity, LSI, and SMART) as black boxes within an automated classiication environment. We use automated classiication to make a quantitative comparison of the eeectiveness of the systems within this context. In so doing, we also develop criteria for the construction of a useful training set. T...

The automated deduction and model checking communities have developed techniques that are impressively e ective when applied to suitable problems. However, these problems seldom coincide exactly with those that arise in formal methods. Using small but realistic examples for illustration, I will argue that e ective deductive support for formal methods requires cooperation among di erent techniqu...

Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typical decision makers are experts in their domain but are not generally proficient in simulation itself. Existing methods of animating simulated construction processes in 3D have a significant limitation. They require t...