Impossible and ambiguous shading patterns

A smooth object depicted in a monochrome image will often exhibit brightness variation, or shading. A problem much studied in computer vision has been that of how object shape may be recovered from image shading. When the imaging conditions are such that an overhead point-source illuminates a smooth Lambertian surface, the problem may be formulated as that of finding a solution to an eikonal equation. This article will focus on the existence and uniqueness of such solutions, reporting recent results obtained. With regard to existence, shading patterns are exhibited for which there is no corresponding object shape. Specifically, a necessary and sufficient condition is presented for a circularly symmetric eikonal equation to admit exclusively unbounded solutions; additionally, a sufficient condition is given for an eikonal equation to have no solution whatsoever. In connection with uniqueness, we consider eikonal equations, defined over a disc, such that the Euclidean norm of the gradient of any solution is circularly symmetric, vanishes exactly at the disc center, and diverges to infinity as the circumference of the disc is approached. Contrary to earlier influential work, a class of such eikonal equations is shown to possess simultaneously circularly symmetric and noncircularly symmetric bounded smooth solutions.     

New fire‐protective intumescent coatings for wood

Polyurethane coatings are highly flammable, and because of their widespread applications on different substrates (wood, steel, and building materials), there is a need to increase their fire‐safety properties. Intumescent additives sharply suppress the flammability properties of polyurethane coatings. Two problems accompany intumescent additives: their high loading percentage and incompatibility with polyurethane coatings. In this research, we succeeded in increasing the compatibility by mixing intumescent additives with a butyl acrylate polymer and in lowering the flame‐retardant additive loading (up to 20%) by incorporating newly modified montmorillonite. The flammability properties of the new intumescent coatings were characterized with a cone calorimeter. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Path Loss Modelling for Location Service Applications

The aim of this paper is the path loss modelling for the radiolocation services in radio communication networks, particularly in cellular networks. The main results of the measurements obtained in the physical layer of the UMTS are introduced. A new method for the utilization of the multipath propagation phenomenon to improve the estimation of the distance between the MS （mobile station） and the BS （base station） is outlined. This method significantly increases the quality of location services in systems which use a radio interface with DS （direct sequence） CDMA （code division multiple access）.     

Adaptive Control of the Electro‐Hydraulic Servo‐System with External Disturbances

The paper deals with the structure of the adaptive control electro‐hydraulic servo‐system (EHSS) with external load disturbances, practical verification of the identification, and control algorithms. The electro‐hydraulic servo system composed of a servo‐cylinder controlled with a servo‐valve is discussed. It is a strongly nonlinear object with parameters changing over time. Adaptive adjuster parameters were determined by means of current identification resulting in the parametric model. Identification was conducted on the basis of measurement of the controlling size and regulated size objects. The identified model of the object was applied to carry out the on‐line synthesis of the proportional–integral–derivative (PID) controller. The selected problems connected with obtaining the algorithm of adaptive control are presented. The computer program for implementing the algorithm with numerical simulation and identification of the control physical model object were calculated. The aim of the research was to examine the effectiveness of the adaptive control method in an electro‐hydraulic servo system, both theoretically and experimentally.     

Relational structures model of concurrency

The paper deals with the foundations of concurrency theory. We show how structurally complex concurrent behaviours can be modelled by relational structures (X, ¨, \sqsubset){(X, \diamondsuit, \sqsubset)} , where X is a set (of event occurrences), and ¨{\diamondsuit} (interpreted as commutativity) and \sqsubset{\sqsubset} (interpreted as weak causality) are binary relations on X. The paper is a continuation of the approach initiated in Gaifman and Pratt (Proceedings of LICS’87, pp 72–85, 1987), Lamport (J ACM 33:313–326, 1986), Abraham et al. (Semantics for concurrency, workshops in computing. Springer, Heidelberg, pp 311–323, 1990) and Janicki and Koutny (Lect Notes Comput Sci 506:59–74, 1991), substantially developed in Janicki and Koutny (Theoretical Computer Science 112:5–52, 1993) and Janicki and Koutny (Acta Informatica 34:367–388, 1997), and recently generalized in Guo and Janicki (Lect Notes Comput Sci 2422:178–191, 2002) and Janicki (Lect Notes Comput Sci 3407:84–98, 2005). For the first time the full model for the most general case is given.     

CMOS current conveyor for ±3 v supply operation

The paper presents a precision CMOS current conveyor (CCII⁺), working in class A, suitable for low supply voltages (±3 V). Owing to a new solution of its input stage, a very lowx-input resistance (about 10 ) has been achieved without applying any loop of negative feedback. Since the circuit includes no high-gain feedback loop, there was no need to use a frequency-compensating capacitor (introducing a dominant pole) in order to ensure its stability. As a consequence, the conveyor is characterized by a higher bandwidth, for a given manufacturing process, compared to circuits including such capacitors. To ensure a high performance under the low supply conditions, a special cascode proposed in [1] has been applied which enables to realize precision current mirrors. PSPICE simulation studies based on detailed level-2 transistor-models are given. The obtained results are in a good agreement with the theory presented and show good properties and potentials of the conveyor.     

Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.