66 resultados para automated proof


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Among several others, the on-site inspection process is mainly concerned with finding the right design and specifications information needed to inspect each newly constructed segment or element. While inspecting steel erection, for example, inspectors need to locate the right drawings for each member and the corresponding specifications sections that describe the allowable deviations in placement among others. These information seeking tasks are highly monotonous, time consuming and often erroneous, due to the high similarity of drawings and constructed elements and the abundance of information involved which can confuse the inspector. To address this problem, this paper presents the first steps of research that is investigating the requirements of an automated computer vision-based approach to automatically identify “as-built” information and use it to retrieve “as-designed” project information for field construction, inspection, and maintenance tasks. Under this approach, a visual pattern recognition model was developed that aims to allow automatic identification of construction entities and materials visible in the camera’s field of view at a given time and location, and automatic retrieval of relevant design and specifications information.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A novel integration method for the production of cost-effective optoelectronic printed circuit boards (OE PCBs) is presented. The proposed integration method allows fabrication of OE PCBs with manufacturing processes common to the electronics industry while enabling direct attachment of electronic components onto the board with solder reflow processes as well as board assembly with automated pick-and-place tools. The OE PCB design is based on the use of polymer multimode waveguides, end-fired optical coupling schemes, and simple electro-optic connectors, eliminating the need for additional optical components in the optical layer, such as micro-mirrors and micro-lenses. A proof-of-concept low-cost optical transceiver produced with the proposed integration method is presented. This transceiver is fabricated on a low-cost FR4 substrate, comprises a polymer Y-splitter together with the electronic circuitry of the transmitter and receiver modules and achieves error-free 10-Gb/s bidirectional data transmission. Theoretical studies on the optical coupling efficiencies and alignment tolerances achieved with the employed end-fired coupling schemes are presented while experimental results on the optical transmission characteristics, frequency response, and data transmission performance of the integrated optical links are reported. The demonstrated optoelectronic unit can be used as a front-end optical network unit in short-reach datacommunication links. © 2011-2012 IEEE.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Biomineralized composite materials found in nature have a compromise of good mechanical properties and relatively small embodied energies in the process of their formation. The Alternate Soaking Process (ASP) is a laboratory technique that has only recently been applied to replicating composite biomineralization. The nexus of the ASP - heterogeneous nucleation - makes it ideal for replicating biominerals where the mineral is templated onto an organic substrate, such as occurs in avian eggshell. Here we demonstrate the deposition of a calcium carbonate gelatin composite on either glass cover slips or demineralized eggshell membranes using an automated ASP. SEM images and FTIR spectra of the resulting mineral show that by altering the amount of gelatin in the growth solutions the final organic component can be controlled accurately in the range of 1-10%, similar to that of natural eggshell. This study shows for the first time the co-precipitation of a CaCO3 - gelatin composite by an ASP and that the organic fraction of this mineral can be tuned to mimic that of natural biomineralized composites. © 2012 Materials Research Society.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present some recent developments in automated computational modelling with an emphasis on solid mechanics applications. The automation process permits an abstract mathematical model of a physical problem to be translated into computer code rapidly and trivially, and can lead to computer code which is faster than hand-written and optimised code. Crucial to the approach is ensuring that mathematical abstractions inherent in the mathematical model are inherited by the software library. © Springer Science+Business Media B.V. 2008.