hakansabunis/tr-academic-research-agent-index huggingface dataset:
Modal lojiğinin topolojik semantiğinde tanımlanabilirlik
Definability in topological semantics of modal logic
Yazar: MUSTAFA GÜLTEKİN
Danışman: PROF. DR. MEHMET TERZİLER
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bölümü / Matematik Ana Bilim Dalı / Matematiğin Temelleri ve Matematiksel Lojik Bilim Dalı
Derece: Yüksek Lisans, 2008
Konu: Bilim ve Teknoloji = Science and Technology ; Matematik = Mathematics

Özet:
Giriş bölümü dışında bu tez, esas olarak yedi bölümden oluşmaktadır.Her bölümün başında tezin okunabilirliğini kolaylaştırmak için gerekli kavram ve teoremler verilmiştir.1. bölümde temel modal dil ve Kripke semantiği ele alınmıştır. 2. bölümde ise genel topolojik kavramlara değinilmiştir. 3. bölümde temel modal dil ve topolojik semantik ele alınmıştır. 4. bölümde temel model dildeki tanımlanabilir, sağlamlık ve tamlıkla ilgili bazı sonuçla ifade edilmiştir. 5. bölümde geçerliliğin korunması ve tanımlanabilir olmayan topolojiler tanıtılmıştır. 6. bölümde ise diğer modal diller ve her bir dilin topolojik semantiğine değinilmiştir. Son bölümde ise Global modalite, fark operatörü, temel Hybrid modal dili gibi modal diller ve tanımlanabilir incelenmiştir.Anahtar sözcükler:Modal lojik ve topolojik semantiği, tanımlabilirlik.

Abstract:
Except the introduction part,this thesis is divided into seven chapters.Chapter 1 explains basic knowledge of modal logic. All is explained on a simple language, called the basic modal lauguage. Kripke semantics is introduced in this chapter.Chapter 2 prouides the basic ingredients of general topology, which are necessary to understand the succeeding chapters.Chapter 3 gives descriptions of the topological semantics of the basic modal language. Contents of this chapter are of greal importance for the following ones.Chapter 4 deals with definability, soundness and completeness in the topological semantics of the basic modal language. This chapter is the highlight of the first half of the thesis.Chapter 5, in contrast to Chapter 4, shows undefinability in the topological semantics of the basic modal language. Lost of spencitic examples of undefinability are demoustrated.Chapter 6 introduces a few languages distinct from the basic modal languages. Simultaueously, the topological semautics of each language is brought in.Chapter 7 treats definability in the new languages in troduced in chapter 6. Topological spacen undefinable in chapter 5 go to be definable here.Keywords: Modal logic, topological semantics and definability .
İntegral ve integro-diferensiyel denklemlerin yarı-analitik çözümleri üzerine
Semi-analytical solutions of integral and integro-differential equations
Yazar: MERYEM ODABAŞI
Danışman: DOÇ. DR. EMİNE MISIRLI
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Ana Bilim Dalı / Uygulamalı Matematik Bilim Dalı
Derece: Yüksek Lisans, 2008
Konu: Matematik = Mathematics

Özet:
Bilindiği gibi integral denklemlerin teori ve uygulamaları, uygulamalı matematikte önemli bir yere sahiptir. Birçok fiziksel olgu integral denklemlerin çeşitli tipleriyle modellenebilir. Bu çalışmada integral denklemlerin bazı nümerik ve yarı-analitik çözüm yöntemleri ele alınmaktadır.Giriş bölümü dışında bu tez esas olarak iki bölümden oluşmaktadır. Giriş bölümünde tezin amacı ve kapsamı açıklanmaktadırİkinci bölümde, integral denklemler ile ilgili temel kavramlar verilip integral denklem tipleri tanıtılmıştır.Üçüncü bölümde, Volterra integral denklemleri için bazı nümerik ve yarı-analitik yöntemler verilmiş ve ele alınan farklı örnekler üzerinde yöntemlerin kapasiteleri araştırılmıştır. Daha önce çeşitli yöntemler ile çözümü elde edilen integral ve integro-diferansiyel denklemlere yarı-analitik yöntemler olan homotopi-pertürbasyon ve varyasyonel iterasyon yöntemleri uygulanmış ve tam çözümler elde edilmiştir.Anahtar Kelimeler: İntegral ve integro-diferansiyel denklemler

Abstract:
It is well known that the theory and applications of the integral equations have an important role in applied mathematics. Many physical phenomenon can be modelled by various types of integral equations. This thesis is concerned with some numeric and semi-analytic methods for solving integral equations.Except the introduction, this thesis consists of two main sections. In the introduction, the aim and content of the thesis have been given.In the second section, basic definitions about integral equations have been given and types of integral equations have been introduced.In the third section, some well known numeric and semi-analytic methods for Volterra integral equations have been given and the capacity of the methods have been investigated by the considered examples. The semi-analytic methods (homotopy-perturbation and variational iteration) have been applied to the several integral and integro-differential equations that solved by different methods and then exact solutions have been obtained.Keywords: Integral and integro-differential equations
Farklı kökenli biberiye (Rosmarinus officinalis L.) populasyonlarının bazı agronomik ve teknolojik özelliklerinin belirlenmesi
Determination of some agronomic and technological properties in different originated of rosemary (Rosmarinus officinalis L.) populations
Yazar: ÇİĞDEM SÖNMEZ
Danışman: PROF. DR. EMİNE BAYRAM
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Tarla Bitkileri Ana Bilim Dalı
Derece: Yüksek Lisans, 2008
Konu: Ziraat = Agriculture
Dizin: Rosmarinus officinalis = Rosmarinus officinalis

Özet:
Bu araştırma, Türkiye'nin çeşitli yörelerinden toplanan altı farklı biberiye populasyonunun bazı agronomik ve teknolojik özelliklerini belirlemek amacıyla 2005-2006 yılları arasında Bornova ekolojik koşullarında yürütülmüştür. Denemede ilk yıl tek, ikinci yıl iki biçim yapılmıştır. Agronomik ve teknolojik özelliklerden bitki boyu, yeşil herba verimi, drog herba oranı, drog herba verimi, drog yaprak oranı, drog yaprak verimi, uçucu yağ oranı, uçucu yağ verimi ve uçucu yağ bileşimi incelenmiştir. 2005 yılı genel ortalamalarına bakıldığında, bitki boyu 35,5-43 cm, yeşil herba verimi 529,42-879,56 kg/da, drog herba verimi 177,33-309,43 kg/da, drog yaprak verimi 123,87-218 kg/da, uçucu yağ oranı %0,64-1,8 aralığında belirlenmiştir. 2006 yılı genel ortalamalarına bakıldığında ise bitki boyu 49,5-59,9 cm, yeşil herba verimi 2796,23-3875,26 kg/da, drog herba verimi 657,82-901,29 kg/da, drog yaprak verimi 940,92-1193,84 kg/da, uçucu yağ oranı %0,59-2,72 arasında değişmiştir. Uçucu yağın bileşimi incelendiğinde, ilk yıl 1,8-cineol, camphor ve borneol, ikinci yıl ise 1,8-cineol, ?-pinen, camphor ve borneol oranları yüksek çıkmıştır.

Abstract:
This research was carried out in 2005-2006 to determinate the agronomic and technological characters of six rosemary populations collected from different regions of Turkey in the Izmir ecological conditions. In first year only one and second year two times were harvested. In 2005, general averages showed that the plants has 35,5-43 cm of height, 529,42-879,56 of green herb yield, 177,33-309,43 kg/da of drog herb yield, 123,87-217 kg/da drog leaf yield and 0,64-1,8 % of essential oil content rate. In 2006, general averages on the other hand showed that the plant has 49,5-59,9 cm of height, 2796,23-3875,26 kg/da of green herb yield, 657,82-901,29 kg/da of drog herb yield, 940,92-1193,84 kg/da drog leaf yield and 0,59-2,72 % of essential oil content rate. In first year, 1,8-cineol, camphor and borneol were found major components, in second year, 1,8-cineol, ?-pinen, camphor and borneol major components of the essential oil contents.
İzmir Körfezi kuzey kıyılarının zemin özelliklerinin ve geoteknik sorunlarının incelenmesi
An investigation on the soil properties and geotechnical problems of orthern coast of İzmir Bay
Yazar: TUĞBA ESKİŞAR
Danışman: DOÇ. DR. H. RECEP YILMAZ
Ege Üniversitesi / Fen Bilimleri Enstitüsü / İnşaat Mühendisliği Ana Bilim Dalı / Geoteknik Bilim Dalı
Derece: Doktora, 2008
Konu: İnşaat Mühendisliği = Civil Engineering
Dizin: Mikrobölgelendirme = Microzonation ; Mikrotremor ölçümleri = Microtremor measurements ; Zemin sıvılaşması = Soil liquefaction

Özet:
Tez çalışmasında, öncelikle sondaj verilerinin ışığında, bir geoteknik veritabanı oluşturulmuştur. Bu şekilde, çalışma alanı içinde yer alan tüm bölgelere ait zemin özellikleri üzerinde çeşitli işlemlerin yapılması sağlanmıştır.Alanın deprem etkisi altındaki dinamik davranışı, tek boyutlu doğrusal analizlerle değerlendirilmiştir. Bunun için, yakın mesafe kaynaklı deprem olarak 1977 İzmir Depremi (M=5.3), uzak mesafe kaynaklı depremler olarak da 2003 Urla Depremi (M=5.6) ve 2005 Urla Depremi (M=5.9)'nin ivme-zaman kayıtları kullanılmıştır. Bu üç depremin frekans içeriği sabit tutularak, büyüklüğü 6.5 olacak şekilde düzenlenmiş ve elde edilen üç adet senaryo depreminin analizleri de yapılmıştır. Dinamik zemin parametrelerinin sahadaki değişimi, haritalarla ile gösterilmiştir.Sıvılaşma olgusunun saha içindeki değişimi, dört farklı yöntem ile ele alınmış, sıvılaşma sonrası oluşacak oturmalar saptanmıştır. Sonuçlar, sıvılaşma riski haritalarına dönüştürülmüştür. Saha içinde mikrotremor ölçümleri alınarak zemin hakim periyodu ve zemin büyütmesi değerleri elde edilerek yorumlanmıştır. Bu şekilde, İzmir Körfezi kuzey kıyılarının sismik mikrobölgelemesi konusuna bir katkıda bulunulmuştur.

Abstract:
In this dissertation, a geotechnical database is formed primarily by the help of borehole data. By this way, it is aimed to conduct all the necessary operations on the soil properties of the zones in the study area.Dynamic site-response is evaluated by one-dimensional linear site-response analysis. Acceleration-time records of 1977 Izmir Earthquake (M=5.3), which is caused by a close distance critical source, 2003 Urla (M=5.6) Earthquake and 2005 Urla Earthquake (M=5.9), which are caused by a long distance critical sources, are applied in dynamic analyses. Three scenario earthquakes are produced by modifying the magnitudes up to 6.5 and keeping the frequency content of earthquakes constant. The variation of dynamic soil properties in the area is shown by maps.Liquefaction phenomenon is determined by four different methods and liquefaction induced settlements are calculated. The results of the analyses are mapped. Microtremor measurements are performed in the field, soil predominant period and soil-amplification values are obtained. A contribution to seismic microzonation for northern coast of Izmir Bay is made.
Kırsal kadının kalkındırılmasında mikrokredi kullanımı: Alaniçi köyü örneği
The usage of microcredits within the scope of developing women living,in rural areas: The association of the Alaniçi town
Yazar: TUĞBA ZANBAK
Danışman: YRD. DOÇ. DR. BUKET KARATURHAN
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Tarım Ekonomisi Ana Bilim Dalı
Derece: Yüksek Lisans, 2008
Konu: Ziraat = Agriculture
Dizin: Kadın Emeğini Değerlendirme Vakfı = Foundation for the Support of Women’s Work ; Kadın dernekleri = Women's associations ; Kırsal kalkınma = Rural development ; Kırsal kalkınma projesi = Rural development project ; Kırsal yaşam = Rural life

Özet:
Bu araştırmada, kırsal kadının kalkındırılmasında mikrokredi kullanımının rolü ortaya konulmaya çalışılmıştır. Bu amaçla İzmir'in Menemen ilçesi Alaniçi Köyü kadınlarından bir dayanışma grubu kurulmuştur. Dayanışma grubu, köy kadınları ile yapılan anketler ve ön görüşmeler sonrasında gönüllülerden oluşturulmuştur. Araştırma sonuçlarına göre; kredilerin geri dönüş oranı % 100'dür. Sosyal anlamda da kadınların güçlendiği gözlenmiştir. Ancak; ?kadınların kendi gelirlerini kazanmaya devam etmeleri? hedefini dayanışma grubundan sadece bir üye gerçekleştirilebilmiştir. Köyde istenilen hedeflerin yakalanabilmesi için başta ulaşım olmak üzere var olan alt yapı sorunlarının ortadan kaldırılması gerektiği saptanmıştır.Anahtar sözcükler: Mikrokredi, kırsal kadının kalkındırılması, mikro finansman

Abstract:
The role of the microcredits within the scope of developing women, living in rural areas has been displayed via this research. A mutual benefit association consisting of women was established in the Alaniçi Town of Menemen in İzmir within the framework of this aim. After the poll ratings that were held in the town and the screenings, the volunteers established this mutual benefit association. According to researches, the return of the credits reached the proportion of 100%. It has been observed that women developed themselves also in social areas. However, the aim that stated ?women should maintain to earn their income? was performed by only 1 member. The infrastructure problems, such as transportation and many others, have to be overcome in order to get better results within the framework of this aim.Key words: microcredits, the development of women living in rural areas, micro financing
Anlamsal web servisleri ortamında bir aracı etmen tasarımı ve gerçekleştirimi
Design and implementation of a broker agent in the semantic web services environment
Yazar: ÖZGÜR GÜMÜŞ
Danışman: PROF. DR. OĞUZ DİKENELLİ
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Bilgisayar Mühendisliği Bölümü / Bilgisayar Mühendisliği Ana Bilim Dalı
Derece: Doktora, 2008
Konu: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control

Özet:
Hem arabuluculuk ve koordinasyon özelliklerine sahip olmaları hem de geniş bir alanda uygulanabilir olmaları nedeniyle, aracılar anlamsal veb servisleri ortamının da doğal bir bileşeni olmaya adaydırlar.Bu tez çalışmasında, SWSA soyut mimari çerçevesine dayalı olarak, anlamsal veb servisleri ortamında bir aracı etmen tasarlanmıştır. Bu tasarımın ana katkısı, SWSA çerçevesine uygun, esnek ve yeniden kullanılabilir bir aracı etmen mimarisi sunulmuş olmasıdır. SWSA çerçevesinin üç aşaması, o sürecin içsel gereksinimlerini karşılamak için farklı etkinlikler içermektedir ve her etkinlik, farklı şekillerde gerçekleştirilebilmektedir. Bu bağlamda, bu tez kapsamında tasarlanan aracı etmen, plan seviyesinde ve modül seviyesinde yeniden kullanım sağlayarak etkinliklerin farklı gerçekleştirimlerinin sisteme kolaylıkla eklenebildiği esnek bir mimari sunmaktadır.Ayrıca, aracı etmen ile diğer etmenler arasında FIPA belirtimlerine dayalı bir aracılık etkileşim protokolü tanımlanmıştır. Tasarlanan aracı etmenin bir prototipi gerçekleştirilmiş ve turizm alanında bir durum çalışması ile aracılık senaryosu hayata geçirilmiştir.Anahtar sözcükler: aracılık, anlamsal veb servisleri, etmenler, çok etmenli sistemler

Abstract:
Brokers are one of the main discovery and synchronization mechanisms among autonomous agents. Because of their mediation and coordination properties as well as wide applicability, brokers are a natural candidate component for the semantic services environment.In this thesis, design considerations of a broker agent in the semantic services environment which is based on the SWSA abstract architecture are discussed. Main focus of its design is to provide flexible and reusable broker architecture conforms to this abstract architecture. SWSA defines three consecutive phases for service usage: discovery, engagement and enactment. Each phase includes different activities to satisfy internal requirements of that phase. The critical point here is that each activity can be implemented in a different way based on the application requirements. In this context, our broker agent provides such a flexible architecture in which different implementations of activities can be plugged-in to the system easily. Also an enhanced interaction protocol between the broker agent and other agents based on FIPA specifications is defined within the thesis.Keywords: brokering, semantic web services, agents, multi agent systems
Batı Karadeniz bölgesi ve civarı içsularının sucul Coleoptera (ınsecta) faunası üzerine araştırmalar
Investigations on the aquatic Coleoptera (insecta) fauna of inland waters in the west Black Sea region and its environs
Yazar: ESAT TARIK TOPKARA
Danışman: PROF. DR. SÜLEYMAN BALIK
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Su Ürünleri Temel Bilimleri Ana Bilim Dalı
Derece: Doktora, 2008
Konu: Su Ürünleri = Aquatic Products ; Zooloji = Zoology

Özet:
Bu çalışmada, Batı Karadeniz Bölgesi ve civarında bulunan göl, gölcük, akarsu ve akarsuların kenarlarındaki su birikintilerinin sığ kesimleri gibi değişik habitatlardan toplanan ergin sucul Coleoptera örnekleri sistematik açıdan değerlendirilmiştir. 71 istasyonda yürütülen çalışmalar sonucunda, 9 familyaya ait 47 takson (4 Gyrinidae, 4 Haliplidae, 1 Noteridae, 11 Dytiscidae, 10 Helophoridae, 10 Hydrophilidae, 1 Hydrochidae, 1 Dryopidae ve 5 Elmidae) saptanmıştır.Ayrıca, örnekleme yapılan lokalitelerin su sıcaklığı, çözünmüş oksijen miktarı, pH, tuzluluk ve elektriksel iletkenlik değerleri gibi bazı fiziko-kimyasal parametreleri de ölçülmüştür.

Abstract:
In this study, adults aquatic Coleoptera in different habitats such as lake, pond, river and shallow pools around the rivers from the Western Black Sea region and its environs collected and determined. For this aim, 71 stations selected in this region. Totally, 47 species belonging to 9 families (4 Gyrinidae, 4 Haliplidae, 1 Noteridae, 11 Dytiscidae, 10 Helophoridae, 10 Hydrophilidae, 1 Hydrochidae, 1 Dryopidae ve 5 Elmidae) have been determined.In the stations various physico-chemical parameters such as water temperature, salinity, dissolved oxygen, pH and electrical conductivity were also measured.
Bakır(Cu) ve çelik(st-37) plakaların TIG(Tungsten Inert Gas) kaynağı yöntemiyle kaynaklanabilirliği
The weldability of copper and steel plates by TIG (Tungsten Inert Gas) welding method
Yazar: ERKAN BAHADIR BULUT
Danışman: PROF. DR. VURAL CEYHUN
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Makine Mühendisliği Bölümü
Derece: Yüksek Lisans, 2008
Konu: Makine Mühendisliği = Mechanical Engineering

Özet:
Bu çalışmada Bakır (Cu) ve Çelik (St-37) plakalar WCrMo9Si tel Lincoln bileşimindeki kaynak teliyle birleştirilmiştir. Plakalara TIG (Tungsten Inert Gas) kaynağı uygulanmış, koruyucu gaz olarak ta Argon (Ar) gazı kullanılmıştır.Malzemelerin kaynaklanabilirliği araştırılmış ve parametrelerin mekanik özellik, mikroyapı ve sertlik üzerindeki etkileri incelenmiştir.Kaynak işlemini yapmak için kullandığımız malzemeler (Cu ve st37) birbirinden farklı malzemeler oldukları için birleşme çizgisinin iki yanındaki farklılık ve bundan kaynaklanan bağlantı şekillerinin oluşmasındaki sebeplere değinilmiştir.Çalışmanın tüm sonuçları dikkate alınarak dikkat edilmesi gereken kurallar ortaya konmuş ve öneriler sunulmuştur.

Abstract:
In this study, copper (Cu) and steel (St-37) plates were joined by TIG welding using welding wire composed of WCrMo9Si and Argon as the protective gas.The welding capabilities of the materials were searched and the effects of welding parameters on mechanical characteristic, microstructure and hardness value were investigated.Since, two different materials. (Cu and St-37) were joint by TIG welding, different structures formed on either side of the joints. The reasons for the formation of these structures were mentioned.According to the results obtained from this study the points that should be taken care of during the welding of the materials and some suggestions regarding this were presented.
Düşük doz hızlı (I-125, pd-103) brakiterapi kaynaklarının geometrisindeki değişikliklerin doz dağılımına etkisinin egsnrc monte carlo kodu kullanılarak incelenmesi
Investigatig effect of geometrical variations of low dose rate (I-125, pd-103) brachytehrapy sources on dose distribution using egsnrc monte carlo code
Yazar: BERKAY CAMGÖZ
Danışman: PROF. DR. MEHMET NURULLAH KUMRU
Ege Üniversitesi / Fen Bilimleri Enstitüsü / Fizik Bölümü / Nükleer Bilimler Ana Bilim Dalı
Derece: Doktora, 2008
Konu: Nükleer Mühendislik = Nuclear Engineering

Özet:
LDR brakiterapi kaynakları kanser tedavisinde oldukça yaygın kullanılmaktadır. Gerek mevcut kaynaklar gerekse yeni üretilen kaynaklar çoğunlukla simülasyon metodları ile incelenmektedir. Bugüne kadar bunlar hakkında pekçok veri elde edilmiştir. Doz hesaplarında istatistiki hata kaynakları ortaya konmakla birlikte bazı faktörlerin buna katkısı henüz netlik kazanmamıştır.Kaynakların geometrilerinde olabilecek değişikliklerin doz üzerindeki etkisini açıkça ortaya koyan yeterli düzeyde çalışma bulunmamaktadır. Oysaki hata kaynakları içinde geometri etkileri önemli yer tutmaktadır. Bu çalışmada birbirinden oldukça farklı geometrilerde üç ticari kaynak modellenmiştir; kullanılan Amersham Model 6711 125I, Theragenic 200 103Pd ve ImagynSeed 125Ikaynakları birbirinden çok farklı geometrileri ile geometri etkilerinin tüm brakiterapi kaynakları için geçerli oluğunu sınama imkanı tanımıştır. bunların uygulamalarda meydana gelebilecek geometri değişimleri saptanarak su fantomunda hesaplamalar gerçekleştirilmiştir. Geometrisi değişen kaynaklar ile elde edilen veriler, bu alanda kabul edilen orjinal kaynaklar kullanılarak elde edilen değerlerle kıyaslanmıştır. Neticede geometri değişimlerinin doz üzerinde önemli etkileri olduğu ortaya konmuştur. Her ticari kaynağa ait geometri değişimlerinin ve dozdaki değişim oranlarının birlikte verilmesi gerekliliği önerilmiştir.

Abstract:
LDR brachytherapy sources are widely used for cancer treatments. Generaly current sources and new designed sources are researched by using similation methods. So far large amount of data have been acquired about theese sources. However contribute of some factors to statistical deviations are not known well although statistical errors have been commonly calculatedThere is no sufficent data to explane detailed effects of probable geometrical variations on dose values. Whereas geometrical effects are momentous in error sources. In this study, three commerical brachtherapy sources which have different geometrical properties have benn modelled in similation code. Amersham Model 6711 125I, Theragenic 200 103Pd and ImagynSeed 125I sources were used to examine the mentioned effects are efficient for all geometries of the sources. Geometrical variations have been designed in variant sources and dose calculated in water phantom. Acquired data from variant sources have been normalised to data of original sources. At last , it was shown that geomtetrical effect are important on dose distribution. It is offered that geometrical variations and variation fractions of dose should be given with every brachytherapy sources