‎in this paper‎, ‎the notion of the radical of a filter in‎ ‎residuated lattices is defined and several characterizations of‎ ‎the radical of a filter are given‎. ‎we show that if f is a‎ ‎positive implicative filter (or obstinate filter)‎, ‎then‎ ‎rad(f)=f‎. ‎we proved the extension theorem for radical of filters in residuated lattices‎. ‎also‎, ‎we study the radical‎ ‎of filters in linearly o...

A novel approach to the design of recursive polyphase networks with application to multirate filtering and digital filter banks is proposed. To this end, Pelloni's method [4] is extended such that all zeros of the polyphase network are located on the z-plane unit circle and all poles are single, corresponding to an optimum magnitude response with minimum phase. An example, taken from transmulti...

in this paper, we proposed a novel structure for designing all optical filter based on photonic crystal structure. in designing the proposed filter, we simply employed a point defect localized between input and output waveguides as wavelength selecting part of the filter. the initial form of this filter is capable of selecting optical waves at =1560 nm, the transmission efficiency of the filte...

i Abstract A data assimilation system based on the ensemble square-root Kalman filter (EnSRF) is extended to include the additional capability of assimilating polarimetric radar variables. It is used to assess the impact of simulating additional polarimetric observations on convective storm analysis in an OSSE (Observing System Simulation Experiment) framework. The polarimetric variables consid...

In object-oriented systems, object associations generally result in a complex structure whose precise description is a crucial part of the sys-tem's formal speciication. A particularly common object association arises when one object exclusively controls (owns) another. As exclusive object control is an important aspect of safety and security critical systems, speciic notation to capture direct...

We study the properties of galaxies at redshift z = 2 in a Λ cold dark matter (ΛCDM) universe, using two different types of hydrodynamic simulation methods (Eulerian TVD and SPH) and a spectrophotometric analysis in the Un, G,R filter set. The simulated galaxies at z = 2 satisfy the color-selection criteria proposed by Adelberger et al. (2004) and Steidel et al. (2004) when we assume Calzetti e...

This paper specifies the formal semantics of XSLT. Using Object-Z specification language to describe each constructs of the language as objects, the stylesheet itself was specified by underlying objects. This work will contribute to the implementation of XSLT.

The advancement of digital signal processors (DSPs) and programmable logic devices in modern power electronics systems offer great control flexibility and capability, providing attractive features particularly for applications in which complex control tasks are involved. This dissertation investigates some DSP based advanced control algorithms for pulse-width modulation (PWM) inverter applicati...

filter is one of the main components of embankment dams. by a simple but effective performance, filter protects the dam against erosion and soil scouring in impervious core caused by leakage (piping) and makes it safe. interaction between filter and erodible base soil is a complex phenomenon which is dependent upon several factors, and has challenged researchers for better understanding the fil...

A new current-mode band-pass filter using the inverting second-generation current conveyor (ICCII) is introduced. The circuit is generated from a frequency-dependent negative resistance (FDNR)-C circuit realized using ICCII+. It is observed that a voltagemode band-pass filter using two CCII+ has similar transfer function to this current-mode filter. The adjoint network theorem is used to demons...