Wyniki wyszukiwania:

Smart Energy Grid Engineering provides in-depth detail on the various important engineering challenges of smart energy grid design and operation by focusing on advanced methods and practices for designing different components and their integration within the grid. Governments around the world are investing heavily in smart energy grids to ensure optimum energy use and supply, enable better planning for outage responses and recovery, and facilitate the integration of heterogeneous technologies such as renewable energy systems, electrical vehicle networks, and smart homes around the...

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.

Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also,...

This book presents design guidelines and implementation approaches for enterprise safety management system as integrated within enterprise integrated systems. It shows new model-based safety management where process design automation is integrated with enterprise business functions and components. It proposes new system engineering approach addressed to new generation chemical industry. It will help both the undergraduate and professional readers to build basic knowledge about issues and problems of designing practical enterprise safety management system, while presenting in clear way, the...

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.

Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also,...