Biçimsel dillerden endüstriyel işlemcilere otomatik kod üretme: Petri ağ yaklaşımı
Generating automatic code from formal languages to industrial processors: Petri net approach
- Tez No: 222349
- Danışmanlar: PROF.DR. LEYLA GÖREN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: saretli dil, Otomat, Petri agı, PLC, Marked Language, Automata, Petri Nets, PLC
- Yıl: 2007
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Kontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 90
Özet
Bu çalısmada, biçimsel isaretli bir dilden endüstriyel bir islemciye otomatik kod üreten bir program gelistirme amaçlanmıstır. Bu amaç için, önce isaretli dilden üretilen dile geçilmis ve iliskin otomatın durum geçis diyagramı elde edilmistir. Daha sonra durum geçis matrisinden sistemin Petri ag modeli elde edilmis ve bu model temel alınarak kullanılan islemciye uygun kod üreten yazılım gerçeklenmistir. Bu islemler, tüm asamaları görsel olarak sunmaya imkan veren Borland C++ Builder ortamında gerçeklestirilmistir. Endüstriyel islemci olarak SIMATIC-300 seçilmis ve standart bir dil olan SCL dilinde kod üretilmistir. Benzer yazılımlarda ortaya çıkan ve ilgili literatürde ?çıg etkisi? (avalanche effect) olarak adlandırılan problem analiz edilmis ve çıg etkisinden arındırılmıs SCL kodu üretilmistir. Olusturulan yazılım çesitli endüstriyel örnekler üzerinde denenmis ve basarılı sonuçlar alınmıstır.
Özet (Çeviri)
In this study, target is generating automatic code from formal languages to industrial processors. For this purpose, first marked language is converted to generated language and state transition diagram of the related automata is identified. Then, petri net model of system is identified from state transition matrix and a software which generates automatic code from this model is developped in a language appropriate for the processor. This software is developped in Borland C++ Builder due to its visual properties. For industrial processor, SIMATIC-300 is choosen and code is generated in SCL language which is the standard language of this processor. Avalanche effect problem which can be seen in similar softwares is analyzed and SCL code is improved to eliminate this problem. Generated software is tested in various industrial examples and successful results are achieved.
Benzer Tezler
- Biçimsel dillerden endüstriyel işlemcilere otomatik kod üretme: Otomat yaklaşımı
Generating automatic code from formal languages to industrial processors: Automata approach
ÖZDE TİRYAKİ
Yüksek Lisans
Türkçe
2007
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF.DR. LEYLA GÖREN
- Binkılıç bölgesi manganez ocağı yakın çevresindeki kil ve kumların endüstriyel hammadde ve teknolojik özelliklerinin incelenmesi
Investigation of industrial raw material and technological properties of clay and sand in Binkılıç religion magnese bed and surroundings
DAMLA ERDOĞAN
Yüksek Lisans
Türkçe
2016
Jeoloji Mühendisliğiİstanbul Teknik ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
DOÇ. DR. MUSTAFA KUMRAL
- Hakkari Üniversitesi'nin kent üzerindeki kültürel ve sosyo-ekonomik etkileri
Cultural and socio-economic effects of Hakkari University on the city
RECEP DUMAN
Yüksek Lisans
Türkçe
2023
SosyolojiHakkari ÜniversitesiSiyaset Bilimi ve Uluslararası İlişkiler Ana Bilim Dalı
DR. ÖĞR. ÜYESİ FATMA ÖKDE
- Ömrünü tamamlamış Li-iyon pillerinden LiCoO2 pastasının ayrıştırılması ve tekrar kullanılabilirliğinin araştırılması
Separation of LiCoO2 paste from spent Li-ion batteries and investigation of reusability
HASAN AKSU
Yüksek Lisans
Türkçe
2021
Mühendislik BilimleriKahramanmaraş Sütçü İmam ÜniversitesiMalzeme Bilimi ve Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ CENGİZ AYHAN ZIBA
DOÇ. DR. MEHMET HAKAN MORCALI
- Teknik lise elektronik bölümü mesleki teknik eğitim programları amaçlarına erişme düzeyinin saptanması
Başlık çevirisi yok
MUSTAFA MERAL
Doktora
Türkçe
1993
Eğitim ve ÖğretimMarmara ÜniversitesiEğitim Bilimleri Ana Bilim Dalı
DOÇ. DR. ADİL ÇAĞLAR