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

126
views

39
downloads

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

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.