published earher this year [l] .L This article describes several FPGA DSP applications. The capacity of FPGAs to vary the data path precision at various nodes in a system is explored with two filter design problems. The first design reports on a novel method for implementing narrowband finite impulse response (FIR) filters using ZA modulation encoding. The second filter example highlights some ...

This paper is concerned with the problem of robust l2–l∞ filter design for a class of uncertain switched time-delay systems based on a switched Lyapunov functional. The parametric uncertainties are assumed to be time varying but norm bounded. The purpose is to design a switched filter such that, for all admissible uncertainties, the resulting filtering error system is robustly stable and satisf...

In this paper, for a complete residuated lattice L, we present the categorical properties of ?-neighborhood spaces and their relationships to neighborhood stratified L-neighborhood spaces. The main results are: (1) category is topological category; (2) can be embedded in as reflective subcategory, when L meet-continuous lattice, subcategory; (3) continuous (resp., spaces) simultaneously corefle...

The Monte Carlo method exhibits generality and insensitivity to the number of stochastic variables, but is expensive for accurate yield estimation of electronic circuits. In the literature, several variance reduction techniques have been described, e.g., stratified sampling. In this contribution the theoretical aspects of the partitioning scheme of the tolerance region in stratified sampling is...

We present CCMC (Conditional CSL Model Checker), a model checker for continuous-time Markov chains (CTMCs) with respect to formulas specified in continuoustime stochastic logic (CSL). Existing CTMC model checkers such as PRISM or MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports algorithms for analyzing multiple until path formulas. Moreover, CCMC supports a ...

Seeds from three provenances of Pinus brutia were stratified for 0 or 45 d (days) at 4 +/- 1 degrees C and then germinated at 15 degrees C or 20 degrees C on filter paper saturated with polyethylene glycol solutions to provide water potentials of 0, -0.2 and -0.4 MPa (mega Pascal). Regardless of stratification, germination was lower at 15 degrees C than 20 degrees C for seeds of all provenances...

the accumulation and composition of berry anthocyanin was measured in vitis vinifera l. cv. yatomi rosa using various light qualities provided by polyethylene films (red, orange, green, blue, and white). the anthocyanin has been enhanced significantly by blue light filter film and suppressed by red, orange, and green films compared to white film (control), which suggests that yatomi rosa has ad...

Waste water was collected from the municipal town of Madurai and was subjected to filtration in two different filters. The first filter employed sand for the process of filtration where as the second filter carbon for the same. Finally when the clarified water is drawn out of the filter, it shows that there is a considerable reduction in the physico-chemical parameters then that of the untreate...