Cyclotron Resonance Study of the Two-Dimensional Electron Layers and Double-Layers in Tilted Magnetic Fields

The far-infrared absorption in two-dimensional electron layers subject to magnetic field of general orientation was studied theoretically. The Kubo formula is employed to derive diagonal components of the magneto-conductivity tensor of two-dimensional electron single-layers and double-layers. The parabolic quantum well is used to model a simple single-layer system. Both single-layer and double-layer systems can be realized in a pair of tunnel-coupled, strictly two-dimensional quantum wells. Obtained results are compared to experimental data.Comment: 4 pages, 6 figures, elsart/PHYEAUTH macros; presented on the EP2DS-15 Conference in Nara, Japan. To be published in Physica

On The Impact of Passive Voice Requirements on Domain Modelling

Context: The requirements specification is a central arte- fact in the software engineering (SE) process, and its quality (might) influence downstream activities like implementation or testing. One quality defect that is often mentioned in standards is the use of passive voice. However, the con- sequences of this defect are still unclear. Goal: We need to understand whether the use of passive voice in requirements has an influence on other activities in SE. In this work we focus on domain modelling. Method: We designed an experiment, in which we ask students to draw a domain model from a given set of requirements written in active or passive voice. We compared the completeness of the resulting domain model by counting the number of missing actors, domain objects and their associations with respect to a specified solution. Results: While we could not see a difference in the number of missing actors and objects, participants which received passive sentences missed almost twice the associations. Conclusion: Our experiment indicates that, against common knowledge, actors and objects in a requirement can often be understood from the context. However, the study also shows that passive sentences complicate understanding how certain domain concepts are interconnected

Flare-induced changes of the photospheric magnetic field in a δ\delta-spot deduced from ground-based observations

Aims: Changes of the magnetic field and the line-of-sight velocities in the photosphere are being reported for an M-class flare that originated at a $\delta$-spot belonging to active region NOAA 11865. Methods: High-resolution ground-based near-infrared spectropolarimetric observations were acquired simultaneously in two photospheric spectral lines, Fe I 10783 \AA\ and Si I 10786 \AA, with the Tenerife Infrared Polarimeter at the Vacuum Tower Telescope (VTT) in Tenerife on 2013 October 15. The observations covered several stages of the M-class flare. Inversions of the full-Stokes vector of both lines were carried out and the results were put into context using (extreme)-ultraviolet filtergrams from the Solar Dynamics Observatory (SDO). Results: The active region showed high flaring activity during the whole observing period. After the M-class flare, the longitudinal magnetic field did not show significant changes along the polarity inversion line (PIL). However, an enhancement of the transverse magnetic field of approximately 550 G was found that bridges the PIL and connects umbrae of opposite polarities in the $\delta$-spot. At the same time, a newly formed system of loops appeared co-spatially in the corona as seen in 171 \AA\ filtergrams of the Atmospheric Imaging Assembly (AIA) on board SDO. However, we cannot exclude that the magnetic connection between the umbrae already existed in the upper atmosphere before the M-class flare and became visible only later when it was filled with hot plasma. The photospheric Doppler velocities show a persistent upflow pattern along the PIL without significant changes due to the flare. Conclusions: The increase of the transverse component of the magnetic field after the flare together with the newly formed loop system in the corona support recent predictions of flare models and flare observations.Comment: 8 pages, 9 figures. Accepted for publication in Astronomy & Astrophysic

Study of the Regeneration Cleaning of Used Mineral Oils – Ecotoxicological Properties and Biodegradation

The aim of the study was to establish and compare the model of the biodegradability and ecotoxicological properties of oil samples in aqueous environment.The unused new mineral oil Turbinol and used (after 1 year of usage) recovered oil Turbinol purified by the electrostatical method were the tested samples. For the determination of the ecotoxicological properties, the test organisms used were seeds of Sinapis alba L. and the small aquatic crustaceans Daphnia magna. Preliminary tests were positive and determined the acute toxicity with the values of IC50 and EC50. Biodegradability was determined by the manometric method, in tests which lasted 28 days. Tests of toxicity were positive, and the samples were found to be hard to biodegrade. Determination of the oil composition by gas chromatography with mass detection (GC – MS); found that the composition of the electrostatically cleaned oil is comparable to the new oil, which is confirmed by the results obtained with the response inhibition in selected tests. Regeneration extends the oil life, reducing the cost of disposal of waste oils, saving fossil raw materials, thus belonging to the environmentally friendly techniques. This work is licensed under a Creative Commons Attribution 4.0 International License

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification is met. In this paper we consider PCTL*, the probabilistic counterpart of CTL*, as the specification language. Because in general the policy synthesis problem for PCTL* is undecidable, we restrict to policies whose execution history memory is finitely bounded a priori. Surprisingly, no algorithm for policy synthesis for this natural and expressive framework has been developed so far. We close this gap and describe a tableau-based algorithm that, given an MDP and a PCTL* specification, derives in a non-deterministic way a system of (possibly nonlinear) equalities and inequalities. The solutions of this system, if any, describe the desired (stochastic) policies. Our main result in this paper is the correctness of our method, i.e., soundness, completeness and termination.Comment: This is a long version of a conference paper published at TABLEAUX 2017. It contains proofs of the main results and fixes a bug. See the footnote on page 1 for detail