Common-Mode Response Overlapping vs. Shaping in Rail-to-Rail Op-Amp Input Stages

In this paper, a circuit technique—common-mode (CM) response overlapping—for maintaining the small-signal behavior of rail-to-rail amplifiers nearly constant over the whole input CM range, is introduced. This technique modifies the CM response of the rail-to-rail input stage adequately by means of two constant input floating voltage sources, which are adjusted by using a static tuning section. Its performance is compared with a second technique—CM response shaping—, which is also based on two variable input floating voltage sources, but relies on a dynamic feedback tuning loop. Experimental results obtained from two 3-V 0.8-m CMOS single-stage rail-to-rail amplifiers, which operate with CM response overlapping and shaping, respectively, are provided.     

On the Ontological Status of Plans and Norms

This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system aims at regulating a society, then its goal can be achieved only by affecting the behaviour of the members of the society. We assume that a society is made up of agents (which can be individuals, institutions, software programs, etc.), that agents have beliefs, goals and preferences, and that they commit to intentions in order to choose a line of behaviour. The role of norms, within a legal system, is to specify how and when the chosen behaviour agrees with the basic principles of the legal system. In this article, we show how a model based on plans can be the basis for the ontological representation of norms, which are expressed as constraints on the possible plans an agent may choose to guide its behaviour. Moreover, the paper describes how the proposed model can be linked to the upper level of a philosophically well-founded ontology (DOLCE); in this way, the model is set in a wider perspective, which opens the way to further developments.     

Design and characterization of the balloon-borne Michelson Interferometer for Passive Atmospheric Sounding (MIPAS-B2)

MIPAS-B2 is a balloon-borne limb-emission sounder for atmospheric research. The heart of the instrument is a Fourier spectrometer that covers the mid-infrared spectral range (4-14 microns) and operates at cryogenic temperatures. Essential for this application is the sophisticated line-of-sight stabilization system, which is based on an inertial navigation system and is supplemented with an additional star reference system. The major scientific benefit of the instrument is the simultaneous detection of complete trace gas families in the stratosphere without restrictions concerning the time of day and viewing directions. The specifications, the design considerations, the actual realization of the instrument, and the results of characterization measurements that have been performed are described.     

An Integrated CMOS Front-End for Optical Absolute Rotary Encoders

This paper presents a front-end circuit for optical rotary encoders. The light pulses modulated by the encoder disc are transduced into current signals, which are pre-processed and converted into digital waveforms related to the disc angular position information. The proposed front-end circuit is compensated against temperature drifts. Digitally programmable calibration is provided to account for spreads in impinging light pulse power. Measurement results on integrated prototypes are shown, demonstrating correct operation of the front-end with an optical input power from 0.5 W to 3 W up to a signal frequency of 500 kHz in a temperature range from 0 °C to 80 °C.     

Diesel particulate traps regenerated by catalytic combustion

The development of catalytic means for the regeneration of particulate-laden traps for diesel exhaust cleaning is the main topic of this paper. All the steps of the catalytic trap preparation are dealt with, including: the synthesis and choice of the proper catalyst and trap materials, the development ofin situ catalyst deposition, and the bench testing of the derived catalytic traps. Two different traps were considered (i.e., silicon carbide and cordierite wallflow monoliths operating via a shallow-bed filtration mechanism), whereas the best catalyst selected was the perovskite LaCr_0.9O₃. The filtration efficiency and the pressure drops of the catalytic and non-catalytic monoliths were evaluated on a diesel engine bench under various operating conditions. On the basis of the obtained results the catalysed SiC converter was found to be the most satisfactory converter to be placed on the exhaust line of the modern common rail diesel-engine cars.     

An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

We present a tableau calculus for propositional Dummett logic, also known as LC (Linear Chain), where the depth of the deductions is linearly bounded by the length of the formulas to be proved. We then show that it is possible to decide propositional Dummett logic in O(nlogn)-SPACE.     

Anti-spam legislation: An analysis of laws and their effectiveness

More than half of worldwide e-mail traffic (an estimated total of several billion e-mails per day) consists of spam. This is becoming a considerable disturbance to telecommunications. Spam is also closely related to other kinds of cybercrime as it possibly contains malicious software or is pursuing some kind of fraudulent aim such as phishing. As well as technical and organizational measures, many countries have introduced anti-spam legislation. However, today's worldwide legislative coverage of spam is heterogeneous, and its effectiveness is discussed controversially. This article describes important parameters by which anti-spam legislation can vary and gives an overview and analysis of worldwide anti-spam legislation, including the European Directive 2002/58/EC and the United States CANSPAM Act 2003, and international cooperation, such as the London Action Plan. The article then proceeds to discuss the effectiveness of current laws and identifies problems resulting from the fact that an international phenomenon is being addressed by national legislation. Finally, the article presents suggestions for overcoming some of these problems.     

New bin packing fast lower bounds

In this paper, we address the issue of computing fast lower bounds for the Bin Packing problem, i.e., bounds that have a computational complexity dominated by the complexity of ordering the items by non-increasing values of their volume. We introduce new classes of fast lower bounds with improved asymptotic worst-case performance compared to well-known results for similar computational effort. Experimental results on a large set of problem instances indicate that the proposed bounds reduce both the deviation from the optimum and the computational effort.