الصفحة 2
الصفحة 2
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Air-Ice-Ocean Interaction : Turbulent Ocean Boundary Layer Exchange Processes
At a time when the polar regions are undergoing rapid and unprecedented change, understanding exchanges of momentum, heat and salt at the ice-ocean interface is critical for realistically predicting the future state of sea ice. By offering a measurement platform largely unaffected by surface waves, drifting sea ice provides a unique laboratory for studying aspects of geophysical boundary layer flows that are extremely difficult to measure elsewhere. This book draws on both extensive observations and theoretical principles to develop a concise description of the impact of stress, rotation, and buoyancy on the turbulence scales that control exchanges between the atmosphere and underlying ocean when sea ice is present. Several interesting and unique observational data sets are used to illustrate different aspects of ice-ocean interaction ranging from the impact of salt on melting in the Greenland Sea marginal ice zone, to how nonlinearities in the equation of state for seawater affect mixing in the Weddell Sea.
Advances in Turbulence XI ; Proceedings of the 11th EUROMECH European Turbulence Conference, June 25-28, 2007, Porto, Portugal
This volume comprises the communications presented at the ETC 11, the EUROMECH European Turbulence Conference held in 2007 in Porto.The scientific committee has chosen the contributions out of the following topics: Acoustics of turbulent flows / Atmospheric turbulence / Control of turbulent flows / Geophysical and astrophysical turbulence / Instability and transition / Intermittency and scaling / Large eddy simulation and related techniques / MHD turbulence / Reacting and compressible turbulence / Transport and mixing / Turbulence in multiphase and non-Newtonian flows / Vortex dynamics and structure formation / Wall bounded flows
Active Rheology Control of Cementitious Materials
The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations by incorporating specially designed responsive components. This results in real-time changes to the rheological behaviour of the cementitious material, allowing the user to intervene actively after the cementitious material has left the mixing phase. This newly gained agility contributes to increased processing speed and placement reliability in the case of traditional casting methods and can also facilitate advanced 3D concrete printing. The different routes followed to achieve this Active Rheology Control are explained within.
