LEADER 06532nam 22007455 450 001 9910299846703321 005 20200629203549.0 010 $a3-319-12544-3 024 7 $a10.1007/978-3-319-12544-2 035 $a(CKB)3710000000281149 035 $a(EBL)1965192 035 $a(OCoLC)895161925 035 $a(SSID)ssj0001386214 035 $a(PQKBManifestationID)11752469 035 $a(PQKBTitleCode)TC0001386214 035 $a(PQKBWorkID)11350927 035 $a(PQKB)11477043 035 $a(DE-He213)978-3-319-12544-2 035 $a(MiAaPQ)EBC1965192 035 $a(PPN)183089944 035 $a(EXLCZ)993710000000281149 100 $a20141111d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aComplex Systems Design & Management Asia $eDesigning Smart Cities: Proceedings of the First Asia - Paci?c Conference on Complex Systems Design & Management, CSD&M Asia 2014 /$fedited by Michel-Alexandre Cardin, Daniel Krob, Pao Chuen Lui, Yang How Tan, Kristin Wood 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (177 p.) 300 $aDescription based upon print version of record. 311 $a3-319-12543-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $a""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"" 327 $a""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"" 327 $a""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"" 327 $a""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"" 327 $a""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"" 327 $a""4.1 Step 1: Deterministic Analysis"" 330 $aThis 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). 606 $aComputational intelligence 606 $aArtificial intelligence 606 $aUrban geography 606 $aComputational Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/T11014 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aUrban Geography / Urbanism (inc. megacities, cities, towns)$3https://scigraph.springernature.com/ontologies/product-market-codes/J15010 615 0$aComputational intelligence. 615 0$aArtificial intelligence. 615 0$aUrban geography. 615 14$aComputational Intelligence. 615 24$aArtificial Intelligence. 615 24$aUrban Geography / Urbanism (inc. megacities, cities, towns). 676 $a006.3 676 $a620 676 $a913-919 702 $aCardin$b Michel-Alexandre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKrob$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLui$b Pao Chuen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTan$b Yang How$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWood$b Kristin$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910299846703321 996 $aComplex Systems Design & Management Asia$92199665 997 $aUNINA