Systems analysis and design Books

Book SynopsisTo develop information processing systems requires effective and efficient communication between many people. In order to understand requirements and design decisions, there is a need for a common conceptual model of the system: one that represents the architecture of the system.Table of ContentsForeword. Preface. 1 Introduction. 1.1 The need for communication. 1.2 The FMC Idea. 1.3 Outline of this book. 2 Compositional Structures. 2.1 An example: The travel agency. 2.2 Modeling the structure of a system. 2.3 Agents accessing storages. 2.4 Agents communicate via channels. 2.5 Summary. 2.6 Exercises. 3 Dynamic Structures. 3.1 Petrinets: Basic principles. 3.2 Conflicts and conditions. 3.3 Basic patterns. 3.4 Responsibilities and scope boundaries. 3.5 Summary. 3.6 Exercises. 4 Value Structures and Mind Maps. 4.1 Entity sets and relationships. 4.2 Cardinalities. 4.3 Predicates and roles. 4.4 Partitions. 4.5 Reification. 4.6 Summary. 4.7 Exercises. 5 FMC Basics: Summary. 6 Reinforcing the Concepts. 6.1 The meta model: A mind map to FMC. 6.2 Operational versus control state. 6.3 Block diagrams: Advanced concepts. 6.4 Petrinets: Advanced concepts. 6.5 Non-hierarchical transformations and semantic layers. 6.6 Exercises. 7 Towards Implementation Structures. 7.1 System structure versus software structure. 7.2 From Processor to processes. 7.3 Distribution, concurrency and synchronization. 7.4 From FMC to objects and classes. 7.5 Conceptual patterns versus software patterns. 8 Applying FMC in Your Daily Work. 8.1 Becoming comfortable with FMC. 8.2 Describing existing systems with FMC. 8.3 Using FMC in construction. 8.4 Using FMCdiagrams to support communication. 8.5 Guidelines for didactical modeling. 8.6 Cost and benefit of modeling. 9 Modeling and Visualization Guidelines. 9.1 Introduction. 9.2 Increasingt he reader’s perception. 9.3 Increasing comprehension. 9.4 Secondary notation, patterns and pitfalls. 10 Relationship with Other Modeling Approaches. 10.1 Comparing FMC with Structured Analysis. 10.2 FMC and the Unified Modeling Language. 11 A System of Server Patterns 247 11.1 Applicationdomain. 11.2 A pattern language for request processing servers. 11.3 Example applications. 11.4 Conclusion and further research. Epilogue. A Solutions. B Reference Sheets. C Glossary. References. Index.

Read more less

Book SynopsisThis book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner.Table of ContentsPreface. Introduction. Custom Single-Purpose Processors: Hardware. General-Purpose Processors: Software. Standard Single-Purpose Processors: Peripherals. Memory. Interfacing. Digital Camera Example. State Machine and Concurrent Process Models. Control Systems. IC Technology. Design Technology. Appendix A: Online Resources. Index.

Read more less

Book SynopsisVerilog provides platforms for designs to be described at different layers of complexity, combine them in a seamless manner, test them at every stage and build up a bug-free design. This book intends to guide readers to master Verilog as an HDL and use it for design.Trade Review"…this book is surely welcome…due to its simple but efficient structure, the book can be used both in academia and in industry." (IEEE Circuits & Devices, July/August 2006) “...ideally suited for teaching digital hardware design techniques using a low-level programming language...highly recommended...” (Choice, Vol. 41, No. 8, April 2004) "…enables readers to master Verilog as an HDL for design...engages the readers at every stage through the variety and number of examples." (IEEE Solid-State Circuits Society Newsletter, January 2004)Table of ContentsPREFACE. ACKNOWLEDGEMENTS. 1 INTRODUCTION TO VLSI DESIGN. 1.1 INTRODUCTION. 1.2 CONVENTIONAL APPROACH TO DIGITAL DESIGN. 1.3 VLSI DESIGN. 1.4 ASIC DESIGN FLOW. 1.5 ROLE OF HDL. 2 INTRODUCTION TO VERILOG. 2.1 VERILOG AS AN HDL. 2.2 LEVELS OF DESIGN DESCRIPTION. 2.3 CONCURRENCY. 2.4 SIMULATION AND SYNTHESIS. 2.5 FUNCTIONAL VERIFICATION. 2.6 SYSTEM TASKS. 2.7 PROGRAMMING LANGUAGE INTERFACE (PLI). 2.8 MODULE. 2.9 SIMULATION AND SYNTHESIS TOOLS. 2.10 TEST BENCHES. 3 LANGUAGE CONSTRUCTS AND CONVENTIONS IN VERILOG. 3.1 INTRODUCTION. 3.2 KEYWORDS. 3.3 IDENTIFIERS. 3.4 WHITE SPACE CHARACTERS. 3.5 COMMENTS. 3.6 NUMBERS. 3.7 STRINGS. 3.8 LOGIC VALUES. 3.9 STRENGTHS. 3.10 DATA TYPES. 3.11 SCALARS AND VECTORS. 3.12 PARAMETERS. 3.13 MEMORY. 3.14 OPERATORS. 3.15 SYSTEM TASKS. 3.16 EXERCISES. 4 GATE LEVEL MODELING – 1. 4.1 INTRODUCTION. 4.2 AND GATE PRIMITIVE. 4.3 MODULE STRUCTURE. 4.4 OTHER GATE PRIMITIVES. 4.5 ILLUSTRATIVE EXAMPLES. 4.6 TRI-STATE GATES. 4.7 ARRAY OF INSTANCES OF PRIMITIVES. 4.8 ADDITIONAL EXAMPLES. 4.9 EXERCISES. 5 GATE LEVEL MODELING – 2. 5.1 INTRODUCTION. 5.2 DESIGN OF FLIP-FLOPS WITH GATE PRIMITIVES. 5.3 DELAYS. 5.4 STRENGTHS AND CONTENTION RESOLUTION. 5.5 NET TYPES. 5.6 DESIGN OF BASIC CIRCUITS. 5.7 EXERCISES. 6 MODELING AT DATA FLOW LEVEL. 6.1 INTRODUCTION. 6.2 CONTINUOUS ASSIGNMENT STRUCTURES. 6.3 DELAYS AND CONTINUOUS ASSIGNMENTS. 6.4 ASSIGNMENT TO VECTORS. 6.5 OPERATORS. 6.6 ADDITIONAL EXAMPLES. 6.7 EXERCISES. 7 BEHAVIORAL MODELING — 1. 7.1 INTRODUCTION. 7.2 OPERATIONS AND ASSIGNMENTS.0 7.3 FUNCTIONAL BIFURCATION.1 7.4 INITIAL CONSTRUCT. 7.5 ALWAYS CONSTRUCT. 7.6 EXAMPLES. 7.7 ASSIGNMENTS WITH DELAYS. 7.8 wait CONSTRUCT. 7.9 MULTIPLE ALWAYS BLOCKS. 7.10 DESIGNS AT BEHAVIORAL LEVEL. 7.11 BLOCKING AND NONBLOCKING ASSIGNMENTS. 7.12 THE case STATEMENT. 7.13 SIMULATION FLOW. 7.14 EXERCISES. 8 BEHAVIORAL MODELING II. 8.1 INTRODUCTION. 8.2 if AND if–else CONSTRUCTS. 8.3 assign–deassign CONSTRUCT. 8.4 repeat CONSTRUCT. 8.5 for LOOP. 8.6 THE disable CONSTRUCT. 8.7 while LOOP. 8.8 forever LOOP. 8.9 PARALLEL BLOCKS. 8.10 force–release CONSTRUCT. 8.11 EVENT. 8.12 EXERCISES. 9 FUNCTIONS, TASKS, AND USER-DEFINED PRIMITIVES. 9.1 INTRODUCTIUON. 9.2 FUNCTION. 9.3 TASKS. 9.4 USER-DEFINED PRIMITIVES (UDP).2 9.5 EXERCISES. 10 SWITCH LEVEL MODELING 305 10.1 INTRODUCTION. 10.2 BASIC TRANSISTOR SWITCHES.5 10.3 CMOS SWITCH. 10.4 BIDIRECTIONAL GATES. 10.5 TIME DELAYS WITH SWITCH PRIMITIVES. 10.6 INSTANTIATIONS WITH STRENGTHS AND DELAYS. 10.7 STRENGTH CONTENTION WITH TRIREG NETS. 10.8 EXERCISES. 11 SYSTEM TASKS, FUNCTIONS, AND COMPILER DIRECTIVES 339 11.1 INTRODUCTION. 11.2 PARAMETERS.9 11.3 PATH DELAYS. 11.4 MODULE PARAMETERS. 11.5 SYSTEM TASKS AND FUNCTIONS. 11.6 FILE-BASED TASKS AND FUNCTIONS. 11.7 COMPILER DIRECTIVES. 11.8 HIERARCHICAL ACCESS. 11.9 GENERAL OBSERVATIONS. 11.10 EXERCISES. 12 QUEUES, PLAS, AND FSMS. 12.1 INTRODUCTION. 12.2 QUEUES. 12.3 PROGRAMMABLE LOGIC DEVICES (PLDs). 12.4 DESIGN OF FINITE STATE MACHINES. 12.5 EXERCISES. APPENDIX A (Keywords and Their Significance). APPENDIX B (Truth Tables of Gates and Switches). REFERENCES. INDEX.

Read more less

Book SynopsisComputer Architecture and Organization: An Integrated Approach exposes the inner workings of the modern digital computer at a level that demystifies the inner workings of the machine for undergraduate students. The text covers topics normally found in a first course in computer architecture or computer organization and places the beginning student on a solid track for continuing studies in computer-related disciplines.Table of Contents1. Introduction. 2. Data Representation. 3. Arithmetic. 4. The Instruction Set Architecture. 5. Datapath and Control. 6. Languages and the Machine. 7. Memory. 8. Buses and Peripherals. 9. Networking and Communication. 10. Advanced Computer Architecture. Appendix A: Digital Logic. Appendix B: Using ARCTools. Index.

Read more less

Book SynopsisThe VHDL Reference: The essential guide for students and professionals working in computer hardware design and synthesis. The definitive guide to VHDL, this book combines a comprehensive reference of the VHDL syntax with tutorial and workshop materials that guide the reader through the principles of digital hardware design.Trade Review"...combines a comprehensive reference of the VHDL syntax with tutorial and workshop materials that guide readers through the principles f digital hardware design." (SciTech Book News, Vol. 26, No. 2, June 2002)Table of ContentsVHDL TUTORIAL. VHDL: Overview and Application Field. VHDL Language and Syntax. Synthesis. Simulation. Project Management. VHDL-AMS TUTORIAL. VHDL-AMS. VHDL WORKSHOP. VHDL Working Environment. Exercises. REFERENCE. Design Entities and Configurations. Subprograms and Packages. Types. Declarations. Specification. Names. Expressions. Sequential Statements. Concurrent Statements. Miscellaneous. Elaboration and Simulation. Lexical Elements. Predefined Attributes. Package STANDARD. Package TEXTIO. BNF. Literature. Index.

Read more less

Book Synopsis

Read more less

Book SynopsisUses Verilog HDL to illustrate computer architecture and microprocessor design, allowing readers to readily simulate and adjust the operation of each design, and thus build industrially relevant skills Introduces the computer principles, computer design, and how to use Verilog HDL (Hardware Description Language) to implement the designProvides the skills for designing processor/arithmetic/cpu chips, including the unique application of Verilog HDL material for CPU (central processing unit) implementationDespite the many books on Verilog and computer architecture and microprocessor design, few, if any, use Verilog as a key tool in helping a student to understand these design techniquesA companion website includes color figures, Verilog HDL codes, extra test benches not found in the book, and PDFs of the figures and simulation waveforms for instructorsTable of ContentsList of Figures xv List of Tables xxvii Preface xxix 1 Computer Fundamentals and Performance Evaluation 1 2 A Brief Introduction to Logic Circuits and Verilog HDL 19 3 Computer Arithmetic Algorithms and Implementations 63 4 Instruction Set Architecture and ALU Design 111 5 Single-Cycle CPU Design in Verilog HDL 143 6 Exceptions and Interrupts Handling and Design in Verilog HDL 170 7 Multiple-Cycle CPU Design in Verilog HDL 192 8 Design of Pipelined CPU with Precise Interrupt in Verilog HDL 212 9 Floating-Point Algorithms and FPU Design in Verilog HDL 266 10 Design of Pipelined CPU with FPU in Verilog HDL 323 11 Memory Hierarchy and Virtual Memory Management 353 12 Design of Pipelined CPU with Caches and TLBs in Verilog HDL 386 13 Multithreading CPU and Multicore CPU Design in Verilog HDL 425 14 Input/Output Interface Controller Design in Verilog HDL 443 15 High-Performance Computers and Interconnection Networks 509 Bibliography 536 Index 539

Read more less

Book SynopsisSystems Analysis and Design: An Object-Oriented Approach with UML, Sixth Edition helps students develop the core skills required to plan, design, analyze, and implement information systems. Offering a practical hands-on approach to the subject, this textbook is designed to keep students focused on doing SAD, rather than simply reading about it. Each chapter describes a specific part of the SAD process, providing clear instructions, a detailed example, and practice exercises. Students are guided through the topics in the same order as professional analysts working on a typical real-world project. Now in its sixth edition, this edition has been carefully updated to reflect current methods and practices in SAD and prepare students for their future roles as systems analysts. Every essential area of systems analysis and design is clearly and thoroughly covered, from project management, to analysis and design modeling, to construction, installation, and operations. The textbTable of ContentsChapter 1 Introduction to Systems Analysis and Design 1 Introduction 1 Typical Systems Analyst Roles and Skills 2 Business Analyst 3 Systems Analyst 3 Infrastructure Analyst 3 Change Management Analyst 3 Project Manager 4 The Systems Development Life Cycle 4 Planning 5 Analysis 5 Design 6 Implementation 6 Systems Development Methodologies 7 Structured Design 7 Rapid Application Development (RAD) 9 Object-Oriented Systems Analysis and Design (OOSAD) 11 Agile Development 13 DevOps 16 Custom Methodologies 17 The Unified Process 17 Phases 18 Workflows 20 Extensions to the Unified Process 22 The Unified Modeling Language 26 Applying the Concepts at Patterson Superstore 28 Chapter Review 28 Key Terms 28 Questions 29 Exercises 30 Minicases 30 Appendix Basic Characteristics of Object-Oriented Systems 32 Classes and Objects 32 Methods and Messages 33 Encapsulation and Information Hiding 34 Polymorphism and Dynamic Binding 34 Inheritance 36 Appendix Review 39 Key Terms 40 Questions 40 Exercises 40 Chapter 2 Project Management 41 Introduction 41 Project Identification 43 System Request 44 Feasibility Analysis 45 Technical Feasibility 45 Economic Feasibility 46 Organizational Feasibility 51 Project Selection 53 Ethical Considerations 54 Traditional Project Management Tools 55 Work Breakdown Structures 55 Gantt Chart 57 Network Diagram 57 Project Effort Estimation 60 Creating and Managing the Workplan 65 Evolutionary Work Breakdown Structures and Iterative Workplans 65 Managing Scope 69 Timeboxing 70 Refining Estimates 71 Managing Risk 72 Agile Alternatives to Iterative Workplans 73 Staffing the Project 74 Tuckman’s Stages of Small Group Development 74 Characteristics of a Jelled Team 75 Staffing Plan 76 Motivation 79 Handling Conflict 80 Meeting Management 81 Environment and Infrastructure Management 83 CASE Tools 83 Standards 83 Documentation 84 Configuration and Change Management 85 Applying the Concepts at Patterson Superstore 87 Chapter Review 87 Key Terms 88 Questions 88 Exercises 89 Minicases 90 Part One Analysis Modeling 93 Chapter 3 Requirements Determination 95 Introduction 95 Requirements Determination 96 Defining a Requirement 96 Real-World Problems with Requirements Determination 98 Requirements Analysis Approaches 99 Problem Analysis 99 Root Cause Analysis 100 Duration Analysis 100 Activity-Based Costing 102 Informal Benchmarking 102 Outcome Analysis 102 Technology Analysis 103 Activity Elimination 103 Requirements-Gathering Techniques 103 Interviews 104 Questionnaires 108 Observation 111 Document Analysis 112 Selecting the Appropriate Techniques 113 Text Analysis 115 Requirements Definition 117 Creating a Requirements Definition 117 User Stories 119 The System Proposal 120 Applying the Concepts at Patterson Superstore 121 Chapter Review 122 Key Terms 122 Questions 122 Exercises 123 Minicases 124 Chapter 4 Business Process and Functional Modeling 126 Introduction 126 Business Process Identification with Use Cases and Use-Case Diagrams 128 Types of Use Cases 129 Elements of Use-Case Diagrams 130 Identifying the Major Use Cases 134 Creating a Use-Case Diagram 135 Business Process Modeling with Activity Diagrams 138 Elements of an Activity Diagram 139 Guidelines for Creating Activity Diagrams 143 Creating Activity Diagrams 145 Business Process Documentation with Use-Case Descriptions 148 Elements of a Use-Case Description 149 Guidelines for Creating Use-Case Descriptions 152 Creating Use Case Descriptions 153 Verifying and Validating the Business Processes and Functional Models 160 Verification and Validation through Walkthroughs 160 Functional Model Verification and Validation 161 Applying the Concepts at Patterson Superstore 163 Chapter Review 164 Key Terms 164 Questions 164 Exercises 165 Minicases 167 Chapter 5 Structural Modeling 169 Introduction 169 Structural Models 170 Classes, Attributes, and Operations 170 Relationships 171 Object Identification 172 Textual Analysis 173 Brainstorming 173 Patterns 175 CRC Cards 178 Responsibilities and Collaborations 178 Elements of a CRC Card 179 Role-Playing CRC Cards with Use Cases 180 Class Diagrams 181 Elements of a Class Diagram 181 Simplifying Class Diagrams 190 Object Diagrams 190 Structural Models Using CRC Cards and Class Diagrams 191 Campus Housing Example 193 Library Example 193 Verifying and Validating the Structural Model 200 Balancing Functional and Structural Models 203 Applying the Concepts at Patterson Superstore 206 Chapter Review 206 Key Terms 206 Questions 207 Exercises 207 Minicases 209 Chapter 6 Behavioral Modeling 211 Introduction 211 Behavioral Models 212 Interaction Diagrams 213 Objects, Operations, and Messages 213 Activity Diagrams 213 Sequence Diagrams 215 Creating a Sequence Diagram 223 Crude Analysis 230 Campus Housing Example 231 Library Example 232 Behavioral State Machines 232 States, Events, Transitions, Actions, and Activities 232 Elements of a Behavioral State Machine 234 Guidelines for Creating Behavioral State Machines 238 Creating a Behavioral State Machine 238 Campus Housing Example 239 Library Example 240 Verifying and Validating the Behavioral Model 241 Balancing Functional and Behavioral Models 242 Balancing Structural and Behavioral Models 244 Applying the Concepts at Patterson Superstore 248 Chapter Review 248 Key Terms 248 Questions 249 Exercises 249 Minicases 251 Part Two Design Modeling 253 Chapter 7 Moving on to Design 255 Introduction 255 Verifying and Validating the Analysis Models 257 Evolving the Analysis Models into Design Models 257 Factoring 258 Partitions and Collaborations 258 Layers 259 Packages and Package Diagrams 263 Guidelines for Creating Package Diagrams 265 Creating Package Diagrams 266 Verifying and Validating Package Diagrams 268 Design Criteria 270 Coupling 271 Cohesion 273 Connascence 274 Design Strategies 275 Custom Development 275 Packaged Software 276 Outsourcing 277 Selecting a Design Strategy 279 Selecting an Acquisition Strategy 280 Alternative Matrix 281 Applying the Concepts at Patterson Superstore 282 Chapter Review 283 Key Terms 283 Questions 283 Exercises 284 Minicases 285 Chapter 8 Class and Method Design 287 Introduction 287 Object Design Activities 289 Adding Specifications 289 Identifying Opportunities for Reuse 290 Restructuring the Design 293 Optimizing the Design 294 Mapping Problem-Domain Classes to Implementation Languages 296 Constraints and Contracts 300 Types of Constraints 302 Elements of a Contract 302 Example 305 Method Specification 310 General Information 310 Events 310 Message Passing 311 Algorithm Specifications 312 Example 313 Verifying and Validating Class and Method Design 314 Applying the Concepts at Patterson Superstore 317 Chapter Review 317 Key Terms 317 Questions 317 Exercises 318 Minicases 319 Chapter 9 Data Management Layer Design 320 Introduction 320 Object Persistence Formats 321 Sequential- and Random-Access Files 321 Relational Databases 324 Object-Relational Databases 326 Object-Oriented Databases 326 NoSQL Data Stores 327 Selecting an Object Persistence Format 329 Mapping Problem Domain Objects to Object Persistence Formats 331 Mapping Problem Domain Objects to an OODBMS Format 332 Mapping Problem Domain Objects to an ORDBMS Format 335 Mapping Problem Domain Objects to a RDBMS Format 338 Designing Data Access and Manipulation Classes 340 Nonfunctional Requirements and Data Management Layer Design 344 Verifying and Validating the Data Management Layer 345 Applying the Concepts at Patterson Superstore 346 Chapter Review 346 Key Terms 346 Questions 347 Exercises 347 Minicases 348 Appendices Appendix 9-1: Optimizing RDBMS-Based Object Storage 349 Optimizing Storage Efficiency 349 Optimizing Data Access Speed 352 Estimating Data Storage Size 358 Appendix 9-2: Converting Class Diagrams to Entity-Relationship Diagrams 359 Appendix Review 361 Key Terms 361 Questions 361 Exercises 361 Minicases 362 Chapter 10 Human–Computer Interaction Layer Design 364 Introduction 364 Principles for User Interface Design 365 Layout 366 Content Awareness 367 Aesthetics 367 User Experience 368 Consistency 369 Minimizing User Effort 369 User Interface Design Process 369 Use Scenario Development 370 Navigation Structure Design 371 Interface Standards Design 373 Interface Design Prototyping 374 Common Sense Approach to User Interface Design 378 Navigation Design 378 Basic Principles 379 Types of Navigation Controls 379 Messages 381 Navigation Design Documentation 381 Input Design 383 Basic Principles 383 Types of Inputs 385 Input Validation 385 Output Design 386 Basic Principles 386 Types of Outputs 388 Media 388 Mobile Computing and User Interface Design 389 Social Media and User Interface Design 392 Games, Multidimensional Information Visualizations, and Immersive Environments 394 Games, Gamification, and User Interface Design 394 Multidimensional Information Visualization Design 396 User Interface Design and Immersive Environments 398 International and Cultural Issues and User Interface Design 400 Multilingual Requirements 400 Color 401 Cultural Differences 401 Nonfunctional Requirements and Human–Computer Interaction Layer Design 404 Verifying and Validating the Human–Computer Interaction Layer 405 Applying the Concepts at Patterson Superstore 407 Chapter Review 407 Key Terms 407 Questions 408 Exercises 409 Minicases 410 Chapter 11 Physical Architecture Layer Design 414 Introduction 414 Elements of the Physical Architecture Layer 415 Architectural Components 415 Server-Based Architectures 416 Client-Based Architectures 416 Client–Server Architectures 417 Client–Server Tiers 418 Selecting a Physical Architecture 420 Cloud Computing 422 Ubiquitous Computing and the Internet of Things 424 Green IT 427 Infrastructure Design 428 Deployment Diagram 428 Network Model 431 Hardware and System Software Specifications 434 Nonfunctional Requirements and Physical Architecture Layer Design 436 Operational Requirements 437 Performance Requirements 438 Security Requirements 440 Cultural and Political Requirements 443 Synopsis 445 Verifying and Validating the Physical Architecture Layer 445 Applying the Concepts at Patterson Superstore 446 Chapter Review 446 Key Terms 446 Questions 447 Exercises 448 Minicases 449 Part Three Construction, Installation, and Operations 451 Chapter 12 Construction 452 Introduction 452 Managing Programming 453 Assigning Programmers 453 Coordinating Activities 454 Managing the Schedule 454 Cultural Issues 456 Developing Documentation 458 Types of Documentation 459 Designing Documentation Structure 459 Writing Documentation Topics 461 Identifying Navigation Terms 461 Designing Tests 463 Testing and Object Orientation 464 Test Planning 466 Unit Tests 469 Integration Tests 472 System Tests 473 Acceptance Tests 475 Testing and Security Considerations 475 Applying the Concepts at Patterson Superstore 476 Chapter Review 476 Key Terms 476 Questions 477 Exercises 477 Minicases 478 Chapter 13 Installation and Operations 479 Introduction 479 Cultural Issues and Information Technology Adoption 481 Conversion 483 Conversion Style 484 Conversion Location 485 Conversion Modules 485 Selecting the Appropriate Conversion Strategy 486 DevOps and Continuous Delivery 487 Change Management 488 Understanding Resistance to Change 489 Revising Management Policies 490 Assessing Costs and Benefits 491 Motivating Adoption 493 Enabling Adoption: Training 494 Post-Implementation Activities 496 System Support 496 System Maintenance 497 Project Assessment 499 Applying the Concepts at Patterson Superstore 501 Chapter Review 501 Key Terms 501 Questions 502 Exercises 502 Minicases 503 Index I-1

Read more less

Book SynopsisBrings a powerful toolkit to bear on engineering and scientific endeavors. This book describes the fundamental principles of systems science so engineers and other scholars can put them into practical use at work and in their personal lives. Systems science aims to determine systemic similarities among different disciplines and to develop applicable solutions in many fields of inquiry. Systems Science for Engineers and Scholars readers will discover: Ten systems science principles that open engineers' and scholars' horizons to practical insights related to their areas of interest A methodology for designing holistic systems that exhibit resilient behavior to overcome systems' context uncertainties The most critical current dilemma of humankindthe global environment and energy crises, as well as a systemic, no-nonsense action plan to deal with these issues Independent articles describing how engineers and scholars can utilize systems science creatively in (1) engineering and systemicTable of ContentsPREFACE 10 ACKNOWLEDGMENTS 12 PART 1 - FACETS OF SYSTEMS SCIENCE AND ENGINEERING 14 CHAPTER 1: INTRODUCTION TO SYSTEMS SCIENCE 15 1.1 FOREWORD 15 1.2 CRITICAL HUMANITY CHALLENGE 19 1.3 SYSTEMS SCIENCE IN BRIEF 21 1.4 EARLY SYSTEMS PIONEERS 28 1.5 RECOMMENDED BOOKS ON SYSTEMS SCIENCE 30 1.6 CRITICISM OF SYSTEMS SCIENCE 31 1.7 BIBLIOGRAPHY 34 CHAPTER 2: PRINCIPLES OF SYSTEMS SCIENCE (PART I) 36 2.1 INTRODUCTION 36 2.2 UNIVERSAL CONTEXT 36 2.3 SYSTEMS BOUNDARY 41 2.4 SYSTEMS HIERARCHY 45 2.5 SYSTEMS INTERACTIONS 49 2.6 SYSTEMS CHANGE 54 2.7 BIBLIOGRAPHY 63 CHAPTER 3: PRINCIPLES OF SYSTEMS SCIENCE (PART II) 65 3.1 INTRODUCTION 65 3.2 SYSTEMS INPUT/OUTPUT 65 3.3 SYSTEMS COMPLEXITY 70 3.4 SYSTEMS CONTROL 83 3.5 SYSTEMS EVOLUTION 86 3.6 SYSTEMS EMERGENCE 95 3.7 BIBLIOGRAPHY 99 CHAPTER 4: SYSTEMS THINKING 101 4.1 INTRODUCTION 101 4.2 HISTORY OF SYSTEMS THINKING 101 4.3 FUNDAMENTAL CONCEPTS OF SYSTEMS THINKING 102 4.4 THE ICEBERG MODEL OF SYSTEMS THINKING 104 4.5 EXPLORING SYSTEMS THINKING AS A SYSTEM 105 4.6 BARRIERS TO SYSTEMS THINKING 107 4.7 BIBLIOGRAPHY 109 CHAPTER 5: SYSTEMS ENGINEERING 110 5.1 INTRODUCTION 110 5.2 PHILOSOPHY OF ENGINEERING 110 5.3 BASIC SYSTEMS ENGINEERING CONCEPTS 119 5.4 SYSTEMS ENGINEERING DEFICIENCIES 124 5.5 BIBLIOGRAPHY 135 CHAPTER 6: COMPARATIVE ANALYSIS – TWO DOMAINS 136 6.1 INTRODUCTION 136 6.2 A CASE FOR COMPARISON 136 6.3 STRUCTURE AND FUNCTION OF A COMPUTER HARD DRIVE (CHD) 137 6.4 FUNCTIONAL CORRELATIONS BETWEEN CHD AND THE DHD 139 6.5 CONCLUSIONS 144 6.6 ACKNOWLEDGMENT 145 6.7 BIBLIOGRAPHY 145 PART 2 - HOLISTIC SYSTEMS DESIGN 146 CHAPTER 7: HOLISTIC SYSTEMS CONTEXT 147 7.1 INTRODUCTION 147 7.2 RETHINKING THE CONTEXT OF THE SYSTEM 147 7.3 COMPONENTS OF SYSTEMS' CONTEXT 148 7.4 BIBLIOGRAPHY 152 CHAPTER 8: EXAMPLE - UAV SYSTEM OF INTEREST (SOI) 154 8.1 INTRODUCTION 154 8.2 EXAMPLE - UAV SYSTEM 154 8.3 BIBLIOGRAPHY 163 CHAPTER 9: EXAMPLE - UAV CONTEXT (PART I) 164 9.1 INTRODUCTION 164 9.2 UAV CONTEXT - NATURAL SYSTEMS 164 9.3 UAV CONTEXT - SOCIAL SYSTEMS 167 9.4 UAV CONTEXT - RESEARCHAPTER SYSTEMS 168 9.5 UAV CONTEXT - FORMATION SYSTEMS 173 9.6 UAV CONTEXT - SUSTAINMENT SYSTEMS 176 9.7 UAV CONTEXT - BUSINESS SYSTEMS 178 9.8 UAV CONTEXT - COMMERCIAL SYSTEMS 180 9.9 BIBLIOGRAPHY 186 CHAPTER 10: EXAMPLE - UAV CONTEXT (PART II) 188 10.1 INTRODUCTION 188 10.2 UAV CONTEXT - FINANCIAL SYSTEMS 188 10.3 UAV CONTEXT - POLITICAL SYSTEMS 191 10.4 UAV CONTEXT - LEGAL SYSTEMS 194 10.5 UAV CONTEXT - CULTURAL SYSTEMS 196 10.6 UAV CONTEXT - BIOSPHERE SYSTEMS 202 10.7 BIBLIOGRAPHY 203 PART 3 - GLOBAL ENVIRONMENT AND ENERGY - CRISIS AND ACTION PLAN 205 CHAPTER 11: GLOBAL ENVIRONMENT CRISES 206 11.1 INTRODUCTION 206 11.2 CLIMATE CHANGE 208 11.3 BIODIVERSITY LOSS 216 11.4 BIBLIOGRAPHY 227 CHAPTER 12: SYSTEMIC ENVIRONMENT ACTION PLAN 229 12.1 INTRODUCTION 229 12.2 SUSTAINING THE EARTH'S ENVIRONMENT 229 12.3 SUSTAINING HUMAN SOCIETY 238 12.4 BIBLIOGRAPHY 247 CHAPTER 13: GLOBAL ENERGY CRISIS 248 13.1 INTRODUCTION 248 13.2 CURRENT GLOBAL ENERGY STATUS 248 13.3 ENERGY RETURN ON INVESTMENT (EROI) 250 13.4 RENEWABLE ENERGY 253 13.5 FOSSIL FUELS ENERGY 258 13.6 CONVENTIONAL FISSION REACTION ENERGY 259 13.7 BIBLIOGRAPHY 261 CHAPTER 14: SYSTEMIC ENERGY ACTION PLAN 262 14.1 THE GLOBAL ENERGY DILEMMA 262 14.2 RENEWABLE ENERGY – ACTION PLAN 262 14.3 FOSSIL FUELS ENERGY – ACTION PLAN 263 14.4 CARS AND TRUCKS ACTION PLAN 264 14.5 FISSION REACTION ENERGY – ACTION PLAN 264 14.6 SMALL MODULAR REACTORS (SMRS) ACTION PLAN 265 14.7 FUSION NUCLEAR ENERGY ACTION PLAN 269 14.8 BIBLIOGRAPHY 273 PART 4 - MORE SYSTEMS SCIENCE FOR ENGINEERS AND SCHOLARS 274 CHAPTER 15: ENGINEERING AND SYSTEMIC PSYCHOLOGY 275 15.1 INTRODUCTION 275 15.2 SCHEMA THEORY 275 15.3 COGNITIVE BIASES 276 15.4 SYSTEMS FAILURES 279 15.5 COGNITIVE DEBIASING 285 15.6 BIBLIOGRAPHY 288 CHAPTER 16: DELIVERING VALUE AND RESOLVING CONFLICTS 289 16.1 INTRODUCTION 289 16.2 DELIVERING SYSTEMS VALUE 289 16.3 CONFLICT ANALYSIS AND RESOLUTION 294 16.4 BIBLIOGRAPHY 299 CHAPTER 17: MULTI-OBJECTIVE MULTI-AGENT DECISION MAKING 300 17.1 INTRODUCTION 300 17.2 UTILITY-BASED REWARDS 300 17.3 REPRESENTATION OF THE DECISION PROCESS 301 17.4 KEY TYPES OF DECISION PROCESSES 302 17.5 EXAMPLE-1 - WOLVES AND SHEEP PREDATION 305 17.6 EXAMPLE-2 - COOPERATIVE TARGET OBSERVATION 308 17.7 EXAMPLE-3 - SEAPORT LOGISTICS 310 17.8 BIBLIOGRAPHY 313 CHAPTER 18: SYSTEMS ENGINEERING USING CATEGORY THEORY 315 18.1 INTRODUCTION 315 18.2 THE PROBLEM OF MULTIDISCIPLINARY, COLLABORATIVE DESIGN 315 18.3 BRIEF BACKGROUND ON CATEGORY THEORY AND SYSTEMS ENGINEERING 316 18.4 EXAMPLE - DESIGNING AN ELECTRIC VEHICLE 317 18.5 CATEGORY THEORY (CT) AS A SYSTEM SPECIFICATION LANGUAGE 322 18.6 CATEGORICAL MULTIDISCIPLINARY COLLABORATIVE DESIGN (C-MCD) 329 18.7 THE C-MCD CATEGORIES 331 18.8 THE CATEGORICAL DESIGN PROCESS 339 18.9 CONCLUSION 340 18.10 ACKNOWLEDGMENT 340 18.11 BIBLIOGRAPHY 340 CHAPTER 19: HOLISTIC RISK MANAGEMENT USING SOSF METHODOLOGY 342 19.1 INTRODUCTION 342 19.2 LIMITATIONS OF CURRENT RISK MANAGEMENT PRACTICES 342 19.3 FEATURES OF SYSTEMS OF SYSTEMS FAILURES (SOSF) 343 19.4 EXAMPLE-1 - HOLISTIC RISK MANAGEMENT AND FAILURE CLASSES 347 19.5 EXAMPLE-2 – SYNTHETIC SOSF RISK MANAGEMENT 354 19.6 CONCLUSION 358 19.7 ACKNOWLEDGMENT 358 19.8 BIBLIOGRAPHY 358 CHAPTER 20: SYSTEMIC ACCIDENTS AND MISHAPS ANALYSES 360 20.1 INTRODUCTION TO ACCIDENT CAUSATION MODELS 360 20.2 BASIC ACCIDENTS AND MISHAPS CONCEPTS 360 20.3 CLASSIFICATION OF INCIDENT CAUSATION MODELS 361 20.4 SYSTEMS THEORETIC ACCIDENT MODEL AND PROCESS (STAMP) 362 20.5 CAUSAL ANALYSIS SYSTEM THEORY (CAST) 365 20.6 CAST PROCEDURE 366 20.7 CAST EXAMPLE - CH-53 HELICOPTERS MID-AIR COLLISION 367 20.8 BIBLIOGRAPHY 374 APPENDIX-A: DISTINGUISHED SYSTEMS SCIENCE RESEARCHERS 376 APPENDIX-B: DISTINGUISHED SYSTEMS THINKING RESEARCHERS 378 APPENDIX-C: PERMISSIONS TO USE THIRD-PARTY COPYRIGHT MATERIAL 380 APPENDIX-D: LIST OF ACRONYMS 392 INDEX 398

Read more less

Book SynopsisUmit S Bititci is Professor of Business Performance at Edinburgh Business School, Heriot-Watt University, UK. He has worked with an international portfolio of companies and public sector organizations and has led several international research and development projects with his research portfolio c 20million. Agnessa Spanellis is a Senior Lecturer at The University of Edinburgh, UK, where she teaches modules on Systems Approaches to Sustainability and Business Thinking. She has been published in peer-reviewed journals, books and outlets such as The Conversation.Trade Review"A tour de force which manages to explain the theory in simple terms whilst remaining rooted in the practice. An ideal introduction to our modern world of systems." * Sir Iain Vallance, former CEO and chairman of British Telecom *"Systems Thinking for Business and Management is ideal for students interested in learning about and using systems thinking. It is well-written, easy to understand and provides a solid foundation for those interested in modelling systems. Providing a comprehensive overview of systems thinking, this textbook includes discussions of basic concepts, methods and models, as well as applications of systems thinking in various industrial business case studies and future systems thinking." * Joniarto Parung, Professor of Supply Chain Management and Rector, University of Surabaya, Indonesia *"This book is invaluable for both practitioners and students of business and operations. There is no other book that covers these topics in a practically useful way." * Kathryn E. Stecke, Professor of Operations Management, University of Texas, USA *"The authors' ability to apply systems thinking to practical problems is an invaluable resource for students and for those of us managing a business in today's complex, interconnected and volatile world." * Gilad Tiefenbrun, CEO, Linn products, UK *"A comprehensive book and a must-read for students and researchers. In particular, part four's focus on the future is unique in the sense that it offers readers systems thinking insights in the age of VUCA." * Toshiko Kikkawa, Professor of Social Psychology, Keio University, Japan *"System thinking is one of the most important topics in management that is unfortunately underestimated by a wide audience. Systems Thinking for Business and Management provides an opportunity to explore these topics in depth and gain essential skills for business. The authors guide us from the first pages and provide simple narratives to explain complex theories and methods. This book also includes plenty of examples, methods and tools that provide tangible input and allow for fast adoption of the content." * Igor Levinskiy, Delivery Executive, SAP EMEA South, Dubai *Table of Contents Chapter - 01: Introduction; Section - ONE: Fundamentals of systems thinking; Chapter - 02: Introduction to systems; Chapter - 03: Understanding systems; Section - TWO: Models and methods; Chapter - 04: Common system models and frameworks; Chapter - 05: Hard systems thinking; Chapter - 06: Soft systems thinking; Chapter - 07: Systems thinking in group decision making; Section - THREE: Systems complexity; Chapter - 08: Understanding the behaviour of complex systems; Chapter - 09: Changing complex systems; Section - FOUR: The future; Chapter - 10: Future systems thinking; Chapter - 11: Summary and key takeaways; Chapter - 12: Glossary;

Read more less

Book SynopsisLearn to be a Linux sysadmin and an expert user of the Linux operating system, even with no previous Linux experience. This second edition of the popular and highly rated Linux self-study training course has been fully updated to Fedora Linux 37 with expanded and revised content and figures as well new chapters on the BTRFS file system, using Zram for swap, NetworkManager, automation with Ansible, and systemd. Like the previous version, this edition has been reviewed for technical accuracy by a highly respected Linux expert and will prepare you to manage complex systems with ease and equip you for a new career. It has also been reviewed by a student who took this course to ensure its readability and flow for those with little or no previous experience with Linux. In this first volume of the training course series, you will learn about operating systems in general and Linux in particular, and explore the Linux philosophy for SysAdmins in preparation for the rest of the course. This Table of ContentsChapter 1: Introduction Chapter 2: Introduction to Operating Systems Chapter 3: The Linux Philosophy for SysAdmins Chapter 4: Preparation Chapter 5: Installing Linux Chapter 6: Using the Xfce Desktop Chapter 7: Using the Linux Command Line Chapter 8: Core Utilities Chapter 9: Data Streams Chapter 10: Text Editors Chapter 11: Working as root Chapter 12: Installing and Updating Software Chapter 13: Tools for Problem Solving Chapter 14: Terminal Emulator Mania EXPANDEDChapter 15: Advanced Shell Topics Chapter 16: Linux Boot and Startup EXPANDEDChapter 17: Shell Configuration Chapter 18: Files, Directories, and Links Chapter 19: Filesystems FULLY REVISED AND EXPANDED

Read more less

Book SynopsisWith this practical book, architects, CTOs, and CIOs will learn a set of patterns for the practice of architecture, including analysis, documentation, and communication. Author Eben Hewitt shows you how to create holistic and thoughtful technology plans, communicate them clearly and lead people toward the vision.

Read more less

Book SynopsisWhen software systems are delivered too late, when they fail to meet the needs of their users, when only a fraction of their capacity is used, when their maintenance costs more than their development, when changes are impossible – then there is a frantic search for new and better engineering techniques and tools. Dahlbom ande Mathiassen advocate a different approach to these problems: pausing and reflection. Surprisingly little time in the education of systems developers is devoted to a consideration of the methods, goals and politics of computerization. The core of the book is an examination of the notion of quality itself. The effective computer professional must arrive at his or her sense of what quality can and should mean in a particular situation in order to resolve the inevitable creative tensions between the nature of people and that of computers, between structured systems and the process of change. The authors draw on a rich range of literature from philosophy, organizational theory, and technology and social change to support their points. But, adducing many real-life examples they avoid jargon and presuppose no formal background. Computer in Context will help students, computer professionals, and managers alike understand better what it is they are trying to do with computer systems, how and why.Trade Review "Dahlbom and Mathiassen have written a pathbreaking book about software development in a meaningful human context. They examine key assumptions about the role of software developers, and their relationship to culture and work in a way which touches everyday practice and which can subtly transform it. It should be read by every practicing software developer." – Rob Kling, University of California, Irvine "I enjoyed this book. It is both more amusing and more challenging than the usual books on system design." – Joseph A. Goguen, University of Oxford.Table of ContentsPreface. Part I. Systems. Computers. Information. Thinking. Part II. Development. Construction. Evolution. Intervention. Part III. Quality. Artifacts. Culture. Power. Part IV. Practice. Computers and People. Systems and Change. From Philosophy to Practice. Notes for Instructors. Exercises. Further Reading. References. Index.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisNowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.Table of ContentsForeword 9 Claude GIRAULT Chapter 1. Introduction 17 Serge HADDAD, Fabrice KORDON, Laurent PAUTET and Laure PETRUCCI FIRST PART. FORMAL MODELS FOR DISTRIBUTED SYSTEMS 21 Chapter 2. Introduction to Formal Models 23 Laure PETRUCCI 2.1.Motivation 23 2.2.Semi-formalmodels 24 2.3.Formal models 27 2.4.After specification, verification 35 2.5. Outline of Part I 37 2.6.Bibliography 37 Chapter 3. Specification and Design Approaches 41 Christine CHOPPY and Laure PETRUCCI 3.1. Introduction 41 3.2.Criteria for developing specifications 42 3.3. Specification development methodologies 50 3.4.Conclusion 60 3.5.Bibliography 60 Chapter 4. Modeling Time 63 Béatrice BÉRARD 4.1. Introduction 63 4.2.Semantics of timed models 65 4.3.Classical timed models 68 4.4.Specification of timing requirements 85 4.5.Conclusion 90 4.6.Bibliography 90 Chapter 5. Architecture Description Languages 97 Pascal POIZAT and Thomas VERGNAUD 5.1. Introduction 97 5.2.Concepts 100 5.3.Formal ADLs 109 5.4.ADLs for actual implementation 117 5.5.Conclusion 130 5.6.Bibliography 130 SECOND PART. VERIFICATION TECHNIQUES FOR DISTRIBUTED SYSTEMS 135 Chapter 6. Introduction to Verification 137 Serge HADDAD 6.1. Introduction 137 6.2.Formal models for verification 138 6.3.Expression of properties 141 6.4. Verification methods 144 6.5. Outline of Part 2 151 6.6.Bibliography 151 Chapter 7. Verification of Finite-State Systems 155 Jean-François PRADAT-PEYRE and Yann THIERRY-MIEG 7.1. Introduction 155 7.2. Petri net definition 156 7.3.Structural approaches 158 7.4.Formal verification by model-checking 183 7.5.Classification of model-checking approaches 191 7.6.Decision diagram-based approaches 194 7.7.Partial order reductions 203 7.8. Reductions exploiting symmetry 212 7.9.Conclusion 214 7.10.Bibliography 215 Chapter 8. Verification of Infinite-State Systems 221 Stéphane DEMRI and Denis POITRENAUD 8.1. Introduction 221 8.2. Counter systems 225 8.3.Recursive Petri nets 233 8.4. Presburger arithmetic as symbolic representation 250 8.5.Concludingremarks 263 8.6.Bibliography 263 Chapter 9. Verification of Timed Systems 271 Pierre-Alain REYNIER 9.1. Introduction 271 9.2.Construction of the region graph 273 9.3.Handling infinite abstractions 284 9.4.Robustness issues in timed systems 293 9.5.Conclusion 303 9.6.Bibliography 303 Chapter 10. Distributed Control 307 Claude DUTHEILLET, Isabelle MOUNIER and Nathalie SZNAJDER 10.1. Introduction 307 10.2. Decentralized Control 311 10.3. Controller synthesis for distributed systems 323 10.4. Multi-player games 339 10.5.Conclusion 346 10.6.Bibliography 346 List of Authors 353 Index 355

Read more less

Book SynopsisReal-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with confusing details. Coverage includes scheduling approaches for networks and for energy autonomous systems. Other sophisticated issues, such as feedback control scheduling and probabilistic scheduling, are also addressed. This book can serve as a textbook for courses on the topic in bachelor's degrees and in more advanced master's degree programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.Table of ContentsPREFACE xi LIST OF FIGURES xv LIST OF TABLES xix CHAPTER 1. SCHEDULING IN ENERGY AUTONOMOUS OBJECTS 1Maryline CHETTO CHAPTER 2. PROBABILISTIC SCHEDULING 29Liliana CUCU-GROSJEAN, Adriana GOGONEL and Dorin MAXIM CHAPTER 3. CONTROL AND SCHEDULING JOINT DESIGN 53Daniel SIMON, Ye-Qiong SONG and Olivier SENAME CHAPTER 4. SYNCHRONOUS APPROACH AND SCHEDULING 97Yves SOREL and Dumitru POTOP-BUTUCARU CHAPTER 5. INDUCTIVE APPROACHES FOR PACKET SCHEDULING IN COMMUNICATION NETWORKS 151Malika BOURENANE and Abdelhamid MELLOUK CHAPTER 6. SCHEDULING IN NETWORKS 195Ye-Qiong SONG CHAPTER 7. FOCUS ON AVIONICS NETWORKS 217Jean-Luc SCHARBARG and Christian FRABOUL LIST OF AUTHORS 247 INDEX 249 SUMMARY OF VOLUME 1 251

Read more less

Book SynopsisIntelligence is defined by the ability to optimize, manage and reconcile the currents of physical, economic and even social flows. The strong constraint of immediacy proves to be an opportunity to imagine, propose and deliver solutions on the common basis of optimization techniques. Metaheuristics for Intelligent Electrical Networks analyzes the use of metaheuristics through independent applications but united by the same methodology.Table of ContentsIntroduction xi Chapter 1 Single Solution Based Metaheuristics 1 1.1 Introduction 1 1.2 The descent method 2 1.3 Simulated annealing 3 1.4 Microcanonical annealing 4 1.5 Tabu search 6 1.6 Pattern search algorithms 6 1.6.1 The GRASP method 7 1.6.2 Variable neighborhood search 8 1.6.3 Guided local search 10 1.6.4 Iterated local search 11 1.7 Other methods 12 1.7.1 The Nelder–Mead simplex method 13 1.7.2 The noising method 14 1.7.3 Smoothing methods 15 1.8 Conclusion 16 Chapter 2 Population-based Methods 17 2.1 Introduction 17 2.2 Evolutionary algorithms 18 2.2.1 Genetic algorithms 18 2.2.2 Evolution strategies 20 2.2.3 Coevolutionary algorithms 21 2.2.4 Cultural algorithms 21 2.2.5 Differential evolution 23 2.2.6 Biogeography-based optimization 25 2.2.7 Hybrid metaheuristic based on Bayesian estimation 27 2.3 Swarm intelligence 29 2.3.1 Particle Swarm Optimization 29 2.3.2 Ant colony optimization 32 2.3.3 Cuckoo search 35 2.3.4 The firefly algorithm 36 2.3.5 The fireworks algorithm 38 2.4 Conclusion 42 Chapter 3 Performance Evaluation of Metaheuristics 43 3.1 Introduction 43 3.2 Performance measures 44 3.2.1 Quality of solutions 44 3.2.2 Computational effort 45 3.2.3 Robustness 46 3.3 Statistical analysis 46 3.3.1 Data description 47 3.3.2 Statistical tests 48 3.4 Literature benchmarks 49 3.4.1 Characteristics of a test function 49 3.4.2 Test functions 50 3.5 Conclusion 58 Chapter 4 Metaheuristics for FACTS Placement and Sizing 59 4.1 Introduction 59 4.2 FACTS devices 61 4.2.1 The SVC 62 4.2.2 The STATCOM 63 4.2.3 The TCSC 63 4.2.4 The UPFC 63 4.3 The PF model and its solution 64 4.3.1 The PF model 64 4.3.2 Solution of the network equations 66 4.3.3 FACTS implementation and network modification 69 4.3.4 Formulation of FACTS placement problem as an optimization issue 69 4.4 PSO for FACTS placement 72 4.4.1 Solutions coding 73 4.4.2 Binary particle swarm optimization 75 4.4.3 Proposed Lévy-based hybrid PSO algorithm 82 4.4.4 “Hybridization” of continuous and discrete PSO algorithms for application to the positioning and sizing of FACTS 99 4.5 Application to the placement and sizing of two FACTS 100 4.5.1 Application to the 30-node IEEE network 103 4.5.2 Application to the IEEE 57-node network 104 4.5.3. Significance of the modified velocity likelihoods method 109 4.5.4 Influence of the upper and lower bounds on the velocity Vciof particles ci 111 4.5.5 Optimization of the placement of several FACTS of different types (general case) 115 4.6 Conclusion 118 Chapter 5 Genetic Algorithm-based Wind Farm Topology Optimization 121 5.1 Introduction 121 5.2 Problem statement 122 5.2.1 Context 122 5.2.2 Calculation of power flow in wind turbine connection cables 125 5.3 Genetic algorithms and adaptation to our problem 129 5.3.1 Solution encoding 129 5.3.2 Selection operator 131 5.3.3 Crossover 132 5.3.4 Mutation 135 5.4 Application 137 5.4.1 Application to farms of 15–20 wind turbines 140 5.4.2 Application to a farm of 30 wind turbines 140 5.4.3 Solution of a farm of 30 turbines proposed by human expertise 144 5.4.4 Validation 145 5.5 Conclusion 145 Chapter 6 Topological Study of Electrical Networks 149 6.1 Introduction 149 6.2 Topological study of networks 150 6.2.1 Random graphs 151 6.2.2 Generalized random graphs 151 6.2.3 Small-world networks 152 6.2.4 Scale-free networks 152 6.2.5 Some results inspired by the theory of percolation 153 6.2.6 Network dynamic robustness 160 6.3 Topological analysis of the Colombian electrical network 161 6.3.1 Phenomenological characteristics 161 6.3.2 Fractal dimension 169 6.3.3 Network robustness 179 6.4 Conclusion 182 Chapter 7. Parameter Estimation of α-Stable Distributions 183 7.1 Introduction 183 7.2 Lévy probability distribution 184 7.2.1 Definitions 184 7.2.2 McCulloch α-stable distribution generator 189 7.3 Elaboration of our non-parametric α-stable distribution estimator 191 7.3.1 Statistical tests 192 7.3.2 Identification of the optimization problem and design of the non-parametric estimator 195 7.4 Results and comparison with benchmarks 197 7.4.1 Validation with benchmarks 197 7.4.2 Parallelization of the process on a GP/GPU card 211 7.5 Conclusion 220 Chapter 8 SmartGrid and MicroGrid Perspectives 221 8.1 New SmartGrid concepts 221 8.2 Key elements for SmartGrid deployment 224 8.2.1 Improvement of network resilience in the face of catastrophic climate events 225 8.2.2 Increasing electrical network efficiency 227 8.2.3 Integration of the variability of renewable energy sources 229 8.3 SmartGrids and components technology architecture 231 8.3.1 Global SmartGrid architecture 231 8.3.2 Basic technological elements for SmartGrids 232 8.3.3 Integration of new MicroGrid layers: definition 235 Appendix 1 241 Appendix 2 245 Bibliography 251 Index 265

Read more less

Book SynopsisThis book is dedicated to metaheuristics as applied to vehicle routing problems. Several implementations are given as illustrative examples, along with applications to several typical vehicle routing problems. As a first step, a general presentation intends to make the reader more familiar with the related field of logistics and combinatorial optimization. This preamble is completed with a description of significant heuristic methods classically used to provide feasible solutions quickly, and local improvement moves widely used to search for enhanced solutions. The overview of these fundamentals allows appreciating the core of the work devoted to an analysis of metaheuristic methods for vehicle routing problems. Those methods are exposed according to their feature of working either on a sequence of single solutions, or on a set of solutions, or even by hybridizing metaheuristic approaches with others kind of methods.Table of ContentsNotations and Abbreviations ix Introduction xiii Chapter 1. General Presentation of Vehicle Routing Problems 1 1.1. Logistics management and combinatorial optimization 1 1.1.1. History of logistics 2 1.1.2. Logistics as a science 5 1.1.3. Combinatorial optimization 5 1.2. Vehicle routing problems 6 1.2.1. Problems in transportation optimization 6 1.2.2. Vehicle routing problems in other contexts 7 1.2.3. Characteristics of vehicle routing problems 7 1.2.4. The capacitated vehicle routing problem 11 1.3. Conclusion 13 Chapter 2. Simple Heuristics and Local Search Procedures 15 2.1. Simple heuristics 16 2.1.1. Constructive heuristics 16 2.1.2. Two-phase methods 19 2.1.3. Best-of approach and randomization 22 2.2. Local search 23 2.2.1. Principle 23 2.2.2. Classical moves 24 2.2.3. Feasibility tests 25 2.2.4. General approach from Vidal et al 28 2.2.5. Multiple neighborhoods 30 2.2.6. Very constrained problems 33 2.2.7. Acceleration techniques 33 2.2.8. Complex moves 36 2.3. Conclusion 37 Chapter 3. Metaheuristics Generating a Sequence of Solutions 39 3.1. Simulated annealing (SA) 39 3.1.1. Principle 39 3.1.2. Simulated annealing in vehicle routing problems 40 3.2. Greedy randomized adaptive search procedure: GRASP 41 3.2.1. Principle 41 3.2.2. GRASP in vehicle routing problems 43 3.3. Tabu search 44 3.3.1. Principle 44 3.3.2. Tabu search in vehicle routing problems 45 3.4. Variable neighborhood search 47 3.4.1. Principle 47 3.4.2. Variable neighborhood search in vehicle routing problems 49 3.5. Iterated local search 50 3.5.1. Principle 50 3.5.2. Iterated local search in vehicle routing problems 52 3.6. Guided local search 54 3.6.1. Principle 54 3.6.2. Guided local search in vehicle routing problems 55 3.7. Large neighborhood search 56 3.7.1. Principle 56 3.7.2. Large neighborhood search in vehicle routing problems 58 3.8. Transitional forms 59 3.8.1. Evolutionary local search principle 59 3.8.2. Application to vehicle routing problems 60 3.9. Selected examples 61 3.9.1. GRASP for the location-routing problem 61 3.9.2. Granular tabu search for the CVRP 65 3.9.3. Adaptive large neighborhood search for the pickup and delivery problem with time windows 69 3.10. Conclusion 74 Chapter 4. Metaheuristics Based on a Set of Solutions 77 4.1. Genetic algorithm and its variants 77 4.1.1. Genetic algorithm 77 4.1.2. Memetic algorithm 79 4.1.3. Memetic algorithm with population management 79 4.1.4. Genetic algorithm and its variants in vehicle routing problems 80 4.2. Scatter search 82 4.2.1. Scatter search principle 82 4.2.2. Scatter search in vehicle routing problems 83 4.3. Path relinking 83 4.3.1. Principle 84 4.3.2. Path relinking in vehicle routing problems 85 4.4. Ant colony optimization 86 4.4.1. Principle 86 4.4.2. ACO in vehicle routing problems 89 4.5. Particle swarm optimization 89 4.5.1. Principle 89 4.5.2. PSO in vehicle routing problems 90 4.6. Other approaches and their use in vehicle routing problems 91 4.7. Selected examples 92 4.7.1. Scatter search for the periodic capacitated arc routing problem 92 4.7.2. PR for the muti-depot periodic VRP 97 4.7.3. Unified genetic algorithm for a wide class of vehicle routing problems 101 4.8. Conclusion 106 Chapter 5. Metaheuristics Hybridizing Various Components 109 5.1. Hybridizing metaheuristics 109 5.1.1. Principle 110 5.1.2. Application to vehicle routing problems 111 5.1.3. Selected examples 112 5.2. Matheuristics 122 5.2.1. Principle 123 5.2.2. Application to vehicle routing problems 124 5.2.3. Selected examples 128 5.3. Conclusion 144 Conclusion 145 Bibliography 149 Index 167

Read more less

Book SynopsisThe first goal of this book is to extend Two Minds originating from behavioral economics to the domain of interaction, where the time dimension has to be dealt with rigorously; in human–machine interaction, it is of crucial importance how synchronization between conscious processes and unconscious processes is established for a sense of smoothness, and how memory processes and action selection processes are coordinated. The first half this book describes the theory in detail. The book begins by outlining the whole view of the theory consisting of action selection processes and memorization processes, and their interactions. Then, a detailed description for action selection processes theorized as a nonlinear dynamic human behavior model with real-time constraints is provided, followed by a description for memorization processes. Also, implications of the theory to human–machine interactions are discussed. The second goal of this book is to provide a methodology to study how Two Minds works in practice when people use interactive systems. The latter half of this book describes theory practices in detail. A new methodology called Cognitive Chrono-Ethnography (CCE) is introduced, which adds the time dimension to Hutchins’ Cognitive Ethnography, in order to practice "know the users" systematically by designing user studies based on a simulation of users’ mental operations controlled by Two Minds. The author then shows how CCE has been applied to understanding the ways in which people navigate in real physical environments by walking and by car, respectively, and explores the possibility of applying CCE to predict people’s future needs. This is not for understanding how people use interfaces at present but to predict how people want to use the interfaces in the future given they are currently using them in a certain way Finally, the book concludes by describing implications of human–machine interactions that are carried out while using modern artefacts for people's cognitive development from birth, on the basis of the theories of action selection and memorization.Table of ContentsIntroduction ix Part 1. Theoretical Foundation for Dealing with Action Selection and Memorization 1 Chapter 1. A Unified Theory of Action Selection and Memory 3 1.1. Organic self-consistent field theory 3 1.1.1. Self-consistent field theory in physics 3 1.1.2. “Organic” SCFT 4 1.1.3. Human beings considered in O-SCFT 4 1.1.4. Scale mix 5 1.2. Development of brain architecture model under the NDHBmodel/RT 6 1.2.1. O-PDP 6 1.2.2. The guideline for architecture selection 6 1.2.3. Development of cross-networks of neurons in the brain 7 Chapter 2. NDHB-Model/RT: Nonlinear Dynamic Human Behavior Model with Realtime Constraints 11 2.1. Maximum satisfaction architecture 11 2.1.1. Happiness goals 11 2.1.2. Society layers 12 2.1.3. Brain layers 12 2.1.4. Conditions to make people feel satisfaction 15 2.2. Brain information hydrodynamics 16 2.2.1. The time axis is central to information flow 17 2.2.2. Cerebrum formation process 17 2.2.3. Information flows in the brain 19 2.2.4. Emergence of emotion in BIH 20 2.2.5. Biorhythm of information flow 21 2.2.6. Role of language 21 2.2.7. Multiple personality disorder 21 2.3. Structured meme theory 22 2.3.1. Meme 22 2.3.2. Memes propagate by means of resonance 23 2.3.3. Characteristics of meme propagation 24 2.4. NDHB-model/RT 25 2.5. MHP/RT: Model human processor with real-time constraints 27 2.5.1. MHP/RT’s basic flow 28 2.5.2. Basic MHP/RT behaviors 30 2.6. Two Minds and emotions 36 2.6.1. Dynamics of consciousness–emotion interaction: an explanation by MHP/RT 37 2.6.2. Taxonomy of emotions: behavioral perspective 40 Chapter 3. Layered-structure of Memory and its Development 43 3.1. MHP/RT modules and their associated memories 43 3.1.1. Memory formation process 45 3.1.2. MD memory frames 46 3.1.3. Memory functions via resonance 49 3.1.4. Memory operates in pipelining 49 3.2. Hierarchical structure of human action selection 51 3.2.1. Three-layered structure of interneurons system 51 3.2.2. Formation process 51 3.3. Emotion initiation via memory processes 54 Chapter 4. Implication for Human–Machine Interaction: Autonomous System Interaction Design (ASID) based on NDHB-Model/RT 57 4.1. Users modeled by MHP/RT with MD memory frames 57 4.2. Autonomous systems versus linear systems 58 4.2.1. Linear systems 58 4.2.2. Autonomous systems 60 4.3. Needs that a society of information systems must meet 60 4.4. Outline of ASI 61 4.5. Conclusions 62 Part 2. Theoretically Motivated Methodology for Understanding Users 65 Chapter 5. Cognitive Chrono-ethnography 67 5.1. Understanding people’s behavior in real life 67 5.2. Cognitive chrono-ethnography 69 5.2.1. Requirements for the methodology (CCE) to study human beings’ behavior in real life 69 5.2.2. CCE procedure 70 5.2.3. Behavior selection shaping factors 72 Chapter 6. A CCE Study: Slow Self-paced Navigation 75 6.1. Introduction: navigation in a train station by following signs 75 6.2. Steps 1 and 2 of CCE 76 6.2.1. Attention, planning and working memory 77 6.2.2. An MHP/RT simulation of navigation behavior 78 6.3. Step 3 of CCE: monitor recruiting 82 6.3.1. Investigation of cognitive aging characteristics 82 6.4. Steps 4 and 5 of CCE: monitor behavior observation and individual model construction 83 6.4.1. Train stations, tasks and participants 84 6.4.2. Method 85 6.5. Step 6 of CCE: socioecological model construction 86 6.6. Discussion 87 6.6.1. Two modes of navigation 87 6.6.2. Web navigation 88 6.6.3. Nature of complicated navigation processes 90 6.7. Conclusions 90 Chapter 7. Fast Externally-paced Navigation 93 7.1. Introduction 93 7.2. Steps 1 and 2 of CCE 95 7.2.1. Designing a CCE study 96 7.3. Step 3 of CCE: monitor recruiting 98 7.3.1. Screening 99 7.3.2. Interview for the final selection 100 7.4. Steps 4 and 5 of CCE: monitor behavior observation and individual model construction 100 7.4.1. Data analysis 100 7.4.2. Information necessary for safe and enjoyable driving 102 7.4.3. Examples 103 7.5. Conclusions 105 Chapter 8. Designing for Future Needs 109 8.1. Introduction 109 8.2. Making inaccessible future needs accessible: t-translation invariant principle 110 8.3. A case study of CCE: why do fans repeat visits to the ballpark? 112 8.3.1. Steps 1 and 2 of CCE 112 8.3.2. Step 3 of CCE: monitor recruiting 115 8.3.3. Step 4 of CCE: field observation 115 8.3.4. Step 5 of CCE: conduct retrospective interviews 116 8.3.5. Step 6 of CCE: socioecological model construction 117 8.3.6. Results: developing from a pre-fan to a repeater 120 8.4. Discussion 122 8.4.1. Selection of elite monitors 122 8.4.2. CCE interview 122 8.4.3. Applicability of CCE 123 8.5. Conclusions 124 Conclusion 127 Bibliography 133 Index 137

Read more less

Book SynopsisThis insightful book examines the influence of information systems on anti-money laundering (AML). It builds on systems theory in order to develop a coherent theoretical framework that can be used for AML research.By using a case study of a major financial institution in the EU-area, a number of technological influences on AML are deconstructed and are used to examine the role that technology plays within AML. The book provides a systems theoretical description of the effects of technology on AML and offers considerations on the risk-based approach - the most important contemporary evolution within regulatory initiatives on AML and terrorism financing. Technology and Anti-Money Laundering will appeal to researchers of financial crime and AML as well as those interested in information systems and systems theory. A number of considerations for practitioners are also discussed, including the risk-based approach and the integration of AML-technology in financial institutions, as well as an important data-mining application. Money Laundering Reporting Officers (MLROs) in financial institutions and central bankers will also find much of interest in this book.Trade Review‘. . . a stimulating look at the hard work done in many specialisms that collectively seek to combat money laundering.’ -- Sally Ramage, The Criminal Lawyer‘While there is much noise about the control of money laundering, there are few whose work is able to rise above the din and in clear notes contribute in a constructive manner to the debate. This work is not only an intelligent discussion of many of the substantive issues relating to the control of money laundering, but a great deal more. Drawing on systems theory and seeing the control of money laundering particularly from the standpoint of technology as complex and integral to the proper and effective operation of financial institutions, the author addresses in a novel and practical way the design and management of risk based compliance. The theory is tested, not only in terms of viable technology, but also in an actual case study involving real issues in a bank. Consequently, those concerned with the formulation of policy, the design of controls and procedures and the implementation of such will find the contribution that this book makes of great significance.’ -- Barry Rider, Bryan Cave LLP, UK‘This book avoids the usual trap of interminably listing AML war stories. Instead Dr. Demetis presents a solid theoretical foundation for AML research and practice. He gives a damning critique of the way so-called technological solutions are used uncritically by some AML professionals, and analyses the risk-based approach, describing its problems and ways of avoiding them. He presents a fascinating in-depth case study of a financial institution, and a short case of a bank using technology to improve its True Positive Rate substantially to 17 per cent.’ -- Ian Angell, London School of Economics, UK‘Dr Demetis makes a great contribution to our understanding of anti-money laundering at both a systems and practical level. [He] writes as someone who not only thinks deeply about these issues but, as the in-depth case examples show, has tried to see how far technology can address some audacious goals. Readers will learn that while risk-based approaches to anti-money laundering have been an interesting regulatory development, practical implementation, despite the hype of technology vendors, is “still at a primordial state”.’ -- Michael Mainelli, Gresham College and Z/YEN Group, UKTable of ContentsContents: Preface 1. Introduction 2. Introduction to Anti-Money Laundering 3. On Systems Theory 4. The Case Study of Drosia Bank 5. Systems Theory – A Theory for AML 6. The Risk-based Approach and a Risk-based Data-mining Application References Index

Read more less

Book SynopsisModel-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. The Model Driven Architecture (MDA) initiative of the Object Management Group (OMG) is concerned with the development of standards and technologies that enable and support model-based system development. The aim of this book is to provide the information needed to understand and apply MDE (including MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School 'MDE for Embedded Systems' held at Brest, France, in September 2004.Table of Contents1. Model engineering: from principles to platforms - Jean Bezivin; 2. Model-driven development of distributed real-time and embedded systems - Douglas C. Schmidt; 3. About model-transformations: QVT vs. OCL vs.... - Pierre-Alain Muller; 4. Separating dependability and technology-specific concerns using aspect-oriented modelling techniques - Robert France; 5. Model-driven systems engineering: SysML & the MDSysE approach at THALES - Veronique Normand and Daniel Exertier; 6. Maturity of model driven engineering for embedded control systems from a mechatronic perspective - Martin Torngren; 7. Real time components and contracts - Jean-Marc Jezequel; 8. The THINK component-based operating system - Jean-Philippe Fassino; 9. Model-driven schedulability analysis - Jean-Philippe Babau and Sebastien Gerard; 10. Performance analysis based on the UML SPT profile - Dorina C. Petriu; 11. Embedded code generation - Ivan Porres; 12 - Model-driven architecture for intensive embedded systems - Lossan Bonde, Pierre Boulet, Arnaud Cuccuru, Jean-Luc Dekeyser, Cedric Dumoulin, Philippe Marquet and Michael Samyn; 13. Spidergon: a NoC modeling paradigm - Marcello Coppola.

Read more less

Book SynopsisFundamentals of Technical Graphics concentrates on the main concepts and principles of technical graphics. The book is divided into two volumes: volume one contains chapters one to five, whereas volume two comprises of chapters six to ten. Volume one covers the topics of drafting guidelines, free hand sketching, computer design drafting (CDD) systems, geometric and shape construction, and standard multiview drawing creation. Volume two treats the topics of auxiliary views, section views, basic dimensioning, isometric drawings, and working drawings. The appendices provide introductory discussions about screw fasteners, general and geometric tolerancing, and surface quality and symbols. The book is written with current drafting standards of American National Standards Institute/American Society for Mechanical Engineers (ANSI/ASME) in mind. The style is plain and discussions are straight to the point. Its principle goal is meeting the needs of first- and second-year students in engineering, engineering technology, design technology, and related disciplines.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Innovations for Community Services, I4CS 2022, held in Delft, The Netherlands, in June 2022. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 submissions. Three invited papers were also included in the volume. The papers focus on topics such as services for critical infrastructure; network architecture for communities; applications and services supporting work and life; community data and visualization; technology empowers industry processes; and future community support.Table of ContentsInvited Papers.- Energy Harvesting and Environment Protection.- Applied Security and Privacy.- eHealth and Infrastructure.- Smart Mobility and Routing.- Smart Cities and Standardization.- Applied Machine Learning.- Quantum Computing.

Read more less

Book SynopsisThis book, AICON 2022, constitutes the post-conference proceedings of the 4th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2022, held in Hiroshima, Japan, in November 30- December 1, 2022. The 9 full papers and 4 short papers were carefully reviewed and selected from 36 submissions. The papers detail research in the areas of AI and communication systems related to intelligent systems and computational intelligence for communication and networks. They are organized in topical sections on AI and networks; machine learning; and evolutionary computation.Table of ContentsAI and Networks.- Cost-aware Node Ranking Algorithm for Embedding Virtual Networks in Internet of Vehicles.- Fault Diameter of Strong Product Graph of Two Paths.- Design and Implementation of SF Selection Based on Distance and SNR using Autonomous Distributed Reinforcement Learning in LoRa Networks.- Machine Learning.- QBRT: Bias and Rising Threshold Algorithm with Q-Learning.- A Study on Effectiveness of BERT Models and Task[1]Conditioned Reasoning Strategy for Medical Visual Question Answering.- Inspired human cognitive bias robust Neural Networks against Adversarial attacks.- Efficient estimation of cows’ location using machine learning from sensor data, farm management, cow location.- A Time Series Forecasting Method using DBN and Adam Optimization.- Unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.- Evolutionary Computation.- Proposal and evaluation of a course classification support system emphasizing communication with the sub-committees within the Committee of Validation and Examination for Degrees.- A Research of Infectivity Rate of Seasonal Influenza from Pre-Infectious person for Data Driven Simulation Saori Iwanaga.- Creating Trust within Population in an Uncertain Environment using Blockchain.- Efficient Inductive Logic Programming Based on Particle Swarm Optimization.

Read more less

Book SynopsisThis book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .Table of ContentsModel Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.- Model Analysis & Tool Implementation.- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.- Formal Specification & Testing.- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.- Algorithms & Verification.- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13–16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.Table of ContentsUnifying Gathering Strategies for Swarms of Mobile Robots.- The Complexity of Secure RAMs.- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models.- The power of the Binary Value Principle.- Independent Set under a Change Constraint from an Initial Solution.- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model.- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time.- How Vulnerable is an Undirected Planar Graph with respect to Max Flow.- Maximum Flows in Parametric Graph Templates.- Dynamic Coloring on Restricted Graph Classes.- Enumeration of Minimal Tropical Connected Sets.- Dynamic Flows with Time-Dependent Capacities.- On One-Sided Testing Affine Subspaces.- Stable Scheduling in Transactional Memory.- Parameterizing Path Partitions.- Maintaining Triconnected Components under Node Expansion.- Approximating Power Node-Deletion Problems.- Phase transition in count approximation by Count-Min sketch with conservative updates.- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane.- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond.- Broadcasting in Split Graphs.- Partitioning Subclasses of Chordal Graphs with Few Deletions.- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision.- Improved Deterministic Leader Election in Diameter-Two Networks.- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues.- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves.- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree.- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models.

Read more less

Book SynopsisThe two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical sections: supercomputer simulation; distributed computing; and HPC, BigData, AI: algorithms, technologies, evaluation.Table of Contents​Supercomputer Simulation: Application of HPC for Simulation of Sealant Influence on the Aircraft Assembly Process.- Block Algebraic Multigrid Method for Saddle-Point Problems of Various Physics.- Computational Efficiency of Iterative Methods for Solving Inverse Problems of Ultrasound Tomography.- Computer Memory Requirements for Matrix-Forming Approach to Global Stability Analysis of Fluid Flows.- CubicEoS.jl: Extensible, Open-Source Isothermal Phase Equilibrium Calculations for Fluids.- Efficiency and Accuracy of High-performance Calculations of the Electrostatic Energy of Thin Films Atomistic Clusters.- Field-Split Iterative Solver vs Direct One for Quasi-Static Biot Equation.- GPU-Accelerated Matrix Exponent for Solving 1D Time-Dependent Schrodinger Equation.- How to Make Lanczos-Montgomery Fast on Modern Supercomputers?.- Multi-Node GPU-Enabled Pseudo-Spectral Solver for Turbulence Problems.- Multicriteria Optimization of Chemical Reactions Using Interval Analysis. Parallel Scheme for Implementing the Computational Process.- Parallel Numerical Implementation 3D Wave Hydrodynamics and SWAN Models.- Parallel Numerical Simulation of Sonic Log for 3D Heterogeneous TTI Media.- Quantum-Chemical Study of Some Tris(pyrrolo)benzenes and Tris(pyrrolo)-1,3,5-triazines.- Reduced Precision Computations in the SL-AV Global Atmosphere Model.- Scalability of the INM RAS Earth System Model.- Simulation of Free-Surface Fluid Dynamics: Parallelization for GPUs.- Software Package USPARS for Large Sparse Systems of Linear Equations.- Supercomputer Search for Coagulation Factor XIIa Inhibitors in the Chinese National Compound Library.- Supercomputer Technologies for Ultrasound Nondestructive Imaging of Low-contrast Defects in Solids.- The Effect of Data Structuring on the Parallel Efficiency of the HydroBox3D Relativistic Code.- The Efficiency Optimization Study of a Geophysical Code on Manycore Computing Architectures.- Using Parallel Technologies to Calculate Fluid Dynamic Processes in a Fractured-Porous Reservoir Taking into Account Non-Isothermality.

Read more less

Book Synopsis.- Research Track..- OCCL-Former: Data Augmentation Driven Occlusion-Aware Inter-Body Parts Relationship Learning for 3D Pose Estimation..-Does Digital Transformation Affect the Financialization of Real Sector Firms?..-Insights Into the High-Quality Development of Agriculture Under the Wave of Digital Economy..- Application and Industry Track..- Empirical Study on User Acceptance and Optimization Strategies of AIGC News..- Enhancing Diamond Grading and Certification Through Blockchain Technology: A Cross-Chain Analysis of EVM-Compatible Platforms..- Framework and Taxonomy of Understanding Metaverse and a Case Study of AI-Driven and Digital Twin-Based Clothing Customization System..- Short Paper Track..- SRv6 Metaverse - Architecture for Virtual Worlds..- AI-Enabled Metaverse for Education: Challenges and Opportunities..- Research on the Application and Countermeasures of Metaverse Technolo

Read more less

Book SynopsisPart I Foundations.- 1 Benchmarking Basics.- 2 Review of Basic Probability and Statistics.- 3 Metrics.- 4 Statistical Measurements.- 5 Experimental Design.- 6 Measurement Techniques.- 7 Operational Analysis and Basic Queueing Models.- 8 Workloads.- 9 Standardization.- Part II Applications.- 10 CPU Benchmarks.- 11 Server Energy Efficiency Benchmarks.- 12 Virtualization Benchmarks.- 13 Storage Benchmarks.- 14 PC, Workstation, Graphics, and Network Benchmarks.- 15  Microservice Application Benchmarks.- 16 Machine Learning and Artificial Intelligence.- 17 Scalability of Networks and Systems.- 18 Elasticity of Cloud Platforms.- 19 Performance Isolation.- 20 Resource Demand Estimation.- 21 Software and System Security.

Read more less

Book Synopsis.- Supporting Laypeople and Users: Design Approaches, User Perceptions, and Problems..- “I will never pay for this” Perceptions of fairness and factors affecting behaviour on ‘pay-or-ok’ models..- “Abort the login”: Understanding Phishing Susceptibility through Warning Design in the Context of 2FA..- Expert Strategies to Assist Laypeople in Making Decisions and Adopting Privacy-Enhancing Technologies..- Emerging Risks from Upcoming Technologies, Misunderstandings, and Regulatory Derogation..- Interfacing Human Brains: What could go wrong?..- Anonymity-washing..- Simple now, Complex later: The Questionable Efficacy of Diluting GDPR Article 30(5)..- Professional Methods & Tools for Analysis and Decision Making..- Turning to Online Forums for Legal Information: A Case Study of GDPR’s Legitimate Interests..- Illuminating the DPIA Blackbox – A Survey of Data Protection Impact Assessment Practices in Organisations..- Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows.

Read more less

Book SynopsisThis research monograph provides the means to learn the theory and practice of graph and network analysis using the Python programming language. The social network analysis techniques, included, will help readers to efficiently analyze social data from Twitter, Facebook, LiveJournal, GitHub and many others at three levels of depth: ego, group, and community. They will be able to analyse militant and revolutionary networks and candidate networks during elections. For instance, they will learn how the Ebola virus spread through communities. Practically, the book is suitable for courses on social network analysis in all disciplines that use social methodology. In the study of social networks, social network analysis makes an interesting interdisciplinary research area, where computer scientists and sociologists bring their competence to a level that will enable them to meet the challenges of this fast-developing field. Computer scientists have the knowledge to parse and process data while sociologists have the experience that is required for efficient data editing and interpretation. Social network analysis has successfully been applied in different fields such as health, cyber security, business, animal social networks, information retrieval, and communications. Table of ContentsTheoretical Concepts of Network Analysis.- Network Basics.- Graph Theory.- Social Networks.- Node-Level Analysis.- Group-Level Analysis.- Network-Level Analysis.- Information Diffusion in Social Networks.- Appendix A: Python Tutorial.- Appendix B: NetworkX Tutorial

Read more less

Book SynopsisAn Introduction to Fingerprint Presentation Attack Detection.- A Study of Hand-Crafted and Naturally-Learned Features for Fingerprint Presentation Attack Detection.- Optical Coherence Tomography for Fingerprint Presentation Attack Detection.- Interoperability among Capture Devices for Fingerprint Presentation Attacks Detection.- Review of Fingerprint Presentation Attack Detection Competitions.- Introduction to Iris Presentation Attack Detection.- Application of Dynamic Features of the Pupil for Iris Presentation Attack Detection.- Review of Iris Presentation Attack Detection Competitions.- Introduction to Face Presentation Attack Detection.- Recent Advances in Face Presentation Attack Detection.- Recent Progress on Face Anti-Spoofing against 3D Mask Attack.- Challenges of Face Presentation Attack Detection in Real Scenarios.- Remote Blood Pulse Analysis for Face Presentation Attack Detection.- Review of Face Presentation Attack Detection Competitions.- Introduction to Voice Presentatio

Read more less

Book SynopsisDer Testprozess.- Grundsätze für Softwaretester.- Testnormen.- Rollen und Verantwortlichkeiten im Testmanagement.- Grundlagen des Testmanagements.- Marktsituation beim Softwaretest.- Testvorbereitung.- Requirements Engineering.- Teststufen.- Testabdeckung und Überdeckungsmaße.- Fehlermanagement.- Testplanung.- Testumgebung.- Testkonzeption.- Kennzahlen zur Bewertung von Tests.- Testvoraussetzungen.- Beschreibung der Testfälle.- Testmethoden.- Testdurchführung.- Testbericht.- Produktiveinführung von Systemen.- Reviews im Testprozess.- Werkzeuge für die Unterstützung des Testmanagements.- Die optimale Testabdeckung.- Testmetriken.- Testautomatisierung.- Offshoring von Tests.- Test von Internet-Anwendungen.- Testen in der Cloud.- Mobile Testing- Agiles Testen.- Geschäftsbasiertes Testmanagement.- TPI Next.- Testumgebungsmanagement.- Testaufwandsschätzung.- Testen ist kein Allheilmittel.- Fazit

Read more less

Book SynopsisWith this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++’s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. For this fourth edition, the most recent specification of C++20 is used throughout the text. Several sections on new C++20 functionality have been added, and various others reworked to reflect changes in the standard. Also several new example projects ranging from introductory to advanced level are included and existing ones extended, and various reader suggestions have been incorporated. Efficiency is always in focus and numerous examples are backed up with runtime measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.Table of ContentsPart I: Language Technologies for Real-Time C++.- 1. Getting Started with Real-Time C++.- 2. Working with a Real-Time C++ Program on a Board.- 3. An Easy Jump Start in Real-Time C++.- 4. Object-Oriented Techniques for Microcontrollers.- 5. C++ Templates for Microcontrollers.- 6. Optimized C++ Programming for Microcontrollers.- Part II: Components for Real-Time C++.- 7. Accessing Microcontroller Registers.- 8. The Right Start.- 9. Low-Level Hardware Drivers in C++.- 10. Custom Memory Management.- 11. C++ Multitasking.- Part III: Mathematics and Utilities for Real-Time C++.- 12. Floating-Point Mathematics.- 13. Fixed-Point Mathematics.- 14. High-Performance Digital Filters.- 15. C++ Utilities.- 16. Extending the C++ Standard Library and the STL.- 17. Using C-Language Code in C++.- Additional Reading.

Read more less

Book SynopsisIn today’s workplace, computer and cybersecurity professionals must understand both hardware and software to deploy effective security solutions. This book introduces readers to the fundamentals of computer architecture and organization for security, and provides them with both theoretical and practical solutions to design and implement secure computer systems. Offering an in-depth and innovative introduction to modern computer systems and patent-pending technologies in computer security, the text integrates design considerations with hands-on lessons learned to help practitioners design computer systems that are immune from attacks. Studying computer architecture and organization from a security perspective is a new area. There are many books on computer architectures and many others on computer security. However, books introducing computer architecture and organization with security as the main focus are still rare. This book addresses not only how to secure computer components (CPU, Memory, I/O, and network) but also how to secure data and the computer system as a whole. It also incorporates experiences from the author’s recent award-winning teaching and research. The book also introduces the latest technologies, such as trusted computing, RISC-V, QEMU, cache security, virtualization, cloud computing, IoT, and quantum computing, as well as other advanced computing topics into the classroom in order to close the gap in workforce development. The book is chiefly intended for undergraduate and graduate students in computer architecture and computer organization, as well as engineers, researchers, cybersecurity professionals, and middleware designers.Table of Contents

Read more less

Book SynopsisThis book comprises the proceedings of the 2nd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2021). This book highlights the high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intelligence, machine learning, and IoT. The papers included in this volume are peer-reviewed by experts in the related areas. The book will serve as a valuable reference resource for academics and researchers across the globe. Table of ContentsAn effective DNLP optimization method for Economic Load Dispatch Problem.- Multi-Perspective Reasoning Using Adaptive Learning.- Ink Recognition using TDNN and Bi-LSTM.- Sarcasm Detection for Sentiment Analysis : A RNN based approach using Machine Learning.- Statistical analysis of Soil properties using Non-Imaging Spectral data for quantitative analysis of Raver Tehsil.- Building an efficient Heart Disease Prediction system by using clustering techniques.

Read more less

Book Synopsis?Cryptanalysis & Quantum Cryptanalysis.- Enhancing the Related-Key Security of PIPO through New Key Schedules.- Distinguisher and Related-Key Attack on HALFLOOP 96.- Revisiting Key Switching Techniques with Applications to Light-Key FHE.- Optimized Quantum Implementation of SEED.- Depth-Optimized Quantum Implementation of ARIA.- Finding Shortest Vector using Quantum NV Sieve on Grover.- Experiments and Resource Analysis of Shor's Factorization Using a Quantum Simulator.- Quantum Circuits for High-Degree and Half Multiplication For Post-Quantum Analysis.- Side Channel Attack.- Extended Attacks on ECDSA with Noisy Multiple Bit Nonce Leakages.- Single Trace Analysis of Comparison Operation based Constant-Time CDT Sampling and Its Countermeasure.- A Lattice Attack on CRYSTALS-Kyber with Correlation Power Analysis.- Side-Channel Analysis on Lattice-Based KEM using Multi-feature Recognition - The Ca

Read more less

Book SynopsisThis book comprises the proceedings of the 3rd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2022). This book highlights high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intelligence, machine learning, and IoT. The papers in this volume are peer-reviewed by experts in related areas. The book will serve as a valuable reference resource for academics and researchers across the globe.Table of ContentsAnalysis of Prevalence of Flat Foot in Primary School Children.- The development of advanced deep learning-based EoR Signal separation techniques.- An Integrated Deep Learning Deepfakes Detection Method (IDL-DDM).- Melanoma Detection Using Convolutional Neural Networks.- Reinforcement Learning Based Spectrum Sensing And Resource Allocation In WSN-IoT Smart Applications.- Planning and Construction of a Quantum Model of the SHA-1 Algorithm Using IBM’s Qiskit.- Machine Learning Based Path-loss Estimation Model for a 2.4 GHz ZigBee Network.- Heart Device for expectation of coronary illness utilizing Internet of Things.- An Extensive Study of Frequent Mining Algorithms for Colossal Patterns.- A Review Paper On Progressive Approach To Reduce Context Switching in Round Robin Scheduling Algorithm.- Transformer model for human activity recognition using IoT wearables.- Design and Development of a Chatbot for Personalized Learning in Higher Education.- Performance Evaluation of Concentric Hexagonal Array for Smart antenna applications.- Vegetation Change Detection of Multispectral Satellite Images Using Remote Sensing.- Performance evaluation of neural networks based virtual machine placement algorithm for server consolidation in cloud data centers.- Artificial Neural Network Based Fault Classification and Location Identification in Over Head Transmission Lines.- E-learning paradigm in Cloud computing and pertinent challenges in models used for cloud deployment.- Parkinson’s Disease Detection: Comparative Study Using Different Machine Learning Algorithms.- Implementation of Blockchain in Automotive Industry to Secure Connected Vehicle Data: Study and Analysis.- A Study of Comparison Between YOLOv5 and YOLOv7 for Detection of Cracks in Concrete Structures.- Machine Learning-Based Identification as well as Classification of Functional and Non-functional Requirements.- Expiry Date Detection on Product Packages with the Help of a Generalized Framework Using Fully Convolutional Networks.- Fake News Detection in Dravidian Languages using Transformer Models.- A Review on Artificial Intelligence Techniques for Multilingual SMS Spam detection.- Fusion of LBP and Median LBP for Dominant Region based Multimodal Recognition using Imperfect Face and Gait Cues.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

Book SynopsisThis book takes an in-depth look at the emerging technologies that are transforming the way clinicians manage patients, while at the same time emphasizing that the best practitioners use both artificial and human intelligence to make decisions. AI and machine learning are explored at length, with plain clinical English explanations of convolutional neural networks, back propagation, and digital image analysis. Real-world examples of how these tools are being employed are also discussed, including their value in diagnosing diabetic retinopathy, melanoma, breast cancer, cancer metastasis, and colorectal cancer, as well as in managing severe sepsis.With all the enthusiasm about AI and machine learning, it was also necessary to outline some of criticisms, obstacles, and limitations of these new tools. Among the criticisms discussed: the relative lack of hard scientific evidence supporting some of the latest algorithms and the so-called black box problem. A chTable of ContentsDedicationContentsPrefaceAbout the AuthorsChapter 1: Clinical Reasoning and Diagnostic ErrorsChapter 2: The Promise of Artificial Intelligence and Machine LearningChapter 3: AI Criticisms, Obstacles, and LimitationsChapter 4: CDS Systems: Past, Present, and FutureChapter 5: Reengineering Data AnalyticsChapter 6: Will Systems Biology Transform Clinical Decision Support? Chapter 7: Precision MedicineChapter 8: Reinventing Clinical Decision Support: Case StudiesIndex

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

978-0367638481

Read more less

978-0367689155

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less