Code generation for a family of executable modelling notations

We are investigating semantically configurable model-driven engineering (MDE). The goal of this work is a modelling environment that supports flexible, configurable modelling notations, in which specifiers can configure the semantics of notations to suit their needs and yet still have access to the types of analysis tools and code generators normally associated with MDE. In this paper, we describe semantically configurable code generation for a family of behavioural modelling notations. The family includes variants of statecharts, process algebras, Petri Nets, and SDL88. The semantics of this family is defined using template semantics, which is a parameterized structured operational semantics in which parameters represent semantic variation points. A specific notation is derived by instantiating the family’s template semantics with parameter values that specify semantic choices. We have developed a code-generator generator (CGG) that creates a suitable Java code generator for a subset of derivable modelling notations. Our prototype CGG supports 26 semantics parameters, 89 parameter values, and 7 composition operators. As a result, we are able to produce code generators for a sizable family of modelling notations, though at present the performance of our generated code is about an order of magnitude slower than that produced by commercial-grade generators.     

MSW devices for EW receiver applications

Conclusion Significant improvements are required in the performance of MSW dispersive delay lines and filter banks before they are ready for systems application. Typically delay lines with bandwidths of 1 GHz or greater, differential delays in the range 200 ns to 1s, and minimum phase errors (<±1 °) are required for large (40 dB) dynamic range compressive receivers. However, techniques are evolving (see rest of this issue) in this relatively new area of technology which will allow systems performance requirements on phase errors to be met. Possible approaches to low phase error dispersive delay lines include reflective arrays, stepped ground planes, and multiple YIG films. The stepped ground plane technique is the most advanced and uses an optimization approach to the delay-line design, which results in a minimum phase error [20]. Ultimately the minimum achievable phase error will be limited by reflections from transducers and multiple mode effects in the delay lines. The MSW compressive receiver requires parallel advances in high-speed digital processing techniques to achieve its full potential.The MSW filter bank provides a simple channelization technique applicable up to approximately 20 GHz. Narrowband channels with 10 dB insertion loss, 3 dB bandwidths of 10 to 40 MHz, and 50 dB bandwidths of 30 to 120 MHz are possible with the already demonstrated techniques. Broader bandwidth channels in the range 50 to 200 MHz with flat passband response require improved transducer design techniques. The channelized receiver does not require extremely high-speed operations but, since a large number of channels are involved, size and cost become very significant.     

Effect of Carbon Content on Variant Pairing in Bainitic Low Alloy Steel

Metallurgical and Materials Transactions A - Variant pairing in bainite was evaluated in four different commercial low alloy steels with medium to high carbon content. The steels investigated were...     

Interactions in compatible polymer systems

Summary Dynamic mechanical measurements on polystyrene — poly(vinylmethylether) blends are demonstrating that the relaxation processes in the blends are mainly connected with the motions of the poly(vinylmethylether) chain.Concerning the effect of mixing on topological properties of the blends, an increase of the polydispersity of the relaxation processes is detected in blends with high molecular weight polystyrene while low molecular weight polystyrene exerts an effect of dilution upon the relaxation of the high molecular poly(vinylmethylether) chains.From these measurements as well as from thermoanalytical data it results that the energetic interaction is more pronounced in the blends with oligomeric than with high molecular weight polystyrene. The glass transition temperature shows a larger deviation from additivity for blends with high molecular polystyrene than for those with oligomeric polystyrene.Herrn Prof. Dr. M. Kryszewski zum 60. Geburtstag herzlichst gewidmet     

Scalable Realistic Rendering with Many‐Light Methods

Recent years have seen increasing attention and significant progress in many‐light rendering, a class of methods for efficient computation of global illumination. The many‐light formulation offers a unified mathematical framework for the problem reducing the full lighting transport simulation to the calculation of the direct illumination from many virtual light sources. These methods are unrivaled in their scalability: they are able to produce plausible images in a fraction of a second but also converge to the full solution over time. In this state‐of‐the‐art report, we give an easy‐to‐follow, introductory tutorial of the many‐light theory; provide a comprehensive, unified survey of the topic with a comparison of the main algorithms; discuss limitations regarding materials and light transport phenomena and present a vision to motivate and guide future research. We will cover both the fundamental concepts as well as improvements, extensions and applications of many‐light rendering.     

Natrium-Aluminium-Silicate - Eigenschaften und Anwendungen

Sodium Aluminium Silicates - Properties and Application Sodium aluminium silicates in amorphous and crystalline form are used since many years in various technical processes. The crystalline sodium aluminium silicates, e. g. zeolites, belong to the group of structured silicates and are known for their reversible water uptake and alkaline earth exchange properties. Recently, sodium aluminium silicates have gained considerable importance since their cation exchanging ability can be utilized in washing agents for the removal of undesirable hardness of water. Thus, the polyphosphates used in washing agents can possibly be substituted. Zeolites can be supplied to the detergent industry in the form of powder or suspension. Production of the powder by spray drying does not involve special problems. Incorporation of the powder into the slurry of the detergent appears to be an anachronism from the viewpoint of energy saving. Optimization work on suspensions of zeolite yielded stable products with 45 to 48% zeolite content. The theory of critical particle concentration was applied in this work.     

On detecting co-resident cloud instances using network flow watermarking techniques

Virtualization is the cornerstone of the developing third-party compute industry, allowing cloud providers to instantiate multiple virtual machines (VMs) on a single set of physical resources. Customers utilize cloud resources alongside unknown and untrusted parties, creating the co-resident threat—unless perfect isolation is provided by the virtual hypervisor, there exists the possibility for unauthorized access to sensitive customer information through the exploitation of covert side channels. This paper presents co-resident watermarking, a traffic analysis attack that allows a malicious co-resident VM to inject a watermark signature into the network flow of a target instance. This watermark can be used to exfiltrate and broadcast co-residency data from the physical machine, compromising isolation without reliance on internal side channels. As a result, our approach is difficult to defend against without costly underutilization of the physical machine. We evaluate co-resident watermarkingunder a large variety of conditions, system loads and hardware configurations, from a local laboratory environment to production cloud environments (Futuregrid and the University of Oregon’s ACISS). We demonstrate the ability to initiate a covert channel of 4 bits per second, and we can confirm co-residency with a target VM instance in $<$ 10 s. We also show that passive load measurement of the target and subsequent behavior profiling is possible with this attack. We go on to consider the detectability of co-resident watermarking, extending our scheme to create a subtler watermarking attack by imitating legitimate cloud customer behavior. Our investigation demonstrates the need for the careful design of hardware to be used in the cloud.     

What localizes beneath: A metric multisensor localization and mapping system for autonomous underground mining vehicles

Robustly and accurately localizing vehicles in underground mines is particularly challenging due to the unavailability of GPS, variable and often poor lighting conditions, visual aliasing in long tunnels, and airborne dust and water. In this paper, we present a novel, infrastructure‐less, multisensor localization method for robust autonomous operation within underground mines. The proposed method integrates with existing mine site commissioning and operation procedures and includes both an offline map‐building process and an online localization algorithm. The approach combines the strengths of visual‐based place recognition, LIDAR‐based localization, and odometry in a particle filter fusion process. We provide an extensive experimental validation using new large data sets acquired in two operational Australian underground hard‐rock mines (including a 600m‐deep multilevel mine with approximately 33 km of mapping data and 7 km of vehicle localization) by actual mining vehicles during production operations. We demonstrate a significant increase in localization accuracy over prior state‐of‐the‐art SLAM research systems and real‐time operation, with processing times in the order of 10 Hz. We present results showing a mean error of 0.68 m from the Queensland Mine data set and 1.32 m from the New South Wales Mine data set and at least 86% reduction in error compared with prior state of the art. We also analyze the impact of the particle filter parameters with respect to localization accuracy. Together this study represents a new approach to positioning systems for currently deployed autonomous vehicles within underground mine environments.     

Numerical simulation of non-linear chatter vibration in turning

In this paper, basic relationships and algorithms for numerical simulation of non-linear, self-excited vibrations in single degree-of-freedom cutting systems are presented. Non-linearities due to the tool leaving the cut, as well as interference between the cutting tool clearance face and cutting surface waviness, were taken into consideration. Examples of vibration simulation results are shown.     

An improved factor based approach to precedential constraint

In this article I argue for rule-based, non-monotonic theories of common law judicial reasoning and improve upon one such theory offered by Horty and Bench-Capon. The improvements reveal some of the interconnections between formal theories of judicial reasoning and traditional issues within jurisprudence regarding the notions of the ratio decidendi and obiter dicta. Though I do not purport to resolve the long-standing jurisprudential issues here, it is beneficial for theorists both of legal philosophy and formalizing legal reasoning to see where the two projects interact.