The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In a multi-layer medium, interfaces between the layers refract the sound wave into lower layers, thereby playing the role of emitting sources for lower layers. We model the interfaces between the layers of a multi-layer medium as spatially distributed sources consisting of infinite number of point sources. Then, we use this model to develop a new model for array spatial signature for any point inside...
Two backward wave oscillator (BWO) designs are proposed for a 346 GHz source for fusion plasma diagnostics applicable for the MAST and NSTX-U devices. Both designs feature a double grating machined from bulk copper, using nano-machining technology.
We report on the laboratory testing of KAPPa, a 16-pixel proof-of-concept array to enable the creation THz imaging spectrometer with −1000 pixels. Creating an array an order of magnitude larger than the existing state of the art of 64 pixels requires a simple and robust design as well as improvements to mixer selection, testing, and assembly. We present the characterization of the single pixel prototype,...
Auto-parallelization compilization is an essential way to obtain high efficient parallel code for High Performance Computers (HPCs) and Chip Multi-Processors (CMPs). For the parallelizing compilers, a fundamental step is array dependence analysis used for identifying the parallelizable code. Whereas, the existing dependence analysis approaches are only capable of recognizing few types of dependences,...
Software verification and validation often rely on formal specifications that encode desired program properties. Recent research proposed a combined verification approach in which a program can be incrementally verified using alternatively deductive verification and testing. Both techniques should use the same specification expressed in a unique specification language. This paper addresses this problem...
Maximum Power Point Tracking (MPPT) algorithms are an important part of photovoltaic systems, with a large amount of literature having been published on different approaches and comparisons. Yet there have been very few practical comparisons between the performances of different algorithms published. This work attempted to resolve this by designing and implementing a custom test system with high accuracy...
Microfluidic based biochips as a composite microsystem offers an alternative platform for conventional laboratory procedures. In recent years a new generation of such lab on chip devices namely Digital Microfluidic Biochip is emerged as a suitable application for concurrent and scalable integration of multiple bioassay protocols. Dependability and accuracy are major issues for safety critical applications...
Passive acoustic source localization system increasingly becomes small and portable with the rapid development of the computer technology, integrated circuit, microelectronics technology and embedded system, et al. In this sense, we complete the hardware design of a small portable passive acoustic source localization system based on a five-element cross microphone array. In the conditions of meeting...
Digital micro fluidics based biochips is expected to play an important role towards point-of-care diagnostics, drug discovery, prevention of bio-terrorism and other biochemical applications. Design and testing of biochips always remained a challenging area of research. Structural testing of these bio-MEMS is ensured by smooth movements of test droplets within the micro fluidic array. Partitioning...
TETRA communication standard developed by ETSI has become the leader in the Professional Mobile Radio market, the demand of call analysis software is increasing in the areas of testing, development and network maintenance. But the proprietary signaling of TETRA cannot be processed by most commercial call analysis software, so that we develop TETRA call analysis software to overcome this problem. In...
We present a study on a significantly large and varied set of freely available Java virtual machines implementations. The aim of the study is to assess their level of conformity to the structural constraints of the Java language specification. In order to do that we set up a refined framework for the automated generation of a conformance checking test suite. In the framework, the test cases are generated...
3D ultrasound has got considerable development in medicine, but in the field of non-destructive testing of industry still lags behind. Three-dimensional ultrasound images can visually display spatial distribution of defects, make the test results easier to be understood and evaluated. This paper presented a 3D imaging method, which using linear phased array probe detection system to collect scan data,...
The high capacity of modern wheel fabrication plants and high demands on the detection sensitivity for internal defects in railroad wheels along with the need to perform an objective and well documented ultrasonic inspection require the application of automated systems which are integrated into the production line. The paper offers a description of the technology of a fully automated system jointly...
The digital microfluidics technology has shown a great progress in the recent years. The testing of these types of biochips is crucial when used in widespread applications like clinical diagnostics, DNA sequencing, toxicity analysis etc. Thus these biochips must be tested adequately both offline after manufacturing and online during the biomedical assay. The MEDA based digital microfluidics offers...
CMOS device miniaturization and the rapidly growing demand for mobile or power-aware systems have resulted in an urgent need to lower down power supply voltage (Vdd). However, soft fails at low Vdd in SRAM Array become a major yield limiter due to process variation and VT mismatch. This paper describes an advanced characterization flow on soft fails with the combination of applying fail-specified...
There are several possible algorithms to automatically solve Sudoku boards; the most notable is the backtracking algorithm, that takes a brute-force approach to finding solutions for each board configuration. The performance of the backtracking algorithm is usually said to depend mainly on two implementation aspects: finding the next available empty cell in the board and finding the options of available...
We investigated two phase heat transfer in staggered and inline micro pin fin arrays, using deionized water and HFE-7200 as working fluids with exit qualities up to 90%,. The inline and staggered arrays have equivalent pin fin width of 153µm and height of 305µm on a heated base area of 0.96cm width by 2.88cm length. Mass fluxes ranged from 200 kg/m2s to 600 kg/m2s for HFE-7200 and 400 kg/m2s to 1300...
Semantic Web Services (SWS) introduce a semantic layer to the current web infrastructure, enabling the automated processing of web service tasks. In the past decade, various frameworks have been proposed for designing SWS. However, few of them aimed at testing SWS. Generating test cases for SWS is challenging due to its dynamic nature and abstract views, evaluating the test cases is equally essential...
A algebraic system, Test Algebra (TA), identifies faults in combinatorial testing for SaaS (Software-as-a-Service) applications. SaaS is a software delivery model that involves composition, deployment, and execution of mission application on cloud platforms. Testing SaaS applications is challenging because a large number of configurations needs to be tested. Faulty configurations should be identified...
Software-as-a-Service (SaaS), a new software delivery model, plays an important role in daily life. In SaaS, mission-critical applications are composed, deployed, and executed on cloud platforms. SaaS applications needed to have high reliability and availability before publishing. Testing SaaS applications becomes important, as the large number of testing prior to their deployment. Test Algebra (TA),...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.