Sökning: "end-to-end separation"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden end-to-end separation.

1. 1. Secure System Virtualization : End-to-End Verification of Memory Isolation

   Författare :Hamed Nemati; Mads Dam; Gustavo Betarte; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; Cache attack; Security Monitor; Information Flow; Computer Science; Datalogi;

   Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER

3. 2. Statistical Mechanical Studies of Titrating Polyelectrolytes

   Författare :Magnus Ullner; Kemiska institutionen; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; integral equation theory; variational calculations; Monte Carlo simulations; end-to-end separation; apparent dissociation constant; titrating polyelectrolytes; electrostatic interactions; Physical chemistry; Fysikalisk kemi;

   Sammanfattning : Different models and statistical mechanical approximations for titrating polyelectrolytes are studied and the results compared with Monte Carlo simulations and experimental data. Three types of models have been used in the simulations: i) rigid structures and freely jointed chains with ii) rigid bonds and iii) flexible, harmonic bonds. LÄS MER

4. 3. Controlling the Pore Size and Morphology of Mesoporous Silica

   Författare :Emma M. Johansson; Magnus Odén; José M. Cordoba; Niklas Hedin; Linköpings universitet; []
   Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

   Sammanfattning : Mesoporous silica with a hexagonally ordered pore structure (SBA-15) has been synthesized. Through variations in the synthesis conditions several morphologies, such as fibers, sheets and separate rods, have been realized. LÄS MER

5. 4. Drill Failure Detection based on Sound using Artificial Intelligence

   Författare :Thanh Tran; Jan Thim; Sebastian Bader; Kalle Åström; Mittuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Convolutional neural network; machine failure detection; Mel-spectrogram; long short-term memory; sound signal processing;

   Sammanfattning : In industry, it is crucial to be able to detect damage or abnormal behavior in machines. A machine's downtime can be minimized by detecting and repairing faulty components of the machine as early as possible. It is, however, economically inefficient and labor-intensive to detect machine fault sounds manual. LÄS MER

7. 5. Enhancing Machine Failure Detection with Artificial Intelligence and sound Analysis

   Författare :Thanh Tran; Jan Lundgren; Sebastian Bader; Domenico Capriglione; Mittuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Failure Detection; Machine Learning; Deep Learning; Sound Signal Processing; Audio Augmentation;

   Sammanfattning : The detection of damage or abnormal behavior in machines is critical in industry, as it allows faulty components to be detected and repaired as early as possible, reducing downtime and minimizing operating and personnel costs. However, manual detection of machine fault sounds is economically inefficient and labor-intensive. LÄS MER