- Table View
- List View
Soft Computing for Problem Solving: Socpros 2017, Volume 1 (Advances In Intelligent Systems and Computing #816)
by Kedar Nath Das Kusum Deep Jagdish Chand Bansal Atulya Nagar Akshay Kumar OjhaThis two-volume book presents outcomes of the 7th International Conference on Soft Computing for Problem Solving, SocProS 2017. This conference is a joint technical collaboration between the Soft Computing Research Society, Liverpool Hope University (UK), the Indian Institute of Technology Roorkee, the South Asian University New Delhi and the National Institute of Technology Silchar, and brings together researchers, engineers and practitioners to discuss thought-provoking developments and challenges in order to select potential future directions The book presents the latest advances and innovations in the interdisciplinary areas of soft computing, including original research papers in the areas including, but not limited to, algorithms (artificial immune systems, artificial neural networks, genetic algorithms, genetic programming, and particle swarm optimization) and applications (control systems, data mining and clustering, finance, weather forecasting, game theory, business and forecasting applications). It is a valuable resource for both young and experienced researchers dealing with complex and intricate real-world problems for which finding a solution by traditional methods is a difficult task.
Soft Computing in Chemical and Physical Sciences: A Shift in Computing Paradigm
by Kanchan Sarkar Sankar Prasad BhattacharyyaThis book can be regarded as 'Soft computing for physicists and chemists self-taught'. It prepares the readers with a solid background of soft computing and how to adapt soft computing techniques to problem solving in physical and chemical research. Soft computing methods have been little explored by researchers in physical and chemical sciences primarily because of the absence of books that bridge the gap between the traditional computing paradigm pursued by researchers in science and the new soft computing paradigm that has emerged in computer science. This book is the interface between these primary sources and researchers in physics and chemistry.
Soft Computing in Engineering
by Jamshid GhaboussiSoft computing methods such as neural networks and genetic algorithms draw on the problem solving strategies of the natural world which differ fundamentally from the mathematically-based computing methods normally used in engineering. Human brains are highly effective computers with capabilities far beyond those of the most sophisticated electronic computers. The 'soft computing‘ methods they use can solve very difficult inverse problems based on reduction in disorder. This book outlines these methods and applies them to a range of difficult engineering problems, including applications in computational mechanics, earthquake engineering, and engineering design. Most of these are difficult inverse problems – especially in engineering design – and are treated in depth.
Soft Computing in Wireless Sensor Networks
by Nilanjan Dey Huynh Thi Thanh BinhThis book focuses on the suitable methods to solve optimization problems in wireless network system utilizing digital sensors like Wireless Sensor Network. This kind of system has been emerging as the cornerstone technology for all new smart devices and its direct application in many fields in life.
Soft Sets: Theory and Applications (Studies in Fuzziness and Soft Computing #400)
by Sunil Jacob JohnThis book offers a self-contained guide to the theory and main applications of soft sets. It introduces readers to the basic concepts, the algebraic and topological structures, as well as hybrid structures, such as fuzzy soft sets and intuitionistic fuzzy sets. The last part of the book explores a range of interesting applications in the fields of decision-making, pattern recognition, and data science. All in all, the book provides graduate students and researchers in mathematics and various applied science fields with a comprehensive and timely reference guide to soft sets.
Soft and Hard Probes of QCD Topological Structures in Relativistic Heavy-Ion Collisions (Springer Theses)
by Shuzhe ShiThis thesis makes significant advances in the quantitative understanding of two intrinsically linked yet technically very different phenomena in quantum chromodynamics (QCD). Firstly, the thesis investigates the soft probe of strong interaction topological fluctuations in the quark-gluon plasma (QGP) which is made possible via the anomalous chiral transport effects induced by such fluctuations. Here, the author makes contributions towards establishing the first comprehensive tool for quantitative prediction of the chiral magnetic effect in the QGP that is produced in heavy ion collision experiments. Secondly, the thesis deals with the hard probe of strongly coupled QGP created in heavy-ion collisions. In particular, this study addresses the basic question related to the nonperturbative color structure in the QGP via jet energy loss observables. The author further develops the CUJET computational model for jet quenching and uses it to analyze the topological degrees of freedom in quark-gluon plasma. The contributions this thesis makes towards these highly-challenging problems have already generated widespread impacts in the field of quark-gluon plasma and high-energy nuclear collisions.
Software Adaptation in an Open Environment: A Software Architecture Perspective
by Yu Zhou Taolue ChenThe book is about a very active research field in software engineering. In modern society, the fact of the world's high reliance on software requires the system's robustness, i.e., continual availability and satisfactory service quality. This requirement gives rise to the popularity of the research on the self-adaptive software in open environment. There are some academic conferences dedicated to this field. But there is a lack of monographs about the topic. We believe such need is unmet in marketplace. By publishing the book, it can help bridge the gap and bring benefits to readers thereof. Key Features: The topic is well-motivated, interesting and actively studied worldwide The research represents as the state-of-the-art in the field The technical part of the book is rigidly evaluated The theoretical part of the book is sound and proved The organization and presentation of the book will be double-checked by professional scholars
Software Application Development: A Visual C++, MFC, and STL Tutorial (Chapman & Hall/CRC Computer and Information Science Series)
by Bud Fox Ph.D. Zhang Wenzu Ph.D. Tan May Ling M.Sc.Software Application Development: A Visual C++, MFC, and STL Tutorial provides a detailed account of the software development process using Visual C++, MFC, and STL. It covers everything from the design to the implementation of all software modules, resulting in a demonstration application prototype which may be used to efficiently represent mathem
Software Design: Creating Solutions for Ill-Structured Problems (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by David BudgenSoftware Design: Creating Solutions for Ill-Structured Problems, Third Edition provides a balanced view of the many and varied software design practices used by practitioners. The book provides a general overview of software design within the context of software development and as a means of addressing ill-structured problems. The third edition has been expanded and reorganised to focus on the structure and process aspects of software design, including architectural issues, as well as design notations and models. It also describes a variety of different ways of creating design solutions such as plan-driven development, agile approaches, patterns, product lines, and other forms. Features •Includes an overview and review of representation forms used for modelling design solutions •Provides a concise review of design practices and how these relate to ideas about software architecture •Uses an evidence-informed basis for discussing design concepts and when their use is appropriate This book is suitable for undergraduate and graduate students taking courses on software engineering and software design, as well as for software engineers. Author David Budgen is a professor emeritus of software engineering at Durham University. His research interests include evidence-based software engineering (EBSE), software design, and healthcare informatics.
Software Development with Go: Cloud-native Programming Using Golang With Linux And Docker
by Nanik Tolaram<p>Gain insights into the different challenges that can be solved using Go, with a focus on containers, Linux, security, networking, user interfaces and other relevant cloud based topics. This book reviews the necessary tools to create container-based cloud solutions with Go, a programming language that was born out of the need to address scalable, high availability cloud computing architecture needs inside Google.<p> <p>Go, also known as Golang, has been adopted across different industries and products with many popular Open Source projects that power cloud computing technologies such as Docker and Kubernetes being written with Go. As the complexity of cloud technology increases, so does the need for people to understand how things work under-the-hood and to fix them when they’re broken.<p>
Software Engineering and Formal Methods
by Bernhard Rumpe Radu CalinescuThis book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)
by Ming Li Zheng Li Minghui Zhou He Jiang Ge LiThis book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Software Engineering: The Current Practice (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Vaclav RajlichThis text teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, including software changes and iterative processes of software development. The book discusses the software change and its phases, including concept location, impact analysis, refactoring, actualization, and verification. It then covers the most common iterative processes: agile, directed, and centralized processes. The text also journeys through the initial development of software from scratch to the final stages that lead toward software closedown.
Software Essentials: Design and Construction (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Adair DingleWinner of a 2015 Alpha Sigma Nu Book Award, Software Essentials: Design and Construction explicitly defines and illustrates the basic elements of software design and construction, providing a solid understanding of control flow, abstract data types (ADTs), memory, type relationships, and dynamic behavior. This text evaluates the benefits and overhe
Software Failure Investigation
by Jan Eloff Madeleine Bihina BellaThis book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The authors provide details on how near-miss analysis techniques focus on the time-window before the software failure actually unfolds, so as to detect the high-risk conditions that can lead to a major failure. They detail how by alerting system users of an upcoming software failure, the detection of near misses provides an opportunity to collect at runtime failure-related data that is complete and relevant. They present a near-miss management systems (NMS) for detecting upcoming software failures, which can contribute significantly to the improvement of the accuracy of the software failure analysis. A prototype of the NMS is implemented and is discussed in the book. The authors give a practical hands-on approach towards doing software failure investigations by means of near-miss analysis that is of use to industry and academia
Software Fault Detection and Correction: Modeling and Applications (SpringerBriefs in Computer Science)
by Yu Liu Rui Peng Yan-Fu LiThis book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time. The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work incorporates fault dependency, while the third adopts a Markov approach for studying fault detection and correction processes. The fourth work considers the multi-release property of various software, and models fault detection and correction processes. The last work classifies faults into four types and models the fault-detection and correction processes. Enabling readers to familiarize themselves with how software reliability can be modeled when different factors need to be considered, and how the approaches can be used to analyze other systems, the book is important reference guide for researchers in the field of software reliability engineering and practitioners working on software projects. To gain the most from the book, readers should have a firm grasp of the fundamentals of the stochastic process.
Software Methodologies: A Quantitative Guide
by Capers JonesThis comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied to an application of 1000 function points using the Java language. Each methodology produces a characteristic set of results for development schedules, productivity, costs, and quality. The intent of the book is to show readers the optimum kinds of methodologies for the projects they are concerned with and to warn them about counter indications and possible harm from unsuitable methodologies.
Software Metrics: A Rigorous and Practical Approach, Third Edition (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Norman Fenton James BiemanA Framework for Managing, Measuring, and Predicting Attributes of Software Development Products and ProcessesReflecting the immense progress in the development and use of software metrics in the past decades, Software Metrics: A Rigorous and Practical Approach, Third Edition provides an up-to-date, accessible, and comprehensive introduction to soft
Software Receiver Design: Build Your Own Digital Communications System in Five Easy Steps
by C. Richard Johnson William A. Sethares Andrew G. KleinHave you ever wanted to know how modern digital communications systems work? Find out with this step-by-step guide to building a complete digital radio that includes every element of a typical, real-world communication system. Chapter by chapter, you will create a MATLAB realization of the various pieces of the system, exploring the key ideas along the way, as well as analyzing and assessing the performance of each component. Then, in the final chapters, you will discover how all the parts fit together and interact as you build the complete receiver. In addition to coverage of crucial issues, such as timing, carrier recovery and equalization, the text contains over 400 practical exercises, providing invaluable preparation for industry, where wireless communications and software radio are becoming increasingly important. A variety of extra resources are also provided online, including lecture slides and a solutions manual for instructors.
Software Reliability Assessment with OR Applications
by Hoang Pham P. C. Jha P. K. Kapur A. GuptaSoftware Reliability Assessment with OR Applications is a comprehensive guide to software reliability measurement, prediction, and control. It provides a thorough understanding of the field and gives solutions to the decision-making problems that concern software developers, engineers, practitioners, scientists, and researchers. Using operations research techniques, readers will learn how to solve problems under constraints such as cost, budget and schedules to achieve the highest possible quality level. Software Reliability Assessment with OR Applications is a comprehensive text on software engineering and applied statistics, state-of-the art software reliability modeling, techniques and methods for reliability assessment, and related optimization problems. It addresses various topics, including: unification methodologies in software reliability assessment; application of neural networks to software reliability assessment;software reliability growth modeling using stochastic differential equations;software release time and resource allocation problems; andoptimum component selection and reliability analysis for fault tolerant systems.Software Reliability Assessment with OR Applications is designed to cater to the needs of software engineering practitioners, developers, security or risk managers, and statisticians. It can also be used as a textbook for advanced undergraduate or postgraduate courses in software reliability, industrial engineering, and operations research and management.
Software Reliability Growth Models (Infosys Science Foundation Series)
by David D. Hanagal Nileema N. BhaleraoThis book presents the basic concepts of software reliability growth models (SRGMs), ranging from fundamental to advanced level. It discusses SRGM based on the non-homogeneous Poisson process (NHPP), which has been a quite successful tool in practical software reliability engineering. These models consider the debugging process as a counting process characterized by its mean value function. Model parameters have been estimated by using either the maximum likelihood method or regression. NHPP SRGMs based on inverse Weibull, generalized inverse Weibull, extended inverse Weibull, generalized extended inverse Weibull, and delayed S-shaped have been focused upon. Review of literature on SRGM has been included from the scratch to recent developments, applicable in artificial neural networks, machine learning, artificial intelligence, data-driven approaches, fault-detection, fault-correction processes, and also in random environmental conditions. This book is designed for practitioners and researchers at all levels of competency, and also targets groups who need information on software reliability engineering.
Software Reliability Modeling
by Shigeru YamadaSoftware reliability is one of the most important characteristics of software product quality. Its measurement and management technologies during the software product life cycle are essential to produce and maintain quality/reliable software systems. Part 1 of this book introduces several aspects of software reliability modeling and its applications. Hazard rate and nonhomogeneous Poisson process (NHPP) models are investigated particularly for quantitative software reliability assessment. Further, imperfect debugging and software availability models are discussed with reference to incorporating practical factors of dynamic software behavior. Three software management problems are presented as application technologies of software reliability models: the optimal software release problem, the statistical testing-progress control, and the optimal testing-effort allocation problem. Part 2 of the book describes several recent developments in software reliability modeling and their applications as quantitative techniques for software quality/reliability measurement and assessment. The discussion includes a quality engineering analysis of human factors affecting software reliability during the design review phase, which is the upper stream of software development, as well as software reliability growth models based on stochastic differential equations and discrete calculus during the testing phase, which is the lower stream. The final part of the book provides an illustration of quality-oriented software management analysis by applying the multivariate analysis method and the existing software reliability growth models to actual process monitoring data.
Software Test Attacks to Break Mobile and Embedded Devices: Software Test Attacks To Break Mobile And Embedded Devices (Chapman And Hall/crc Innovations In Software Engineering And Software Development Ser. #6)
by Jon Duncan HagarAddress Errors before Users Find ThemUsing a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering #136)
by Hans-Joachim Bungartz Wolfgang E. Nagel Philipp Neumann Severin Reiz Benjamin UekermannThis open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
Softwareentwicklung von Telematikdiensten
by Grit Behrens Volker Kuz Ralph BehrensDas Buch vermittelt einen Einstieg in die Software-Entwicklung von Telematikdiensten mit einem Eclipse-Plugin für das Common Service Framework (Open Source). Ziel ist es, Nutzer dazu zu befähigen, internetbasierte Telematikdienste selbst zu programmieren. Begleitend zum Buch steht ein Internetportal bereit, wo Beispielapplikationen demonstriert, getestet oder weiter entwickelt werden können. Es gibt des Weiteren Einblick in die Hintergründe und die weltweiten Zukunftsentwicklungen auf dem rasant anwachsenden Gebiet der Telematikdienste.