Among other concerns, construction planning involves the choice of construction technology, the definition of work tasks, the estimation of required resources and durations, the estimation of costs, and the preparation of a project schedule. A prototype knowledge intensive expert system to accomplish these tasks, CONSTRUCTION PLANEX, is described in this paper. This system generates project act...

This paper describes an integrated methodology for the construction of test cases from functional specifications using the classification-tree method. It is an integration of our extensions to the classificationhierarchy table, the classification tree construction algorithm, and the classification tree restructuring technique. Based on the methodology, a prototype system ADDICT, which stands fo...

One of the technically challenging and labor-intensive steps is the size selection of DNA fragments during the NGS library construction and is a source of sample loss and sample cross contamination. This tech note is a comparison of two alternative methods for the size-selection step: Pippin PrepTM automated DNA sizing and E-gel® SizeSelectTM gels, for the purpose of determining the suitability...

purpose : to compare the outcome of surgery and postoperative complications between using manually dissected cornea in descemet’s stripping with endothelial keratoplasty (dsek) and using eye bank automated precut cornea in descemet’s stripping with automated endothelial keratoplasty (dsaek) methods : forty eyes with indication of endothelial keratoplasty (ek) were included in this randomized pr...

This study analyses the concept of cost functions for semi-automated Straddle Carrier (SC), Rubber Tyred Gantry (RTG) and automated Rail Mounted Gantry (RMG) container yard operating cranes. It develops a generic cost based model for a pair-wise comparison, analysis and evaluation of economic efficiency and effectiveness of container yard equipment to be used for decision-making by terminal pla...

3D weaving is a manufacturing technique for producing near net shape fiber preforms. These preforms can be processed into composite components using liquid molding techniques such as resin transfer molding (RTM) or the vacuum assisted process (VAP). One of the main advantages of 3D woven preforms is that the touch labor required to assemble them is minimal, leading to rapid and highly automated...

The use of high frame-rate 3D imaging systems for construction equipment control is part of a broader research effort at the National Institute of Standards and Technology investigating innovative technologies for automated construction, performance and evaluation of 3D imaging systems, and construction object recognition and tracking. A probabilistic measurement model is desired for these imag...

This paper presents a new prototype framework of automated tracking and monitoring system for construction materials. Previous technologies such as RFID and GPS deployed in construction material tracking have been reviewed and signal strength-based localization has been examined. As an emerging network standard for industrial applications, brief specifications of ZigBeeTM protocol have been des...

We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of correct computer programs from specifications of their desired behaviour. Synthesis of programs with iteration or recursion requires inductive proof, but standard techniques for the construction of appropriate inductio...