Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Permanent URI for this collectionhttps://hdl.handle.net/11147/7148
Browse
6 results
Search Results
Article Citation - Scopus: 1Model-Based Ideal Testing of Hardware Description Language (hdl) Programs(Springer Science and Business Media Deutschland GmbH, 2022) Kilincceker, O.; Turk, E.; Belli, F.; Challenger, M.An ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach to model-based ideal testing of hardware description language (HDL) programs based on their behavioral model. Test sequences are generated from both original (fault-free) and mutant (faulty) models in the sense of positive and negative testing, forming a holistic test view. These test sequences are then executed on original (fault-free) and mutant (faulty) HDL programs, in the sense of mutation testing. Using the techniques known from automata theory, test selection criteria are developed and formally show that they fulfill the major requirements of Fundamental Test Theory, that is, reliability and validity. The current paper comprises a preparation step (consisting of the sub-steps model construction, model mutation, model conversion, and test generation) and a composition step (consisting of the sub-steps pre-selection and construction of Ideal test suites). All the steps are supported by a toolchain that is already implemented and is available online. To critically validate the proposed approach, three case studies (a sequence detector, a traffic light controller, and a RISC-V processor) are used and the strengths and weaknesses of the approach are discussed. The proposed approach achieves the highest mutation score in positive and negative testing for all case studies in comparison with two existing methods (regular expression-based test generation and context-based random test generation), using four different techniques. © 2021, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.Article Citation - Scopus: 25Momentum Flux Measurement on Single-Hole Gdi Injector Under Flash-Boiling Condition(SAE International, 2015) Postrioti, Lucio; Bosi, Maurizio; Cavicchi, Andrea; Abuzahra, Fakhry; Di Gioia, Rita; Bonandrini, GiovanniDirect Injection technology for Spark Ignition engines is currently undergoing a significant development process in order to achieve its complete potential in terms of fuel conversion efficiency, while preserving the ability to achieve future, stringent emission limits. In this process, improving the fuel spray analysis capabilities is of primary importance. Among the available experimental techniques, the momentum flux measurement is one of the most interesting approaches as it allows a direct measurement of the spray-air mixing potential and hence it is currently considered an interesting complement to spray imaging and Phase Doppler Anemometry. The aim of the present paper is to investigate the fuel spray evolution when it undergoes flash boiling, a peculiar flow condition occurring when the ambient pressure in which the spray evolves is below the saturation pressure of the injected fluid. These thermodynamic conditions can occur in part load operation for GDI (Gasoline Direct Injection) engines, causing the spray flow structure and hence the mixture formation process to be completely altered with respect to standard flow conditions. To investigate the effects of flash-boiling on the spray evolution, a single-hole GDI research injector designed by Magneti Marelli was analyzed in terms of both global spray shape evolution and of spray momentum flux. A preliminary injection rate analysis was also carried out to investigate the hydraulic behavior of the research injector. The spray tests were executed inside a quiescent vessel at ambient pressure ranging from 40 to 300 kPa. To obtain the flash-boiling conditions, both the injector fixture and the test fuel (n-heptane) temperatures were set between 30 C and 120 C. For the spray momentum flux tests, distances from 5 to 40 mm from the nozzle were used. Aiming to compare the internal spray structure under low and high temperature conditions, momentum spatial distribution was also investigated over planes at different distances from the nozzle. The results of this work, obtained in well-defined conditions in terms of fuel composition and spray configuration (single jet), can assist the development of CFD numerical tools as well as contribute to a better understanding of the flash-boiling phenomenon effect to the spray formation and evolution.Conference Object Citation - Scopus: 4An Aspect-Lexicon Creation and Evaluation Tool for Sentiment Analysis Researchers(Springer Verlag, 2012) Husaini, Mus'ab; Koçyiğit, Ahmet; Tapucu, Dilek; Yanıkoğlu, Berrin; Saygın, YücelIn this demo paper, we present SARE, a modular and extendable semi-automatic system that 1) assists researchers in building gold-standard lexicons and evaluating their lexicon extraction algorithms; and 2) provides a general and extendable sentiment analysis environment to help researchers analyze the behavior and errors of a core sentiment analysis engine using a particular lexicon.Article Citation - WoS: 49Citation - Scopus: 52What Will It Take To Adopt Smart Glasses: a Consumer Choice Based Review?(Elsevier Ltd., 2017) Başoğlu, Ahmet Nuri; Ok, Ali Emre; Daim, Tuğrul U.Wearable technologies have become a reality already. Their impact in some fields has already been seen. We explore the factors which are important and help the adoption of these technologies. Specifically we study the adoption factors of smart glasses. Technology adoption process depends on preferences and needs of people who use the systems under study. We explore these phenomenon through two frameworks: Product Characteristics and User Intention Characteristics. The purpose of the first framework is to examine the effects of smart glass design features; Stand-alone device, field of view, interaction, price, and display resolution on user preference through an experimental study and we use conjoint analysis. The second framework explore many more factors such as self-efficacy, anxiety, involvement, risk-task characteristics, enjoyment, usefulness, ease of use, attitude and intention. A web survey supplemented by visual aids was used.Conference Object Citation - WoS: 11Citation - Scopus: 23Exploring the Design Factors of Smart Glasses(Institute of Electrical and Electronics Engineers Inc., 2015) Ok, Ali Emre; Başoğlu, Ahmet NuriAdvances in information technology (IT) have started to focus studies on human computer interaction (HCI) which is an area in computer science embracing cognitive science. In this approach there are various aspects of researches about HCI in order to explore how people design, implement, and use interactive computer systems and how computers affect individuals, organizations, and society. This study represents exploring the adoption factors of smart glasses. Technology adoption process establishes preferences and needs of people who use computers and smart systems. To address this issue, technology adoption is essential for a rapidly changing world where technology has become central to our lives. In that context, user interface (UI) which provides interaction between user and computer, plays significant role for technology adoption process. The purpose of the study is to examine the effects of smart glass design features; Stand-alone device, field of view, interaction, price, and display resolution on user preference through an experimental study by using conjoint analysis. In order to apply this study, an experimental study including a survey was designed. This survey also analyze social characteristics such as self-efficacy, anxiety, involvement, risk-task characteristics, enjoyment, usefulness, ease of use, attitude and intention for user smart glasses interaction.Article Citation - WoS: 21Citation - Scopus: 26Integrated Modeling Approach for the Transportation Disadvantaged(American Society of Civil Engineers (ASCE), 2007) Duvarcı, Yavuz; Yiğitcanlar, TanTransportation models have not been adequate in addressing severe long-term urban transportation problems that transportation disadvantaged groups overwhelmingly encounter, and the negative impacts of transportation on the disadvantaged have not been effectively considered in the modeling studies. Therefore this paper aims to develop a transportation modeling approach in order to understand the travel patterns of the transportation disadvantaged, and help in developing policies to solve the problems of the disadvantaged. Effectiveness of this approach is tested in a pilot study in Aydin, Turkey. After determining disadvantaged groups by a series of spatial and statistical analyses, the approach is integrated with a travel demand model. The model is run for both disadvantaged and nondisadvantaged populations to examine the differences between their travel behaviors. The findings of the pilot study reveal that almost two thirds of the population is disadvantaged, and this modeling approach could be particularly useful in disadvantage-sensitive planning studies to deploy relevant land use and transportation policies for disadvantaged groups.