257 research outputs found

    Design Space Exploration for Building Automation Systems

    Get PDF
    In the building automation domain, there are gaps among various tasks related to design engineering. As a result created system designs must be adapted to the given requirements on system functionality, which is related to increased costs and engineering effort than planned. For this reason standards are prepared to enable a coordination among these tasks by providing guidelines and unified artifacts for the design. Moreover, a huge variety of prefabricated devices offered from different manufacturers on the market for building automation that realize building automation functions by preprogrammed software components. Current methods for design creation do not consider this variety and design solution is limited to product lines of a few manufacturers and expertise of system integrators. Correspondingly, this results in design solutions of a limited quality. Thus, a great optimization potential of the quality of design solutions and coordination of tasks related to design engineering arises. For given design requirements, the existence of a high number of devices that realize required functions leads to a combinatorial explosion of design alternatives at different price and quality levels. Finding optimal design alternatives is a hard problem to which a new solution method is proposed based on heuristical approaches. By integrating problem specific knowledge into algorithms based on heuristics, a promisingly high optimization performance is achieved. Further, optimization algorithms are conceived to consider a set of flexibly defined quality criteria specified by users and achieve system design solutions of high quality. In order to realize this idea, optimization algorithms are proposed in this thesis based on goal-oriented operations that achieve a balanced convergence and exploration behavior for a search in the design space applied in different strategies. Further, a component model is proposed that enables a seamless integration of design engineering tasks according to the related standards and application of optimization algorithms.:1 Introduction 17 1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.2 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.3 Goals and Use of the Thesis . . . . . . . . . . . . . . . . . . . . . 21 1.4 Solution Concepts . . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.5 Organization of the Thesis . . . . . . . . . . . . . . . . . . . . . . 24 2 Design Creation for Building Automation Systems 25 2.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.2 Engineering of Building Automation Systems . . . . . . . . . . . 29 2.3 Network Protocols of Building Automation Systems . . . . . . . 33 2.4 Existing Solutions for Design Creation . . . . . . . . . . . . . . . 34 2.5 The Device Interoperability Problem . . . . . . . . . . . . . . . . 37 2.6 Guidelines for Planning of Room Automation Systems . . . . . . 38 2.7 Quality Requirements on BAS . . . . . . . . . . . . . . . . . . . 41 2.8 Quality Requirements on Design . . . . . . . . . . . . . . . . . . 42 2.8.1 Quality Requirements Related to Project Planning . . . . 42 2.8.2 Quality Requirements Related to Project Implementation 43 2.9 Quality Requirements on Methods . . . . . . . . . . . . . . . . . 44 2.10 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3 The Design Creation Task 47 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 3.2 System Design Composition Model . . . . . . . . . . . . . . . . . 49 3.2.1 Abstract and Detailed Design Model . . . . . . . . . . . . 49 3.2.2 Mapping Model . . . . . . . . . . . . . . . . . . . . . . . . 51 3.3 Formulation of the Problem . . . . . . . . . . . . . . . . . . . . . 53 3.3.1 Problem properties . . . . . . . . . . . . . . . . . . . . . . 54 3.3.2 Requirements on Algorithms . . . . . . . . . . . . . . . . 56 3.4 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 4 Solution Methods for Design Generation and Optimization 59 4.1 Combinatorial Optimization . . . . . . . . . . . . . . . . . . . . . 59 4.2 Metaheuristics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 4.3 Examples for Metaheuristics . . . . . . . . . . . . . . . . . . . . . 62 4.3.1 Simulated Annealing . . . . . . . . . . . . . . . . . . . . . 62 4.3.2 Tabu Search . . . . . . . . . . . . . . . . . . . . . . . . . 63 4.3.3 Ant Colony Optimization . . . . . . . . . . . . . . . . . . 65 4.3.4 Evolutionary Computation . . . . . . . . . . . . . . . . . 66 4.4 Choice of the Solver Algorithm . . . . . . . . . . . . . . . . . . . 69 4.5 Specialized Methods for Diversity Preservation . . . . . . . . . . 70 4.6 Approaches for Real World Problems . . . . . . . . . . . . . . . . 71 4.6.1 Component-Based Mapping Problems . . . . . . . . . . . 71 4.6.2 Network Design Problems . . . . . . . . . . . . . . . . . . 73 4.6.3 Comparison of Solution Methods . . . . . . . . . . . . . . 74 4.7 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 5 Automated Creation of Optimized Designs 79 5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 5.2 Design Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . 79 5.3 Component Model . . . . . . . . . . . . . . . . . . . . . . . . . . 81 5.3.1 Presumptions . . . . . . . . . . . . . . . . . . . . . . . . . 85 5.3.2 Integration of Component Model . . . . . . . . . . . . . . 87 5.4 Design Generation . . . . . . . . . . . . . . . . . . . . . . . . . . 87 5.4.1 Component Search . . . . . . . . . . . . . . . . . . . . . . 88 5.4.2 Generation Approaches . . . . . . . . . . . . . . . . . . . 100 5.5 Design Improvement . . . . . . . . . . . . . . . . . . . . . . . . . 107 5.5.1 Problems and Requirements . . . . . . . . . . . . . . . . . 107 5.5.2 Variations . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 5.5.3 Application Strategies . . . . . . . . . . . . . . . . . . . . 121 5.6 Realization of the Approach . . . . . . . . . . . . . . . . . . . . . 122 5.6.1 Objective Functions . . . . . . . . . . . . . . . . . . . . . 122 5.6.2 Individual Representation . . . . . . . . . . . . . . . . . . 123 5.7 Automated Design Creation For A Building . . . . . . . . . . . . 124 5.7.1 Room Spanning Control . . . . . . . . . . . . . . . . . . . 124 5.7.2 Flexible Rooms . . . . . . . . . . . . . . . . . . . . . . . . 125 5.7.3 Technology Spanning Designs . . . . . . . . . . . . . . . . 129 5.7.4 Preferences for Mapping of Function Blocks to Devices . . 132 5.8 Further Uses and Applicability of the Approach . . . . . . . . . . 133 5.9 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 6 Validation and Performance Analysis 137 6.1 Validation Method . . . . . . . . . . . . . . . . . . . . . . . . . . 137 6.2 Performance Metrics . . . . . . . . . . . . . . . . . . . . . . . . . 137 6.3 Example Abstract Designs and Performance Tests . . . . . . . . 139 6.3.1 Criteria for Choosing Example Abstract Designs . . . . . 139 6.3.2 Example Abstract Designs . . . . . . . . . . . . . . . . . . 140 6.3.3 Performance Tests . . . . . . . . . . . . . . . . . . . . . . 142 6.3.4 Population Size P - Analysis . . . . . . . . . . . . . . . . 151 6.3.5 Cross-Over Probability pC - Analysis . . . . . . . . . . . 157 6.3.6 Mutation Probability pM - Analysis . . . . . . . . . . . . 162 6.3.7 Discussion for Optimization Results and Example Designs 168 6.3.8 Resource Consumption . . . . . . . . . . . . . . . . . . . . 171 6.3.9 Parallelism . . . . . . . . . . . . . . . . . . . . . . . . . . 172 6.4 Optimization Framework . . . . . . . . . . . . . . . . . . . . . . . 172 6.5 Framework Design . . . . . . . . . . . . . . . . . . . . . . . . . . 174 6.5.1 Components and Interfaces . . . . . . . . . . . . . . . . . 174 6.5.2 Workflow Model . . . . . . . . . . . . . . . . . . . . . . . 177 6.5.3 Optimization Control By Graphical User Interface . . . . 180 6.6 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183 7 Conclusions 185 A Appendix of Designs 189 Bibliography 201 Index 21

    A new approach for the sequence spaces of fuzzy level sets with the partial metric

    Get PDF
    In this paper, we investigate the classical sets of sequences of fuzzy numbers by using partial metric which is based on a partial ordering. Some elementary notions and concepts for partial metric and fuzzy level sets are given. In addition, several necessary and sufficient conditions for partial completeness are established by means of fuzzy level sets. Finally, we give some illustrative examples and present some results between fuzzy and partial metric spaces

    Facets of the p-cycle polytope

    Get PDF
    The purpose of this study is to provide a polyhedral analysis of the p-cycle polytope, which is the convex hull of the incidence vectors of all the p-cycles (simple directed cycles consisting of p arcs) of the complete directed graph Kn. We first determine the dimension of the p-cycle, polytope, characterize the bases of its equality set, and prove two lifting results. We then describe several classes of valid inequalities for the case 2<p<n, together with necessary and sufficient conditions for these inequalities to induce facets of the p-cycle polytope. We also briefly discuss the complexity of the associated separation problems. Finally, we investigate the relationship between the p-cycle polytope and related polytopes, including the p-circuit polytope. Since the undirected versions of symmetric inequalities which induce facets of the p-cycle polytope are facet-inducing for the p-circuit polytope, we obtain new classes of facet-inducing inequalities for the p-circuit polytope

    NATO’yu Anlamak: Dönüşümü, Yeni Kimlikleri ve Uyum Süreçleri

    Get PDF
    Bu çalışma NATO’nun dönüşümünü, bu dönüşümün gerekçelerini ve örgütün geleceğini tartışmaktadır. Soğuk Savaş’ın bir ürünü olarak NATO, sadece Sovyet/komünist/kızıl/doğu vs. gibi tehditlere göğüs germek ve belirli bir alanda güvenliği tesis etmek amaçlarıyla kurulmamıştır. NATO, Pozitivist ittifak ya da güvenlik yaklaşımlarının çizdiği epistemik çerçeveden analiz edilebilecek sıradan bir kolektif güvenlik/savunma veya askeri ittifak modeli değildir. NATO, Soğuk Savaş’tan sonra genişleyerek ve derinleşerek ayakta kalan ve bu bağlamda “içsel uyum süreci” olarak tanımlanabilecek süreç kapsamında kurumsal reformlar hayata geçirmekte, güvenlik kimliği dışındaki kimliklerini öne çıkarmakta ve AB müktesebatına benzer bir program olan Üyelik Eylem Planıgibi programlar geliştirmektedir. Paralel olarak BİO, NATO-BM ilişkileri, NATO-Rusya ilişkileri, Akdeniz Diyalogu gibi programlarla da “dışsal uyum sürecini” hayata geçirmektedir. Örgüt, benimsediği Stratejik Konseptlerle demokrasi, insan haklarıve ekonomik işbirliği vurgularına giderek daha çok atıfta bulunmaktadır. Zira hem 1991 güncelleştirilmişhaliyle 1999 hem de 2010 yılında benimsenen Stratejik Konsept’te ittifakın üzerinde yükseldiği vurgulanan “özgürlük, demokrasi, insan hakları, hukukun üstünlüğü” gibi ortak değerlerin, askeri bir güvenlik/savunma yapısınıtanımlamak için kullanılmasıdikkat çekicidir. Uluslararasısosyalleşme sürecinin en önemli örneklerinden biri olarak NATO, Pozitivist yaklaşımlar açısından anomali gibi görünse de raison d’etreortadan kalkmasına rağmen varlığınısürdürmekte ve uluslararasıbarışve güvenlik dışında da serbest piyasa, liberal demokrasi gibi meşruiyet kaynaklarıüretmektedir

    An ant colony algorithm for the sequential testing problem under precedence constraints.

    Get PDF
    We consider the problem of minimum cost sequential testing of a series (parallel) system under precedence constraints that can be modeled as a nonlinear integer program. We develop and implement an ant colony algorithm for the problem. We demonstrate the performance of this algorithm for special type of instances for which the optimal solutions can be found in polynomial time. In addition, we compare the performance of the algorithm with a special branch and bound algorithm for general instances. The ant colony algorithm is shown to be particularly effective for larger instances of the problem

    Ultrastructural description of the corpora allata of Pimpla turionellae L. (Hymenoptera: Ichneumonidae)

    Get PDF
    The corpora allata, are endocrine glands which produced juvenile hormone. In this study, corpora allata of adult females of Pimpla turionellae were examined ultrastructurally by using the transmission electron microscopy. The gland is surrounded with thick fibrous capsule that penetrates into the gland as a stromatal ramification. The ultrastructure of gland cells had the same characteristic of proteinsecreting cells. These cells had oval shaped nuclei, numerous granules, lysosomes, mitochondria and vacuoles. There are granules of electron-dense, electron-modarate and electron-lucent. These granules are actually membrane-limited secretory vesicles which are filled with the proteinaceous hormone produced by the gland cells. Microtubules and mitochondria were observed in the cytoplasm of axons of neurosecretory cells found among the gland cells.Key words: Hymenoptera, Pimpla turionellae, corpora allata, ultrastructure, transmission electron microscopy

    Lessons from Mission-Critical Spreadsheets

    Get PDF
    We present eighteen examples of mission-critical spreadsheets used by diverse people and organizations for application software development, financial risk management, executive information systems, sales and marketing business processes, business operations, and complex analytics. We argue the spreadsheet is a Rapid Development Language, an Integrated Development Environment, and a Fourth Generation Language, and has unusual challenges regarding source code protection. We note that intentional spreadsheet applications are largely absent from the error literature. We explain why people might prefer a spreadsheet to an application developed by the IT department, and show how some spreadsheet programmers choose to avoid--or do not have--an IT department. We find that 1) Spreadsheets are widely used for mission-critical functions; 2) Spreadsheets are an effective application development platform; 3) There is diversity of development skill in creators of mission-critical spreadsheets; 4) Sophisticated programmers sometimes choose spreadsheets over other languages; 5) Spreadsheets are amenable to formal development practices, but such practices seem rare; 6) Spreadsheets play a central role in the evolution of business processes and work systems; and 7) Spreadsheets are a source of accidental legacy systems . We provide the Skill-User Programming Paradigm to help interpret and explain our observations. We conclude that spreadsheets are vitally important to business, and merit sustained research to discover techniques to enhance quality, productivity, and maintainability

    ULUSLARARASI İLİŞKİLER DİSİPLİNİNDE DAVRANIŞSALCI PARADİGMANIN ANLAMI, KÖKENİVE ÇATIŞMA ÇÖZÜMLEMESİÖRNEĞİNDE DAVRANIŞSALCILIĞIN KATKISI

    Get PDF
    Uluslararası İlişkiler disiplini sosyal bilimlerdeki diğer disiplinlere göre oldukça yeni olmasına rağmen zengin bir teorik alt yapıya sahiptir. Disiplinin bir asırlık tarihinde patlak vermişüç büyük tartışma vardır. Bu tartışmalardan ikincisi olan Gelenekselcilik Davranışsalcılık tartışmasıdisipline hem özerlik kazandırmışhem de disiplinin daha bilimsel bir kılıfa bürünmesi anlamında önemli katkılarda bulunmuştur. Ancak ikinci büyük tartışmada Davranışsalcılığın oynadığırol özellikle Türkçe literatürde hep ihmal edilmişve bu konuda genişçaplıçalışmalar yapılmamıştır. Disiplinde metodolojik bir devrim gerçekleştirerek disipline özerkliğini kazandıran, dışpolitika analizi başta olmak üzere, karar alma yaklaşımı, oyun teorileri, sistem yaklaşımı, içerik analizi, veri derleme/toplama, simülasyon ve daha birçok başlıkta epistemik ve metodolojik açılımlar sağlamışolan Davranışsalcılığın en büyük katkılarından biri de çatışma çözümlemesidir. Bir savaşın ürünü olan disiplinin en temel kaygısı, benzer savaşve çatışmalarıönlemektir. Davranışsalcıparadigmanın ışığıaltında, geleneksel yol ve yöntemlerin dışında alternatif bir bakışaçısıile çatışma çözümlemesi çalışmaları1950’lerin başından bugüne değin disiplinin en gözde alanlarından biri olmuştur
    corecore