Design and applications of grammar-based methodologies for automatic generation and step-by-step solving of mathematical expressions
Matematiksel ifadelerin otomatik üretimi ve adım adım çözümü için dil bilgisi tabanlı metodolojilerin tasarımı ve uygulamaları
- Tez No: 392308
- Danışmanlar: YRD. DOÇ. DR. HÜSEYİN PEHLİVAN
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2015
- Dil: İngilizce
- Üniversite: Karadeniz 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 tezde CAS sistemlerinin uygulanması ve işletilmesi için iki yöntem önerilmiştir, deyişle matematik problemleri otomatik çözmesi ve matematiksel ifadeleri şablona dayalı üreten iki gramer tabanlı metodoloji yaklaşımlar verilmiştir. Çalışmanın ilk bölümünde, problemlerin adım adım çözümü için bir CBS türü sistem sunulmuştur. Çalışmada amaçlanan girilen matematiksel ifadelerin çözümünde tüm ara aşamaları göstermektir. Sadeleştirme işlemi orijinal problem üzerinde çeşitli dönüşümler uygulanarak yapılır. BCS sistem işlemleri gerçekleştirilerek karmaşık soruların basitleştirilmiş versiyonu elde edilir. Bu araştırmanın diğer kısmı, kullanıcılar tarafından girilen sorulardan veya elde girilen şablonları kullanarak yeni sorular üretimidir. Önerilen metot kullanılarak, bir ifade için genel bir şablon oluşumla ve uygulanmasında bazı kısıtlamalar yapılabilir. Bu tür sınırlamalar değerlerin parametrik kararlılığıyla, matematiksel ifadeleri için dinamik şablonları elde edilebilir. Bu tür şablonlar sınıflar şeklinde uygulanabilir. Önerilen sistem şu anda türev, denklem, tek değişkenli polinomlar, ve fonksiyonlar üzerinde işlemler konuları ile ilgili çeşitli problemlerin çözümleri üzerinde durulmuş; ancak, kolayca genel matematiğin diğer konuları kapsayacak şekilde genişletilebilir.
Özet (Çeviri)
In this thesis we propose methodologies for implementation and operation of the CAS systems, where it is generally organized in two parts, namely the proposal of two grammar-based methodological approaches as for automatic solving of math problems and generating template-based mathematical expressions. The first part of the study presents a methodology for the step-by-step solution of problems, which can be incorporated into a CAS-like system. The aim is to show all the intermediate evaluation steps of mathematical expressions from the start to the end of the solution. Simplification is done by applying various transformations on original problem. The other part of the study addresses the production of new questions using the template expressions that are derived from the solved questions or entered by the users. With the parametric determination of values for such limitations, some templates can be dynamically constructed for the automatic generation of mathematical expressions and represented implemented in the form of classes. The proposed system currently focuses on the solutions of various problems associated with the subject of derivative, equations, single variable polynomials, and operations on functions however; it can be easily extended to cover the other subjects of general mathematics.
Benzer Tezler
- Bridging knowledge across architectural heritage and digital fabrication technologies
Mimari miras ile dijital fabrikasyon teknolojileri arasında bilgi köprüsü kurmak
BEGÜM HAMZAOĞLU
Doktora
İngilizce
2024
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. MİNE ÖZKAR KABAKÇIOĞLU
- İzmir'de bazı yolların kapatılarak yaya bölgeleri oluşturma da kent peyzajını geliştirme açısından yeniden planlanması üzerinde araştırmalar
Başlık çevirisi yok
BAHAR TÜRKYILMAZ
Yüksek Lisans
Türkçe
1985
Şehircilik ve Bölge PlanlamaEge ÜniversitesiŞehir ve Bölge Planlama Ana Bilim Dalı
- Ağızlık açma mekanizmalarının tasarımı
Başlık çevirisi yok
RECEP EREN
Yüksek Lisans
Türkçe
1987
Tekstil ve Tekstil MühendisliğiUludağ ÜniversitesiTekstil Mühendisliği Ana Bilim Dalı
DOÇ. DR. HALİL R. ALPAY
- Sonbahar sera yetiştiriciliğine uygun hıyar çeşit seçimi
Selecting a cucumber variety suitable for glasshouse production in Autumn
MESUT OKTAY
- İki katlı pamuk ipliklerinden dokunan kumaşlarda örgüye bağlı olarak maksimum atkı sıklığının değişimi üzerinde bir araştırma
Başlık çevirisi yok
MELTEM ASLI NARTER
Yüksek Lisans
Türkçe
1985
Tekstil ve Tekstil MühendisliğiEge ÜniversitesiTekstil Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNGÖR BAŞER