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.
This paper designs an elegant model in k-in-a-row games Connect6 as an example. In this model, domain knowledge is involved in the special pattern called Connection. A Connection covers several consecutive intersections of a line on the board, and is also the basic element of the data structure sketching the blueprint of the model. Based on Connection, we can show how to construct a complete database...
Bounded model checking of C++ programs presents greater challenges than that of C programs due to the more complex features that the language offers, such as templates, containers, and exception handling. We present ESBMC++, a bounded model checker for C++ programs. It is based on an operational model, an abstract representation of the standard C++ libraries that conservatively approximates their...
In Digital Beamforming (DBF) radars, multiple beams are formed simultaneously at different azimuth and/or elevation angles to monitor large areas of interest. In order to estimate the location of a target in azimuth without specifically steering the beams at the target or using special techniques such as monopulse, amplitude comparison angle measurement can be used. Since the digital phased array...
This paper reports a method for fabricating CMUT arrays using a novel rivet structure to fasten isolated metal islands to the flexible polymer film. Previously, a stretchable CMUT array was reported from our group, in which both the membrane and the cavity were fabricated using polydimethylsiloxane (PDMS) then bonded together by O2 plasma when electrodes were made by screen-printing of liquid metal...
Microfluidic-based biochips are replacing the conventional biochemical analyzers, and are able to integrate on-chip all the necessary functions for biochemical analysis using microfluidics. The digital microfluidic biochips are based on the manipulation of liquids not as a continuous flow, but as discrete droplets on an array of electrodes. Microfluidic operations, such as transport, mixing, split,...
Application of ‘small area’ plasma has become important for bio/medical applications. In this study, a novel device to create patternable atmospheric-pressure plasma-jet array is newly proposed, and the evaluation results of the fabricated devices are reported for the first time. The array device is fabricated by bonding a PDMS microchannel layer and a glass wafer. Discharge electrodes for plasma...
Automating chromosome classification and segmentation has been a major challenge in automated karyotyping especially due to overlapping chromosomes. The earlier reported methods for disentangling the chromosome overlaps have limited success as they are sensitive to scale variations, computationally complex, use only color information in case of multispectral imaging and most of them are limited to...
This paper presents the design of a unit-cell of alphabet shaped slot-loaded Dielectric Resonator Antenna (DRA) Reflectarray at 12 GHz. Four shapes of slot-loaded structure are etched under the DRA. These slots act as parasitic elements to tune the phase reflection of the unit-cells. The four different alphabet shape's slot, which is H, U, E and C shape were investigated in terms of phase and insertion...
Shape is one of the most important features in Content Based Image Retrieval (CBIR). When a shape is used as feature, edge detection might be the first step of feature extraction. Invariance to the different transformations like translation, rotation, and scale is required by a good shape representation. In the literature, a large number of shape representations and retrieval methods can be found...
Combining the static feature and the dynamic path in consecutive image array of small targets, this paper proposes a detecting method for small targets in sonar image: Improving the selection of (SRG) seeded region growing method, and defining the size of searching sub window, this paper realizes the selection of suspected targets in single image that have certain SRR (signal-to-reverberation ratio),...
This paper introduces a towed-array shape estimation technique that exploits the directional structure of the time-varying acoustic field. Unlike conventional array shape estimation methods that use discrete sources of opportunity, the proposed approach does not assume knowledge of the number of sources in the field or their estimated directions. Instead, the entire time-varying field directionality...
In airborne acoustic imaging the synthetic transmit aperture (STA) technology is widely used to improve the lateral resolution limited by the aperture of the microphone array. As for an STA system we use multiple speakers in combination as well as the receiver array, knowing the exact radiation pattern of a speaker is the key factor to properly operate the synthesis system. The ultrasonic signals...
Estimation of a suitable window shape and appropriate weights in weighted median filters is one of important problems. In this study, we formulate the design of weighted median filter as an optimization problem, and estimate optimal filters directly from degraded images. In our previous work, we estimated optimal window shapes and weights by using a Genetic Algorithm (GA) with a fixed size of window...
Compassing the spatial shape is used out of developing surround speaker system or signal enhancement. To reconstruct the boundary positions, conventional methods offer an array consists of a large number of elements (e.g. microphones and loudspeakers). This research aims to estimate the correct boundary position using a small number of microphones, by developing a signal processing method which utilizes...
Reducing the effects of off-chip memory access latency is a key factor in exploiting efficiently embedded multicore platforms. We consider architectures that admit a multi-core computation fabric, having its own fast and small memory to which the data blocks to be processed are fetched from external memory using a DMA (direct memory access) engine, employing a double- or multiple-buffering scheme...
The presented work proposes a MARTE (Modeling and Analysis of Real-Time and Embedded systems) extension for the specification of data-parallel applications designed to be executed on mppSoC, a massively parallel System-on-Chip. These applications can be clearly specified and generated using our transformation chain, which is automated and is a combination of contributions in different domains such...
A novel method of designing array-fed reflector antenna for spatial power combining is proposed. The reflector is modeled using NURBS surface. Genetic algorithm is used to optimize the shape of surface and get the maximum power combining efficiency by adjusting the positions of NURBS surface's control points properly. The optimal positions of the control points can be attained. Besides, we also study...
This paper presents analysis and design of the X-band Reflectarray using a three-dimensional EM simulation based- Multilayer Perceptron Neural Network (MLP NN) model. For this purpose, firstly training and validation data for the reflection phase characteristics of a unit element is obtained by the 3-D Computer Simulation Technology Microwave Studio (CST MWS) depending on the geometrical parameters,...
Presented in this paper is a demonstration system that uses a low-power SCAMP-5 256×256 vision-chip to locate and count multiple objects moving at high speed along arbitrary trajectories. The hardware consists of a SCAMP-5 IC, its power supply system and a Xilinx Spartan3 controller. At 100,000fps, the SCAMP-5 chip can locate and readout the coordinates of a single closed-shaped object amongst clutter...
This paper reports the progress of binary Josephson system for precise ac waveform synthesis in National Institute of Metrology, China (NIM). We designed a 32-channel bias source for dynamic voltage synthesis up to 1 kHz with a programmable Josephson junction array. The latest design of output drive current has a rise-time less than 50 ns on 100 ohm resistant. The 32-channel bias source is able to...
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.