Trajectory prediction uncertainty modelling for Air Traffic Management

The anticipated growth of air traffic worldwide requires enhanced Air Traffic Management (ATM) technologies and procedures to increase the system capacity, efficiency, and resilience, while reducing environmental impact and maintaining operational safety. To deal with these challenges, new automation and information exchange capabilities are being developed through different modernisation initiatives toward a new global operational concept called Trajectory Based Operations (TBO), in which aircraft trajectory information becomes the cornerstone of advanced ATM applications. This transformation will lead to higher levels of system complexity requiring enhanced Decision Support Tools (DST) to aid humans in the decision making processes. These will rely on accurate predicted aircraft trajectories, provided by advanced Trajectory Predictors (TP). The trajectory prediction process is subject to stochastic effects that introduce uncertainty into the predictions. Regardless of the assumptions that define the aircraft motion model underpinning the TP, deviations between predicted and actual trajectories are unavoidable. This thesis proposes an innovative method to characterise the uncertainty associated with a trajectory prediction based on the mathematical theory of Polynomial Chaos Expansions (PCE). Assuming univariate PCEs of the trajectory prediction inputs, the method describes how to generate multivariate PCEs of the prediction outputs that quantify their associated uncertainty. Arbitrary PCE (aPCE) was chosen because it allows a higher degree of flexibility to model input uncertainty. The obtained polynomial description can be used in subsequent prediction sensitivity analyses thanks to the relationship between polynomial coefficients and Sobol indices. The Sobol indices enable ranking the input parameters according to their influence on trajectory prediction uncertainty. The applicability of the aPCE-based uncertainty quantification detailed herein is analysed through a study case. This study case represents a typical aircraft trajectory prediction problem in ATM, in which uncertain parameters regarding aircraft performance, aircraft intent description, weather forecast, and initial conditions are considered simultaneously. Numerical results are compared to those obtained from a Monte Carlo simulation, demonstrating the advantages of the proposed method. The thesis includes two examples of DSTs (Demand and Capacity Balancing tool, and Arrival Manager) to illustrate the potential benefits of exploiting the proposed uncertainty quantification method.

Reasoning over knowledge-based generation of situations in context spaces to reduce food waste

With the ever-growing amount of connected sensors (IoT), making sense of sensed data becomes even more important. Pervasive computing is a key enabler for sustainable solutions, prominent examples are smart energy systems and decision support systems. A key feature of pervasive systems is situation awareness which allows a system to thoroughly understand its environment. It is based on external interpretation of data and thus relies on expert knowledge. Due to the distinct nature of situations in different domains and applications, the development of situation aware applications remains a complex process. This thesis is concerned with a general framework for situation awareness which simplifies the development of applications. It is based on the Situation Theory Ontology to provide a foundation for situation modelling which allows knowledge reuse. Concepts of the Situation Theory are mapped to the Context Space Theory which is used for situation reasoning. Situation Spaces in the Context Space are automatically generated with the defined knowledge. For the acquisition of sensor data, the IoT standards O-MI/O-DF are integrated into the framework. These allow a peer-to-peer data exchange between data publisher and the proposed framework and thus a platform independent subscription to sensed data. The framework is then applied for a use case to reduce food waste. The use case validates the applicability of the framework and furthermore serves as a showcase for a pervasive system contributing to the sustainability goals. Leading institutions, e.g. the United Nations, stress the need for a more resource efficient society and acknowledge the capability of ICT systems. The use case scenario is based on a smart neighbourhood in which the system recommends the most efficient use of food items through situation awareness to reduce food waste at consumption stage.

Infomobility for “Car-Driver” Systems: Reference Model and Case Study

Part 21: Mobility and Logistics

Sistema fuzzy para estimativa do bem-estar de matrizes pesadas

Entender o comportamento e suas pequenas variações decorrentes das mudanças do ambiente térmico e desenvolver modelos que simulem o bem-estar a partir de respostas das aves ao ambiente constituem o primeiro passo para a criação de um sistema de monitoramento digital de aves em galpões de produção. Neste trabalho, foi desenvolvido um sistema de suporte à decisão com base na teoria dos conjuntos fuzzy para a estimativa do bem-estar de matrizes pesadas em função de frequências e duração dos comportamentos expressos pelas aves. O desenvolvimento do sistema passou por cinco etapas distintas: 1) organização dos dados experimentais; 2) apresentação dos vídeos em entrevista com especialista; 3) criação das funções de pertinência com base nas entrevistas e na revisão da literatura; 4) simulação de frequências de ocorrências e tempos médios de expressão dos comportamentos classificados como indicadores de bem-estar utilizando equações de regressão obtidas na literatura, e 5) construção das regras, simulação e validação do sistema. O sistema fuzzy desenvolvido estimou satisfatoriamente o bem-estar de matrizes pesadas, tendo na sua última versão, com maior número de regras, acertado 77,8% dos dados experimentais, comparados com as respostas esperadas por um especialista. O sistema pode ser utilizado como instrumento matemático-computacional para apoiar decisões em galpões de produção de matrizes pesadas.

Comparison of the traditional pharmaceutical validation method versus an assisted pharmaceutical validation in hospitalized patients

Objective: To analyze pharmaceutical interventions that have been carried out with the support of an automated system for validation of treatments vs. the traditional method without computer support. Method: The automated program, ALTOMEDICAMENTOS® version 0, has 925 052 data with information regarding approximately 20 000 medicines, analyzing doses, administration routes, number of days with such a treatment, dosing in renal and liver failure, interactions control, similar drugs, and enteral medicines. During eight days, in four different hospitals (high complexity with over 1 000 beds, 400-bed intermediate, geriatric and monographic), the same patients and treatments were analyzed using both systems. Results: 3,490 patients were analyzed, with 42 155 different treatments. 238 interventions were performed using the traditional system (interventions 0.56% / possible interventions) vs. 580 (1.38%) with the automated one. Very significant pharmaceutical interventions were 0.14% vs. 0.46%; significant was 0.38% vs. 0.90%; non-significant was 0.05% vs. 0.01%, respectively. If both systems are simultaneously used, interventions are performed in 1.85% vs. 0.56% with just the traditional system. Using only the traditional model, 30.5% of the possible interventions are detected, whereas without manual review and only the automated one, 84% of the possible interventions are detected. Conclusions: The automated system increases pharmaceutical interventions between 2.43 to 3.64 times. According to the results of this study the traditional validation system needs to be revised relying on automated systems. The automated program works correctly in different hospitals.

Development of a cargo screening process simulator: a first approach

The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provide benchmarks for individual sensors but we found no benchmarks that take a holistic view of the overall screening procedures and no benchmarks that take operator variability into account. Just adding up resources and manpower used is not an effective way for assessing systems where human decision-making and operator compliance to rules play a vital role. Our aim is to develop a decision support tool (cargo-screening system simulator) that will map the right technology and manpower to the right commodity-threat combination in order to maximise detection rates. In this paper we present our ideas for developing such a system and highlight the research challenges we have identified. Then we introduce our first case study and report on the progress we have made so far.

Modelling and analysing cargo screening processes: a project outline

The efficiency of current cargo screening processes at sea and air ports is unknown as no benchmarks exists against which they could be measured. Some manufacturer benchmarks exist for individual sensors but we have not found any benchmarks that take a holistic view of the screening procedures assessing a combination of sensors and also taking operator variability into account. Just adding up resources and manpower used is not an effective way for assessing systems where human decision-making and operator compliance to rules play a vital role. For such systems more advanced assessment methods need to be used, taking into account that the cargo screening process is of a dynamic and stochastic nature. Our project aim is to develop a decision support tool (cargo-screening system simulator) that will map the right technology and manpower to the right commodity-threat combination in order to maximize detection rates. In this paper we present a project outline and highlight the research challenges we have identified so far. In addition we introduce our first case study, where we investigate the cargo screening process at the ferry port in Calais.

Negotiation Support for Co-design of Business Services

Part 3: Product-Service Systems

O SIVICC como um sistema dissuasor da ilicitude e de apoio à atividade operacional da GNR

O objeto de estudo da presente investigação é o SIVICC. Sendo o objetivo geral demonstrar o seu desempenho organizacional nos domínios da dissuasão da ilicitude, do apoio à decisão e do suporte à atividade operacional da GNR, procurando adicionar e aprofundar conhecimento teórico e empírico. Em termos de metodologia optámos por uma estratégia de investigação qualitativa e relativamente ao desenho da pesquisa optou-se pela transversal. Os métodos e técnicas utilizadas foram as entrevistas semiestruturadas com a respetiva análise de conteúdo e a análise documental. Como resultado principal destacamos que, com base numa doutrina assente em princípios centrados em rede e no empirismo resultante das entrevistas efetuadas, o SIVICC proporciona superioridade de informação resultando numa consciência situacional partilhada da organização, o que conduz a melhores efeitos operacionais, que contribuem na prossecução da segurança de Portugal e da UE, através de uma efetiva vigilância diária e controlo do mar territorial e zona costeira. Concluímos que o SIVICC promove um apoio importante na tomada de decisão e suporta eficazmente e eficientemente a atividade operacional da GNR, que se vai refletir numa vantagem competitiva sobre o adversário que é persuadido a mudar os seus comportamentos através da dissuasão que o sistema proporciona. Abstract: The study object of this research is the SIVICC. The overall goal is to prove their organizational performance in the areas of deterrence of unlawful, in decision support and in supporting the operational activities of the GNR, attempting to add and deepen theoretical and empirical knowledge. In terms of methodology we chose a qualitative research strategy and for the design of research we chose the transversal. The methods and techniques used were semi-structured interviews with the respective content analysis and document analysis. The main result we highlight, based on a doctrine sustained on principles of centered network operations and a result empiricism of conducted interviews, that the SIVICC provides information superiority resulting in a shared situational awareness of the organization, leading to better operational effects that contribute to the pursuit security in Portugal and in the EU, through effective daily monitoring and control of the territorial sea and coastal zone. We conclude that the SIVICC promotes an important support decision making and supports effectively and efficiently operational activity of the GNR, which will reflect a competitive advantage over the adversary who is persuaded to change their behavior through deterrence that the system provides.

Optimal resource allocation and budgeting in libraries

Libraries since their inception 4000 years ago have been in a process of constant change. Although, changes were in slow motion for centuries, in the last decades, academic libraries have been continuously striving to adapt their services to the ever-changing user needs of students and academic staff. In addition, e-content revolution, technological advances, and ever-shrinking budgets have obliged libraries to efficiently allocate their limited resources among collection and services. Unfortunately, this resource allocation is a complex process due to the diversity of data sources and formats required to be analyzed prior to decision-making, as well as the lack of efficient integration methods. The main purpose of this study is to develop an integrated model that supports libraries in making optimal budgeting and resource allocation decisions among their services and collection by means of a holistic analysis. To this end, a combination of several methodologies and structured approaches is conducted. Firstly, a holistic structure and the required toolset to holistically assess academic libraries are proposed to collect and organize the data from an economic point of view. A four-pronged theoretical framework is used in which the library system and collection are analyzed from the perspective of users and internal stakeholders. The first quadrant corresponds to the internal perspective of the library system that is to analyze the library performance, and costs incurred and resources consumed by library services. The second quadrant evaluates the external perspective of the library system; user’s perception about services quality is judged in this quadrant. The third quadrant analyses the external perspective of the library collection that is to evaluate the impact of the current library collection on its users. Eventually, the fourth quadrant evaluates the internal perspective of the library collection; the usage patterns followed to manipulate the library collection are analyzed. With a complete framework for data collection, these data coming from multiple sources and therefore with different formats, need to be integrated and stored in an adequate scheme for decision support. A data warehousing approach is secondly designed and implemented to integrate, process, and store the holistic-based collected data. Ultimately, strategic data stored in the data warehouse are analyzed and implemented for different purposes including the following: 1) Data visualization and reporting is proposed to allow library managers to publish library indicators in a simple and quick manner by using online reporting tools. 2) Sophisticated data analysis is recommended through the use of data mining tools; three data mining techniques are examined in this research study: regression, clustering and classification. These data mining techniques have been applied to the case study in the following manner: predicting the future investment in library development; finding clusters of users that share common interests and similar profiles, but belong to different faculties; and predicting library factors that affect student academic performance by analyzing possible correlations of library usage and academic performance. 3) Input for optimization models, early experiences of developing an optimal resource allocation model to distribute resources among the different processes of a library system are documented in this study. Specifically, the problem of allocating funds for digital collection among divisions of an academic library is addressed. An optimization model for the problem is defined with the objective of maximizing the usage of the digital collection over-all library divisions subject to a single collection budget. By proposing this holistic approach, the research study contributes to knowledge by providing an integrated solution to assist library managers to make economic decisions based on an “as realistic as possible” perspective of the library situation.

Cost and feasibility of a barrier to halt the spread of invasive cane toads in arid Australia: incorporating expert knowledge into model-based decision-making

1. Active engagement with practitioners is a crucial component of model-based decision-making in conservation management; it can assist with data acquisition, improve models and help narrow the 'knowing-doing' gap.
2. We worked with practitioners of one of the worst invasive species in Australia, the cane toad Rhinella marina, to revise a model that estimates the effectiveness of landscape barriers to contain spread. The original model predicted that the invasion could be contained by managing artificial watering points on pastoral properties, but was initially met with scepticism by practitioners, in part due to a lack of engagement during model development.
3. We held a workshop with practitioners and experts in cane toad biology. Using structured decision-making, we elicited concerns about the original model, revised its structure, updated relevant input data, added an economic component and found the most cost-effective location for a barrier across a range of fixed budgets and management scenarios. We then conducted scenario analyses to test the sensitivity of management decisions to model revisions.
4. We found that toad spread could be contained for all of the scenarios tested. Our modelling suggests a barrier could cost $4·5 M (2015 AUD) over 50 years for the most likely landscape scenario. The incorporation of practitioner knowledge into the model was crucial. As well as improving engagement, when we incorporated practitioner concerns (particularly regarding the effects of irrigation and dwellings on toad spread), we found a different location for the optimal barrier compared to a previously published study (Tingley et al. 2013).
5. Synthesis and applications. Through engagement with practitioners, we turned an academic modelling exercise into a decision-support tool that integrated local information, and considered more realistic scenarios and constraints. Active engagement with practitioners led to productive revisions of a model that estimates the effectiveness of a landscape barrier to contain spread of the invasive cane toad R. marina. Benefits also include greater confidence in model predictions, improving our assessment of the cost and feasibility of containing the spread of toads.

Investigating key decision problems to optimize the operation and maintenance strategy of offshore wind farms

This paper investigates three decision problems with potential to optimize operation and maintenance and logistics strategies for offshore wind farms: the timing of pre-determined jack-up vessel campaigns; selection of crew transfer vessel fleet; and timing of annual services. These problems are compared both in terms of potential cost reduction and the stochastic variability and associated uncertainty of the outcome. Pre-determined jack-up vessel campaigns appear to have a high cost reduction potential but also a higher stochastic variability than the other decision problems. The paper also demonstrates the benefits and difficulties of considering problems together rather than solving them in isolation.

Knowledge-based management systems for the police force

Knowledge-Based Management Systems enable new ways to process and analyse knowledge to gain better insights to solve a problem and aid in decision making. In the police force such systems provide a solution for enhancing operations and improving client administration in terms of knowledge management. The main objectives of every police officer is to ensure the security of life and property, promote lawfulness, and avert and distinguish wrongdoing. The administration of knowledge and information is an essential part of policing, and the police ought to be proactive in directing both explicit and implicit knowledge, whilst adding to their abilities in knowledge sharing. In this paper the potential for a knowledge based system for the Mauritius police was analysed, and recommendations were also made, based on requirements captured from interviews with several long standing officers, and surveying of previous works in the area.

Towards an assessment of on-farm niches for improved forages in Sud-Kivu, DR Congo

Inadequate quantity and quality of livestock feed is a persistent constraint to productivity for mixed crop-livestock farming in eastern Democratic Republic of Congo. To assess on-farm niches of improved forages, demonstration trials and participatory on-farm research were conducted in four different sites. Forage legumes included Canavalia brasiliensis (CIAT 17009), Stylosanthes guianensis (CIAT 11995) and Desmodium uncinatum (cv. Silverleaf), while grasses were Guatemala grass (Tripsacum andersonii), Napier grass (Pennisetum purpureum) French Cameroon, and a local Napier line. Within the first six months, forage legumes adapted differently to the four sites with little differences among varieties, while forage grasses displayed higher variability in biomass production among varieties than among sites. Farmers’ ranking largely corresponded to herbage yield from the first cut, preferring Canavalia, Silverleaf desmodium and Napier French Cameroon. Choice of forages and integration into farming systems depended on land availability, soil erosion prevalence and livestock husbandry system. In erosion prone sites, 55–60% of farmers planted grasses on field edges and 16–30% as hedgerows for erosion control. 43% of farmers grew forages as intercrop with food crops such as maize and cassava, pointing to land scarcity. Only in the site with lower land pressure, 71% of farmers grew legumes as pure stand. When land tenure was not secured and livestock freely roaming, 75% of farmers preferred to grow annual forage legumes instead of perennial grasses. Future research should develop robust decision support for spatial and temporal integration of forage technologies into diverse smallholder cropping systems and agro-ecologies.

Production Diseases in European Organic Dairy Farms – Current Status and Identification of Drivers for Improvement by Means of a Systemic Approach

The aims of this thesis were to determine the animal health status in organic dairy farms in Europe and to identify drivers for improving the current situation by means of a systemic approach. Prevalences of production diseases were determined in 192 herds in Germany, France, Spain, and Sweden (Paper I), and stakeholder consultations were performed to investigate potential drivers to improve animal health on the sector level (ibid.). Interactions between farm variables were assessed through impact analysis and evaluated to identify general system behaviour and classify components according to their outgoing and incoming impacts (Paper II-III). The mean values and variances of prevalences indicate that the common rules of organic dairy farming in Europe do not result in consistently low levels of production diseases. Stakeholders deemed it necessary to improve the current status and were generally in favour of establishing thresholds for the prevalence of production diseases in organic dairy herds as well as taking actions to improve farms below that threshold. In order to close the gap between the organic principle of health and the organic farming practice, there is the need to formulate a common objective of good animal health and to install instruments to ensure and prove that the aim is followed by all dairy farmers in Europe who sell their products under the organic label. Regular monitoring and evaluation of herd health performance based on reference values are considered preconditions for identifying farms not reaching the target and thus in need of improvement. Graph-based impact analysis was shown to be a suitable method for modeling and evaluating the manifold interactions between farm factors and for identifying the most influential components on the farm level taking into account direct and indirect impacts as well as impact strengths. Variables likely to affect the system as a whole, and the prevalence of production diseases in particular, varied largely between farms despite some general tendencies. This finding reflects the diversity of farm systems and underlines the importance of applying systemic approaches in health management. Reducing the complexity of farm systems and indicating farm-specific drivers, i.e. areas in a farm, where changes will have a large impact, the presented approach has the potential to complement and enrich current advisory practice and to support farmers’ decision-making in terms of animal health.