STF90 A06030We present an approach for secure information flow property 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...
På oppdrag av Akershus Fylkeskommune har SINTEF utarbeidet dette faktagrunnlaget til Akershus Fylkeskommunes hydrogenstrategi. Denne rapporten omtaler status og forventet utvikling for hydrogenteknologien, både hydrogenforbrukere og forsyningsinfrastruktur, samt anbefalinger til Akershus...
In this report we present our method ValidKI for designing indicators to monitor the fulfillment of business objectives with particular focus on quality and ICT-supported monitoring of indicators. A set of indicators is valid with respect to a business objective if it measures the degree to which...
Det er utført beregning av støy fra Ås helikopterplass, Hogsmark. i Ås kommune. Beregningene utføres med NORTIM og i henhold til anbefalingene i retningslinje T-1442 fra Miljøverndepartementet. Det resulterende støysonekart viser at det vil være 2 bygninger med støyfølsomt bruksformål i sonene...
Det er utført beregning av støysoner for en helikopterlandingsplass for sykehuset i Kristiansund. Beregningene utføres med NORTIM og i henhold til anbefalingene i retningslinje T-1442 fra Miljøverndepartementet. Det resulterende støysonekart viser at det vil være bygninger med støyfølsomt...
In this report an overview is given over condition monitoring (CM) and structural health monitoring(SHM) for offshore wind turbines with a special focus on two innovative sensor types – Fiber Bragg Grating (FBG) and Microelectromechnical Systems (MEMS) sensors. Based on a limited literature survey...
The Node, Edge, and Arc Routing Problem (NEARP) was defined by Prins and Bouchenoua in 2004 along with the first benchmark called CBMix. The NEARP generalizes the classical Capacitated Vehicle Routing Problem (CVRP), the Capacitated Arc Routing Problem (CARP), and the General Routing Problem. It is...
Mitt Arbeiderparti er Arbeiderpartiets nettsider for politisk diskusjon som skal favne bredden av partiets medlemmer og andre politisk interesserte. For å få kunnskap om hvordan deltagerne på Mitt Arbeiderparti opplever sin deltagelse, ble det gjennomført en spørreskjemaundersøkelse blant personer...
Denne rapporten beskriver SINTEF sin virksomhet som teknisk kontrollorgan for 2009.SINTEF ble i brev av 6. februar 2007 utpekt som teknisk kontrollorgan for alle da gjeldende delsystemer, konstituenter og moduler i henhold til EU direktivet 96/48/EF om samtrafikkevnen for det trans-europeiske...
SINTEF har gjennomført en behovskartlegging for en ny mobil trygghetsalarm for bruk i de kommunale pleie- og omsorgstjenestene med Bærum kommune som brukerpartner. Behovskartleggingen er gjennomført i rammen av et VRI-prosjekt i samarbeid med bedriften Moreto EDB. Det er stort behov og ønske om en...
The objective of this study is to analyze the Nordic power market under changing climate conditions. A different climate affects the power market mainly through changes in inflow and temperatures. We use the EMPS-model to simulate the 2020-system, using expected values for demand, supply and...
Denne rapporten viser hvordan bruk av designtenking kan gi ny kunnskap om hvordan man kan løse lokale utfordringer med innbyggerinvolvering....
Det er utarbeidet støysonekart for helikopterlandingsplass ved Harstad Universitetssykehus i henhold til reglene i Miljøverndepartementets retningslinje T-1442/2012. Støyberegningene foretas med NORTIM, verktøyet som tar hensyn til topografi ved beregning av lydutbredelse. Resultatene viser at det...
Det er gjennomført støyberegninger for Bergen lufthavn Flesland relatert til Miljøverndepartementets retningslinje for behandling av støy i plansaker (T-1442) samt forurensningsforskriften.I dette arbeidet har det vært utført beregninger av tiltak relatert til handlingsplan slik...
Det er gjennomført støyberegninger for Oslo lufthavn Gardermoen relatert til Miljøverndepartementets retningslinje for behandling av støy i plansaker (T-1442) samt forurensningsforskriften. Det er også utført beregning av tiltak relatert til handlingsplan slik forurensningsforskriften krever...
Within software engineering, there are several standardisation activities aiming at developing the best general process metamodel. Two candidate standards are SPEM (of OMG) and SMSDM (of ISO/IEC). This paper studies each of these metamodels with respect to model-driven development (MDD), evaluating...
SINTEF Fiskeri og havbruk har sammen med professor Bjørn Asheim gjennomført en analyse av innovasjon og kompetanse i sjømatindustrien på oppdrag av Nærings- og fiskeridepartementet. Analysen vii inngå i det faglige grunnlaget til utvalget som foretar en gjennomgang av sjømatindustriens rammevilkår...
In this report we first draw a picture of a typical emergency response situation with focus on the roles and resources involved. Then, we go into more details on the local command post and operational area, describing characteristics, users, equipment, needs and requirements, information flow and...
I forbindelse med utbygging av Nordre avlastningsveg gjennom Trondheim, har SINTEF IKT fått i oppdrag av Asplan Viak AS på vegne av Statens vegvesen å vurdere støyen fra tunnelåpningen på nye Osloveg ved Marienborg i Trondheim. Rapporten kommenterer kort beregningsgrunnlaget for støy fra...