Towards high accuracy calibration of electron backscatter diffraction systems

For precise orientation and strain measurements, advanced Electron Backscatter Diffraction (EBSD) techniques require both accurate calibration and reproducible measurement of the system geometry. In many cases the pattern centre (PC) needs to be determined to sub-pixel accuracy. The mechanical insertion/retraction, through the Scanning Electron Microscope (SEM) chamber wall, of the electron sensitive part of modern EBSD detectors also causes alignment and positioning problems and requires frequent monitoring of the PC. Optical alignment and lens distortion issues within the scintillator, lens and charge-coupled device (CCD) camera combination of an EBSD detector need accurate measurement for each individual EBSD system.This paper highlights and quantifies these issues and demonstrates the determination of the pattern centre using a novel shadow-casting technique with a precision of ∼10 μm or ∼1/3 CCD pixel.     

Mechanical properties of concrete containing phase-change material

This study aimed to investigate the mechanical properties of concrete containing solid–liquid phase-change material (PCM) and focused on two key factors. First, a systematic study on the mechanical performance of PCM-modified concretes was conducted, including compressive, elastic modulus, and shrinkage tests. Second, because PCM provides high latent heat during the solid–liquid phase change, the effects of the solid phase and liquid phase on the mechanical properties of concrete were also explored. Results of this study showed that the solid–liquid phase of PCM affected the mechanical properties of concrete. For example, the compressive strength of 10% PCM concrete in solid phase (23 °C) and liquid phase (40 °C) at 28 days was 29.30 and 19.57 MPa, respectively. In addition, with increasing PCM content, the mechanical properties were degraded. For example, 10, 20, and 30% of PCM content lowered the compressive strength by 35.4, 58.4, and 74.3%, respectively. Therefore, concrete with PCM may not be suitable for structural elements. However, PCM is an important solution for optimizing energy consumption in modern buildings. It can absorb or emit large amounts of heat to store or release thermal energy. These properties can be used to control building temperatures resulting in energy saving and carbon reduction.     

On pebble automata for data languages with decidable emptiness problem

In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-pebble automata is decidable, while the same problem for weak 3-pebble automata is undecidable. We also introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is still decidable. It is also robust: alternating, non-deterministic and deterministic top view weak PA have the same recognition power; and are strong enough to accept all data languages expressible in Linear Temporal Logic with the future-time operators, augmented with one register freeze quantifier.     

A method for evaluating rigor and industrial relevance of technology evaluations

One of the main goals of an applied research field such as software engineering is the transfer and widespread use of research results in industry. To impact industry, researchers developing technologies in academia need to provide tangible evidence of the advantages of using them. This can be done trough step-wise validation, enabling researchers to gradually test and evaluate technologies to finally try them in real settings with real users and applications. The evidence obtained, together with detailed information on how the validation was conducted, offers rich decision support material for industry practitioners seeking to adopt new technologies and researchers looking for an empirical basis on which to build new or refined technologies. This paper presents model for evaluating the rigor and industrial relevance of technology evaluations in software engineering. The model is applied and validated in a comprehensive systematic literature review of evaluations of requirements engineering technologies published in software engineering journals. The aim is to show the applicability of the model and to characterize how evaluations are carried out and reported to evaluate the state-of-research. The review shows that the model can be applied to characterize evaluations in requirements engineering. The findings from applying the model also show that the majority of technology evaluations in requirements engineering lack both industrial relevance and rigor. In addition, the research field does not show any improvements in terms of industrial relevance over time.     

Students’ perceptions of teaching technologies, application of technologies, and academic performance

This study examined business students’ perceptions of four objectives (i.e., Enjoyment, Learning, Motivation, and Career Application) across five teaching technologies (i.e., Projector, PowerPoint, Video, the Internet, and Lecture), business professors’ effective application of technologies, and students’ academic performance. We collected data from 215 students at a regional state university in the USA. We developed Students’ Perceptions of Technology Scale, SPOTS, specifically for the present study, used the most rigorous criteria, and investigated reliability, convergent and discriminant validity, exploratory and confirmatory factor analysis, and measurement invariance of this scale. Mean scores revealed that Video conveyed the highest amount of Enjoyment. PowerPoint provided the highest amount of Learning and Motivation. The Internet provided the highest Career Application for future jobs. Younger students preferred Video, whereas older students favored Lecture. Regression results showed that the use of Video for Learning, Projector and Lecture for Enjoyment, PowerPoint for career and Motivation, and the Internet for Learning contributed to professors’ teaching effectiveness. Students’ high ratings for professors’ effective use of the Lecture method and low expectation for the use of a Projector predicted their self-reported GPA (academic performance). Professors may use a different mix of technologies in the classroom and use them creatively in order to promote the most Learning for students and satisfy students’ Learning needs and objectives.