Electronic Markets on robotics

Electronic Markets -     

Hydroisomerization of Renewable and Fossil n-Alkanes over Bifunctional Dealuminated ZSM-5 Catalysts

The hydroisomerization of two long-chain n-alkane mixtures was investigated over bifunctional Pt/H-ZSM-5 catalysts before and after dealumination of preshaped zeolite/binder pellets. The hydroisomerization over the dealuminated catalysts leads to more isomers and less cracking products. Consequently, higher ratios of multi- to mono-branched isomerization products are formed as expected for large- rather than medium-pore zeolites. This indicates a higher availability of space in the vicinity of the active sites and provides an attractive route to make medium-pore zeolites suitable for upgrading higher boiling hydrocarbon feeds.     

Charakterisierung und Störstoffanalyse von rückgewonnenen Stoffströmen aus Wärmedämmverbundsystemen

Due to the growing energy requirements, the proportion of external thermal insulation composite systems (ETICS) installed has increased significantly during the past 50 years. Due to the longevity of these systems, ETICS waste is currently accumulating. Owing to the complex construction as well as a multitude of differently installed materials and substances of the past generations, there are many uncertainties and problems with the clean and low-pollutant processing of such systems. In the frame of this work, the ETICS were processed and sorted before being screened for ingredients or pollutants as well as for the purity of the recovered material fractions.     

A note on quantum related-key attacks

In a basic related-key attack against a block cipher, the adversary has access to encryptions under keys that differ from the target key by bit-flips. In this short note we show that for a quantum adversary such attacks are quite powerful: if the secret key is (i) uniquely determined by a small number of plaintext–ciphertext pairs, (ii) the block cipher can be evaluated efficiently, and (iii) a superposition of related keys can be queried, then the key can be extracted efficiently.     

Effects of the metacognitive computer-tool met.a.ware on the web search of laypersons

Today, laypersons often consult the Internet to inform themselves about health-related issues. However, the competent use of these often complex and heterogeneous information provisions cannot be taken for granted, because many Internet users are lacking the necessary metacognitive prerequisites. Therefore, we developed the metacognitive computer-tool met.a.ware, which supports laypersons’ Internet research for medical information by the means of metacognitive prompting and ontological classification. In an experimental investigation of met.a.ware a total of 118 participants with little medical knowledge were asked to conduct an Internet research on a medical topic. Participants were randomly assigned to four experimental groups that worked with met.a.ware and either received evaluation prompts, monitoring prompts, both types of prompts, or no prompts. All experimental conditions were additionally provided with ontological classification. One control group took paper and pencil notes. A further control group took notes using a blank text window. Results showed that laypersons receiving evaluation prompts outperformed controls in terms of knowledge about sources and produced more arguments commenting on the source of information in an essay task. In addition, laypersons receiving monitoring prompts acquired significantly more knowledge about facts, but did not perform better on a comprehension test than the controls. The availability of ontological categories helped to structure the notes laypersons in the conditions working with ontological classification took during Internet research. Analyses of the notes further demonstrated that the availability of ontological categories guided information search in direction of the selected categories. It is concluded, that met.a.ware is an effective tool that supports laypersons’ Internet research.     

The effect of surfaces on the tunneling density of states of an anisotropically paired superconductor

We present calculations of the tunneling density of states in an anisotropically paired superconductor for two different sample geometries: a semi-infinite system with a single specular wall, and a slab of finite thickness and infinite lateral extent. In both cases we are interested in the effects of surface pair breaking on the tunneling spectrum. We take the stable bulk phase to be of d_x ²–y² symmetry. Our calculations are performed within two different band structure environments: an isotropic cylindrical Fermi surface with a bulk order parameter of the form k _x ² –k _y ² , and a nontrivial tight-binding Fermi surface with the order parameter structure coming from an antiferromagnetic spin-fluctuation model. In each case we find additional structures in the energy spectrum coming from the surface layer. These structures are sensitive to the orientation of the surface with respect to the crystal lattice, and have their origins in the detailed form of the momentum and spatial dependence of the order parameter. By means of tunneling spectroscopy, one can obtain information on both the anisotropy of the energy gap, ¦(p)¦, as well as on the phase of the order parameter, (p) = ¦(p)¦ e^i(p).     

Understanding unforeseen production downtimes in manufacturing processes using log data-driven causal reasoning

Journal of Intelligent Manufacturing - In discrete manufacturing, the knowledge about causal relationships makes it possible to avoid unforeseen production downtimes by identifying their root...     

Localized Synthesis of Iron Oxide Nanowires and Fabrication of High Performance Nanosensors Based on a Single Fe2O3 Nanowire

A composed morphology of iron oxide microstructures covered with very thin nanowires (NWs) with diameter of 15–50 nm has been presented. By oxidizing metallic Fe microparticles at 255 °C for 12 and 24 h, dense iron oxide NW networks bridging prepatterned Au/Cr pads are obtained. X‐ray photoelectron spectroscopy studies reveal formation of α‐Fe₂O₃ and Fe₃O₄ on the surface and it is confirmed by detailed high‐resolution transmission electron microscopy and selected area electron diffraction (SAED) investigations that NWs are single phase α‐Fe₂O₃ and some domains of single phase Fe₃O₄. Localized synthesis of such nano‐ and microparticles directly on sensor platform/structure at 255 °C for 24 h and reoxidation at 650 °C for 0.2–2 h, yield in highly performance and reliable detection of acetone vapor with fast response and recovery times. First nanosensors on a single α‐Fe₂O₃ nanowire are fabricated and studied showing excellent performances and an increase in acetone response by decrease of their diameter was developed. The facile technological approach enables this nanomaterial as candidate for a range of applications in the field of nanoelectronics such as nanosensors and biomedicine devices, especially for breath analysis in the treatment of diabetes patients.     

An Overview of Control Charts for High‐quality Processes

Major difficulties in the study of high‐quality processes with traditional process monitoring techniques are a high false alarm rate and a negative lower control limit. The purpose of time‐between‐events control charts is to overcome existing problems in the high‐quality process monitoring setup. Time‐between‐events charts detect an out‐of‐control situation without great loss of sensitivity as compared with existing charts. High‐quality control charts gained much attention over the last decade because of the technological revolution. This article is dedicated to providing an overview of recent research and presenting it in a unifying framework. To summarize results and draw a precise conclusion from the statistical point of view, cross‐tabulations are also given in this article. Copyright © 2016 John Wiley & Sons, Ltd.     

Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm

This paper presents an assumption/commitment specification technique and a refinement calculus for networks of agents communicating asynchronously via unbounded FIFO channels in the tradition of Kahn.

We define two types of assumption/commitment specifications, namely simple and general specifications.

It is shown that semantically, any deterministic agent can be uniquely characterized by a simple specification, and any nondeterministic agent can be uniquely characterized by a general specification.

We define two sets of refinement rules, one for simple specifications and one for general specifications. The rules are Hoare-logic inspired. In particular the feedback rules employ invariants in the style of a traditional while-rule.

Both sets of rules have been proved to be sound and also (semantic) relative complete.

Conversion rules allow the two logics to be combined. This means that general specifications and the rules for general specifications have to be introduced only at the point in a system development where they are really needed.