Найти книгу: "Models and Analysis for Distributed Systems"

Nowadays, 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.

В книге содержится описание прикладной программы Simulink и библиотеки блоков SimPowerSystems, предназначенной для моделирования электротехнических устройств и систем. Рассматривается методика создания моделей с помощью графического интерфейса программы, описаны методы расчета моделей, подробно освещена методика создания электротехнических блоков пользователя. Даны основные команды для управления моделью из ядра пакета MATLAB, рассмотрен механизм выполнения расчета модели, приводятся советы автора по применению программы. Книга включает в себя большое количество примеров, поясняющих работу блоков и методику создания модели.

Content

Actions in emergency situations

• Engine overheating actions
• Starting the engine from the battery of another car
• Fuse replacement
• Wheel replacement
• Towing a car

Daily checks and troubleshooting Instruction manual

• General information
• Locking and unlocking locks
• Seats and seat belts
• Instruments and controls

Precautions and safety rules when working on a car Basic tools, measuring instruments and methods of working with them

• Basic set of necessary tools
• Methods of working with measuring devices

Engine

• Technical specifications
• Petrol engines in volume of 1.3 l and 1.5 l (135)
• The petrol engine in volume of 1.5 l (4G1)
• The petrol engine in volume of 1.1 l (134)
• The diesel engine in volume of 1.5 l (639)
• Appendix to chapter

Power system

• Technical specifications
• Petrol engines in volume of 1.3 l and 1.5 l (135)
• The petrol engine in volume of 1.5 l (4G1)
• The diesel engine in volume of 1.5 l (639)
• Fuel supply system
• Appendix to chapter

Lubrication system

• Gasoline engines in volume of 1.3 l, 1.5 l (135) and 1.1 l (134)
• The petrol engine in volume of 1.5 l (4G1)
• The diesel engine in volume of 1.5 l (639)

Cooling system

• Technical specifications
• Basic work
• Thermostat
• Water pump
• Radiator

The intake and exhaust system

• Technical specifications
• Gasoline engines in volume of 1.3 l, 1.5 l (135) and 1.1 l (134)
• The petrol engine in volume of 1.5 l (4G1)
• The diesel engine in volume of 1.5 l (639)

Transmission

• Technical specifications
• Clutch
• Manual transmission
• Automatic transmission
• Appendix to chapter

Power shafts

• Technical specifications
• Removing and installing
• Disassembly and assembly
• Appendix to chapter

Chassis

• Technical specifications
• Front suspension
• Rear suspension
• Wheels and tires
• Appendix to chapter

Brake system

• Technical specifications
• Hydraulic drive
• Front brakes
• Rear brakes
• Parking brake
• Appendix to chapter

Steering

• Technical specifications
• Steering service
• Steering wheel and steering column
• Steering gear
• Appendix to chapter

Body

• Exterior
• Interior
• Doors
• Glasses
• Luke
• Body dimensions
• Appendix to chapter

Passive safety system

• Description
• Seat belts
• Airbags
• Disposing of system elements

Ventilation, air conditioning and heating system

• Technical specifications
• Heater and ventilation system
• Air conditioning (climate control)

Electrical equipment

• Starting system
• Charging system
• Ignition system (petrol)
• Preheating system (diesel)
• Headlamps
• Audio system

Electroschemes Explanatory dictionary

• Abbreviations

В книге содержится описание прикладной программы Simulink и библиотеки блоков SimPowerSystems, предназначенной для моделирования электротехнических устройств и систем. Рассматривается методика создания моделей с помощью графического интерфейса программы, описаны методы расчета моделей, подробно освещена методика создания электротехнических блоков пользователя. Даны основные команды для управления моделью из ядра пакета MATLAB, рассмотрен механизм выполнения расчета модели, приводятся советы автора по применению программы. Книга включает в себя большое количество примеров, поясняющих работу блоков и методику создания модели. Издание предназначено для инженеров, научных работников, аспирантов и студентов, занимающихся моделированием в области электротехники.

Книга, написанная разработчиками Microsoft SQL Server 2005 Analysis Services, дает читателю полное представление об его функционировании и устройстве. В ней рассмотрены основы многомерного анализа данных и дано глубокое представление о многомерных моделях данных и устройстве OLAP-сервера. Описаны основные концепции языка доступа к многомерным данным MDX и его расширенные возможности, а также архитектура сервера, методы обработки данных и алгоритмы доступа к данным. Приведены внутренние и внешние протоколы обмена данными, включая протокол XML/A. Рассмотрены алгоритмы управления ресурсами Analysis Services, в том числе алгоритмы управления памятью. Описан процесс создания эффективных клиентских приложений с использованием Analysis Services, механизмы интеграции многомерных и реляционных баз данных. Уделено внимание безопасности, а также администрированию Microsoft SQL Server 2005 Analysis Services. Для разработчиков и бизнес-аналитиков.