Showing papers by "Chalmers University of Technology published in 2000"

Perspectives and results on the stability and stabilizability of hybrid systems

Abstract: This paper introduces the concept of a hybrid system and some of the challenges associated with the stability of such systems, including the issues of guaranteeing stability of switched stable systems and finding conditions for the existence of switched controllers for stabilizing switched unstable systems. In this endeavour, this paper surveys the major results in the (Lyapunov) stability of finite-dimensional hybrid systems and then discusses the stronger, more specialized results of switched linear (stable and unstable) systems. A section detailing how some of the results can be formulated as linear matrix inequalities is given. Stability analyses on the regulation of the angle of attack of an aircraft and on the PI control of a vehicle with an automatic transmission are given. Other examples are included to illustrate various results in this paper.

Electromagnetic contributions to single-molecule sensitivity in surface-enhanced Raman scattering

Abstract: We examine whether single molecule sensitivity in surface-enhanced Raman scattering (SERS) can be explained in the framework of classical electromagnetic theory. The influence of colloid particle shape and size, composition (Ag or Au) and interparticle separation distance on the wavelength-dependent SERS enhancement factor is reported. Our calculations indicate that the maximum enhancement factor achievable through electromagnetics is of the order 10(11). This is obtained only under special circumstances, namely at interstitial sites between particles and at locations outside sharp surface protrusions. The comparative rarity of such sites, together with the extreme spatial localization of the enhancement they provide, can qualitatively explain why only very few surface sites seem to contribute to the measured signal in single-molecule SERS experiments. Enhancement factors of the order 10(14)-10(15), which have been reported in recent experiments, are likely to involve additional enhancement mechanisms such as chemisorption induced resonance Raman effects.

QuickCheck: a lightweight tool for random testing of Haskell programs

Abstract: Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffices to obtain good coverage of the definition under test.

Comparisons and physics basis of tokamak transport models and turbulence simulations

Abstract: The predictions of gyrokinetic and gyrofluid simulations of ion-temperature-gradient(ITG)instability and turbulence in tokamak plasmas as well as some tokamak plasma thermal transportmodels, which have been widely used for predicting the performance of the proposed International Thermonuclear Experimental Reactor (ITER) tokamak [Plasma Physics and Controlled Nuclear Fusion Research, 1996 (International Atomic Energy Agency, Vienna, 1997), Vol. 1, p. 3], are compared. These comparisons provide information on effects of differences in the physics content of the various models and on the fusion-relevant figures of merit of plasma performance predicted by the models. Many of the comparisons are undertaken for a simplified plasma model and geometry which is an idealization of the plasma conditions and geometry in a Doublet III-D [Plasma Physics and Controlled Nuclear Fusion Research, 1986 (International Atomic Energy Agency, Vienna, 1987), Vol. 1, p. 159] high confinement (H-mode) experiment. Most of the models show good agreements in their predictions and assumptions for the linear growth rates and frequencies. There are some differences associated with different equilibria. However, there are significant differences in the transport levels between the models. The causes of some of the differences are examined in some detail, with particular attention to numerical convergence in the turbulence simulations (with respect to simulation mesh size, system size and, for particle-based simulations, the particle number). The implications for predictions of fusion plasma performance are also discussed.

Path planning using lazy PRM

Abstract: Describes an approach to probabilistic roadmap planners (PRMs). The overall theme of the algorithm, called Lazy PRM, is to minimize the number of collision checks performed during planning and hence minimize the running time of the planner. Our algorithm builds a roadmap in the configuration space, whose nodes are the user-defined initial and goal configurations and a number of randomly generated nodes. Neighboring nodes are connected by edges representing paths between the nodes. In contrast with PRMs, our planner initially assumes that all nodes and edges in the roadmap are collision-free, and searches the roadmap at hand for a shortest path between the initial and the goal node. The nodes and edges along the path are then checked for collision. If a collision with the obstacles occurs, the corresponding nodes and edges are removed from the roadmap. Our planner either finds a new shortest path, or first updates the roadmap with new nodes and edges, and then searches for a shortest path. The above process is repeated until a collision-free path is returned. Lazy PRM is tailored to efficiently answer single planning queries, but can also be used for multiple queries. Experimental results presented in the paper show that our lazy method is very efficient in practice.

Checking Safety Properties Using Induction and a SAT-Solver

Abstract: We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-solver. We describe some novel induction-based methods, and show how they are related to more standard fixpoint algorithms for invariance checking. We also present preliminary experimental results in the verification of FPGA cores. This demonstrates the practicality of combining a SAT-solver with induction for safety property checking of hardware in a real design flow.

The mechanism for NOx storage

Abstract: The mechanisms for storing of NOx in platinum-barium-alumina catalysts during lean-rich transients are investigated. Oxidation of NO to NO2 is found to be an important step. NO2 is found to be important for oxidation of the catalyst or of nitrites to form nitrates. NOx is then stored in the form of surface nitrates. FTIR studies show no formation of bulk nitrates in these experiments.

Generalising monads to arrows

Abstract: Monads have become very popular for structuring functional programs since Wadler introduced their use in 1990. In particular, libraries of combinators are often based on a monadic type. Such libraries share (in part) a common interface, from which numerous benefits flow, such as the possibility to write generic code which works together with any library. But, several interesting and useful libraries are fundamentally incompatible with the monadic interface. In this paper I propose a generalisation of monads, which I call arrows, with significantly wider applicability. The paper shows how many of the techniques of monadic programming generalise to the new setting, and gives examples to show that the greater generality is useful. In particular, three non-monadic libraries for efficient parsing, building graphical user interfaces, and programming active web pages fit naturally into the new framework.

Backcasting — a framework for strategic planning

Abstract: Backcasting is a planning methodology that is particularly helpful when problems at hand are complex and when present trends are part of the problems When applied in planning towards sustainability, backcasting can increase the likelihood of handling the ecologically complex issues in a systematic and coordinated way, and also to foresee certain changes, even from a self-beneficial point of view, of the market and increase the chances of a relatively strong economic performance To that end, backcasting should be performed from a set of non-overlapping principles that are general enough to be helpful in the coordination of different sectors of society and in business, as well as to cover relevant aspects of sustainability Such principles are helpful when developing reliable non-overlapping indicators for monitoring of the development when coordinating various measures from different sectors of the society or within individual firms with each other, and when handling trade-offs in a relevant way Further

Formation of supported membranes from vesicles.

Abstract: Using a combination of the quartz crystal microbalance and surface plasmon resonance techniques, we have studied the spontaneous formation of supported lipid bilayers from small (approximately 25 nm) unilamellar vesicles. Together these experimental methods measure the amount of lipid adsorbed on the surface and the amount of water trapped by the lipid. With this approach, we have, for the first time, been able to observe in detail the progression from the adsorption of intact vesicles to rupture and bilayer formation. Monte Carlo simulations reproduce the data.

Peptide nucleic acid (PNA): its medical and biotechnical applications and promise for the future

Abstract: Synthetic molecules that can bind with high sequence specificity to a chosen target in a gene sequence are of major interest in medicinal and biotechnological contexts. They show promise for the development of gene therapeutic agents, diagnostic devices for genetic analysis, and as molecular tools for nucleic acid manipulations. Peptide nucleic acid (PNA) is a nucleic acid analog in which the sugar phosphate backbone of natural nucleic acid has been replaced by a synthetic peptide backbone usually formed from N-(2-amino-ethyl)-glycine units, resulting in an achiral and uncharged mimic. It is chemically stable and resistant to hydrolytic (enzymatic) cleavage and thus not expected to be degraded inside a living cell. PNA is capable of sequence-specific recognition of DNA and RNA obeying the Watson-Crick hydrogen bonding scheme, and the hybrid complexes exhibit extraordinary thermal stability and unique ionic strength effects. It may also recognize duplex homopurine sequences of DNA to which it binds by strand invasion, forming a stable PNA-DNA-PNA triplex with a looped-out DNA strand. Since its discovery, PNA has attracted major attention at the interface of chemistry and biology because of its interesting chemical, physical, and biological properties and its potential to act as an active component for diagnostic as well as pharmaceutical applications. In vitro studies indicate that PNA could inhibit both transcription and translation of genes to which it has been targeted, which holds promise for its use for antigene and antisense therapy. However, as with other high molecular mass drugs, the delivery of PNA, involving passage through the cell membrane, appears to be a general problem.

Self-similar accretion flows with convection

Abstract: We consider height-integrated equations of an advection-dominated accretion flow (ADAF), assuming that there is no mass outflow. We include convection through a mixing-length formalism. We seek self-similar solutions in which the rotational velocity and sound speed scale as R-1/2, where R is the radius, and consider two limiting prescriptions for the transport of angular momentum by convection. In one limit, the transport occurs down the angular velocity gradient, so convection moves angular momentum outward. In the other, the transport is down the specific angular momentum gradient, so convection moves angular momentum inward. We also consider general prescriptions that lie in between the two limits. When convection moves angular momentum outward, we recover the usual self-similar solution for ADAFs in which the mass density scales as ρ ∝ R-3/2. When convection moves angular momentum inward, the result depends on the viscosity coefficient α. If α > αcrit1 ~ 0.05, we once again find the standard ADAF solution. For α < αcrit2 ~ αcrit1, however, we find a nonaccreting solution in which ρ ∝ R-1/2. We refer to this as a "convective envelope" solution or a "convection-dominated accretion flow." Two-dimensional numerical simulations of ADAFs with values of α 0.03 have been reported by several authors. The simulated ADAFs exhibit convection. By virtue of their axisymmetry, convection in these simulations moves angular momentum inward, as we confirm by computing the Reynolds stress. The simulations give ρ ∝ R-1/2, in good agreement with the convective envelope solution. The R-1/2 density profile is not a consequence of mass outflow. The relevance of these axisymmetric low-α simulations to real accretion flows is uncertain.

Small-Group Behavior in a Virtual and Real Environment: A Comparative Study

Abstract: This paper describes an experiment that compares behavior in small groups when its members carry out a task in a virtual environment (VE) and then continue the same task in a similar, real-world environment. The purpose of the experiment was not to examine task performance, but to compare various aspects of the social relations among the group members in the two environments. Ten groups of three people each, who had never met before, met first in a shared VE and carried out a task that required the identification and solution of puzzles that were presented on pieces of paper displayed around the walls of a room. The puzzle involved identifying that the same-numbered words across all the pieces of paper formed a riddle or saying. The group continued this task for fifteen minutes, and then stopped to answer a questionnaire. The group then reconvened in the real world and continued the same task. The experiment also required one of the group members to continually monitor a particular one of the others in order to examine whether social discomfort could be generated within a VE. In each group, there was one immersed person with a head-mounted display and head-tracking and two non-immersed people who experienced the environment on a workstation display. The results suggest that the immersed person tended to emerge as the leader in the virtual group, but not in the real meeting. Group accord tended to be higher in the real meeting than in the virtual meeting. Socially conditioned responses such as embarrassment could be generated in the virtual meeting, even though the individuals were presented to one another by very simple avatars. The study also found a positive relationship between presence of being in a place and copresence---the sense of being with the other people. Accord in the group increased with presence, the performance of the group, and the presence of women in the group. The study is seen as part of a much larger planned study, for which this experiment was used to begin to understand the issues involved in comparing real and virtual meetings.

Time-frequency and time-scale domain analysis of voltage disturbances

Abstract: This paper discusses the analysis of voltage disturbance recordings in the time-frequency domain and in the time-scale domain. The discrete short-time Fourier transform (STFT) is used for the time-frequency domain; dyadic and binary-tree wavelet filters for the time-scale domain. The theory is explained with special emphases on the analysis of voltage disturbance data. Dyadic wavelet filters are not suitable for the harmonic analysis of disturbance data. Filter center frequencies and bandwidths are inflexible, and the results do not give easy insight in the time behavior of the harmonics. On the other hand, band-pass filter outputs from discrete STFT are well associated with harmonics and are thus more useful for power system analysis. With a properly chosen window size, the discrete STFT is also able to detect and analyze transients in a voltage disturbance. Overall, the STFT is more suitable than wavelet filters for the analysis of power system voltage disturbance data.

Transforming out timing leaks

Abstract: One aspect of security in mobile code is privacy: private (or secret) data should not be leaked to unauthorised agents. Most of the work on secure information flow has until recently only been concerned with detecting direct and indirect flows. Secret information can however be leaked to the attacker also through covert channels. It is very reasonable to assume that the attacker, even as an external observer, can monitor the timing (including termination) behaviour of the program. Thus to claim a program secure, the security analysis must take also these into account.In this work we present a surprisingly simple solution to the problem of detecting timing leakages to external observers. Our system consists of a type system in which well-typed programs do not leak secret information directly, indirectly or through timing, and a transformation for removing timing leakages. For any program that is well typed according to Volpano and Smith [VS97a], our transformation generates a program that is also free of timing leaks.

Physiological effects of 5-hydroxymethylfurfural on Saccharomyces cerevisiae.

Abstract: The physiological effects of 5-hydroxymethylfurfural (HMF) on Saccharomyces cerevisiae CBS 8066 in the presence and absence of furfural were studied. Experiments were carried out by pulse addition of HMF (2–4 g/l) as well as HMF (2 g/l) together with furfural (2 g/l) to batch cultivations of S. cerevisiae. Synthetic medium with glucose (50 g/l) as carbon and energy source was used. Addition of 4 g/l of HMF caused a decrease (approx. 32%) in the carbon dioxide evolution rate. Furthermore, the HMF was found to be taken up and converted by the yeast with a specific uptake rate of 0.14 (±0.03) g/g · h during both aerobic and anaerobic conditions, and the main conversion product was found to be 5-hydroxymethylfurfuryl alcohol. A previously unreported compound was found and characterized by mass spectrometry. It is suggested that the compound is formed from pyruvate and HMF in a reaction possibly catalysed by pyruvate decarboxylase. When HMF was added together with furfural, very little conversion of HMF took place until all of the furfural had been converted. Furthermore, the conversion rates of both furfural and HMF were lower than when added separately and growth was completely inhibited as long as both furfural and HMF were present in the medium.

Probabilistic noninterference for multi-threaded programs

Abstract: We present a probability-sensitive confidentiality specification-a form of probabilistic noninterference-for a small multi-threaded programming language with dynamic thread creation. Probabilistic covert channels arise from a scheduler which is probabilistic. Since scheduling policy is typically outside the language specification for multi-threaded languages, we describe how to generalise the security condition in order to define how to generalise the security condition in order to define robust security with respect to a wide class of schedulers, not excluding the possibility of deterministic (e.g., round-robin) schedulers and program-controlled thread priorities. The formulation is based on an adaptation of Larsen and Skou's (1991) notion of probabilistic bisimulation. We show how the security condition satisfies compositionality properties which facilitate straightforward proofs of correctness for, e.g., security type systems. We illustrate this by defining a security type system which improves on previous multi-threaded systems, and by proving it correct with respect to our stronger scheduler-independent security condition.

A multiscale dynamic programming procedure for boundary detection in ultrasonic artery images

Abstract: Ultrasonic measurements of human carotid and femoral artery walls are conventionally obtained by manually tracing interfaces between tissue layers. The drawbacks of this method are the interobserver variability and inefficiency. Here, the authors present a new automated method which reduces these problems. By applying a multiscale dynamic programming (DP) algorithm, approximate vessel wall positions are first estimated in a coarse-scale image, which then guide the detection of the boundaries in a fine-scale image. In both cases, DP is used for finding a global optimum for a cost function. The cost function is a weighted sum of terms, in fuzzy expression forms, representing image features and geometrical characteristics of the vessel interfaces. The weights are adjusted by a training procedure using human expert tracings. Operator interventions, if needed, also take effect under the framework of global optimality. This reduces the amount of human intervention and, hence, variability due to subjectiveness. By incorporating human knowledge and experience, the algorithm becomes more robust. A thorough evaluation of the method in the clinical environment shows that interobserver variability is evidently decreased and so is the overall analysis time. The authors conclude that the automated procedure can replace the manual procedure and leads to an improved performance.

Quantifying glass transition behavior in ultrathin free-standing polymer films

Abstract: We have used Brillouin light scattering to make a detailed study of the behavior of the glass transition temperature T(g) in ultrathin, free-standing polystyrene films. The glass transitions were experimentally identified as near discontinuities in the thermal expansion. The effects of film thickness, molecular weight, and thermal history on the measured T(g) values have been investigated. While the size of the glass transition effects was comparable for all molecular weights, a complicated M(n) dependence suggested a separation of the results into two regimes, each dominated by a different length scale: a low M(n) regime controlled by a length scale intrinsic to the glass transition and a high M(n) region, where polymer chain confinement induced effects take over.

Dynamics of supercooled water in confined geometry

Abstract: As with most liquids, it is possible to supercool1,2,3,4 water; this generally involves cooling the liquid below its melting temperature (avoiding crystallization) until it eventually forms a glass. The viscosity and related relaxation times (τ) of glass-forming liquids typically show non-Arrhenius temperature (T) dependencies. Liquids with highly non-Arrhenius behaviour in the supercooled region are termed ‘fragile’. In contrast, liquids whose behaviour is close to the Arrhenius law (ln τ ∝ 1/T) are termed ‘strong’ ( ref. 5). A unique ‘fragile–strong’ transition around 228 K has been proposed6 for supercooled water; however, experimental studies of bulk supercooled water in this temperature range are generally hampered because crystallization occurs. Here we use broad-band dielectric spectroscopy to study the relaxation dynamics of supercooled water in a wide temperature range, including the usually inaccessible temperature region. This is possible because the supercooled water is held within a layered vermiculite clay—the geometrical confinement and presence of intercalated sodium ions prevent7 most of the water from crystallizing. We find a relaxational process with an Arrhenius temperature dependence, consistent with the proposed strong nature of deeply supercooled bulk water. Because water that is less supercooled has been established6 as highly fragile, our results support the existence of a fragile–strong transition.

Life cycle assessment of wastewater systems : Influence of system boundaries and scale on calculated environmental loads

Abstract: Life cycle assessment (LCA) methodology was used to compare the environmental loads from wastewater systems with different technical solutions. This study compared proposed conventional wastewater systems, both large and small scale, with separation systems: one in which urine is handled separately and one in which black water is treated in a liquid composting process. The study showed that large economies of scale, in environmental terms, could be gained both for the operation and for the construction phase. The separation systems outperformed the conventional systems by showing lower emissions to water and more efficient recycling of nutrients to agriculture, especially of nitrogen but also of phosphorus. This implies that the use of separation systems could significantly reduce the need for, and hence the production of, mineral fertilizers and thus reduce the overall use of energy and phosphate minerals. The combination of large-scale wastewater treatment and urine separation was found to be especially advantageous in these respects. It is concluded that some of the most important environmental advantages of separation systems emerge only when models of wastewater systems are expanded to also include potential effects on the production of fertilizers.

Entropy Dissipation and Long-Range Interactions

Abstract: We study Boltzmann's collision operator for long-range interactions, i.e., without Grad's angular cut-off assumption. We establish a functional inequality showing that the entropy dissipation controls smoothness of the distribution function, in a precise sense. Our estimate is optimal, and gives a unified treatment of both the linear and the nonlinear cases. We also give simple and self-contained proofs of several useful results that were scattered in previous works. As an application, we obtain several helpful estimates for the Cauchy problem, and for the Landau approximation in plasma physics.

Reductions of the glass transition temperature in thin polymer films: Probing the length scale of cooperative dynamics

Abstract: We report measurements of the glass transition temperature, ${T}_{g},$ in free standing polymer films in a low ${M}_{n}$ limit where chain confinement effects are not observed. The measured ${T}_{g}$ values are accurately described by a layer model incorporating a mobile surface layer with a size determined by the length scale of cooperative dynamics. The analysis leads to a surface ${T}_{g}$ value and length scale of cooperative motion near bulk ${T}_{g}$ which quantitatively agree with independently determined values. The model and parameters provide a framework within which all previous measurements of ${T}_{g}$ values in thin supported films may be understood and provides values for the length scale of cooperative motion over an extended range of temperatures below the bulk ${T}_{g}$ value.