...streamline-based history matching have been developed. These methods have proved to be efficient for three reasons: First, streamlines delineate flow patterns and can therefore be used to define reduced inverse models. Second, streamline methods provide fast forward simulation. Third, streamline-based sensitivities...
...robots in Space, specifically for use onboard the International Space Station, for exploration of Moon lava tubes and for exploration of low-gravity bodies such as asteroids, comets and small moons. Key abilities that snake robots need to have in order to carry out the aforementioned operations, as ...
...airflow over buildings may produce complex airflow patterns in the downwind region. Examples include the recirculating flow and wind deficit areas behind airport buildings and their potential impact on flight conditions at runways. In this study a computational fluid dynamics analysis of the airflow...
...preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned by trace-semantics. The semantics is sufficiently expressive to distinguish underspecification from explicit nondeterminism. A running example is used to introduce the approach and to demonstrate...
...of deontic logic, and provided a trace based semantics interpreted over Kripke structures. This gives a semantic comparable to the UML trace semantics for sequence diagrams, which is utilized in the evaluation. The focus is on requirements with respect to expressivity, utility and human readability. ...
...greenhouse gas emissions (GHG emissions) of Lia barnehage were calculated based on the Life Cycle Assessment (LCA) methodology. The aim was to analyse and document construction phase emissions. A functional unit of 1 m2 of heated floor area over an estimated building lifetime of 60 years is considered....
...curtains for lowering the sea surface temperature locally and regionally. Large scale simulations of this type have not been reported in the literature to our knowledge nor does large scale validation data exist. It is partly due to the latter and the cost involved in generating such validation data that...
Oppdragsgiver: Helsedirektoratet...
SINTEF Rapport A26795...
Realizing security and risk management standards may be challenging, partly because the descriptions of what to realize are often generic and have to be refined by security experts. Removing this ambiguity is time intensive for security experts, because the experts have to interpret all the required...
This document describes the Public Key Infrastructure (PKI) prototype that will be used to demonstrate secure ship-to-ship and ship-to-shore data transfer in the CySiMS Service Evolution project....
Publication no. 7, 2011 (NB 7:2011). Four laboratories participated in the program: o SINTEF Building and Infrastructure, Trondheim (SINTEF-T) o SINTEF Building and Infrastructure, Oslo (SINTEF-O) o Mannvit Testing and Research Lab, Island (MANNVIT) o Norwegian Public Roads Administration, Sentrallaboratoriet...
...carried out for the Norwegian farmed salmon supply chains with some differences in the data used and the method chosen. Hence results presented in this report must be compared keeping in mind the differences and changes in the GHG emissions cannot be interpreted as a direct result of aquaculture industry's...
