748 research outputs found
Sort by
QoS-aware Metamorphic Testing: An Elevation Case Study
Get PDFElevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation tasks in this context are costly, since they rely on the manual intervention of domain experts at some points of the process. This is mainly due to the difficulty to assess whether the elevators behave as expected in the different test scenarios, the so-called test oracle problem.
Metamorphic testing is a thriving testing technique that alleviates the oracle problem by reasoning on the relations among multiple executions of the system under test, the so-called metamorphic relations. In this practical experience paper, we report on the application of metamorphic testing to verify an industrial elevator dispatcher. Together with domain experts from the elevation
sector, we defined multiple metamorphic relations that consider domain-specific quality of service measures. Evaluation results with seeded faults show that the approach is effective at detecting faults automatically
Better to Be Alone than in Bad Company: Cognate Synonyms Impair Word Learning
Get PDFThe effects of cognate synonymy in L2 word learning are explored. Participants learned
the names of well-known concrete concepts in a new fictional language following a picture-word
association paradigm. Half of the concepts (set A) had two possible translations in the new language
(i.e., both words were synonyms): one was a cognate in participants’ L1 and the other one was
not. The other half of the concepts (set B) had only one possible translation in the new language,
a non-cognate word. After learning the new words, participants’ memory was tested in a picture-word
matching task and a translation recognition task. In line with previous findings, our results clearly
indicate that cognates are much easier to learn, as we found that the cognate translation was
remembered much better than both its non-cognate synonym and the non-cognate from set B. Our
results also seem to suggest that non-cognates without cognate synonyms (set B) are better learned
than non-cognates with cognate synonyms (set A). This suggests that, at early stages of L2 acquisition,
learning a cognate would produce a poorer acquisition of its non-cognate synonym, as compared to a
solely learned non-cognate. These results are discussed in the light of different theories and models
of bilingual mental lexicon
Demand Driven MRP – The need to standardise an implementation process
Get PDFSince the creation of the demand-driven material requirement planning (DDMRP) model, numerous studies have analysed the methodology’s significant impact on different organisations. Several successful cases and research studies into DDMRP have demonstrated that the methodology is beneficial to organisations because it increases their service level and stock adjustments; however, there is a dearth of literature regarding the steps necessary to implement this model successfully.
This document delivers a systematic review of the literature based on the work done by Kitchenham (2004) with the aim of analysing studies that investigate the standardization of the process of implementing the model. Once the lack of research has been demonstrated, a possible line of future research can be outlined to standardise the implementation process of the DDMRP model to achieve its full potential
Incidental changes in orthographic processing in the native language as a function of learning a new language late in life
Get PDFAcquiring a second alphabetic language also entails learning a new set of orthographic rules and specific patterns of grapheme combinations (namely, the orthotactics). The present longitudinal study aims to investigate whether orthotactic sensitivity changes over the course of a second language learning programme. To this end, a group of Spanish monolingual old adults completed a Basque language learning course. They were tested in different moments with a language decision task that included pseudowords that could be Basque-marked, Spanish-marked or neutral. Results showed that the markedness effect varied as a function of second language acquisition, showing that learning a second language changes the sensitivity not only to the orthographic patterns of the newly acquired language, but to those of the native language too. These results demonstrate that the orthographic representations of the native language are not static and that experience with a second language boosts markedness perception in the first language
Effect of Boron Content and Cooling Rate on the Microstructure and Boride Formation of β-Solidifying γ-TiAl TNM Alloy
Get PDFBoron is a unique and popular grain refiner element in cast titanium aluminide (TiAl) alloys, as it helps to improve mechanical properties if properly alloyed. However, the formation mechanism of different types of borides in cast TiAl alloys is not yet clearly understood. This study seeks to correlate the chemical composition and cooling rate during solidification of cast TiAl alloys, with the type of boride precipitated and the resulting microstructure. Several β-solidifying γ-TiAl alloys of the TNM family were cast, alloying boron to a starting Ti-44.5Al-4Nb-1Mo-0.1B (at.%) alloy. The alloys were manufactured with an induction skull melting furnace and poured into a stepped 2, 4, 8 and 16 mm thickness mold to achieve different cooling rates. On one hand, the results reveal that boron contents below 0.5 at.% and cooling rates during solidification above 10 K/s promote the formation of detrimental ribbon borides. On the other hand, boron contents above 0.5 at.% and cooling rates during solidification below 10 K/s promote the formation of a refined microstructure with blocky borides. Finally, the formation mechanisms of both ribbon and blocky borides are proposed
Scalable Modeling Approach & Robust Hardware-in-the-Loop Testing of an Optimized Interleaved Bidirectional HV DC/DC Converter for Electric Vehicle Drivetrains
Get PDFAnalysis of professional perceptions relating to the effectiveness of codes of ethics for journalists in Spain
Get PDFThe methodology used in the present study is based on quantitative content analysis using the survey technique. This technique makes it possible to obtain empirical data on various key aspects of the profession that are determining factors in ascertaining Spanish journalists’ views of one of the instruments of accountability that is external to the media: general ethical codes.
The results show that Spanish journalists are largely confident in the effectiveness of ethical codes in their profession. Likewise, it was seen that variables such as age, professional experience or the media with which they work influence the perceptions that professionals have of such instruments.
If we understand journalism as a profession whose mission is to guarantee the citizenship their right to information, it is essential to be familiar with the tools provided by the profession itself in order to be accountable to the public regarding this professional mission. Hence the importance of instruments of accountability and the perceptions of the professionals themselves regarding their effectiveness
Multi-Physics Tool for Electrical Machine Sizing
Get PDFSociety is turning to electrification to reduce air pollution, increasing electric machine demand. For industrial mass production, a detailed design of one machine is usually done first, then a design of similar machines, but different ratings are reached by geometry scaling. This design
process may be highly time-consuming, so, in this paper, a new sizing method is proposed to reduce this time, maintaining accuracy. It is based on magnetic flux and thermal maps, both linked with an algorithm so that the sizing process of an electrical machine can be carried out in less than one minute. The magnetic flux maps are obtained by Finite Element Analysis (FEA) and the thermal maps are obtained by analytical models based on Lumped Parameter Circuits (LPC), applying a time-efficient procedure. The proposed methodology is validated in a real case study, sizing 10 different industrial machines. Then, the accuracy of the sizing tool is validated performing the experimental test over the 10 machines. A very good agreement is achieved between the experimental results and the performances calculated by the sizing tools, as the maximum error is around 5%
Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing
Get PDFThe time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for improvements to the cost-effectiveness of verification and validation activities in the software industry. In this area, multi-objective algorithms have played a key role in selecting the appropriate subset of test cases from the entire test suite. In this paper, we propose a set of seeding strategies for the test case selection problem that generate the initial population of multi-objective algorithms.We integrated these seeding strategies with an NSGA-II algorithm for solving the test case selection problem in the context of simulation-based testing. We evaluated the strategies with six case studies and a total of 21 fitness combinations for each case study (i.e., a total of 126 problems). Our evaluation suggests that these strategies are indeed helpful for solving the multi-objective test case selection problem. In fact, two of the proposed seeding strategies outperformed the NSGA-II algorithm without seeding population with statistical significance for 92.8 and 96% of the problems
Docencia Basada en las Artes en la formación universitaria del profesorado de los Grados en Educación Infantil y Primaria
No full textA lo largo de este texto presentamos la programación (fanzine HAT) que un plan de estudios6 posibilitó pensar en una educación artística desde otra perspectiva en la universidad. A partir de una Docencia Basada en las Artes7, se desdibujaron las fronteras de las tradicionales didácticas de expresión plástica, musical y corporal para crear una nueva hoja de ruta. Una ruta transdisciplinar, que toma como enfoque la educación a través de las artes en la formación del profesorado. Una ruta que sigue una secuencia que detallaremos en su forma y proponemos investigar sus derivas. Esta experiencia supuso ir más allá de las asignaturas obligatorias y colarse en el proceso formativo en el que se inscriben las identidades docentes que en un futuro habitarán las escuelas. ¿Cómo afectó esta experiencia porosa y qué posos deja en los cuerpos, en el tiempo y en los espacios de formación? Antes de recorrer las posibles respuestas a esta pregunta, nos gustaría compartir la propuesta concreta que habitamos junto a las estudiantes