05206nam 22007575 450 99646439690331620230515192446.03-030-85172-910.1007/978-3-030-85172-9(CKB)4100000012007965(MiAaPQ)EBC6709710(Au-PeEL)EBL6709710(DE-He213)978-3-030-85172-9(PPN)257350721(EXLCZ)99410000001200796520210811d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierQuantitative Evaluation of Systems[electronic resource] 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /edited by Alessandro Abate, Andrea Marin1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (469 pages)Theoretical Computer Science and General Issues,2512-2029 ;128463-030-85171-0 Keynote Speaker -- Performance Evaluation: Model-Driven or Problem-Driven? -- Probabilistic Model Checking -- A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking -- Tweaking the Odds in Probabilistic Timed Automata -- Quantifying Software Reliability via Model-Counting -- Quantitative Models and Metamodels: Analysis and Validation -- Compositional safe approximation of response time distribution of complex workflows -- Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow -- Evaluating the Effectiveness of Metamodels in Emulating Quantitative Models -- Queueing Systems -- Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems -- SEH: Size Estimate Hedging for Single-Server Queues -- An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets -- Learning and Verification -- DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning -- Active and sparse methods in smoothed model checking -- Safe Learning for Near-Optimal Scheduling -- Simulation -- Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies -- Simulation of n-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers -- Performance Evaluation -- Queue Response Times with Server Speed Controlled by Measured Utilizations -- Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes -- Performance analysis of work stealing strategies in large scale multi-threaded computing -- Abstractions and Aggregations -- Stationary Distribution Approximations of Markovian Population Models using Aggregation -- Reasoning about Proportional Lumpability -- Lumpability for Uncertain Continuous-Time Markov Chains -- Stochastic Models -- Accurate Approximate Diagnosis of (Controllable) Stochastic Systems -- Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction -- Attack Trees vs. Fault Trees: two sides of the same coin from different currencies.This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.Theoretical Computer Science and General Issues,2512-2029 ;12846Computer scienceComputer scienceMathematicsMathematical statisticsArtificial intelligenceSoftware engineeringAlgorithmsMachine theoryTheory of ComputationProbability and Statistics in Computer ScienceArtificial IntelligenceSoftware EngineeringAlgorithmsFormal Languages and Automata TheoryComputer science.Computer scienceMathematics.Mathematical statistics.Artificial intelligence.Software engineering.Algorithms.Machine theory.Theory of Computation.Probability and Statistics in Computer Science.Artificial Intelligence.Software Engineering.Algorithms.Formal Languages and Automata Theory.004.24Abate AlessandroMarin AndreaMiAaPQMiAaPQMiAaPQBOOK996464396903316Quantitative Evaluation of Systems2914390UNISA06345nam 2200553 450 991083087580332120210114130631.01-119-41555-11-119-24335-11-119-24334-3(CKB)3710000000648996(EBL)4510878(MiAaPQ)EBC4510878(OCoLC)947837673(CaSebORM)9781119243335(EXLCZ)99371000000064899620160523h20162016 uy 0engur|n|---|||||rdacontentrdamediardacarrierAutoCAD 2017 and AutoCAD LT 2017 essentials /Scott Onstott1st editionIndianapolis, Indiana :Sybex :Autodesk,2016.©20161 online resource (507 p.)Includes index.1-119-24333-5 Titlepage; Copyright; Acknowledgments; About the Author; Introduction; Who Should Read This Book; AutoCAD 2017 or AutoCAD LT 2017 System Requirements; What Is Covered in This Book; The Essentials Series; Chapter 1 Getting Started; Sign In to Autodesk 360 on the Start Tab; Explore the AutoCAD 2017 for Windows User Interface; Set Drawing Units; Chapter 2 Gaining Basic Drawing Skills; Navigate 2D Drawings; Draw Lines and Rectangles; Cancel, Erase, and Undo; Use Coordinate Systems; Draw Circles, Arcs, and Polygons; Use Fillet and Chamfer; Chapter 3 Using Drawing Aids; Use Grid and SnapEmploy Ortho and Polar TrackingUse PolarSnap; Select Running Object Snaps; Harness the From Snap; Apply Object Snap Tracking; Chapter 4 Editing Entities; Create Selection Sets; Use Move and Copy; Use Rotate and Scale; Work with Arrays; Use Trim and Extend; Use Lengthen and Stretch; Use Offset and Mirror; Edit with Grips; Chapter 5 Shaping Curves; Draw and Edit Curved Polylines; Draw Ellipses; Shape Splines; Blend Between Objects with Splines; Chapter 6 Controlling Object Visibility and Appearance; Change Object Properties; Set the Current Layer; Alter the Layer Assignments of ObjectsControl Layer VisibilityApply Linetype; Assign Properties by Object or by Layer; Manage Layer Properties; Isolate Objects; Chapter 7 Organizing Objects; Define Blocks; Insert Blocks; Edit Blocks; Redefine Blocks; Work with Groups; Chapter 8 Hatching and Gradients; Specify Hatch Areas; Associate Hatches with Boundaries; Hatch with Patterns; Hatch with Gradients; Chapter 9 Working with Blocks and Xrefs; Work with Global Blocks; Access Content Globally; Store Content on Tool Palettes; Reference External Drawings and Images; Chapter 10 Creating and Editing Text; Style Text; Write Lines of TextWrite and Format Paragraphs Using MTEXTEdit Text; Chapter 11 Dimensioning; Style Dimensions; Add Dimensions; Edit Dimensions; Chapter 12 Keeping In Control with Constraints; Work with Geometric Constraints; Apply Dimensional Constraints; Constrain Objects Simultaneously with Geometry and Dimensions; Make Parametric Changes to Constrained Objects; Chapter 13 Working with Layouts and Annotative Objects; Create Annotative Styles and Objects; Create Layouts; Adjust Floating Viewports; Override Layer Properties in Layout Viewports; Draw on Layouts; Chapter 14 Printing and PlottingConfigure Output DevicesCreate Plot Style Tables; Use Plot Style Tables; Plot in Model Space; Plot Layouts in Paper Space; Export to an Electronic Format; Chapter 15 Working with Data; Geolocate Projects; Import SketchUp Models; Define Attributes and Blocks; Insert Attributed Blocks; Edit Table Styles and Create Tables; Use Fields in Table Cells; Edit Table Data; Chapter 16 Navigating 3D Models; Use Visual Styles; Work with Tiled Viewports; Navigate with the ViewCube; Orbit in 3D; Use Cameras; Navigate with SteeringWheels; Save Views; Chapter 17 Modeling in 3D; Create Surface ModelsEdit Surface ModelsHands-on AutoCAD 2017 instruction for a real-world workflow AutoCAD 2017 and AutoCAD LT 2017 Essentials is the unique task-based tutorial designed for both students and the professional AutoCAD user. Concise, straightforward explanations and real-world, hands-on exercises provide an authoritative, easy-to-follow guide to the platform's core features and functions. Step-by-step tutorials are backed by full-color screenshots, and each chapter ends with an open-ended project to reinforce the chapter's lessons and provide a fully immersive learning experience. The companion website features downloadable before-and-after tutorial files, so you can jump in at any point and compare your work with the pros. This new edition has been fully updated to align with AutoCAD's newest features and capabilities, and features a more approachable, easy-to-read style based on instructor and reader feedback to help you get up to speed and quickly become productive with the software. AutoCAD is the leading design and drawing software, and an essential skill for designers, architects, and engineers. Whether you're new to the software, upgrading, or preparing for certification, this no-nonsense guide is your ideal resource for complete AutoCAD instruction. Master 2D drawing using splines, polylines, layers, and objects Add detail with hatching, gradients, text, and dimensions Convert your design into a 3D model for a walk-through tour Import, print, edit, and present your final design By following a real-world professional workflow throughout the learning process, you develop a highly relevant set of skills that easily transfer into real-world projects. This book walks you through the design of a house, emphasizing skills rather than tools to equip you with an array of solutions for any AutoCAD task. If you're serious about AutoCAD and ready to get down to work, AutoCAD 2017 and AutoCAD LT 2017 Essentials is the guide you need at your fingertips.Computer graphicsComputer-aided designComputer graphics.Computer-aided design.620.004202855369Onstott Scott848639MiAaPQMiAaPQMiAaPQBOOK9910830875803321AutoCAD 2017 and AutoCAD LT 2017 essentials4063856UNINA