The Affinity of Basic Dyes for Leacril 16 Acrylic Fibre

The dyeing affinity of some thiazole and benzothiazole basic azo dyes for Leacril 16 acrylic fibre was measured using Langmuir isotherms. Results show a close dependence of dye structure on affinity.     

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.     

Toward virtual biopsy through an all fiber optic ultrasonic miniaturized transducer: a proposal

The present generation of devices based on opto-acoustic and acousto-optic conversion lets us foresee the possibility of realizing complete miniaturized transmitting-receiving transducers, able to generate and detect wideband ultrasounds by laser light. In the present paper, a miniaturized ultrasonic transducer entirely based on fiber optic technology is proposed. Such a device springs from the conjunction between our research, which has produced a highly efficient fiber optic opto-acoustic source, with the results obtained by other researchers concerning the realization of an ultrasonic receiver based on optical interferometry. Making use of the thermo-elastic effect for ultrasound generation, a source of ultrasound can be obtained by coupling a fiber optic to pulsed laser, if a film capable of absorbing laser light is placed onto fiber end. Starting from these remarks, we propose an efficient opto-acoustic source, able to generate pressure pulses with amplitude of the order of 10(4) Pa and bandwidth extending up to 40 MHz and beyond by using graphite materials as absorbing film. This solution makes use of a low-power pulsed laser as optical source possible. An ultrasonic receiving element was realized placing a Fabry-Perot cavity over the tip of a fiber optic. The cavity thickness modulation induced by ultrasonic beam is detected by an interferometer optical technique. We have realized a prototype of a receiving device that exhibits a sensitivity comparable with that of piezoelectric devices (10-100 nV/Pa) and an almost flat bandwidth extending up to 20 MHz or more. The extreme miniaturization of the resulting ultrasonic transducer, together with its wide ultrasonic frequency bandwidth, is the first step toward ultrasonic tissue biopsy. In this paper, before discussing the problem of constructing a complete ultrasonic transducer composed by a transmitter and receiver, the results carried out in these fields during the last decade are reviewed.     

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.