Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Formel Yaklaşımlar ile Sürüm Değerlendirme
Download
B1CB0757CB974D9E9980F3F2A63AD5A6.pdf
Date
2021-06-01
Author
Aydın Göl, Ebru
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
135
views
44
downloads
Cite This
Bu çalışmada sürüm değerlendirme sürecini otomatikleştirmek için formel metotlar kullanılarak bir yöntem geliştirilmiştir. Sürüm değerlendirme sürecinde, bir sunucunun yeni ve eski sürümleri benzer (veya aynı) konfigürasyonlarda çalıştırılır ve sistemlerin ürettikleri izler karşılaştırılır. Bu karşılaştırma grafik incelenmesi, izlerin sabit ölçütler ile karşılaştırılması veya regresyon analizi tabanlı olabilir. Bu makalede ise, yapılan önceki çalışmalardan farklı olarak formel metotlar tabanlı bir analiz yöntemi sunulmaktadır. Bu yöntem karşılaştırılacak sistemlerden verilerin toplanması, her iki veri kümesi için bu kümeleri tanımlayacak Sinyal Zamansal Mantık (STL) formüllerinin üretilmesi ve son olarak da yüksek başarım ile kümeleri tanımlayabilen aynı yapıya sahip formüllerin karşılaştırılması ile sürüm değerlendirme sonucunun üretilmesi adımlarından oluşmaktadır. Bu yöntem ile sürüm değerlendirmede kullanılmak üzere, ölçütlerin STL formülü olarak ifade edilmesi ve bu ölçütlerin sistem izlerinden otomatik olarak üretilmesi sağlanmıştır. Zamansal mantıkların konuşma diline benzerlikleri sayesinde bu formüller açıklayıcıdır. Geliştirilen metot ile değerlendirme süreci otomatikleştirilmektedir. Elde edilen sonuçlar örnek veri kümeleri üzerinde incelenmiştir.
Subject Keywords
Formel Metotlar
,
Sürüm Değerlendirme
,
Formül Türetme
,
Zamansal Mantık
URI
http://dx.doi.org/10.26650/acin.879052
https://hdl.handle.net/11511/95338
Journal
Acta Infologica
DOI
https://doi.org/10.26650/acin.879052
Collections
Department of Computer Engineering, Article
Suggestions
OpenMETU
Core
Formel Yaklaşımlar ile İzleme ve Sürüm Değerlendirme Sistemlerinin Geliştirilmesi
Aydın Göl, Ebru(2020-07-01)
Bu projede sistem izleme ve sürüm değerlendirmede kullanılan ölçütlerin formel dillerde ifade edilmesi ve bu ölçütlerin değerlendirme ve izleme sistemlerinin başarılarını en iyileştirecek şekilde otomatik olarak üretilmesi üzerine metotlar geliştirilmiştir. Geliştirilen metotlar ile etiketli sistem izlerini yüksek başarım ile tanımlayan sinyal zamansal mantık formülleri üretilmiştir. Bu formüllerden gerçek zamanlı olarak sistem izleme yapılmasını sağlayan çevrimiçi izleme algoritması geliştirilmiştir. ...
A method for decentralized business process modeling
Türetken, Oktay; Demirörs, Onur; Department of Information Systems (2007)
This thesis study proposes a method for organizations to perform business process modeling in a decentralized and concurrent manner. The Plural method is based on the idea that organizations’ processes can be modeled by individuals actually performing the processes. Instead of having a central and devoted group of people to understand, analyze, model and improve processes, individuals are held responsible to model and improve their own processes concurrently. These individual models are then integrated to f...
Development of a new method for the synthesis of benzo[h][1,6]naphthyridine derivatives and chromenopyrazinone skeleton
Hoplamaz, Emre; Balcı, Metin; Department of Chemistry (2015)
In the first part of this thesis, a new methodology was developed for the synthesis of benzo[h][1,6]naphthyridine derivatives. Firstly, 2-(diprop-2-ynylamino)benzaldehyde was synthesized starting from 2-aminobenzoic acid in three steps. Then, cyclization reaction was achieved in the presence of propargyl amine and DBU. The expected 3-methylbenzo[h][1,6]naphthyridine was obtained. To generalize this methodology, several derivatives of 2-(diprop-2-ynylamino)benzaldehyde were synthesized by applying Sonogashir...
3D face recognition
Üstün, Bülend; Halıcı, Uğur; Department of Electrical and Electronics Engineering (2007)
In this thesis, the effect of registration process is evaluated as well as several methods proposed for 3D face recognition. Input faces are in point cloud form and have noises due to the nature of scanner technologies. These inputs are noise filtered and smoothed before registration step. In order to register the faces an average face model is obtained from all the images in the database. All the faces are registered to the average model and stored to the database. Registration is performed by using a rigi...
Development of a software for determination of kinetic parameters in thermal analysis
Ertunç, Göker; Kök, Mustafa Verşan; Department of Petroleum and Natural Gas Engineering (2011)
In this thesis, a new software, THERA-Kinetics was developed for the evaluation of kinetic parameters using non-isothermal data. Different computational methods, available in the software, were applied to a set of experimental and simulated data distributed in the ICTAC (International Confederation for Thermal Analysis and Calorimetry) Kinetics Project. The reliability of the software was verified by comparing the kinetic results, which were in good agreement, with those obtained by the participants of the ...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
E. Aydın Göl, “Formel Yaklaşımlar ile Sürüm Değerlendirme,”
Acta Infologica
, vol. 5, no. 1, pp. 129–140, 2021, Accessed: 00, 2022. [Online]. Available: http://dx.doi.org/10.26650/acin.879052.