A Study of Surface Deformation during Wire‐Rod Rolling of High Speed Steels using Experimental and Computational Techniques

The evolution of surface defects during shape rolling of high‐speed steel billets is studied using longitudinal surface defects prepared by machining and welding. The reduction of the defects during rolling in a production mill is compared to the total area reduction of the billets. Samples are collected after pass 4, 6, 8, 14, 19 and the final pass, 28, representing the finished 5.5mm wire. By inspecting the cross sections, the rotation of the billets from pass to pass is evaluated. Results from FE simulations on solid billets are compared to the experimental results. Generally, simulations predict less reduction than observed experimentally. In most cases cracks reduce most effectively followed by carbon steel welds and stainless steel welds.     

The content and composition of sterols and sterol esters in low erucic acid rapeseed (Brassica napus)

The low temperature crystallization technique for the enrichment of “minor” components, such as sterols and sterol esters, from vegetable oils was applied to low erucic acid rapeseed oils. The recovery of free sterols and sterol esters was estimated by use of¹⁴C-cholesterol and¹⁴C-cholesterol oleate. 80% of the free sterols and 45% of the sterol esters were recovered in the liquid fraction, while in two studies total recoveries were 95% and 99%, respectively. This technique showed some selectivity toward the sterol bound fatty acids when compared to direct preparative thin layer chromatography (TLC) of the crude oil. Gas liquid chromatography (GLC) analysis of the free and esterified sterols as TMS-derivatives showed very little selectivity in the enrichment procedure. The fatty acid patterns of the sterol esters demonstrated, however, a preference in the liquid fraction for those sterol esters which have a high linoleic and linolenic acid content. The content of free sterols was 0.3–0.4% and that of sterol esters 0.7–1.2% of the rapeseed oils in both winter and summer types of low erucic acid rapeseed (Brassica napus) when the lipid classes were isolated by direct preparative TLC of the oils. The free sterols in the seven cultivars or breeding lines analyzed were composed of 44–55% sitosterol, 27–36% campesterol, 17–21% brassicasterol, and a trace of cholesterol. The esterified sterols were 47–57% sitosterol, 36–44% campesterol, 6–9% brassicasterol, and traces of cholesterol and Δ5-avenasterol. The fatty acid patterns of these esters were characterized by ca. 30% oleic acid and ca. 50% linoleic acid, whereas these acids constitute 60% and 20%, respectively, of the total fatty acids in the oil. Little or no variation in sterol and sterol ester patterns with locality within Sweden was observed for the one cultivar of summer rapeseed investigated by the low temperature crystallization technique.     

An empirical study of control logic specifications for programmable logic controllers

This paper presents an empirical study of control logic specifications used to document industrial control logic code in manufacturing applications. More than one hundred input/output related property specifications from ten different reusable function blocks were investigated. The main purpose of the study was to provide understanding of how the specifications are expressed by industrial practitioners, in order to develop new tools and methods for specifying control logic software, as well as for evaluating existing ones. In this paper, the studied specifications are used to evaluate linear temporal logic in general and the specification language ST-LTL, tailored for functions blocks, in particular. The study shows that most specifications are expressed as implications, that should always be fulfilled, between input and output conditions. Many of these implications are complex since the input and output conditions may be mixed and involve sequences, timer issues and non-boolean variables. Using ST-LTL it was possible to represent all implications of this study. The few non-implication specifications could be specified in ST-LTL as well after being altered to suit the specification language. The paper demonstrates some advantages of ST-LTL compared to standard linear temporal logic and discusses possible improvements such as support for automatic rewrite of complex specifications.     

Implementation of a Modelica compiler using JastAdd attribute grammars

We have implemented a compiler for key parts of Modelica, an object-oriented language supporting equation-based modeling and simulation of complex physical systems. The compiler is extensible, to support experiments with emerging tools for physical models. To achieve extensibility, the implementation is done declaratively in JastAdd, a metacompilation system supporting modern attribute grammar mechanisms such as reference attributes and nonterminal attributes.This paper reports on experiences from this implementation. For name and type analyses, we illustrate how declarative design strategies, originally developed for a Java compiler, could be reused to support Modelica’s advanced features of multiple inheritance and structural subtyping. Furthermore, we present new general design strategies for declarative generation of target ASTs from source ASTs. We illustrate how these strategies are used to resolve a generics-like feature of Modelica called modifications, and to support flattening, a fundamental part of Modelica compilation. To validate that the approach is practical, we have compared the execution speed of our compiler to two existing Modelica compilers.     

Efficient classical simulation of the Deutsch–Jozsa and Simon’s algorithms

A long-standing aim of quantum information research is to understand what gives quantum computers their advantage. This requires separating problems that need genuinely quantum resources from those for which classical resources are enough. Two examples of quantum speed-up are the Deutsch–Jozsa and Simon’s problem, both efficiently solvable on a quantum Turing machine, and both believed to lack efficient classical solutions. Here we present a framework that can simulate both quantum algorithms efficiently, solving the Deutsch–Jozsa problem with probability 1 using only one oracle query, and Simon’s problem using linearly many oracle queries, just as expected of an ideal quantum computer. The presented simulation framework is in turn efficiently simulatable in a classical probabilistic Turing machine. This shows that the Deutsch–Jozsa and Simon’s problem do not require any genuinely quantum resources, and that the quantum algorithms show no speed-up when compared with their corresponding classical simulation. Finally, this gives insight into what properties are needed in the two algorithms and calls for further study of oracle separation between quantum and classical computation.     

Goal-driven automation of a deep space communications station: a case study in knowledge engineering for plan generation and execution

Abstract: This paper describes the application of Artificial Intelligence techniques for plan generation, plan execution, and plan monitoring to automate a Deep Space Communication Station. This automation allows a communication station to respond to a set of tracking goals by appropriately reconfiguring the communications hardware and software to provide the requested communications services. In particular this paper describes: (1) the overall automation architecture, (2) the plan generation and execution monitoring AI technologies used and implemented software components, and (3) the knowledge engineering process and effort required for automation. This automation was demonstrated in February 1995, at the DSS13 Antenna Station in Goldstone, CA on a series of Voyager tracks and the technologies demonstrated are being transferred to the operational Deep Space Network stations.     

Electron capture dissociation of tyrosine O-sulfated peptides complexed with divalent metal cations

We compare electron capture dissociation (ECD) of doubly protonated and divalent metal-adducted tyrosine O-sulfated peptides without basic amino acid residues. ECD of doubly protonated Tyr2-sulfated cholecystokinin (CCKS) and doubly protonated Tyr12-sulfated gastrin II (GST) resulted in complete loss of SO3 from all product ions. Thus, contrary to typical ECD behavior, localization of the sulfate groups was not possible. By contrast, ECD of Ca-, Mn-, Zn-, and Fe-adducted CCKS and ECD of deprotonated GST with two calcium adducts, i.e., [GST + 2Ca - H]3+, resulted in sulfated c'- and z.-type product ions with high sequence coverage, thereby allowing both sequencing and sulfate localization. In addition, divalent metal adduction provided improved positive mode ionization efficiency for these peptides. The drastically different fragmentation behavior observed in ECD of protonated and metal-adducted CCKS and GST, respectively, is proposed to be a consequence of the absence of basic amino acid residues, promoting a mobile proton-like fragmentation mechanism, including abundant sulfate loss, for protonated species. Retention of sulfate groups was also observed in electron detachment dissociation (EDD) of CCKS and GST. However, the EDD fragmentation efficiency was much lower than that of ECD and very limited fragmentation was observed in EDD of GST, precluding localization of the sulfate group in that peptide.