Abstract We characterize non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by new notion simulation called meet-simulation. Meet-simulations distinguish themselves from simulations because they relate pairs states one model to single another. En route this result, we use more traditional and prove Hennessy–Milner-style theorem for it, usin...

We prove an analogue of Brent’s lemma for BSP-like parallel machines featuring a hierarchical structure for both the interconnection and the memory. Specifically, for these machines we present a uniform scheme to simulate any computation designed for v processors on a v0-processor configuration with v0 v and the same overall memory size. For a wide class of computations the simulation exhibits ...

Abstract: This paper describes DB(n) control algorithm extended on Antiwindup and state space version of algorithm. Author derived extended version of algorithm. This version of algorithm in conjunction with on-line identification has the adaptive self-tuning performance. The synthesis was derived for control loop with proportional third order behaviour of controlled plant. However, the algorit...

High-reliability and safety-critical markets for microelectromechanical systems are driving new proposals for the integration of efficient builtin test and monitoring functions. The realisation of this technology will require support tools and validation methodologies including fault simulation and testability analysis and full closed-loop simulation techniques to ensure cost and quality target...

Top-level, transient, transistor-based simulations are a critical step in the productdevelopment cycle of mixed-signal integrated circuits. These simulations are normally performed just before fabrication and unfortunately impose cumbersome bottlenecks in the design flow. Verification is an iterative process by nature, whereby each problem found requires another simulation to ensure a proper fi...

The author’s realizations of Alvin Lucier’s “I am sitting in a room” and Karlheinz Stockhausen’s Mikrophonie I are considered as case studies in the realization of live electroacoustic music. The new realizations, while faithful to the works’ scores, differed from the composers’ traditions of performance. Lucier’s piece was realized in real-time, a new set of implements and playing techniques w...

We describe ACDS, an automatic diagnostic system. ACDS is capable of diagnosing faults on analog circuits in dynamic conditions. The circuit’s dynamic behavior is studied by means of a series of intrastate simulations during which the qualitative state of the circuit does not change. An acquisition board collects the value of a set of quantities corresponding to accessible test points. These me...

Abstract : In this paper we derive first−order sensitivity expressions for constant−resistance analog filters, that can be used in tree−structured analog filter banks. It is shown that the passband sensitivity is approximately equal to that of a singly resistively terminated ladder network, but weighted with the squared magnitude of the frequency response in the stopband. This makes properly de...

A two-dimensional network for motion detection constructed of simple analog circuits was proposed and designed based on the frog visual system. In the frog visual system, the two-dimensional motion of a moving object can be detected by performing simple information processing in the tectum and thalamus of the frog brain. The measured results of the test chip fabricated by a 1.2 μm complementary...