06532nam 22007455 450 991029984670332120200629203549.03-319-12544-310.1007/978-3-319-12544-2(CKB)3710000000281149(EBL)1965192(OCoLC)895161925(SSID)ssj0001386214(PQKBManifestationID)11752469(PQKBTitleCode)TC0001386214(PQKBWorkID)11350927(PQKB)11477043(DE-He213)978-3-319-12544-2(MiAaPQ)EBC1965192(PPN)183089944(EXLCZ)99371000000028114920141111d2015 u| 0engur|n|---|||||txtccrComplex Systems Design & Management Asia Designing Smart Cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014 /edited by Michel-Alexandre Cardin, Daniel Krob, Pao Chuen Lui, Yang How Tan, Kristin Wood1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (177 p.)Description based upon print version of record.3-319-12543-5 Includes bibliographical references at the end of each chapters and index.""Foreword""; ""Preface""; ""Conference Organization""; ""Contents""; ""Part I Invited and Regular Papers""; ""Model Checking of Energy Consumption Behavior""; ""1 Introduction""; ""2 Model-Based Analysis""; ""2.1 Energy Consumption Behavior""; ""2.2 Energy Consumption Properties""; ""3 Behavioral Model""; ""3.1 Power Consumption Automaton""; ""3.2 Operational Semantics""; ""4 Property Specification""; ""4.1 Syntax""; ""4.2 Semantics""; ""5 Model Checking""; ""6 Related Work""; ""7 Conclusion""; ""References""""UNISENSE: A Unified and Sustainable Sensing and Transport Architecture for Large Scale and Heterogeneous Sensor Networks""""1 Introduction""; ""1.1 Background""; ""1.2 Motivation""; ""1.3 Contributions""; ""1.4 Organization of the Paper""; ""2 The UNISENSE Architecture""; ""2.1 Overview""; ""2.2 Application Profiling""; ""2.3 Node Architecture""; ""2.4 Intelligent Network Design""; ""2.5 Network Management and Visualization""; ""2.6 Deep Sensing""; ""2.7 Generalized Participatory Sensing""; ""2.8 Security, Privacy, and Trust""; ""3 Case Studies""; ""3.1 Urban Noise Monitoring""""3.2 Public Infrastructure Monitoring (Smart Bins)""""3.3 Event Management (CuteBit)""; ""3.4 Vertical Farming Monitoring""; ""3.5 Practical Issues and Lessons Learnt""; ""4 Related Work and Competitive Advantages""; ""5 Conclusion and OngoingWork""; ""References""; ""Black-Box Optimization of Lighting Simulation in Architectural Design""; ""1 Introduction""; ""2 Application to Architectural Design""; ""3 The Radial Basis Function Method""; ""3.1 Selection of the Initial Points""; ""3.2 Selection of the Next Evaluation Point""; ""3.3 Extensions""; ""3.4 Open-Source Implementation""""References""""Aligning Cyber-Physical System Safety and Security""; ""1 Introduction""; ""2 Related Work""; ""2.1 CPS Safety""; ""2.2 CPS Security""; ""2.3 Safety and Security Integration""; ""3 Integrated CPS Safety and Security Lifecycle Process""; ""4 CPS Safety and Security Alignment Using Failure Attack-Countermeasure Graph""; ""5 FACT Graph Example""; ""6 Conclusions""; ""References""; ""Singapore Road Vehicle Fleet Evolution""; ""1 Introduction""; ""2 Model Structu ure and Data Source""; ""3 Building ks Block of Fleet Model""; ""3.1 New Registratio on of Motor Vehicles""""3.2 Survival Rate a and Lifetime Distribution""""3.3 Vehicle Kilome eters Travelled (VKT)""; ""3.4 Vehicle Fuel U Use""; ""3.5 Greenhouse as Ga (GHG) Emissions""; ""4 Model Finding gs""; ""5 Future Work""; ""6 Conclusions""; ""References""; ""Design and Management of Flexible On-Shore LNG Production Engineering Systems""; ""1 Introduction""; ""2 Background and Motivation""; ""2.1 Flexibility in Engineering Design""; ""2.2 Simulation Based Flexibility Analysis""; ""2.3 LNG Production System Design""; ""3 Scope and Pro blem Definition""; ""4 Methodology""""4.1 Step 1: Deterministic Analysis""This book contains all refereed papers that were accepted to the first edition of the Asia-Pacific conference on « Complex Systems Design & Management » (CSD&M Asia 2014) that took place in Singapore from December 10 to December 12, 2014 (Website: http://www.2014.csdm-asia.net/). These proceedings cover the most recent trends in the emerging field of Complex Systems, both from an academic and a professional perspective. A special focus is put on Designing Smart cities. The CSD&M Asia 2014 conference is organized under the guidance of the Center of Excellence on Systems Architecture, Management, Economy and Strategy, CESAMES, non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France ( Website : http://www.cesames.net/en).Computational intelligenceArtificial intelligenceUrban geographyComputational Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/T11014Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Urban Geography / Urbanism (inc. megacities, cities, towns)https://scigraph.springernature.com/ontologies/product-market-codes/J15010Computational intelligence.Artificial intelligence.Urban geography.Computational Intelligence.Artificial Intelligence.Urban Geography / Urbanism (inc. megacities, cities, towns).006.3620913-919Cardin Michel-Alexandreedthttp://id.loc.gov/vocabulary/relators/edtKrob Danieledthttp://id.loc.gov/vocabulary/relators/edtLui Pao Chuenedthttp://id.loc.gov/vocabulary/relators/edtTan Yang Howedthttp://id.loc.gov/vocabulary/relators/edtWood Kristinedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910299846703321Complex Systems Design & Management Asia2199665UNINA