> Davis. His research areas include computer and network security, > especially analysis of vulnerabilities, building tools to detect > vulnerabilities, and ameliorating or eliminating them. >Subject Category: Vulnerabilities and Attacks > > >Extended Abstract: > >The goal of our work is to develop a methodology for detecting pre viously >unknown vulnerabilities in systems. > >We begin by argui...

MicroElectroMechanical Systems (MEMS) are becoming increasingly important. The benefits of MEMS include small size, low weight, and low cost. In addition, Radio Frequency MEMS switches offer low insertion loss, high quality factor, low power, high isolation, and broadband frequency performance. Modeling of electrostatically-actuated, capacitive switches is reviewed and fabrication steps are des...

The paper presents a critical appraisal of existing methods for modelling and simulation of CNC machine tool feed drives. Their goal is the development of mathematical models which adequately replicate the dynamic behaviour of the actual machines. The advantages and disadvantages of lumped parameter models and modular approach are discussed and the suitability of mixed, hybrid, distributed-lump...

An alternative method for port decoupling and matching of arrays with small inter-element spacing is proposed. The approach is based on the inherent decoupling effect obtained by feeding the eigenmodes of the array. For this purpose, a modal feed network is introduced. The decoupled external ports of the feed network may individually be matched using conventional matching circuits. Such a syste...

It is widely-known that coupling exists between adjacent through-silicon vias (TSVs) in 3D ICs. Since this TSVto-TSV coupling is not negligible, it is highly likely that TSVto-TSV coupling affects crosstalk significantly. Although a few works have already analyzed coupling in 3D ICs, they used Sparameter-based methods under the assumption that all ports in their simulation structures are under ...

A tax buyout is a contract between tax authorities and a tax payer which reduces the marginal income tax rate in exchange for a lump-sum payment. While previous contributions have focussed on labour supply, we consider the interaction with tax evasion and show that a buyout can increase expected tax revenues. This will be the case if (1) the audit probability is constant and the penalty for eva...

Inductors represent a very complex behavior especially in the field of RF techniques. Some manufacturers offer SPICE models for their inductors built up by lumped elements. The lumped element values are determined by matching the simulation model to an average of the measurements. This leads to curious numbers, and if the model is used in a simulation tool, all these values have to be adjusted ...

This paper presents new features recently added to a general-purpose surge simulation code based on the FDTD (Finite Difference Time Domain) method. The added features include various-shape conductor models, lumped-parameter circuit-element models, a lightning-channel model, and an integrated analysis environment (IAE). For precisely modeling the shapes of various conductors, the following cond...

Problems Daniel Ioan, Irina Munteanu (IEEE members) and Cristian-George Constantin "POLITEHNICA" University of Bucharest, Numerical Methods Laboratory Electrical Engineering Dept. Spl. Independentei 313, 77206 Bucharest, Romania Abstract| The paper presents a new e cient technique to solve electromagnetic eld problems coupled with electric or electronic circuits. It is based on a post-processin...