Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Digital Micro fluidic biochips have been developed as a promising platform for Lab-on-chip systems that manipulate individual droplet of chemicals on a 2D planar array of electrodes. Due to the significance of the correctness of the results -- fault tolerance and dependability becomes a major issue for operation of these devices. Therefore, such devices are required to be tested frequently both off-line...
NROM is one of the emerging non-volatile-memory technologies, which provides very high data density, low fabrication cost, and better value stability. It is also promising for replacing current floating-gate-based non-volatile memory such as flash memory. In order to raise the fabrication yield and enhance its reliability, a novel test and repair flow is proposed in this paper. Instead of the traditional...
This paper presents our research about hierarchical graph method (HGM) in the A* searching algorithm for parsing technique. HGM is used in new-node generation step of A* parsing algorithm. Unlike classical virtual node method, HGM decreases redundancy nodes in the parsing process and reduces the timing-cost for finding the best parse.
Several small commercial imaging sonars were tested to determine the actual resolving power of the systems. Experiments were performed with specially designed resolution targets in a large tow tank facility at the National Research Council Institute for Ocean Technology, with precise control of sensor-target geometry, and in the Defence Research & Development Canada calibration tank. Resolving...
In order to promote and support development of the wave energy industry, Sandia National Laboratories (SNL) has developed a Wave Energy Development Roadmap. The Wave Energy Development Roadmap outlines the pathway from initial design to commercialization for Wave Energy Converter (WEC) technologies. Commercialization of a wave energy technology is embodied in the deployment of an array of WEC's, a...
Java objects are required to honor an equality contract in order to participate in standard collection data structures such as List, Set, and Map. In practice, the implementation of equality can be error prone, resulting in subtle bugs. We present a checker called EQ that is designed to automatically detect such equality implementation bugs. The key to EQ is the automated extraction of a logical model...
Ultrasonic phased array is an advanced nondestructive testing technology and Beam directivity is a key technical index of ultrasonic phased array testing system which has direct influence on testing effects. In order to meet the requirements of side lobe level, beam directivity in far field can be optimized by Chebyshev weighting while dimensional parameters of transducer are fixed. Furthermore, the...
The inner small-caliber detection is important in most cases such as oil-pipe and gun. because in most cases, it must detect the rust and crack.This paper aims at the inner test for small caliber, and present a small volume structures.This system consist of two parts: the front image acquisition part, which uses the method of grin-lens array combined the light-cone to realize the photoelectric conversion...
Software fault diagnosis is a process of locating the source of faults based on the testing result (pass or fail) of each test case. It plays an important role in software debugging. However, because of the continuous expansion in software size and complexity, it becomes more and more difficult to diagnose software faults quickly and effectively. Combinatorial testing (CT) is a widely used black-box...
Automatic testing tools allow huge savings but they do not exonerate the user from thinking carefully about what they want testing to achieve. To successfully use the Path Crawler-online structural testing tool, the user must provide not only the full source code, but also must set the test parameters and program the oracle. This demands a different"mindset" from that used for informal functional-style...
The Solar Probe Plus (SPP) spacecraft will fly further into the Sun's corona than any previous mission, reaching a minimum perihelion at 9.5 solar radii from the center of the Sun. The solar arrays powering the spacecraft will operate under unusually high irradiances and temperatures. The array design, material choices, and necessary test facilities for SPP are therefore quite different from those...
As one of the premier research laboratories operated by the Department of Energy, Brookhaven National Laboratory (BNL) is pursuing an energy research agenda that focuses on renewable energy systems and will help to secure the nation's energy security. A key element of the BNL research is the advancement of grid-connected utility-scale solar photovoltaic (PV) plants, particularly in the northeastern...
In this paper, we propose and evaluate new storage formats for sparse matrices that minimize the space complexity of information about matrix structure. The motivation of our work are applications with very large sparse matrices that due to their size must be processed on massively parallel computer systems consisting of tens or hundreds of thousands of processor cores and that must be stored in a...
We present a simple framework capable of automatically generating attacks that exploit control flow hijacking vulnerabilities. We analyze given software crashes and perform symbolic execution in concolic mode, using a whole system environment model. The framework uses an end-to-end approach to generate exploits for various applications, including 16 medium scale benchmark programs, and several large...
Linear dependence tests determine the dependences with linear array subscripts, but only give the passive results for those with nonlinear ones. That is to say, dependences exist as long as there are nonlinear cases, which may lead to pseudo-dependences. However, to maximize the parallelism of applications and improve the credibility of the optimizing compiler, it is necessary to develop a nonlinear...
This paper illustrates how Infrared Thermography can be applied to determine the operational status of photovoltaic solar systems on a large scale using flight. Solar Thermography is the use of an infrared camera to inspect photovoltaic solar systems for problems that can cause; damage to the cells, loss of efficiency, and fire hazards. The demand for cheap renewable energy sources is at its highest...
Code obfuscation and software watermarking are the important methods of software security. Code obfuscation increases the difficulty of reverse engineering while software watermarking can provide the copyright information for the software products. In this paper, a scheme of zero-watermarking is proposed which can embed the watermarking information into programs without additional codes. The watermarking...
Due to the specific mechanism of functional operations, flash memories are prone to disturbance faults. Furthermore, different NAND flash memories might have some differences on the array organizations and the supported functional operations. In this paper, therefore, test algorithms for covering the disturbance faults in various types of NAND flash memories are developed.
Beamsteering for a phased array antenna generally causes the sidelobe level deterioration due to a variety of random and spatially correlated errors. Conventional array error analysis method is based on probability central limit theorem, and can be calculated by the probability statistic approach. In the paper, this reaserch presents a new estimation method of the phased array patterns by using numerical...
The results of initial investigations incorporating a fluxing wafer level underfill (WAUF) into a Cu/Sn-Cu intermetallic bonded device are presented. The studies were performed utilizing a 640 × 512 high density area array test vehicle (105 interconnects/cm2). The fluxing pre-applied wafer level underfill was integrated into a solid-liquid diffusion bonding process which achieved an interconnect yield...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.