Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Permanent URI for this collectionhttps://hdl.handle.net/11147/7148
Browse
5 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.; Belli, Fevzi; Turk, E.; Belli, F.; Challenger, M.; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyAn 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: 17Fabrication, Characterization, and Adsorption Applications of Low-Cost Hybride Activated Carbons From Peanut Shell-Vinasse Mixtures by One-Step Pyrolysis(Springer Science and Business Media Deutschland GmbH, 2023) Eren, Muhammet Şakir Abdullah; Eren, M.Ş.A.; Arslanoğlu, H.; Çiftçi, H.; 01. Izmir Institute of Technology; 04.03. Department of Molecular Biology and Genetics; 04. Faculty of ScienceThe present work aims to develop an innovative, alternative, fast, and cost-effective one-step pyrolysis method for activated carbon production using peanut shell and vinasse mixture. This facile procedure is based on single-step carbonization treatment at a temperature range of 400–800 °C. Different carbonization time (15–360 min), impregnation ratio (1–3 g/g), impregnation time (3–24 h), and nitrogen flow rate (300 and 600 ml/min) were examined. The chemical and physical properties of the activated carbon examined by SEM-EDX, FT-IR analysis, particle size distribution, iodine number, pHzpc, BET surface area, and surface functional group analysis by Boehm’s titration. The results illustrate that the values of BET surface area, total pore volume, average pore diameter, iodine number, pHzpc, and carbon content of activated carbon were found as 1290.5 m2/g, 0.5667 cm3/g, 21.2 Å, 1258.4 mg/g, 5.7, and 86.89%, respectively. Graphical Abstract: [Figure not available: see fulltext.]. © 2021, The Author(s), under exclusive licence to Springer-Verlag GmbH, DE part of Springer Nature.Article Citation - WoS: 2Citation - Scopus: 14Combination of Inclusive Top-Quark Pair Production Cross-Section Measurements Using Atlas and Cms Data at S = 7 and 8 Tev(Springer Science and Business Media Deutschland GmbH, 2023) Aad,G.; Abbott,B.; Abbott,D.C.; Abed Abud,A.; Abeling,K.; Abhayasinghe,D.K.; Jiggins,S.; 01. Izmir Institute of TechnologyA combination of measurements of the inclusive top-quark pair production cross-section performed by ATLAS and CMS in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV at the LHC is presented. The cross-sections are obtained using top-quark pair decays with an opposite-charge electron–muon pair in the final state and with data corresponding to an integrated luminosity of about 5 fb−1 at s = 7 TeV and about 20 fb−1 at s = 8 TeV for each experiment. The combined cross-sections are determined to be 178.5 ± 4.7 pb at s = 7 TeV and 243.3−5.9+6.0 pb at s = 8 TeV with a correlation of 0.41, using a reference top-quark mass value of 172.5 GeV. The ratio of the combined cross-sections is determined to be R8/7 = 1.363 ± 0.032. The combined measured cross-sections and their ratio agree well with theory calculations using several parton distribution function (PDF) sets. The values of the top-quark pole mass (with the strong coupling fixed at 0.118) and the strong coupling (with the top-quark pole mass fixed at 172.5 GeV) are extracted from the combined results by fitting a next-to-next-to-leading-order plus next-to-next-to-leading-log QCD prediction to the measurements. Using a version of the NNPDF3.1 PDF set containing no top-quark measurements, the results obtained are mtpole=173.4−2.0+1.8 GeV and αsmZ=0.1170−0.0018+0.0021. © The Author(s) 2023.Article Citation - Scopus: 7Modification of Grape Pulp With Citric Acid for the Production of Natural Ion Exchanger Resin and Removal of Pb (ii) and Cd (ii) From Aqueous Solutions: Kinetic, Thermodynamics, and Mechanism(Springer Science and Business Media Deutschland GmbH, 2023) Eren, Muhammet Şakir Abdullah; Eren, M.Ş.A.; Arslanoğlu, H.; Çiftçi, H.; 01. Izmir Institute of Technology; 04.03. Department of Molecular Biology and Genetics; 04. Faculty of ScienceIn this study, grape pulp (MGP) modified with NaOH and citric acid was used in the production of natural ion exchangers. The effects of parameters such as initial pH, MGP dosage, temperature, initial metal ion concentration, and contact time on the removal of Pb (II) and Cd (II) ions from aqueous solutions using modified materials were investigated by batch experiments. It was found that the experimental kinetic data fit the second-order model, and the activation energy for Pb (II) and Cd (II) adsorption processes were 20.68 and 38.61 kj mol−1, respectively. Although the initial adsorption rate increases with increasing temperature, the adsorption efficiency slightly decreases. It was calculated that the equilibrium data fit the Langmuir isotherm better, and the maximum adsorption capacities for Pb (II) and Cd (II) adsorption processes were approximately 1.496 and 1.022 mmol g−1 at 25 °C, respectively. Thermodynamic analysis has shown that the adsorption processes of Pb (II) and Cd (II) are exothermic (ΔH°Pb = −35.68 kj mol−1, ΔH°Cd = −21.19 kj mol−1) and have a self-developing character. Graphical abstract: [Figure not available: see fulltext.]. © 2021, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.Article Citation - WoS: 4Citation - Scopus: 3Search for Cp Violating Top Quark Couplings in Pp Collisions at √s = 13 Tev(Springer Science and Business Media Deutschland GmbH, 2023) Tumasyan, A.; Adam, W.; Bergauer, T.; Dragicevic, M.; Escalante, Del, Valle, A.; Frühwirth, R.; Jeitler, M.; 01. Izmir Institute of TechnologyResults are presented from a search for CP violation in top quark pair production, using proton-proton collisions at a center-of-mass energy of 13 TeV. The data used for this analysis consist of final states with two charged leptons collected by the CMS experiment, and correspond to an integrated luminosity of 35.9 fb−1. The search uses two observables, O1 and O3, which are Lorentz scalars. The observable O1 is constructed from the four-momenta of the charged leptons and the reconstructed top quarks, while O3 consists of the four-momenta of the charged leptons and the b quarks originating from the top quarks. Asymmetries in these observables are sensitive to CP violation, and their measurement is used to determine the chromoelectric dipole moment of the top quark. The results are consistent with the expectation from the standard model. [Figure not available: see fulltext.]. © 2023, The Author(s).