Miracle-dz/UniFAR-FTUs huggingface dataset:
A pattern-driven process for secure service-oriented applications

During the last few years, Service-Oriented Architecture (SOA) has been considered to be the new phase in the evolution of distributed enterprise applications. Even though there is a common acceptance of this concept, a real problem hinders the widespread use of SOA: A methodology to design and build secure service-oriented applications is needed. In this dissertation, we design a novel process to secure service oriented applications. Our contribution is original not only because it applies the MDA approach to the design of service-oriented applications but also because it allows their scouring by dynamically applying security patterns throughout the whole process. Security patterns capture security knowledge and describe security mechanisms. In our process, we present a structured map of security patterns for SOA and web services and its corresponding catalog. At the different steps of a software lifecycle, the architect or designer needs to make some security decisions. An approach using a decision tree made of security pattern nodes is proposed to help making these choices. We show how to extract a decision tree from our map of security patterns. Model-Driven Architecture (MDA) is an approach which promotes the systematic use of models during a system's development lifecycle. In the dissertation we describe a chain of transformations necessary to obtain secure models of the service-oriented application. A main benefit of this process is that it decouples the application domain expertise from the security expertise that are both needed to build a secure application. Security knowledge is captured by pre-defined security patterns, their selection is rendered easier by using the decision trees and their application can be automated. A consequence is that the inclusion of security during the software development process becomes more convenient for the architects/designers. A second benefit is that the insertion of security is semi-automated and traceable. Thus, the process is flexible and can easily adapt to changing requirements. Given that SOA was developed in order to provide enterprises with modular, reusable and adaptable architectures, but that security was the principal factor that hindered its use, we believe that our process can act as an enabler for service-oriented applications.
Overview of Design and Validation of the Fine Guidance Sensor Mechanisms for JWST

Three mechanisms have been developed for cryogenic operation within the Fine Guidance Sensor, to fly on the James Webb Space Telescope (JWST): • Two linear translation mechanisms (Fig.1) facilitate on-orbit focusing of each of the Guider and Near Infrared Imager and Slitless Spectrograph (NIRISS) instrument imaging systems (either side of bench) • A dual wheel mechanism (Fig.2) provides a selection of infra-red filters, masks and grisms to enable imaging and slitless spectroscopy functions The Fine Guidance Sensor (FGS) is one of four JWST instruments, having the primary function to provide a redundant guiding capability (95% probability each of finding a guide star anywhere in the sky). The FGS instrument features a science module referred to as the Near Infrared Imager and Slitless Spectrograph (NIRISS), which enables imaging and grism spectroscopy, with a particular capability for exoplanet detection and atmospheric characterisation [1]. 1. INSTRUMENT & MECHANISM OVERVIEW FGS is provided by the Canadian Space Agency with COM DEV Ltd as the prime contractor (under CSA contract 9F006-030197). The flight instrument completed its cryo-alignment testing, system level vibration, final characterisation tests and was delivered to NASA for integration in July 2012. Figure 1. PFM focus mechanisms: a) NIRISS coarse focus mechanism, b) FGS fine focus mechanism Figure 2. Dual Wheel Mechanism in NIRISS Table 1. Focus MechanismsRequirement Summary Focus Mechanism Requirement Status Range of Travel: FFM ±1.3mm CFM ±3.1mm ≥ ±1.38mm ±3.2mm, 6.9mm between hardstops Rate of travel 0.1 mm/s 0.08-0.09 mm/s for PFM Placement ±0.3mm , 0.5° Compliant Resolution FFM < 0.01mm 0.0022mm (per step) CFM < 0.05mm <0.01mm
Design and implementation of attitude PID controller with fuzzy system to adjust the controller gain values for quadrotor

This paper presents a completely practical control approach for quadrotor drone. Quadrotor is modeled using Euler-Newton equations. For stabilization and control of quadrotor a classic PID controller has been designed and implemented on the plant and a fuzzy controller is used to adjust the controller parameters. Considering that quadrotor is a nonlinear system, using classic controllers for the plant is not effective enough. Therefore, using fuzzy system which is a nonlinear controller is effective for the nonlinear plant. According to the desired set point, fuzzy system adjusts the controller gain values to improve the performance of quadrotor which leads to better results than classical PID controller. To study the performance of fuzzy PID controller on attitude control of the system, a quadrotor is installed onto the designed stand. The system consists of accelerometer and gyroscope sensors and a microcontroller which is used to design fuzzy PID attitude controller for the quadrotor. Regarding to the considerable noises of the experimental data, Kalman filter is used to reduce them. Finally, using the Kalman filter leads to better estimation of the quadrotor angle position and the fuzzy PID controller performs the desired motions successfully.
On possibility of creating a muon-catalytic reactor based on periodic injection of ball lightnings in a chamber with D-T mixture

The most perspective approach to nuclear fusion is the concept of muon-catalyzed fusion. As follows from theory, the reaction can occur at a very low temperatures. The main problem of muon-catalyzed nuclear fusion lies in the fact that existing sources, such as linear accelerators, require considerable energy expenses for the production of muons. A cheap source of muons is ball lightning, which interacts with a target or a dense low-temperature deuterium-tritium mixture. Earlier in experiments, the phenomenon of anomalous passage of ball lightning through solid-state absorbing filter was discovered [1]. This phenomenon can be explained only by the multistage generation of particles at the interaction of highenergy protons of the external shell of ball lightning with a dense medium [2]. The existence of muons and neutrino at the interaction of ball lightning with a thick metal absorber is confirmed by the presence of a ball lightning passed through the absorber 6 cm thick from plumbum [2]. In the ordinary state, the energy that protons of ball lightning gained in alternating fields is equal to 20-25 MeV [3]. Using the energy converter allows protons to gain energy, which is required for generation the pions. The decay of pions, as is well known, leads to generation of muons and muon neutrino. As is known, one and the same negative muon can participate in 120-150 fusion events for during of its existence. Generation of muons by means of the ball lightning makes it possible to create a breakthrough technology in nuclear fusion which has no unsolvable problems. In a short time it is possible to create a compact nuclear fusion reactor. The approximate cost of creating a demonstration version of the reactor based on muon catalysis in one hundred million times less than the cost of the demo version of tokamak. Ball lightning is the key to solving the problem of obtaining environmental pure energy. This key must be used.
De novo transcriptome assembly

In this thesis, a de novo transcriptome assembler was implemented based on the overlap-layout-consensus paradigm. It was written in the C++ programming language and was named Ra which is short for RNA assembler. Its overlap phase relies on the enhanced suffix arrays and reproduces exact overlaps between input reads. The layout phase uses several methods for graph simplification which includes trimming and bubble popping. Due to the exact overlap phase there is no need for a consensus phase at this moment but there exists one which is based on the partial order alignment algorithm. Conducted tests have shown that Ra needs improvements to compete with other transcriptome assemblers. Source code is available at https://github.com/rvaser/ra.
Quantile regression of microgeographic variation in population characteristics of an invasive vertebrate predator

Localized ecological conditions have the potential to induce variation in population characteristics such as size distributions and body conditions. The ability to generalize the influence of ecological characteristics on such population traits may be particularly meaningful when those traits influence prospects for successful management interventions. To characterize variability in invasive Brown Treesnake population attributes within and among habitat types, we conducted systematic and seasonally-balanced surveys, collecting 100 snakes from each of 18 sites: three replicates within each of six major habitat types comprising 95% of Guam’s geographic expanse. Our study constitutes one of the most comprehensive and controlled samplings of any published snake study. Quantile regression on snake size and body condition indicated significant ecological heterogeneity, with a general trend of relative consistency of size classes and body conditions within and among scrub and Leucaena forest habitat types and more heterogeneity among ravine forest, savanna, and urban residential sites. Larger and more robust snakes were found within some savanna and urban habitat replicates, likely due to relative availability of larger prey. Compared to more homogeneous samples in the wet season, variability in size distributions and body conditions was greater during the dry season. Although there is evidence of habitat influencing Brown Treesnake populations at localized scales (e.g., the higher prevalence of larger snakes—particularly males—in savanna and urban sites), the level of variability among sites within habitat types indicates little ability to make meaningful predictions about these traits at unsampled locations. Seasonal variability within sites and habitats indicates that localized population characterization should include sampling in both wet and dry seasons. Extreme values at single replicates occasionally influenced overall habitat patterns, while pooling replicates masked variability among sites. A full understanding of population characteristics should include an assessment of variability both at the site and habitat level.
Fe b 20 18 Cakewalk Sampling

Combinatorial optimization is a common theme in computer science which underlies a considerable variety of problems. In contrast to the continuous setting, combinatorial problems require special solution strategies, and it’s hard to come by generic schemes like gradient methods for continuous domains. We follow a standard construction of a parametric sampling distribution that transforms the problem to the continuous domain, allowing us to optimize the expectation of a given objective using estimates of the gradient. In spite of the apparent generality, such constructions are known to suffer from highly variable gradient estimates, and thus require careful tuning that is done in a problem specific manner. We show that a simple trick of converting the objective values to their cumulative probabilities fixes the distribution of the objective, allowing us to derive an online optimization algorithm that can be applied in a generic fashion. As an experimental benchmark we use the task of finding cliques in undirected graphs, and we show that our method, even when blindly applied, consistently outperforms related methods. Notably, on the DIMACS clique benchmark, our method approaches the performance of the best clique finding algorithms without access to the graph structure, and only through objective function evaluations, thus providing significant evidence to the generality and effectivity of our method.
Low Cost Optical 3 D Tracking System for 3 D Interaction in Virtual Reality

The detection and tracking of a users’ head movement or a part of their body (hands and faces) represent a very important step in the design of Human Computer Interaction (HCI) in virtual reality systems (VR). Low cost motion tracking systems are required for lots of different applications for health, industry, serious game applications or collaborative virtual environment. The development of such systems is still challenging. A low-cost 3D tracking system is presented in this chapter. This system has been developed and tested in order to move away from traditional 2D interaction techniques (keyboard and mouse) in an attempt to improve user’s experience while using a virtual environment. Such a tracking system is used to implement 3D interaction techniques that augment user experience, promote user’s sense of transportation in the virtual world as well as user’s awareness of their partners. The tracking system is a passive optical tracking system using stereoscopy a technique allowing the determination of three dimensional information of a real object from a couple of images. The infra-red rays are reflected by reflective markers, the resulting monochromic images are processed in order to compute the 3D positions of the markers in real-time. The presented tracking system is a cost effective and flexible tracking system that detects and follows the movements of a user using a set of markers. The tracking system consists of two standard webcams equipped with infra-red projectors, a set of reflective markers and a detection algorithm. In contrast with existing tracking systems, this system is light weight and very reasonable in price (less than 200 Euros), making it more accessible for research and low cost application purposes. Another advantage of this tracking system is its flexibility. It can identify automatically up to free 7 markers in the same scene because the detection algorithm implemented is not based on pre-existing forms. This 3D tracking system has been improved on a collaborative research platform for investigating 3D manipulation/interaction techniques in CVEs.
UDRC WP 3-Unified Detection , Localisation and Classification in Complex Environments View project

Minimising the expected mean squared error is one of the fundamental metrics applied to adaptive waveform design for active sensing. Previously, only cost functions corresponding to a lower bound on the expected mean squared error have been expressed for optimisation. In this paper we express an exact cost function to optimise for minimum mean squared error adaptive waveform design (MMSE-AWD). This is expressed in a general form which can be applied to non-linear systems. Additionally, we provide a general example for how this method of MMSE-AWD can be applied to a system that estimates the state using a particle filter (PF). We make the case that there is a compelling reason to choose to use the PF (as opposed to alternatives such as the Unscented Kalman filter and extended Kalman filter), as our MMSE-AWD implementation can re-use the particles and particle weightings from the PF, simplifying the overall computation. Finally, we provide a numerical example, based on a simplified multiple-input-multiple-output radar system, which demonstrates that our MMSE-AWD method outperforms a simple non-adaptive radar, whose beam-pattern has a uniform angular spread, and also an existing approximate MMSE-AWD method.
Removal of Methylene Blue from Aqueous Solution Using Raw and Modified Pine Tree Leaves as Adsorbent

Pine tree leaves, an agricultural waste, was chemically modified and used for the removal of Methylene blue from aqueous solution. The chemical modification was prepared using 0.1 M Hcl and 0.1 M NaOH. Overall, the extent of methylene blue dye adsorption is increased with the increase in initial dye concentration, contact time, solution pH, and system temperature but is decreased with the increase of salt concentration. Equilibrium data were described by both Langmuir isotherm and Freundlich adsorption isotherm. The isotherm study indicated that MB Removal of Methylene Blue from Aqueous Solution Using Raw ــــــــــــــــــ ــــ ـــ ـ ـــ ــــــــــــ University Bulletin – ISSUE No.19Vol. (3) – July 2017. 18 adsorption on raw and treated pine leaves could be fitted well with the Langmuir model other than Freundlich model. The maximum adsorption capacity for MB at 30 0 C determined from the Langmuir isotherm is 126.58 mg/g occurred at pH of 9.2 for an initial dye concentration of 10 ppm by raw pine leaves, whereas for acid-treated and bae-treated pine leaves the maximum adsorption of 140.44 and 132.56 mg/g respectively for the same experimental conditions. Freundlich constant ‘n’ also indicated favourable
NUMERICAL INVESTIGATION OF POTENTIAL EROSION MECHANISMS IN TURBULENT FLOW OF SCO2 PIPE BENDS

Supercritical Carbon Dioxide (sCO2) has been used for power generation cycles owing to its non-toxic, non-flammable properties and low cost. The high pressure (∼ 200-350 bar) and high density fluid also enables extremely compact and high efficiency turbomachinery designs. Owing to high pressures and temperatures (∼ 700◦C); however, there is evidence that even for a fairly pure sCO2 flowing through small pipe bends at high flow rates can lead to material erosion. It is hypothesized that erosion may occur due to large fluctuations in wall shear stresses and pressure owing to turbulence, secondary flow patterns, and property variations. To test this hypothesis, predictive large-eddy simulation (LES) of a single-phase, turbulent flow of sCO2 in a 90◦ pipe bend is performed at different Reynolds numbers (5000–27000) with and without heat transfer. The radius of curvature to pipe diameter ratio is varied between 1 and 3. First, the isothermal flow is validated against available experimental and numerical data for these flow conditions. Shear stress and pipe wall temperature statistics are computed at different cross-sections downstream of the pipe bend and their potential to cause pipe wall erosion is evaluated.
Aeroservoelastic Flight Test Data Analysis

System identification or mathematical modelling is utilised in the aerospace community for the development of simulation models for robust control law design. These models are often described as linear, time-invariant processes and assumed to be uniform throughout the flight envelope. Nevertheless, it is well known that the underlying process is inherently nonlinear. The reason for utilising a linear approach has been due to the lack of a proper set of tools for the identification of nonlinear systems. Over the past several decades the controls and biomedical communities have made great advances in developing tools for the identification of nonlinear systems. These approaches are robust and readily applicable to aerospace systems. In this paper, we show the application of one such nonlinear system identification technique, structure detection, for the analysis of F-15B QuietSpike TM aeroservoelastic flight test data. Structure detection is concerned with the selection of a subset of candidate terms that best describe the observed output. This is a necessary procedure to compute an efficient system description which may afford greater insight into the functionality of the system or a simpler controller design. Structure computation as a tool for black-box modelling may be of critical importance for the development of robust, parsimonious models for the flight-test community. Moreover, this approach may lead to efficient strategies for rapid envelope expansion which may save significant development time and costs. The objectives of this study are to demonstrate via analysis of F-15B QuietSpike TM aeroservoelastic flight test data for several flight conditions (Mach number) that (i) linear models are inefficient for modelling aeroservoelastic data, (ii) nonlinear identification provides a parsimonious model description whilst providing a high percent fit for cross-validated data and (iii) the model structure and parameters vary as the flight condition is altered. ∗This work was prepared as part of the author’s official duties as an employee of the U. S. Government and in accordance with 17 U.S.C. 105, is not available for copyright protection in the United States. NASA is the owner of any foreign copyright that can be asserted for the work. Copyright©2007 by NASA. 1 https://ntrs.nasa. gov/search.jsp? R=20070028827 2019-08-16T20:09:19+00:00Z
The Encoding/Retrieval Flip: Interactions between Memory Performance and Memory Stage and Relationship to Intrinsic Cortical Networks

fMRI studies have linked the posteromedial cortex to episodic learning (encoding) and remembering (retrieval) processes. The posteromedial cortex is considered part of the default network and tends to deactivate during encoding but activate during retrieval, a pattern known as the encoding/retrieval flip. Yet, the exact relationship between the neural correlates of memory performance (hit/miss) and memory stage (encoding/retrieval) and the extent of overlap with intrinsic cortical networks remains to be elucidated. Using task-based fMRI, we isolated the pattern of activity associated with memory performance, memory stage, and the interaction between both. Using resting-state fMRI, we identified which intrinsic large-scale functional networks overlapped with regions showing task-induced effects. Our results demonstrated an effect of successful memory performance in regions associated with the control network and an effect of unsuccessful memory performance in the ventral attention network. We found an effect of memory retrieval in brain regions that span the default and control networks. Finally, we found an interaction between memory performance and memory stage in brain regions associated with the default network, including the posteromedial cortex, posterior parietal cortex, and parahippocampal cortex. We discuss these findings in relation to the encoding/retrieval flip. In general, the findings demonstrate that task-induced effects cut across intrinsic cortical networks. Furthermore, regions within the default network display functional dissociations, and this may have implications for the neural underpinnings of age-related memory disorders.
Acquisition Path of Distributive Markers in Serbian and Dutch: Evidence from an Act-Out Task

Languages across the world have different ways of conveying a distributive reading with different markers of distributivity. The major classification of adnominal distributive markers is between distributive key (DK) markers and distributive share (DS) markers (Choe 1987). This classification arises from the different syntactic and semantic properties these markers have, and, as a result, they yield different readings. The fundamental syntactic difference between the two is whether the marker attaches to an argument associated with the restrictor set (also called distributive key), marking what is being distributed over (e.g. English each is associated with child in (1a) and the children in (1b)), or to an argument associated with the scope of the sentence (also called distributive share), marking what is being distributed (e.g. Serbian marker po is associated with one present in (2)):
DEVELOPMENT OF LASER NON-CONTACT MEASUREMENT FOR TURBINE BLADE PROFILE

Blade is a key part that widely used in aero industry. Measurement of blade profile is very important for the quality acceptance of the blade. Development of laser non-contact measurement for turbine blade profile is presented. The laser profile measurement system is based on coordinate measuring machine. It adds r axis and CCD laser displacement sensor. Measured result was compared with CMM, the accuracy is good enough to profile measurement. It can be used to measure turbine blade profile rapidly and accurately.