Implementation of concurrent constraint transaction logic and its user interface
Koşut zamanlı kısıt hareket mantığı çizelgesi gerçekleştirmesi ve kullanıcı ara yüzü geliştirilmesi
- Tez No: 181149
- Danışmanlar: YRD. DOÇ. DR. PINAR ŞENKUL
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2006
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tez maliyet ve kaynak tahsisine bağlı iş akışlarının modellemesi ve çizelgelenmesi içintanımlanan ve koşut zamanlı kısıt hareket mantığı çizelgesi (KZKHMÇ) adı verilen mantıksalformülleme çatısını gerçekleştirmekte, bu çatı için genişletilebilir ve uygun bir kullanıcı arayüzü geliştirmektedir. KZKHMÇ, maliyet ve kaynak kısıtları içeren işlemler için birçizelgeleme bulma amacıyla koşut hareket mantığını genişletmiş ve Kısıt MantıkProgramlamasına entegre olmuştur. Prolog ve Java platformları entegre edilerek geliştirilensistem, KZKHMÇ tabanlı iş akışları ve çizelgelemeler ihtiva eden iş uygulamaları için temelortam hizmeti sunacak şekilde tasarlanmıştır. Bu tezdeki gerçekleştirmeler KZKHMÇ'ninsadece geçici ve sebep kısıtları için değil aynı zamanda maliyet ve kaynak tahsisi kısıtlarıgerektiren iş akışların çizelgelemesi için de kullanılabileceğini göstermiştir.
Özet (Çeviri)
This thesis implements a logical formalism framework called Concurrent ConstraintTransaction Logic (abbr.,CCTR) which was defined for modeling and scheduling ofworkflows under resource allocation and cost constraints and develops an extensible andflexible graphical user interface for the framework. CCTR extends Concurrent TransactionLogic and integrates with Constraint Logic Programming to find the correct scheduling oftasks that involves resource and cost constraints. The developed system, which integratesProlog and Java Platforms, is designed to serve as the basic environment for enterpriseapplications that involves CCTR based workflows and schedulers. Full implementationdescribed in this thesis clearly illustrated that CCTR can be used as a workflow scheduler thatinvolves not only temporal and causal constraints but also resource and cost constraints.
Benzer Tezler
- Secure communication for MUM-T: a blockchain and lightweight cryptography framework
MUM-T için güvenli i̇letişim: bir blokzincir ve hafif kriptografi çerçevesi
HALİMCAN YAŞAR
Yüksek Lisans
İngilizce
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ŞERİF BAHTİYAR
- Investigation of effect of novel technologies' implementation to future internal combustion engines
Yeni teknolojilerin geleceğin içten yanmalı motorlarına uyarlanmasının etkilerinin incelenmesi
ANIL ALAGÖZ
Yüksek Lisans
İngilizce
2018
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HİKMET ARSLAN
- Doğru akım makinasının adaptif ve optimal kontrolunun pratik gerçeklenmesi
Practical implementation of optimal model reference adaptive control of direct current machine
VEDAT DEVECİ
Yüksek Lisans
Türkçe
1991
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. M. KEMAL SARIOĞLU
- FDDI tabanlı bir ağ sistemi için etkin bir gerçek zamanlı iletişim yapısının tasarımı
Design of an efficient real time communication structure for an fddi based network system
FEZA BUZLUCA
Doktora
Türkçe
1997
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Bilimleri Ana Bilim Dalı
PROF. DR. EMRE HARMANCI
- Fast, compact and secure implementation of RSA on dedicated hardware
RSA algoritmasının donanım üzerine hızlı, az alan kaplayan ve güvenli uygulaması
ERSİN ÖKSÜZOĞLU
Yüksek Lisans
İngilizce
2008
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı ÜniversitesiMühendislik ve Doğa Bilimleri Ana Bilim Dalı
DOÇ. DR. ERKAY SAVAŞ