Security Requirements Specification and Tracing within Topological Functioning Model

Specification and traceability of security requirements is still a challenge since modeling and analysis of security aspects of systems require additional efforts at the very beginning of software development. The topological functioning model is a formal mathematical model that can be used as a reference model for functional and non-functional requirements of the system. It can also serve as a reference model for security requirements. The purpose of this study is to determine the approach to how security requirements can be specified and traced using the topological functioning model. This article demonstrates the suggested approach and explains its potential benefits and limitations

Behavioral responses of free-flying Drosophila melanogaster to shiny, reflecting surfaces

Active locomotion plays an important role in the life of many animals, permitting them to explore the environment, find vital resources, and escape predators. Most insect species rely on a combination of visual cues such as celestial bodies, landmarks, or linearly polarized light to navigate or orient themselves in their surroundings. In nature, linearly polarized light can arise either from atmospheric scattering or from reflections off shiny non-metallic surfaces like water. Multiple reports have described different behavioral responses of various insects to such shiny surfaces. Our goal was to test whether free-flying Drosophila melanogaster, a molecular genetic model organism and behavioral generalist, also manifests specific behavioral responses when confronted with such polarized reflections. Fruit flies were placed in a custom-built arena with controlled environmental parameters (temperature, humidity, and light intensity). Flight detections and landings were quantified for three different stimuli: a diffusely reflecting matt plate, a small patch of shiny acetate film, and real water. We compared hydrated and dehydrated fly populations, since the state of hydration may change the motivation of flies to seek or avoid water. Our analysis reveals for the first time that flying fruit flies indeed use vision to avoid flying over shiny surfaces

Advanced data analysis for traction force microscopy and data-driven discovery of physical equations

The plummeting cost of collecting and storing data and the increasingly available computational power in the last decade have led to the emergence of new data analysis approaches in various scientific fields. Frequently, the new statistical methodology is employed for analyzing data involving incomplete or unknown information. In this thesis, new statistical approaches are developed for improving the accuracy of traction force microscopy (TFM) and data-driven discovery of physical equations. TFM is a versatile method for the reconstruction of a spatial image of the traction forces exerted by cells on elastic gel substrates. The traction force field is calculated from a linear mechanical model connecting the measured substrate displacements with the sought-for cell-generated stresses in real or Fourier space, which is an inverse and ill-posed problem. This inverse problem is commonly solved making use of regularization methods. Here, we systematically test the performance of new regularization methods and Bayesian inference for quantifying the parameter uncertainty in TFM. We compare two classical schemes, L1- and L2-regularization with three previously untested schemes, namely Elastic Net regularization, Proximal Gradient Lasso, and Proximal Gradient Elastic Net. We find that Elastic Net regularization, which combines L1 and L2 regularization, outperforms all other methods with regard to accuracy of traction reconstruction. Next, we develop two methods, Bayesian L2 regularization and Advanced Bayesian L2 regularization, for automatic, optimal L2 regularization. We further combine the Bayesian L2 regularization with the computational speed of Fast Fourier Transform algorithms to develop a fully automated method for noise reduction and robust, standardized traction-force reconstruction that we call Bayesian Fourier transform traction cytometry (BFTTC). This method is made freely available as a software package with graphical user-interface for intuitive usage. Using synthetic data and experimental data, we show that these Bayesian methods enable robust reconstruction of traction without requiring a difficult selection of regularization parameters specifically for each data set. Next, we employ our methodology developed for the solution of inverse problems for automated, data-driven discovery of ordinary differential equations (ODEs), partial differential equations (PDEs), and stochastic differential equations (SDEs). To find the equations governing a measured time-dependent process, we construct dictionaries of non-linear candidate equations. These candidate equations are evaluated using the measured data. With this approach, one can construct a likelihood function for the candidate equations. Optimization yields a linear, inverse problem which is to be solved under a sparsity constraint. We combine Bayesian compressive sensing using Laplace priors with automated thresholding to develop a new approach, namely automatic threshold sparse Bayesian learning (ATSBL). ATSBL is a robust method to identify ODEs, PDEs, and SDEs involving Gaussian noise, which is also referred to as type I noise. We extensively test the method with synthetic datasets describing physical processes. For SDEs, we combine data-driven inference using ATSBL with a novel entropy-based heuristic for discarding data points with high uncertainty. Finally, we develop an automatic iterative sampling optimization technique akin to Umbrella sampling. Therewith, we demonstrate that data-driven inference of SDEs can be substantially improved through feedback during the inference process if the stochastic process under investigation can be manipulated either experimentally or in simulations

Deep learning in automated ultrasonic NDE -- developments, axioms and opportunities

The analysis of ultrasonic NDE data has traditionally been addressed by a trained operator manually interpreting data with the support of rudimentary automation tools. Recently, many demonstrations of deep learning (DL) techniques that address individual NDE tasks (data pre-processing, defect detection, defect characterisation, and property measurement) have started to emerge in the research community. These methods have the potential to offer high flexibility, efficiency, and accuracy subject to the availability of sufficient training data. Moreover, they enable the automation of complex processes that span one or more NDE steps (e.g. detection, characterisation, and sizing). There is, however, a lack of consensus on the direction and requirements that these new methods should follow. These elements are critical to help achieve automation of ultrasonic NDE driven by artificial intelligence such that the research community, industry, and regulatory bodies embrace it. This paper reviews the state-of-the-art of autonomous ultrasonic NDE enabled by DL methodologies. The review is organised by the NDE tasks that are addressed by means of DL approaches. Key remaining challenges for each task are noted. Basic axiomatic principles for DL methods in NDE are identified based on the literature review, relevant international regulations, and current industrial needs. By placing DL methods in the context of general NDE automation levels, this paper aims to provide a roadmap for future research and development in the area.Comment: Accepted version to be published in NDT & E Internationa

Exploring the application of ultrasonic phased arrays for industrial process analysis

This thesis was previously held under moratorium from 25/11/19 to 25/11/21Typical industrial process analysis techniques require an optical path to exist between the measurement sensor and the process to acquire data used to optimise and control an industrial process. Ultrasonic sensing is a well-established method to measure into optically opaque structures and highly focussed images can be generated using multiple element transducer arrays. In this Thesis, such arrays are explored as a real-time imaging tool for industrial process analysis. A novel methodology is proposed to characterise the variation between consecutive ultrasonic data sets deriving from the ultrasonic hardware. The pulse-echo response corresponding to a planar back wall acoustic interface is used to infer the bandwidth, pulse length and sensitivity of each array element. This led to the development of a calibration methodology to enhance the accuracy of experimentally generated ultrasonic images. An algorithm enabling non-invasive through-steel imaging of an industrial process is demonstrated using a simulated data set. Using principal component analysis, signals corresponding to reverberations in the steel vessel wall are identified and deselected from the ultrasonic data set prior to image construction. This facilitates the quantification of process information from the image. An image processing and object tracking algorithm are presented to quantify the bubble size distribution (BSD) and bubble velocity from ultrasonic images. When tested under controlled dynamic conditions, the mean value of the BSD was predicted within 50% at 100 mms-1 and the velocity could be predicted within 30% at 100 mms-1. However, these algorithms were sensitive to the quality of the input image to represent the true bubble shape. The consolidation of these techniques demonstrates successful application of ultrasonic phased array imaging, both invasively and noninvasively, to a dynamic process stream. Key to industrial uptake of the technology are data throughput and processing, which currently limit its applicability to real-time process analysis, and low sensitivity for some non-invasive applications.Typical industrial process analysis techniques require an optical path to exist between the measurement sensor and the process to acquire data used to optimise and control an industrial process. Ultrasonic sensing is a well-established method to measure into optically opaque structures and highly focussed images can be generated using multiple element transducer arrays. In this Thesis, such arrays are explored as a real-time imaging tool for industrial process analysis. A novel methodology is proposed to characterise the variation between consecutive ultrasonic data sets deriving from the ultrasonic hardware. The pulse-echo response corresponding to a planar back wall acoustic interface is used to infer the bandwidth, pulse length and sensitivity of each array element. This led to the development of a calibration methodology to enhance the accuracy of experimentally generated ultrasonic images. An algorithm enabling non-invasive through-steel imaging of an industrial process is demonstrated using a simulated data set. Using principal component analysis, signals corresponding to reverberations in the steel vessel wall are identified and deselected from the ultrasonic data set prior to image construction. This facilitates the quantification of process information from the image. An image processing and object tracking algorithm are presented to quantify the bubble size distribution (BSD) and bubble velocity from ultrasonic images. When tested under controlled dynamic conditions, the mean value of the BSD was predicted within 50% at 100 mms-1 and the velocity could be predicted within 30% at 100 mms-1. However, these algorithms were sensitive to the quality of the input image to represent the true bubble shape. The consolidation of these techniques demonstrates successful application of ultrasonic phased array imaging, both invasively and noninvasively, to a dynamic process stream. Key to industrial uptake of the technology are data throughput and processing, which currently limit its applicability to real-time process analysis, and low sensitivity for some non-invasive applications

Advancements and Breakthroughs in Ultrasound Imaging

Ultrasonic imaging is a powerful diagnostic tool available to medical practitioners, engineers and researchers today. Due to the relative safety, and the non-invasive nature, ultrasonic imaging has become one of the most rapidly advancing technologies. These rapid advances are directly related to the parallel advancements in electronics, computing, and transducer technology together with sophisticated signal processing techniques. This book focuses on state of the art developments in ultrasonic imaging applications and underlying technologies presented by leading practitioners and researchers from many parts of the world