A simpler analysis of Burrows–Wheeler-based compression

In this paper, we present a new technique for worst-case analysis of compression algorithms which are based on the Burrows–Wheeler Transform. We mainly deal with the algorithm proposed by Burrows and Wheeler in their first paper on the subject [M. Burrows, D.J. Wheeler, A block sorting lossless data compression algorithm, Technical Report 124, Digital Equipment Corporation, Palo Alto, California, 1994], called bw0. This algorithm consists of the following three essential steps: (1) Obtain the Burrows–Wheeler Transform of the text, (2) Convert the transform into a sequence of integers using the move-to-front algorithm, (3) Encode the integers using Arithmetic code or any order-0 encoding (possibly with run-length encoding).     

Towards identifying the roll motion parameters of a motorcycle simulator

This study aimed at identifying the roll motion parameters of a motorcycle simulator prototype. Experienced motorcyclists tuned the angular physical movement of the mock-up and that of the visual scene to achieve an optimal riding experience during curves. The participants exceeded the rolling angles that would be required in real-world riding, while avoiding leaning the mock-up beyond 10°. In addition, they were more influenced by the speed of the virtual motorcycle than by road curvature, especially in a wide field of view. Heterogeneity was found in the roll applied to the visual scene. The overall patterns suggest that at least when washout is not applied to remove the side forces that in real-world riding are compensated by a centrifugal force, greater roll of the visual at the expense of the mock-up is mandatory to avoid performance biases that might be enhanced due to fear of falling off the simulator. Future roll motion models must take into consideration factors such as riding postures, which might not only influence the forces operating on the rider-motorcycle system, but also how motorcyclists perceive the visual world.     

Using aspects for testing of embedded software: experiences from two industrial case studies

Aspect-oriented software testing is emerging as an important alternative to conventional procedural and object-oriented testing techniques. This paper reports experiences from two case studies where aspects were used for the testing of embedded software in the context of an industrial application. In the first study, we used code-level aspects for testing non-functional properties. The methodology we used for deriving test aspect code was based on translating high-level requirements into test objectives, which were then implemented using test aspects in AspectC++. In the second study, we used high-level visual scenario-based models for the test specification, test generation, and aspect-based test execution. To specify scenario-based tests, we used a UML2-compliant variant of live sequence charts. To automatically generate test code from the models, a modified version of the S2A Compiler, outputting AspectC++ code, was used. Finally, to examine the results of the tests, we used the Tracer, a prototype tool for model-based trace visualization and exploration. The results of the two case studies show that aspects offer benefits over conventional techniques in the context of testing embedded software; these benefits are discussed in detail. Finally, towards the end of the paper, we also discuss the lessons learned, including the technological and other barriers to the future successful use of aspects in the testing of embedded software in industry.     

A probabilistic alternative to regression suites

Automated regression suites are essential in developing large applications, while maintaining reasonable quality and timetables. The main argument against the automation of regression suites, in addition to the cost of creation and maintenance, is the observation that if you run the same test many times, it becomes increasingly less likely to find bugs. To alleviate such problems, a new regression suite practice, using random test generators to create regression suites on-the-fly, is becoming more common. In this practice, instead of maintaining tests, we generate test suites on-the-fly by choosing several specifications and generating a number of tests from each specification.     

On the complexity of approximating k-set packing

Given a k-uniform hypergraph, the Maximum k -Set Packing problem is to find the maximum disjoint set of edges. We prove that this problem cannot be efficiently approximated to within a factor of unless P = NP. This improves the previous hardness of approximation factor of by Trevisan. This result extends to the problem of k-Dimensional-Matching.     

Polymorphic scenario-based specification models: semantics and applications

We present polymorphic scenarios, a generalization of a UML2-compliant variant of Damm and Harel??s live sequence charts (LSC) in the context of object-orientation. Polymorphic scenarios are visualized using (modal) sequence diagrams where lifelines may represent classes and interfaces rather than concrete objects. Their semantics takes advantage of inheritance and interface realization to allow the specification of most expressive, succinct, and reusable universal and existential inter-object scenarios for object-oriented system models. We motivate the use of polymorphic scenarios, formally define their trace-based semantics, and present their application for scenario-based testing and execution, as implemented in the S2A compiler developed at the Weizmann Institute of Science. We further discuss advanced semantic issues arising from the use of scenarios in a polymorphic setting, suggest possible extensions, present a UML profile to support polymorphic scenarios, consider the application of the polymorphic semantics to other variants of scenario-based specification languages, and position our work in the broader context of behavioral subtyping.     

Modifying continuous-time random walks to model finite-size particle diffusion in granular porous media

The continuous-time random walk (CTRW) model is useful for alleviating the computational burden of simulating diffusion in actual media. In principle, isotropic CTRW only requires knowledge of the step-size, \(P_l\), and waiting-time, \(P_t\), distributions of the random walk in the medium and it then generates presumably equivalent walks in free space, which are much faster. Here we test the usefulness of CTRW to modelling diffusion of finite-size particles in porous medium generated by loose granular packs. This is done by first simulating the diffusion process in a model porous medium of mean coordination number, which corresponds to marginal rigidity (the loosest possible structure), computing the resulting distributions \(P_l\) and \(P_t\) as functions of the particle size, and then using these as input for a free space CTRW. The CTRW walks are then compared to the ones simulated in the actual media. In particular, we study the normal-to-anomalous transition of the diffusion as a function of increasing particle size. We find that, given the same \(P_l\) and \(P_t\) for the simulation and the CTRW, the latter predicts incorrectly the size at which the transition occurs. We show that the discrepancy is related to the dependence of the effective connectivity of the porous media on the diffusing particle size, which is not captured simply by these distributions. We propose a correcting modification to the CTRW model—adding anisotropy—and show that it yields good agreement with the simulated diffusion process. We also present a method to obtain \(P_l\) and \(P_t\) directly from the porous sample, without having to simulate an actual diffusion process. This extends the use of CTRW, with all its advantages, to modelling diffusion processes of finite-size particles in such confined geometries.     

Inflation waves in non-linear distensible tubes

A mathematical model for large amplitude wave propagation in a thin walled distensible tube is developed. The tube wall is considered as a membranic shell made of an incompressible, non-linear viscoelastic material with cylindrical orthotropy. The fluid is regarded as incompressible and inviscid and the flow is quasi-one-dimensional. The case of a pressure step applied at one end of a uniform straight tube is solved as an example. The system of partial differential equations, describing the motions of the fluid and the wall, are integrated numerically by using a two-step explicit scheme. Flow and deformation variables as well as the wave velocity are determined in time and space.