896 resultados para automated proof
Resumo:
An 8 × 8 pipelined parallel multiplier which uses the Dadda scheme is presented. The multiplier has been implemented in a 3-μm n-well CMOS process with two layers of metal using a standard cell automatic placement and routing program. The design uses a form of pipelined carry look-ahead adder in the final stage of summation, thus providing a significant contribution to the high performance of the multiplier. The design is expected to operate at a clock frequency of at least 50 MHz and has a flush time of seven clock cycles. The design illustrates a possible method of implementing an irregular architecture in VLSI using multiple levels of low-resistance, low-capacitance interconnect and automated layout techniques.
Resumo:
Hydroxyapatite-gelatin composites have been proposed as suitable scaffolds for bone and dentin tissue regeneration. There is considerable interest in producing these scaffolds using biomimetic methods due to their low energy costs and potential to create composites similar to the tissues they are intended to replace. Here an existing process used to coat a surface with hydroxyapatite under near physiological conditions, the alternate soaking process, is modified and automated using an inexpensive "off the shelf" robotics kit. The process is initially used to precipitate calcium phosphate coatings. Then, in contrast to previous utilizations of the alternate soaking process, gelatin was added directly to the solutions in order to co-precipitate hydroxyapatite-gelatin composites. Samples were investigated by Fourier transform infrared spectroscopy, scanning electron microscopy, energy dispersive X-ray spectroscopy and nanoindentation. Calcium phosphate coatings formed by the alternate soaking process exhibited different calcium to phosphate ratios, with correspondingly distinct structural morphologies. The coatings demonstrated an interconnected structure with measurable mechanical properties, even though they were 95% porous. In contrast, hydroxyapatite-gelatin composite coatings over 2mm thick could be formed with little visible porosity. The hydroxyapatite-gelatin composites demonstrate a composition and mechanical properties similar to those of cortical bone.
Resumo:
Here we demonstrate a novel technique to grow carbon nanotubes (CNTs) on addressable localized areas, at wafer level, on a fully processed CMOS substrate. The CNTs were grown using tungsten micro-heaters (local growth technique) at elevated temperature on wafer scale by connecting adjacent micro-heaters through metal tracks in the scribe lane. The electrical and optical characterization show that the CNTs are identical and reproducible. We believe this wafer level integration of CNTs with CMOS circuitry enables the low-cost mass production of CNT sensors, such as chemical sensors.
Resumo:
Successful product development, especially in motorsport, increasingly depends not just on the ability to simulate aero-thermal behavior of complex geometrical configurations, but also the ability to automate these simulations within a workflow and perform as many simulations as possible within constrained time frames. The core of these aero-thermal simulations - and usually the main bottleneck - is generating the computational mesh. This paper describes recent work aimed at developing a mesh generator which can reliably produce meshes for geometries of essentially arbitrary complexity in an automated manner and fast enough to keep up with the pace of an engineering development program. Our goal is to be able to script the mesh generation within an automated workflow - and forget it. © 2011 SAE International.
Resumo:
Automated Identification and in particular, Radio Frequency Identification (RFID) promises to assist with the automation of mass customised production processes. RFID has long been used to gather a history or trace of part movements, but the use of it as an integral part of the control process is yet to be fully exploited. Such use places stringent demands on the quality of the sensor data and the method used to interpret that data. in particular, this paper focuses on the issue of correctly identifying, tracking and dealing with aggregated objects with the use of RFID. The presented approach is evaluated in the context of a laboratory manufacturing system that produces customised gift boxes. Copyright © 2005 IFAC.