896 resultados para automated proof


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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Three different inorganic-organic hetero-junctions (A : ITO/SiO2/Alq(3)/Al, B: ITO/Alq3/SiO2/Al and C: ITO/SiO2/Alq(3)/ SiO2/Al) were fabricated. The emission can be observed only under positive bias in devices A and B, but under both biases in device C according to their brightness waveforms. With increasing voltage, the increase in blue emission in devices B and C is faster than that in green emission. This is because that the recombination of hot electrons and holes, i.e., electron-hole pairs, produced blue emission in devices B and C, and the recombination of electrons injected from Al with the accumulated holes, which are excited by hot electrons, produced green emission in device A. Hence, the emissions of the devices are attributed to not only the recombination of electrons and accumulated holes, but also the cathodoluminescence-like (CL-like) emission.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Confirmation of quantum dot lasing have been given by photoluminescence and electro-luminescence spectra. Energy levels of QD laser are distinctively resolved due to band filling effect, and the lasing energy of quantum dot laser is much lower than quantum well laser. The energy barrier at InAs/GaAs interface due to the built-in strain in self-organized system has been determined experimentally by deep level transient spectroscopy (DLTS). Such barrier has been predicted by previous theories and can be explained by the apexes appeared in the interface between InAs and GaAs caused by strain.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper represents a LC VCO with AAC (Auto Amplitude Control), in which PMOS FETs are used as active components, and the varactors are directly connected to ground to widen Kvco linear range. The AAC circuitry adds little noise to the VCO and provides it with robust performance over a wide temperature and carrier frequency range. The VCO is fabricated in 50-GHz 0.35-mu m SiGe BiCMOS process. The measurement results show that it has -127.27-dBc/Hz phase noise at 1-MHz offset and a linear gain of 32.4-MHz/V between 990-MHz and 1.14-GHz. The whole circuit draws 6.6-mA current from 5.0-V supply.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples