Fakultet for naturvitenskap og teknologi: Nye registreringer
Viser treff 3121-3140 av 5336
-
ICEBEAR: An All‐Digital Bistatic Coded Continuous Wave Radar for Studies of the E Region of the Ionosphere
(Journal article; Peer reviewed, 2019-04-15)The Ionospheric Continuous-wave E region Bistatic Experimental Auroral Radar (ICEBEAR) is a coherent scatter ionospheric radar. It operates at a frequency of 49.5 MHz, which is ideal for observing E region coherent echoes. The radar is located in Saskatchewan, Canada, and is operated by the University of Saskatchewan. The ICEBEAR system uses a continuous-wave (CW) signal and requires isolation between ... -
DaoCron. Job Scheduler for Autonomous Observation Units in the Arctic Tundra
(Master thesis; Mastergradsoppgave, 2019-05-31)DaoCron is a service which enables users to schedule tasks periodically. The Distributed Arctic Observatory (DAO) aims to improve the data collection from the arctic tundra using Observation Units (OUs). These OUs are given a set of tasks which they are expected to schedule at certain intervals. In order to schedule these tasks at certain time-intervals one can make use of Cron, which is a tool for ... -
Verification of the Chord protocol in TLA+
(Master thesis; Mastergradsoppgave, 2019-05-15)In traditional software engineering methodologies, software correctness is established through testing and progressive fault mitigation. Safety properties are established by demonstrating that a sufficiently large number of test cases fail to violate them. In contrast, formal verification methods permit a systems design process where desired safety properties are stated outright in the system ... -
Differential invariants of self-dual conformal structures
(Journal article; Tidsskriftartikkel; Peer reviewed, 2016-06-17)We compute the quotient of the self-duality equation for conformal metrics by the action of the diffeomorphism group. We also determine Hilbert polynomial, counting the number of independent scalar differential invariants depending on the jet-order, and the corresponding Poincaré function. We describe the field of rational differential invariants separating generic orbits of the diffeomorphism ... -
Differential invariants of Lie pseudogroups
(Doctoral thesis; Doktorgradsavhandling, 2019-05-10)We compute differential invariants for several Lie pseudogroups, and use them for solving the equivalence and classification problem for a variety of mathematical structures appearing in geometry and mathematical physics. We demonstrate utility of the algebra of rational scalar differential invariants for solving these two problems, also in cases where the structures are given as solutions to a ... -
DiDiMap. Diet Diary and Consumption Control for Monitoring Bowel Dysfunctions and low-FODMAP Diet App
(Master thesis; Mastergradsoppgave, 2019-05-31)The purpose of this project was to design and implement a mobile application for people with bowel dysfunctions, intolerances, and food allergies. The application was expected to provide all needed functionality for the target groups day to day challenges. Irritable bowel syndrome, intolerances, and food allergies affect a significant portion of the population. On a world basis, 15\% of the ... -
VisualBox. A Generic Data Integration and Visualization Tool
(Master thesis; Mastergradsoppgave, 2019-05-30)The number of cellular Internet of Things (IoT) connections is expected to grow at a rate of 30% each year and is reaching into the billions by 2019. The world of IoT can be fragmented since data sources span a wide variety of protocols, API's, authentication methods and file formats. Data collection and processing can be complex and producing visualizations for value extraction can be a tedious ... -
Improved LLM Methods Using Linear Regression
(Journal article; Peer reviewed, 2017-12-04)This paper is focused on investigations of the improved correction of the effect of variation in incidence angle on ScanSAR data. Conventional correction methods (such as LLM, locally linear mapping) typically assume that each target class has a similarity distribution in the middle of the image. The objectives of this study are to extend the correction algorithm to full swath width without any ... -
Speeding Up Non-Gaussian POLSAR Image Analysis
(Journal article; Peer reviewed, 2017-12-04)Non-Gaussian statistical models fit SAR data better than Gaussian-based statistics, in most cases, but are complicated and time-consuming to use for unsupervised image segmentation via probabilistic clustering. The more advanced the model, the more complicated and slow the clustering. The U-distribution has been demonstrated to be one of the most flexible models, capturing the Gaussian/Wishart, the ... -
Evidence of L-mode electromagnetic wave pumping of ionospheric plasma near geomagnetic zenith
(Journal article; Peer reviewed, 2018-02-21)The response of ionospheric plasma to pumping by powerful HF (high frequency) electromagnetic waves transmitted from the ground into the ionosphere is the strongest in the direction of geomagnetic zenith. We present experimental results from transmitting a left-handed circularly polarized HF beam from the EISCAT (European Incoherent SCATter association) Heating facility in magnetic zenith. The ... -
First Simultaneous Rocket and Radar Detections of Rare Low Summer Mesospheric Clouds
(Journal article; Peer reviewed, 2018-06-10)On 30 June 2016 a layer of dust, possibly meteoric smoke particles (MSPs), was observed with a rocket borne probe at 69.29°N, 16.02°E and altitudes of ~74 km where patchy thin cloud layers, detected with the Middle Atmosphere Alomar Radar System, were present. The rocket traversed a layer with a net positive dust charge density of ~107 unit charges per cubic meters and a number density of neutral ... -
Faraday rotation fluctuations of MESSENGER radio signals through the equatorial lower corona near solar minimum
(Journal article; Peer reviewed; Tidsskriftsartikkel, 2016-12-26)Faraday rotation (FR) of transcoronal radio transmissions from spacecraft near superior conjunction enables study of the temporal variations in coronal plasma density, velocity, and magnetic field. The MESSENGER spacecraft 8.4 GHz radio, transmitting through the corona with closest line-of-sight approach 1.63–1.89 solar radii and near-equatorial heliolatitudes, was recorded soon after the deep ... -
How is the carbon and oxygen isotope composition of foraminiferal tests influenced by methane seepage?
(Master thesis; Mastergradsoppgave, 2019-06-05)The focus of this thesis is how methane seepage influences foraminifera l tests. Specifically, How how carbon and oxygen isotopes in planktic foraminifera tests are influenced by methane seepage. The study area is Vestnesa Ridge were four gravity cores were collected during a CAGE cruise in 2013. The cores were taken both from the southern side, where flares has have been recorded, and from the ... -
Increasing physical activity for individuals with intellectual disability through indoor bike cycling and exergaming
(Master thesis; Mastergradsoppgave, 2019-06-01)Studies reveal that individuals with intellectual disabilities have more sedentary lifestyles than the general population. Regular physical activity is of both medical and social importance, reducing risks of cardiovascular diseases and obesity. Health organizations recommend that everyone should at least engage in 150 minutes of physical activity each week because of the beneficial health effects. There ... -
ColdNotify: A Notification Service For A Distributed Arctic Observatory
(Master thesis; Mastergradsoppgave, 2019-05-15)One of the key challenges in the Distributed Arctic Observatory (DAO) project is designing infrastructure to reliably interact with remote, configurable observation units that capture and provide observation data from challenging environments. DAO’s infrastructure is a work in progress and researching alternative strategies for interacting with observation units is necessary to gain experience ... -
Thermal analysis of PTC heaters. Thermography of PTC and Peltier heaters. Labview® based control and Matlab® Simulink simulations of PTC heaters.
(Master thesis; Mastergradsoppgave, 2018-06-15)A large variety of heating devices are being used in the industry. Two widely used smart heating devices are discussed in this study. These heating devices are Peltier/thermoelectric (TE) and Positive Temperature Coefficient (PTC) resistive heater. This study provides detailed experimentation of PTC heater and Peltier device at room conditions and cold environment. The thermal response of both ... -
Cryosphere-controlled methane release throughout the last glacial cycle
(Doctoral thesis; Doktorgradsavhandling, 2018-12-04)<p>The cryosphere of Arctic regions is undergoing rapid change due to century-scale global warming superimposed on millennial-scale natural climatic perturbations that started at the end of the last glacial cycle approximately 20,000 years ago [Slaymaker and Kelly, 2009]. The cryosphere refers to areas where low temperatures freeze water and form ice in the ocean (sea ice), on land (glaciers, ... -
New Perspectives for an Intelligent Risk-Based Decision Support Framework for Asset Integrity Management. Means for Sustainable Asset Integrity Management in the Norwegian High-North.
(Master thesis; Mastergradsoppgave, 2018-11-20)The Norwegian Arctic - Barents Sea, is attracting more oil and gas developments. The associated growth of assets will face heightened integrity issues considering the prevalent climatic and challenging operating conditions in the Arctic. This thesis focuses on identifying asset integrity management critical success factors which are often neglected but are the bed rock of asset integrity management. ... -
Neo: Virtual Object Modeling using Commodity Hardware
(Master thesis; Mastergradsoppgave, 2019-05-15)Recent developments in augmented reality technology have paved way for newapplications in a wide range of areas. These include the commercial markets,medicine applications, military applications and education. The technology pro-vides immersive images to enhance our perception of the world. Augmentedreality addresses challenges related to problem-solving by seamlessly integrat-ing digital images ... -
First results from the Njord device for space related plasma experiments
(Conference object; Konferansebidrag, 2007-08-05)The Njord device at Aurolab, University of Tromsø, has been constructed to carry out experiments on instabilities and heating in plasma flows and beams, with relevance to near-Earth space plasmas. For plasma production, Njord combines a 13.56 MHz RF source with a Double Plasma chamber equipped with filaments along the walls. The source is equipped dwith two coils operated at 0-6A, providing magnetic ...