Название: Cognitive Digital Twins for Smart Lifecycle Management of Built Environment and Infrastructure: Challenges, Opportunities
Автор: Ibrahim Yitmen
Издательство: CRC Press
Год: 2023
Страниц: 240
Язык: английский
Формат: pdf (true)
Размер: 12.2 MB

This book provides knowledge into Cognitive Digital Twins for smart lifecycle management of built environment and infrastructure focusing on challenges and opportunities. It focuses on the challenges and opportunities of data-driven cognitive systems by integrating the heterogeneous data from multiple resources that can easily be used in a Machine Learning model and adjust the algorithms. It comprises Digital Twins incorporating cognitive features that will enable sensing complex and unpredicted behavior and reason about dynamic strategies for process optimization to support decision-making in lifecycle management of the built environment and infrastructure. The book introduces the Knowledge Graph (KG)-centric framework for Cognitive Digital Twins involving process modeling and simulation, ontology-based Knowledge Graph, analytics for process optimizations, and interfaces for data operability. It offers contributions of Cognitive Digital Twins for the integration of IoT, Big Data, Artificial Intelligence, smart sensors, Machine Learning and communication technologies, all connected to a novel paradigm of self-learning hybrid models with proactive cognitive capabilities.

Название: Основы алгоритмизации и программирования на Visual C++
Автор(ы): Гуриков С.Р.
Издательство: Инфра-М
Год: 2022
Страниц: 514
Формат: PDF
Размер: 103 Мб
Язык: русский

В учебном пособии рассмотрены основы алгоритмизации и программирования на языке Visual C++ для разработки Windows-приложений и создания консольных программ. Содержится описание работы линейных, разветвляющихся и циклических структур, принципов обработки одномерных и двумерных массивов, порядка создания DLL-библиотек и модулей, методов работы с файлами. Много внимания уделено принципам создания пользовательского интерфейса с помощью элементов управления. Объяснены приемы программирования тестовых вопросов. Рассмотрены методы вывода информации в базу данных Microsoft Access, текстовый редактор Microsoft Word и табличный процессор Microsoft Excel.

Название: Computational Mathematics: An introduction to Numerical Analysis and Scientific Computing with Python
Автор: Dimitrios Mitsotakis
Издательство: CRC Press
Год: 2023
Страниц: 529
Язык: английский
Формат: pdf (true)
Размер: 125.8 MB

This textbook is a comprehensive introduction to computational mathematics and scientific computing suitable for undergraduate and postgraduate courses. It presents both practical and theoretical aspects of the subject, as well as advantages and pitfalls of classical numerical methods alongside with computer code and experiments in Python. Each chapter closes with modern applications in physics, engineering, and Computer Science. In this book, we present all the material in Python. Python is a free programming language with a wide variety of extensions. These include extensions to Data Science and Machine Learning, as well as more traditional areas, such as the numerical solution of differential equations. Python comes with functions for almost every method we present in this book, which makes Python a great pedagogical tool. The computer code you will find in this book is written in such a simple way that experts in Python will find my coding style very naive. However, I believe that this style helps students to learn programming.

Название: Information and coding theory in computer science
Автор: Zoran Gacovski
Издательство: Arcler Press
Год: 2023
Страниц: 416
Язык: английский
Формат: pdf (true)
Размер: 36.0 MB

This book covers different topics from information theory methods and approaches, block and stream coding, lossless data compression, and information and Shannon entropy. Section 1 focuses on information theory methods and approaches, describing information theory of cognitive radio system, information theory and entropies for quantized optical waves in complex time-varying media, some inequalities in information theory using Tsallis entropy, and computational theory of intelligence: information entropy. Section 2 focuses on block and stream coding, describing block-split array coding algorithm for long-stream data compression, bit-error aware lossless image compression with 2d-layer-block coding, beam pattern scanning (BPS) versus space-time block coding (STBC) and space-time trellis coding (STTC), partial feedback based orthogonal space-time block coding with flexible feedback bits, and rate-less space-time block codes for 5G wireless communication systems. Section 3 focuses on lossless data compression, describing lossless image compression technique using combination methods, new results in perceptually lossless compression of hyperspectral images, lossless compression of digital mammography using base switching method, and lossless image compression based on multiple-tables arithmetic coding.

Название: Архитектура и проектирование программных систем
Автор(ы): Назаров С.В.
Издательство: Инфра-М
Год: 2023
Страниц: 375
Формат: PDF
Размер: 115 Мб
Язык: русский

Рассмотрены технологии и проблемы создания больших программных систем, их архитектуры и жизненный цикл. Основное внимание обращено на разработку и анализ требований, определение спецификаций, методы и средства проектирования архитектуры программных систем и техникоэкономический анализ проектов. Уделено значительное внимание рефакторингу программных систем, в том числе архитектурному рефакторингу.

Название: Implementing Automated Software Testing
Автор: Neha Kaul
Издательство: Arcler Press
Год: 2023
Страниц: 280
Язык: английский
Формат: pdf (true)
Размер: 37.7 MB

The field of software testing has grown considerably since its origin in the early 1900s. The relevance of software will only increase in the future. Software will continue to increase in complexity as it is going to be used to solve the biggest problems faced by the world. Effective testing is thought of as a measure of efficiency and quality of software. Testing is a vital non-skippable step in the software development lifecycle. The implementation of different automated software systems will be presented in detail. Detailed practical implementations of automated software applications covering different types of testing scenarios have been provided in this book. Software systems are an essential component of our day-to-day lives. Software has morphed into one of our most basic necessities. We depend on software to accomplish routine tasks and activities in our lives. The impact that software has made in this world is enormous. Software applications are engaged on a large scale in both essential and non-essential sectors across the world.

Название: Key dynamics in computer programming
Автор: Adele Kuzmiakova
Издательство: Arcler Press
Год: 2023
Страниц:
Язык: английский
Формат: pdf (true)
Размер: 21.0 MB

The Key Dynamics in Computer Science gives readers an integrated and rigorous tour into the overall computer architecture, including its hardware and software components. The book takes a refreshing, ground-level approach to allow the students to gain a clear picture of how computers work. Designed and supported with numerous real-world illustrations, the book leads students through 8 chapters that gradually build a basic hardware platform coupled with modern operating system hierarchy from the ground up. Additionally, this volume delved deeper into modern programming languages, including Python and C. All in all, it is a fantastic reference for emerging technical professions and supports them to gain a thorough understanding of the modern computer hardware and software components. A program is created by first defining a task and then expressing it in a computer language that is appropriate for the application. The specification is then converted into a coded program that can be directly executed by the machine on which the task is to be performed, usually in numerous steps. Machine language refers to the coded program, whereas problem-oriented languages refer to languages that are ideal for original formulation. C, Python, and C++ are only a few of the many problem-solving languages that have been invented.

Название: Android Studio Flamingo Essentials - Java Edition: Developing Android Apps Using Android Studio 2022.2.1 and Java
Автор: Neil Smyth
Издательство: Payload Media
Год: 2023 (Rev: 1.0)
Страниц: 816
Язык: английский
Формат: pdf (true)
Размер: 52.5 MB

Fully updated for Android Studio Flamingo, this book aims to teach you how to develop Android-based applications using the Java programming language. This book begins with the basics and outlines how to set up an Android development and testing environment, followed by an overview of areas such as tool windows, the code editor, and the Layout Editor tool. An introduction to the architecture of Android is followed by an in-depth look at the design of Android applications and user interfaces using the Android Studio environment. Assuming you already have some Java programming experience, are ready to download Android Studio and the Android SDK, have access to a Windows, Mac, or Linux system, and have ideas for some apps to develop, you are ready to get started.

Название: Android Studio Flamingo Essentials - Kotlin Edition: Developing Android Apps Using Android Studio 2022.2.1 and Kotlin
Автор: Neil Smyth
Издательство: Payload Media
Год: 2023 (Rev: 1.0)
Страниц: 824
Язык: английский
Формат: pdf (true)
Размер: 50.7 MB

Fully updated for Android Studio Flamingo, this book aims to teach you how to develop Android-based applications using the Kotlin programming language. This book begins with the basics and outlines how to set up an Android development and testing environment followed by an introduction to programming in Kotlin, including data types, control flow, functions, lambdas, and object-oriented programming. Asynchronous programming using Kotlin coroutines and flow is also covered in detail. An overview of Android Studio is included covering areas such as tool windows, the code editor, and the Layout Editor tool. An introduction to the architecture of Android is followed by an in-depth look at the design of Android applications and user interfaces using the Android Studio environment.

Название: Programming Language Theory and Formal Methods
Автор: Zoran Gacovski
Издательство: Arcler Press
Год: 2023
Страниц: 404
Язык: английский
Формат: pdf (true)
Размер: 22.6 MB

In this book - we present topics formal grammars in programming, programming languages semantics, finite automata, and formal methods and semantics in distributed software. Section 1 focuses on formal methods in programming, describing integrating formal methods in XP (extreme programming) - a conceptual solution, formal methods for commercial, applications issues vs. solutions, why formal methods are considered for safety critical systems, and integration of UML sequence diagram with formal specification methods-a formal solution based on Z. Section 2 focuses on programming languages semantics, describing declarative programming with temporal constraints, in the language CG, formal syntax and semantics for a subset of the solidity programming language in mathematical tool coq, ontology of domains. ontological description software engineering domain - the standard life cycle, guidelines based software engineering for developing software components, intelligent agent based mapping of software requirement specification to design model. Section 3 focuses on finite automata, describing the equivalent conversion between regular grammar and finite automata, controllability, reachability, and stabilizability of finite a controllability matrix method, bounded model checking of ETL cooperating with finite and looping automata connectives, an automata-based approach to pattern matching, tree automata for extracting consensus from partial replicas of a structured document. Section 4 focuses on formal methods and semantics in distributed software, describing building requirements semantics for networked software interoperability.