Blar i NTNU Open på tittel
Viser treff 100356-100375 av 103408
-
Verification of collision avoidance algorithms in open sea and full visibility using fuzzy logic
(Journal article; Peer reviewed, 2023) -
Verification of Collision Avoidance Utilizing Data-driven Fuzzy Logic
(Master thesis, 2023)In all the hazardous accidents at sea, ship collision is always the most frequent one. It has been paid great attention, and International Regu- lations for Preventing Collisions at Sea (COLREG) are being complied with. ... -
Verification of downhole choke technology in a simulator using data from a North Sea well
(Journal article; Peer reviewed, 2019)The most important contributer to Improved Oil Recovery (IOR) on mature fields is drilling of infill wells. Managed Pressure Drilling (MPD) and Continuous Circulation System (CCS) techniques can be used for improved control ... -
Verification of Experimentally Determined Permeability and Form Coefficients of Al2O3 Ceramic Foam Filters (CFF) at High and Low Flow Velocity Using a CFD Model
(Journal article, 2018)Filtration using Ceramic Foam Filters (CFFs) is a method widely used to separate inclusions from molten aluminium. In the present work, the specific permeability and form drag coefficients of nominal 50 mm thick commercial ... -
Verification of gene expression differences on a protein level - An IHC study
(Master thesis, 2016)Background: Inflammatory bowel disease, a collective term that includes ulcerative colitis and Crohns disease, is an inflammatory disorder that affects the gastrointestinal tract, with symptoms like severe diarrea, pain, ... -
Verification of heat and mass transfer closures in industrial scale packed bed reactor simulations
(Journal article; Peer reviewed, 2018)Particle-resolved direct numerical simulation (PR-DNS) is known to provide an accurate detailed insight into the local flow phenomena in static particle arrays. Most PR-DNS studies in literature do not account for reactions ... -
Verification of Numerical Offshore Wind Turbine Models Based on Full Scale Alpha Ventus Data within OC5 Phase III
(Chapter, 2018)The main objective of the Offshore Code Comparison Collaboration Continuation, with Correlation (OC5) project, is validation of aero-hydro-servo-elastic simulation tools for offshore wind turbines (OWTs) through comparison ... -
Verification of simulation program for high head hydro power plant with air cussion
(Master thesis, 2013)Europe's energy production is experiencing a shift towards larger volumes of renewable energy. This developement, however benificiary, poses several challenges. One of them being the lack of regulation, as the energy is ... -
Verification of the dynamic properties of the Svinesund Bridge by wind-induced acceleration measurements
(Master thesis, 2012)The New Svinesund Bridge had its grand opening in June 2005. Due to the prerequisite that the new bridge should interplay with the old one, the final design ended up in a slender and aesthetic bridge. Because of the slender ... -
Verification of the IEC 61508 PFH formula for 2oo3 configuration using Markov chains and Petri nets
(Peer reviewed; Journal article, 2020)Purpose The purpose of this paper is to check the consistency of the IEC 61508 standard formula related to the average failure frequency (PFH: the probability of dangerous failure per hour) for a commonly used safety ... -
Verification of the Wind Induced Dynamic Response of the Svinesund Bridge in the Time Domain by the use of Autoregressive Simulations
(Master thesis, 2012)The subject of this thesis is related to verification of wind induced dynamic response of the Svinesund Bridge in the time domain by the use of autoregressive simulations. This thesis starts by giving a theoretical study ... -
Verified Verifiers for Verifying Elections
(Journal article; Peer reviewed, 2019)The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed ... -
Verifikasjon av beregningsmetodikk for fiber- og etteroppspente flatdekker
(Master thesis, 2022)Fiberarmering er et felt innen betongkonstruksjoner med stort potensiale. Dagens bruk begrenser seg derimot ofte til ikke-bærende konstruksjoner som plate på mark og sprøytebetong. Det har vært forskning på bruken av fiber ... -
Verifikasjon av beregningsmetodikk for fiber- og etteroppspente flatdekker
(Master thesis, 2022)Fiberarmering er et felt innen betongkonstruksjoner med stort potensiale. Dagens bruk begrenser seg derimot ofte til ikke-bærende konstruksjoner som plate på mark og sprøytebetong. Det har vært forskning på bruken av fiber ... -
Verifikasjon av beregningsmodeller for skjærkapasitet av betongkonstruksjoner - En analyse av beregningsmodeller basert på Critical Shear Crack Theory
(Master thesis, 2018)Denne avhandlingen vurderer beregningsmodeller for skjærkapasitet til rektangulære slakarmerte betongbjelker og enveisdekker uten skjærarmering, dette relatert til den planlagte Eurokode 2 revisjonen. Beregningsmodellen ... -
Verifikasjon av den vindinduserte dynamiske responsen av Svinesundsbrua i tidsplanet ved hjelp av autoregressive simuleringer
(Master thesis, 2012)Denne rapporten omhandler simulering av vindfelt ved hjelp av autoregressive simuleringer. Målet med arbeidet var å kontrollere nøyaktigheten og kartlegge modellusikkerheten til eksisterende beregningsverktøy som benyttes ... -
Verifikasjon av den vindinduserte dynamiske responsen av Svinesundsbrua i tidsplanet ved hjelp av Monte Carlo simuleringer
(Master thesis, 2012)Denne avhandlingen omhandler den dynamiske responsen av Svinesundsbrua. Hovedformålet er å vurdere usikkerheten tilknyttet de eksisterende beregningsverktøyene som benyttes til å beregne vindindusert dynamisk respons ved ... -
Verifikasjon av Svinesundsbruas dynamiske egenskaper ved hjelp av trafikkinduserte tøyningsmålinger
(Master thesis, 2012)Det er benyttet systemidentifikasjon for å verifisere Svinesundsbroas dynamiske egenskaper. Ti tøyningsinduserte tidsmålinger har blitt analysert for å kunne si noe om broas fire første egenfrekvenser, egenmoder og demping. ... -
Verifikasjon av tøyninger i ei fritt frambygg bru
(Master thesis, 2017)Denne oppgaven verifiserer tøyninger i Dolmsundbrua. For å verifisere disse tøyningene er en realistisk modellering av brua nødvendig. Brua modelleres i rammeanalyseprogrammet NovaFrame, og modelleringen av brua utgjør den ... -
Verifikasjon og dokumentasjon av branntekniske krav i teknisk forskrift ved bruk av trekonstruksjoner i fleretasjes bygninger
(Master thesis, 2014)På grunn av den positive miljøprofilen til tre som bygningsmateriale, har interessen for fleretasjes trekonstruksjoner økt de siste årene. Fra et brannsikkerhetsperspektiv er det viktig at høye trehus oppnår det sikkerhetsnivået, ...