Catalogue Search | MBRL
هل أنت متأكد أنك تريد إزالة الكتاب من الرف؟
{{itemTitle}}
262
نتائج ل
"Computer systems -- Design and construction -- Mathematics"
صنف حسب:
Performance modeling and design of computer systems : queueing theory in action
\"Computer systems design is full of conundrums. Tackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and is full of examples from computer systems, as well as manufacturing and operations research. Fun and readable, the book is highly approachable, even for undergraduates, while still being thoroughly rigorous and also covering a much wider span of topics than many queueing books. Readers benefit from a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises - all while acquiring the skills needed to model, analyze and design large-scale systems with good performance and low cost. The exercises are an important feature, teaching research-level counterintuitive lessons in the design of computer systems. The goal is to train readers not only to customize existing analyses but also to invent their own\"-- Provided by publisher.
Book
Performance Modeling and Design of Computer Systems
Tackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and is full of examples from computer systems, as well as manufacturing and operations research. Fun and readable, the book is highly approachable, even for undergraduates, while still being thoroughly rigorous and also covering a much wider span of topics than many queueing books. Readers benefit from a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises – all while acquiring the skills needed to model, analyze and design large-scale systems with good performance and low cost. The exercises are an important feature, teaching research-level counterintuitive lessons in the design of computer systems. The goal is to train readers not only to customize existing analyses but also to invent their own.
eBook
Optimization and anti-optimization of structures under uncertainty
The volume presents a collaboration between internationally recognized experts on anti-optimization and structural optimization, and summarizes various novel ideas, methodologies and results studied over 20 years. The book vividly demonstrates how the concept of uncertainty should be incorporated in a rigorous manner during the process of designing real-world structures. The necessity of anti-optimization approach is first demonstrated, then the anti-optimization techniques are applied to static, dynamic and buckling problems, thus covering the broadest possible set of applications. Finally, anti-optimization is fully utilized by a combination of structural optimization to produce the optimal design considering the worst-case scenario. This is currently the only book that covers the combination of optimization and anti-optimization. It shows how various optimization techniques are used in the novel anti-optimization technique, and how the structural optimization can be exponentially enhanced by incorporating the concept of worst-case scenario, thereby increasing the safety of the structures designed in various fields of engineering.
eBook
bcBIM: A Blockchain-Based Big Data Model for BIM Modification Audit and Provenance in Mobile Cloud
Building Information Modeling (BIM) is envisioned as an indispensable opportunity in the architecture, engineering, and construction (AEC) industries as a revolutionary technology and process. Smart construction relies on BIM for manipulating information flow, data flow, and management flow. Currently, BIM model has been explored mainly for information construction and utilization, but rare works pay efforts to information security, e.g., critical model audit and sensitive model exposure. Moreover, few BIM systems are proposed to chase after upcoming computing paradigms, such as mobile cloud computing, big data, blockchain, and Internet of Things. In this paper, we make the first attempt to propose a novel BIM system model called bcBIM to tackle information security in mobile cloud architectures. More specifically, bcBIM is proposed to facilitate BIM data audit for historical modifications by blockchain in mobile cloud with big data sharing. The proposed bcBIM model can guide the architecture design for further BIM information management system, especially for integrating BIM cloud as a service for further big data sharing. We propose a method of BIM data organization based on blockchains and discuss it based on private and public blockchain. It guarantees to trace, authenticate, and prevent tampering with BIM historical data. At the same time, it can generate a unified format to support future open sharing, data audit, and data provenance.
Journal Article
Generalized Network Design Problems
Combinatorial optimization is a fascinating topic. Combinatorial optimization problems arise in a wide variety of important fields such as transportation, telecommunications, computer networking, location, planning, distribution problems, etc. Important and significant results have been obtained on the theory, algorithms and applications over the last few decades. In combinatorial optimization, many network design problems can be generalized in a natural way by considering a related problem on a clustered graph, where the original problem's feasibility constraints are expressed in terms of the clusters, i.e., node sets instead of individual nodes. This class of problems is usually referred to as generalized network design problems (GNDPs) or generalized combinatorial optimization problems.
The express purpose of this monograph is to describe a series of mathematical models, methods, propositions, algorithms developed in the last years on generalized network design problems in a unified manner. The book consists of seven chapters, where in addition to an introductory chapter, the following generalized network design problems are formulated and examined: the generalized minimum spanning tree problem, the generalized traveling salesman problem, the railway traveling salesman problem, the generalized vehicle routing problem, the generalized fixed-charge network design problem and the generalized minimum vertex-biconnected network problem.
The book will be useful for researchers, practitioners, and graduate students in operations research, optimization, applied mathematics and computer science. Due to the substantial practical importance of some presented problems, researchers in other areas will find this book useful, too.
eBook
A reformulation-enumeration MINLP algorithm for gas network design
Gas networks are used to transport natural gas, which is an important resource for both residential and industrial customers throughout the world. The gas network design problem is generally modelled as a nonconvex mixed-integer nonlinear integer programming problem (MINLP). The challenges of solving the resulting MINLP arise due to the nonlinearity and nonconvexity. In this paper, we propose a framework to study the “design variant” of the problem in which the variables are the diameter choices of the pipes, the flows, the potentials, and the states of various network components. We utilize a nested loop that includes a two-stage procedure that involves a convex reformulation of the original problem in the inner loop and an efficient enumeration scheme in the outer loop. We conduct experiments on benchmark networks to validate and analyze the performance of our framework.
Journal Article
Analysis and FPGA Realization of a Novel 5D Hyperchaotic Four-Wing Memristive System, Active Control Synchronization, and Secure Communication Application
By introducing a flux-controlled memristor with quadratic nonlinearity into a 4D hyperchaotic system as a feedback term, a novel 5D hyperchaotic four-wing memristive system (HFWMS) is derived in this paper. The HFWMS with multiline equilibrium and three positive Lyapunov exponents presented very complex dynamic characteristics, such as the existence of chaos, hyperchaos, limit cycles, and periods. The dynamic characteristics of the HFWMS are analyzed by using equilibria, phase portraits, poincare map, Lyapunov exponential spectrum, bifurcation diagram, and spectral entropy. Of particular interest is that this novel system can generate two-wing hyperchaotic attractor under appropriate parameters and initial conditions. Moreover, the FPGA realization of the novel 5D HFWMS is reported, which prove that the system has complex dynamic behavior. Finally, synchronization of the 5D hyperchaotic system with different structures by active control and a secure signal masking application of the HFWMS are implemented based on numerical simulations and FPGA. This research demonstrates that the hardware-based design of the 5D HFWMS can be applied to various chaos-based embedded system applications including random number generation, cryptography, and secure communication.
Journal Article
Design and Optimization for 5G Wireless Communications
This book offers a technical background to the design and optimization of wireless communication systems, covering optimization algorithms for wireless and 5G communication systems design. The book introduces the design and optimization systems which target capacity, latency, and connection density; including Enhanced Mobile Broadband Communication (eMBB), Ultra-Reliable and Low Latency Communication (URLL), and Massive Machine Type Communication (mMTC). The book is organized into two distinct parts: Part I, mathematical methods and optimization algorithms for wireless communications are introduced, providing the reader with the required mathematical background. In Part II, 5G communication systems are designed and optimized using the mathematical methods and optimization algorithms.
eBook
CCII and FPGA Realization: A Multistable Modified Fourth-Order Autonomous Chua’s Chaotic System with Coexisting Multiple Attractors
In this paper, a multistable modified fourth-order autonomous Chua’s chaotic system is investigated. In addition to the dynamic characteristics of the third-order Chua’s chaotic system itself, what interests us is that this modified fourth-order autonomous Chua’s chaotic system has five different types of coexisting attractors: double-scroll, single band chaotic attractor, period-4 limit cycle, period-2 limit cycle, and period-1 limit cycle. Then, an inductorless modified fourth-order autonomous Chua’s chaotic circuit is proposed. The active elements as well as the synthetic inductor employed in this circuit are designed using second-generation current conveyors (CCIIs). The reason for using CCIIs is that they have high conversion rate and operation speed, which enable the circuit to work at a higher frequency range. The Multisim simulations confirm the theoretical estimates of the performance of the proposed circuit. Finally, using RK-4 numerical algorithm of VHDL 32-bit IQ-Math floating-point number format, the inductorless modified fourth-order autonomous Chua’s chaotic system is implemented on FPGA for the development of embedded engineering applications based on chaos. The system is simulated and synthesized on Virtex-6 FPGA chip. The maximum operating frequency of modified Chua’s chaotic oscillator based on FPGA is 180.180 MHz. This study demonstrates that the hardware-based multistable modified fourth-order autonomous Chua’s chaotic system is a very good source of entropy and can be applied to various embedded systems based on chaos, including secure communication, cryptography, and random number generator.
Journal Article
Construction and Deformation of Curves and Surfaces Based on α–Sh Basis Functions with Shape Parameters
Curve and surface modeling techniques have long been essential in computer graphics research. However, many existing methods for curve and surface fitting, as well as deformation, have limitations, such as challenges in representing certain special curve forms and a lack of control over the deformation process. Therefore, there is a need for a method that accurately represents specific curves and surfaces while allowing for a more intuitive and straightforward deformation implementation. To address this, the paper proposes a new method for constructing curves and surfaces and for their deformation. First, a shape-controlled basis function, termed the
-sh basis function, is defined in the basis vector space 1,
,...,
, sinh
, cosh
[bracerightbig]. Next, the favorable properties of the
-sh basis function are analyzed and proven, demonstrating its feasibility for curve and surface fitting. Using this basis function,
-sh Bézier curves and
-sh Bézier surfaces are defined, and their properties are thoroughly analyzed and proven. Finally, by adjusting the shape control parameters, the deformation of curves and surfaces can be achieved. The proposed method also enables the representation of special curves, such as circles, and allows for their deformation. The paper concludes with examples of curves and surfaces, visualizations of their deformation effects, and potential applications in practical industrial design.
Journal Article