Generic wind estimation and compensation based on residual generators and higher-order sliding mode schemes

This master thesis proposes a solution to the approach problem in case of unknown severe microburst wind shear for a fixed-wing aircraft, accounting for both longitudinal and lateral dynamics. The adaptive controller design for wind rejection is also addressed, exploiting the wind estimation provided by suitable estimators. It is able to successfully complete the final approach phase even in presence of wind shear, and at the same time aerodynamic envelope protection is retained. The adaptive controller for wind compensation has been designed by a backstepping approach and feedback linearization for time-varying systems. The wind shear components have been estimated by higher-order sliding mode schemes. At the end of this work the results are provided, an autonomous final approach in presence of microburst is discussed, performances are analyzed, and estimation of the microburst characteristics from telemetry data is examined.

Data Science Seminar: Generic Big Data Processing for Advancing Situation Awareness and Decision-Support

The generation of heterogeneous big data sources with ever increasing volumes, velocities and veracities over the he last few years has inspired the data science and research community to address the challenge of extracting knowledge form big data. Such a wealth of generated data across the board can be intelligently exploited to advance our knowledge about our environment, public health, critical infrastructure and security. In recent years we have developed generic approaches to process such big data at multiple levels for advancing decision-support. It specifically concerns data processing with semantic harmonisation, low level fusion, analytics, knowledge modelling with high level fusion and reasoning. Such approaches will be introduced and presented in context of the TRIDEC project results on critical oil and gas industry drilling operations and also the ongoing large eVacuate project on critical crowd behaviour detection in confined spaces.

Automated generic integration of flight logbook data into aircraft maintenance systems

The automated transfer of flight logbook information from aircrafts into aircraft maintenance systems leads to reduced ground and maintenance time and is thus desirable from an economical point of view. Until recently, flight logbooks have not been managed electronically in aircrafts or at least the data transfer from aircraft to ground maintenance system has been executed manually. Latest aircraft types such as the Airbus A380 or the Boeing 787 do support an electronic logbook and thus make an automated transfer possible. A generic flight logbook transfer system must deal with different data formats on the input side – due to different aircraft makes and models – as well as different, distributed aircraft maintenance systems for different airlines as aircraft operators. This article contributes the concept and top level distributed system architecture of such a generic system for automated flight log data transfer. It has been developed within a joint industry and applied research project. The architecture has already been successfully evaluated in a prototypical implementation.

A generic strategy for dynamic load balancing of distributed memory parallel computational mechanics using unstructured meshes

A large class of computational problems are characterised by frequent synchronisation, and computational requirements which change as a function of time. When such a problem is solved on a message passing multiprocessor machine [5], the combination of these characteristics leads to system performance which deteriorate in time. As the communication performance of parallel hardware steadily improves so load balance becomes a dominant factor in obtaining high parallel efficiency. Performance can be improved with periodic redistribution of computational load; however, redistribution can sometimes be very costly. We study the issue of deciding when to invoke a global load re-balancing mechanism. Such a decision policy must actively weigh the costs of remapping against the performance benefits, and should be general enough to apply automatically to a wide range of computations. This paper discusses a generic strategy for Dynamic Load Balancing (DLB) in unstructured mesh computational mechanics applications. The strategy is intended to handle varying levels of load changes throughout the run. The major issues involved in a generic dynamic load balancing scheme will be investigated together with techniques to automate the implementation of a dynamic load balancing mechanism within the Computer Aided Parallelisation Tools (CAPTools) environment, which is a semi-automatic tool for parallelisation of mesh based FORTRAN codes.

Estudio de mercado de miel de abeja (Apis mellifera) en el casco urbano del municipio de Boaco, 2014

La presente investigación tuvo el propósito de medir percepciones de oferta y demanda a través de un estudio de mercado de m iel natural en el casco urbano del municipio de Boaco 2014. Este estudio servirá como fuente de información para la formulación de propuestas de desarrollo para la act ividad apícola. La metodología utilizada para la población objeto de estudio fue mediante la aplicación de tres instrumento , el estudio es cuantitativo, no experimenta l de tipo descriptivo , fundamentándose en el análisis de una situación. Las variables de estudio fueron: demanda, oferta, balance oferta - demanda, canales de comercialización y ma rgen bruto de comercialización. El 73% de la población de estud io consumen miel natural, 58,295.87 Lts de miel es la demanda en las diferentes presentaciones (340ml , 375ml, 500ml, 735ml y 1000ml). Se identificó que en las distribuidoras de dicho municipio ninguna oferta miel no obstante si estaría n dispuesto s a ofertarlo en su establecimiento. La oferta total por parte de los apicultor es de la localidad es de 89,839.61 lts obteniendo una sobre oferta de 31,543.74 lts de miel, siendo ofertadas en los centros de acopio más cercanos. Los canales utilizados por los apicultores es el nivel cero y el nivel uno. Se calculó los márgenes de comercialización en cada una de las presentaciones y la de 1000 ml es la que muestra márgenes equitativos (50%) y la presentac ión en la que obtiene el menor margen de comercialización es la de 375 ml co n un (40%)

Efeito de agentes de controle sobre a qualidade reprodutiva de rainhas de Apis mellifera L. (Hymenoptera: Apidae) africanizadas

The agriculture with the use of products with less environmental impact is expanding. In it, the producers offer their products without the use of synthetic chemical inputs, solving the phytosanitary problems with the use of biological or alternative control agents such as parasites, predators, entomopathogenic, alternative products, plant extracts and essential oils. These products can be considered safe to non-target organisms, but studies are needed to find these features on natural enemies and on the beneficial insects such as bees, common frequenter of cultures. In this sense, this study aims to evaluate the effects of control over reproductive quality queens of Apis mellifera L. (Hymenoptera: Apidae) Africanized. For this, it tested the action of control products on the production of A. mellifera queens, using the commercial entomopathogenic fungus Boveril® 1,0x108 (Beauveria bassiana) and aqueous extract of pomegranate (Punica granatum) at a concentration of 5% sterile distilled water with Tween (0.01%) and sterile distilled water (controls). The treatments were incorporated into a tissue type gauze, wrapped in an acrylic plate and packed inside minirrecrias type colonies for the production of queens on the day before the transfer of larvae. The next day were introduced battens with 30 domes with larvae to produce queens, so the workers have contacted the agent tested. From the emergence of all the queens, they were monitored to determine the measures of body weight (mg), length and width of wing and abdomen, length, width and height of the chest (mm) as well as the time of emergence of queens. The next step was evaluated the influence of the control agents in production creates, performing measurements of creating areas in cm2 for six straight weeks. It was found that the area creates Queens did not differ among the treatments. Histological analysis of hipofaringeanas of workers glands that came into contact with the control agents and the midgut of virgin queens were also held. Histological analysis differences were observed in the tissues when the treatments were compared with the respective controls.

The Generic Approximation Lemma

The approximation lemma is a simplification of the well-known take lemma, and is used to prove properties of programs that produce lists of values. We show how the approximation lemma, unlike the take lemma, can naturally be generalised from lists to a large class of datatypes, and present a generic approximation lemma that is parametric in the datatype to which it applies. As a useful by-product, we find that generalising the approximation lemma in this way also simplifies its proof.

A generic method of engagement to elicit regional coastal management options

Stakeholder engagement is important for successful management of natural resources, both to make effective decisions and to obtain support. However, in the context of coastal management, questions remain unanswered on how to effectively link decisions made at the catchment level with objectives for marine biodiversity and fisheries productivity. Moreover, there is much uncertainty on how to best elicit community input in a rigorous manner that supports management decisions. A decision support process is described that uses the adaptive management loop as its basis to elicit management objectives, priorities and management options using two case studies in the Great Barrier Reef, Australia. The approach described is then generalised for international interest. A hierarchical engagement model of local stakeholders, regional and senior managers is used. The result is a semi-quantitative generic elicitation framework that ultimately provides a prioritised list of management options in the context of clearly articulated management objectives that has widespread application for coastal communities worldwide. The case studies show that demand for local input and regional management is high, but local influences affect the relative success of both engagement processes and uptake by managers. Differences between case study outcomes highlight the importance of discussing objectives prior to suggesting management actions, and avoiding or minimising conflicts at the early stages of the process. Strong contributors to success are a) the provision of local information to the community group, and b) the early inclusion of senior managers and influencers in the group to ensure the intellectual and time investment is not compromised at the final stages of the process. The project has uncovered a conundrum in the significant gap between the way managers perceive their management actions and outcomes, and community's perception of the effectiveness (and wisdom) of these same management actions.

Uma API criptográfica para aplicações embarcadas

This document presents GEmSysC, an unified cryptographic API for embedded systems. Software layers implementing this API can be built over existing libraries, allowing embedded software to access cryptographic functions in a consistent way that does not depend on the underlying library. The API complies to good practices for API design and good practices for embedded software development and took its inspiration from other cryptographic libraries and standards. The main inspiration for creating GEmSysC was the CMSIS-RTOS standard, which defines an unified API for embedded software in an implementation-independent way, but targets operating systems instead of cryptographic functions. GEmSysC is made of a generic core and attachable modules, one for each cryptographic algorithm. This document contains the specification of the core of GEmSysC and three of its modules: AES, RSA and SHA-256. GEmSysC was built targeting embedded systems, but this does not restrict its use only in such systems – after all, embedded systems are just very limited computing devices. As a proof of concept, two implementations of GEmSysC were made. One of them was built over wolfSSL, which is an open source library for embedded systems. The other was built over OpenSSL, which is open source and a de facto standard. Unlike wolfSSL, OpenSSL does not specifically target embedded systems. The implementation built over wolfSSL was evaluated in a Cortex- M3 processor with no operating system while the implementation built over OpenSSL was evaluated on a personal computer with Windows 10 operating system. This document displays test results showing GEmSysC to be simpler than other libraries in some aspects. These results have shown that both implementations incur in little overhead in computation time compared to the cryptographic libraries themselves. The overhead of the implementation has been measured for each cryptographic algorithm and is between around 0% and 0.17% for the implementation over wolfSSL and between 0.03% and 1.40% for the one over OpenSSL. This document also presents the memory costs for each implementation.

Young people with learning disabilities who sexually abuse: understanding, identifying and responding from within generic education and welfare services

This chapter will start by providing an overview of current knowledge about young people with learning disabilities who sexually abuse. Research cited will, unless otherwise indicated, be limited to UK studies since international variations in the definitions of both learning disability and sexual abuse make the use of a wider literature base problematic – particularly that relating to prevalence and incidence. It will then go on to report key findings from a recent study (Fyson et al, 2003; Fyson, 2005) which examined how special schools and statutory child protection and youth offending services in four English local authorities responded to sexually inappropriate or abusive behaviours exhibited by young people with learning disabilities. It will conclude by highlighting areas of current practice which give cause for concern, and suggest some pointers for future best practice.

APIs de seguridad en .NET Framework

Este trabajo hace un estudio de algunas de las herramientas de seguridad disponibles en .Net Framework así como la forma de usarlas en un desarrollo web bajo la metodología de desarrollo de ASP.NET siguiendo el modelo Vista-Controlador y usando como entorno de desarrollo Visual Studio. Además de repasar las herramientas disponibles y la forma de uso se ha desarrollado también una aplicación de ejemplo: ItemCoteca-Web; en la que se demuestra cómo resolver el registro de usuarios, la autenticación y autorización de forma segura. En paralelo se ha implementado un cliente Android: Itemcoteca-app que realiza autenticación, registro y dispone de un chat seguro de incidencias para hablar con administradores OnlineEste trabajo no solo presenta las APIs disponibles sino también las buenas prácticas que define Microsoft para el uso de sus herramientas. En particular nos centramos en los tres tipos de controladores que podemos encontrar en una aplicación web Asp.net que son Controllers, WebApi y SignalR, comentando sus diferencias y su uso para clientes Web y móviles.

Design and validation of a novel generic platform for the production of tetravalent IgG1-like bispecific antibodies

International audience

Description of a new species of skate of the genus Malacoraja Stehmann, 1970: the first species from the southwestern Atlantic Ocean, with notes on generic monophyly and composition (Chondrichthyes: Rajidae)

O primeiro registro para o Atlântico Sul ocidental de uma espécie do gênero Malacoraja Stehmann, 1970 é feita com base na descrição de Malacoraja obscura, espécie nova, proveniente do talude continental do Sudeste brasileiro dos estados do Espírito Santo e Rio de Janeiro em profundidades de 808-1105 m. A espécie nova é conhecida através de cinco exemplares e é distinta de seus congêneres pela sua coloração dorsal composta por numerosas manchas esbranquiçadas e pequenas na região do disco e nadadeiras pélvicas, por apresentar uma fileira irregular de espinhos ao longo da superfície dorsal mediana da cauda a qual persiste em espécimes maiores (desde a base da cauda até dois-terços do seu comprimento numa fêmea de 680 mm de comprimento total, CT) e uma região pequena desprovida de dentículos na base ventral da cauda (estendendo somente até a margem distal da nadadeira pélvica). Outros caracteres diagnósticos em combinação incluem a ausência de espinhos escapulares em indivíduos maiores, número elevado de fileiras dentárias (64/62 fileiras num macho subadulto de 505 mm de CT e 76/74 numa fêmea de 680 mm de CT) e de vértebras (27-28 Vtr, 68-75 Vprd), coloração ventral do disco uniformemente castanha escura, duas fenestras pós-ventrais na cintura escapular, fenestra pós-ventral posterior grande, forame magno circular e dois forames para a carótida interna na placa basal ventral do neurocrânio. Machos adultos não são conhecidos, porém uma descrição anatômica de M. obscura, sp. nov., é fornecida. Comparações são realizadas com todo o material conhecido de M. kreffti, com a literatura sobre M. senta e com material abundante de M. spinacidermis da África do Sul; M. obscura, sp. nov., assemelha-se mais a M. spinacidermis do Atlântico Sul oriental em esqueleto dérmico, coloração e tamanho. Malacoraja é monofilético devido à sua espinulação e apêndices rostrais conspícuos e é aparentemente composta por dois grupos de espécies, um para M. obscura e M. spinacidermis e outro para M. kreffti e M. senta, porém a elucidação das relações filogenéticas entre as espécies necessita de mais informações anatômicas, principalmente das duas últimas espécies.