The Software Reliability group at KTH-CSC has designed and built a novel test platform LBTest for black-box requirements testing of reactive and embedded software systems (e.g. web servers, automobile control units, etc). The main concept of LBTest is to create a large number of test cases by incorporation of an automata learning algorithm with a model checking algorithm (NuSMV). This platform aims to support different learned automata, learning algorithms and different model checking algorithms which can be combined to implement the paradigm of learning-based testing (LBT).This thesis project investigates an existing published algorithm for learning deterministic finite automata (DFA)known as Kearns algorithm. The aimof this thesis is to investigate how effective Kearns algorithm is from a software testing perspective.Angluin’s well-known L* DFA learning algorithm has a simple structure and implementation. On the other hand, Kearnsalgorithm has more complex, difficult structure and harder implementation than L* algorithm, however it is more efficient and faster. For this reason, the plan is to implement an advanced DFA learning algorithm, Kearns algorithm[4], from a description in the literature (using Java).We consider a methodology to compare Kearns algorithm with Angluin’s DFA learning algorithm based on the master thesis of Czerny[8].The comparisonsbetween the Kearns and the L* algorithmsare based on the number of membership and equivalence queriesto investigate the difficulty of learning

Zahlreiche Studien den Stand der Forschung in Bezug auf die Ökosystemdienstleistungen untersucht. Dennoch wurde die Dimension „Volumen und Höhe“, d.h. die dritte Dimension städtischer Systeme, in den Studien zu Ökosystemdienstleistungen in städtischen Gebieten ignoriert. Die Forschungsziele und Fragestellungen dieser Dissertation lauten: i) Stand der aktuellen Forschung zur dritten Dimension von Ökosystemdienstleistungen im städtischen Raum, ii) Beurteilung des Zusammenhangs von urbanen mehrdimensionalen Indikatoren (zwei- und dreidimensionalen Indikatoren) für die Oberflächentemperatur in der Stadt und iii) Unterschiede zwischen Innen- und Außentemperaturen in urbanen Räumen. Diese Dissertation ist in vier Kapitel gegliedert. Im ersten und zweiten Kapitel werden die Forschungslücken und das Ziel der vorliegenden Untersuchung erläutert. Kapitel 3 enthält die veröffentlichten Artikel. Das letzte Kapitel behandelt die Ergebnisse der veröffentlichten Artikel. Diese Dissertation betont die Bedeutung von dreidimensionalen Studien in urbanen Ökosystemen, um das Konzept der Nachhaltigkeit in Städten voranzutreiben. Deshalb werden kontinentübergreifende Forschungen für weitere Studien empfohlen, die die dreidimensionale Struktur aller städtischen Komponenten und ihre Auswirkungen auf die Außen- und Innentemperatur berücksichtigen. / Among the studies on ecosystem services undertaken in urban areas, a ‎dimension ‘volume and height’, i.e., the third-dimension of urban environment is largely ignored. More specific, three-dimensional spatial models will increase the knowledge of how complex environment ‎shape the micro-climate in urban ‎environment. The research objectives and questions of this dissertation is: i) the status of the current research addressing the third-dimension of ‎ecosystem services in urban area, ii) assessing the association of urban multi-dimensional (two- and three- ‎dimensional) indicators on urban surface temperature and iii) variation of indoor and outdoor urban temperature pattern. This dissertation is organized into four chapters. The ‎first and second chapter explain the gaps in literature and the aim of this research. Chapter 3 holds the published articles. The last chapter discusses the results of the published articles. This dissertation emphasizes the importance of three-dimensional studies in urban ecosystems to advance the concept of sustainability in cities. Therefore, cross-continental studies that consider the three-dimensional structure of all the urban components and its impact on outdoor and indoor temperature is recommended for future research. / به جرات می توان گفت که در مطالعات خدمات اکوسیستم، بخصوص خدمات اکوسیستم شهری ، بعد سوم که شامل "ارتفاع و حجم" می باشد اصلا مورد توجه قرار نگرفته است. هدف از این پایان نامه، تلفیق مفهوم بعد سوم در خدمات اکوسیستم شهری و استفاده از فواید آن می باشد. مطالعه بعد سوم دانش ما را در نحوه شکل گیری اقلیم خُرد شهری افزایش می دهد. هدف این پروژه دکتری پاسخ به سوالات ذیل می باشد: 1) سطح آگاهی تحقیقات از بعد سوم خدمات اکوسیستم شهری، 2) ارزیابی ارتباط شاخص های چندبعدی (دو و سه بعدی) با دمای سطح و 3) ارزیابی الگوی دمای درونی و بیرونی در شهر. جهت پاسخ دادن به سوال های مطرح شده، این پژوهش به چهار فصل تقسیم شده است. فصل اول و دوم، که جایگاه خدمات اکوسیستم را در مطالعات شهری بررسی و جای خالی مفهوم بعد سوم در مطالعات خدمات اکوسیستم شهری را جستجو می کند. فصل سوم، شامل سه مقاله چاپ شده در راستای این پروژه دکتری می باشد. فصل چهارم، که نتایج بدست آمده را تجزیه و تحلیل می کند. نتایج بدست آمده نشان می دهد که مطالعات خدمات اکوسیستم شهری از معنی کلی و بنیادی به سمت سازش پذیری شهرها با پدیده تغییر اقلیم در حال تغییر است. همچنین نتایج نشان می دهد که ساختار متفاوت شهری بر شکل گیری الگوی دمای بیرون و داخل ساختمان ها موثر می باشد. استنتاج نتایج بدست آمده از این پایان نامه دو مورد را پیشنهاد می کند. اول، بررسی نقش ساختار های دو بعدی و سه بعدی بر روی دیگر شهر ها و تاثیر آن بر شکل گیری دمای بیرون و درونی ساختمان ها.