Knowledge representation within information systems in manufacturing environments

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Representing knowledge as information content alone is insufficient in providing us with an understanding of the world around us. A combination of context as well as reasoning of the information content is fundamental to representing knowledge in an information system. Knowledge Representation is typically concerned with providing structures and theories that are used as a basis for intelligent reasoning. For this research however, the author defines an alternative meaning, which is related to how knowledge is used in a given context. Thus, this dissertation provides a contribution to the field of knowledge within information systems, in terms of the development of a frame-of-reference that will support the reader in navigating through the different forms of explicit and tacit knowledge use within the manufacturing industry. In doing so, the dissertation also presents the generation of a novel classification of three forms of knowledge (Structural, Interpretive and Evaluative forms); the development of a conceptual framework which highlights the drivers for knowledge transformation; and the development of a conceptual model which seeks to envelop both the content as well as the context of knowledge (Semiotic as well as Symbiotic factors). This is established through the use of an Empirical, Quantitative case study approach, that seeks to explore an interpretivist view of knowledge representation within two information systems contexts, within two UK manufacturing organisations. The first case study presents how a-priori knowledge assumptions are used in a computer aided engineering decision-making task within a high technology manufacturing company. The second case study shows how knowledge is used within the IT/IS investment evaluation decision making process, within a manufacturing SME. In doing so, both case studies attempt to elucidate the inherent, underlying relationship between explicit and tacit knowledge, via a frame-of-reference developed by the author which defines key drivers for knowledge transformation

Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface

Knowledge representation within information systems in manufacturing environments

Representing knowledge as information content alone is insufficient in providing us with an understanding of the world around us. A combination of context as well as reasoning of the information content is fundamental to representing knowledge in an information system. Knowledge Representation is typically concerned with providing structures and theories that are used as a basis for intelligent reasoning. For this research however, the author defines an alternative meaning, which is related to how knowledge is used in a given context. Thus, this dissertation provides a contribution to the field of knowledge within information systems, in terms of the development of a frame-of-reference that will support the reader in navigating through the different forms of explicit and tacit knowledge use within the manufacturing industry. In doing so, the dissertation also presents the generation of a novel classification of three forms of knowledge (Structural, Interpretive and Evaluative forms); the development of a conceptual framework which highlights the drivers for knowledge transformation; and the development of a conceptual model which seeks to envelop both the content as well as the context of knowledge (Semiotic as well as Symbiotic factors). This is established through the use of an Empirical, Quantitative case study approach, that seeks to explore an interpretivist view of knowledge representation within two information systems contexts, within two UK manufacturing organisations. The first case study presents how a-priori knowledge assumptions are used in a computer aided engineering decision-making task within a high technology manufacturing company. The second case study shows how knowledge is used within the IT/IS investment evaluation decision making process, within a manufacturing SME. In doing so, both case studies attempt to elucidate the inherent, underlying relationship between explicit and tacit knowledge, via a frame-of-reference developed by the author which defines key drivers for knowledge transformation.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Natural Parameterization

The objective of this project has been to develop an approach for imitating physical objects with an underlying stochastic variation. The key assumption is that a set of “natural parameters” can be extracted by a new subdivision algorithm so they reflect what is called the object’s “geometric DNA”. A case study on one hundred wheat grain crosssections (Triticum aestivum) showed that it was possible to extract thirty-six such parameters and to reuse them for Monte Carlo simulation of “new” stochastic phantoms which possessthe same stochastic behavior as the “original” cross-sections

American Option Pricing using Self-Attention GRU and Shapley Value Interpretation

Options, serving as a crucial financial instrument, are used by investors to manage and mitigate their investment risks within the securities market. Precisely predicting the present price of an option enables investors to make informed and efficient decisions. In this paper, we propose a machine learning method for forecasting the prices of SPY (ETF) option based on gated recurrent unit (GRU) and self-attention mechanism. We first partitioned the raw dataset into 15 subsets according to moneyness and days to maturity criteria. For each subset, we matched the corresponding U.S. government bond rates and Implied Volatility Indices. This segmentation allows for a more insightful exploration of the impacts of risk-free rates and underlying volatility on option pricing. Next, we built four different machine learning models, including multilayer perceptron (MLP), long short-term memory (LSTM), self-attention LSTM, and self-attention GRU in comparison to the traditional binomial model. The empirical result shows that self-attention GRU with historical data outperforms other models due to its ability to capture complex temporal dependencies and leverage the contextual information embedded in the historical data. Finally, in order to unveil the "black box" of artificial intelligence, we employed the SHapley Additive exPlanations (SHAP) method to interpret and analyze the prediction results of the self-attention GRU model with historical data. This provides insights into the significance and contributions of different input features on the pricing of American-style options.Comment: Working pape

Multi-objective optimisation of aircraft flight trajectories in the ATM and avionics context

The continuous increase of air transport demand worldwide and the push for a more economically viable and environmentally sustainable aviation are driving significant evolutions of aircraft, airspace and airport systems design and operations. Although extensive research has been performed on the optimisation of aircraft trajectories and very efficient algorithms were widely adopted for the optimisation of vertical flight profiles, it is only in the last few years that higher levels of automation were proposed for integrated flight planning and re-routing functionalities of innovative Communication Navigation and Surveillance/Air Traffic Management (CNS/ATM) and Avionics (CNS+A) systems. In this context, the implementation of additional environmental targets and of multiple operational constraints introduces the need to efficiently deal with multiple objectives as part of the trajectory optimisation algorithm. This article provides a comprehensive review of Multi-Objective Trajectory Optimisation (MOTO) techniques for transport aircraft flight operations, with a special focus on the recent advances introduced in the CNS+A research context. In the first section, a brief introduction is given, together with an overview of the main international research initiatives where this topic has been studied, and the problem statement is provided. The second section introduces the mathematical formulation and the third section reviews the numerical solution techniques, including discretisation and optimisation methods for the specific problem formulated. The fourth section summarises the strategies to articulate the preferences and to select optimal trajectories when multiple conflicting objectives are introduced. The fifth section introduces a number of models defining the optimality criteria and constraints typically adopted in MOTO studies, including fuel consumption, air pollutant and noise emissions, operational costs, condensation trails, airspace and airport operations

Feasible Form Parameter Design of Complex Ship Hull Form Geometry

This thesis introduces a new methodology for robust form parameter design of complex hull form geometry via constraint programming, automatic differentiation, interval arithmetic, and truncated hierarchical B- splines. To date, there has been no clearly stated methodology for assuring consistency of general (equality and inequality) constraints across an entire geometric form parameter ship hull design space. In contrast, the method to be given here can be used to produce guaranteed narrowing of the design space, such that infeasible portions are eliminated. Furthermore, we can guarantee that any set of form parameters generated by our method will be self consistent. It is for this reason that we use the title feasible form parameter design. In form parameter design, a design space is represented by a tuple of design parameters which are extended in each design space dimension. In this representation, a single feasible design is a consistent set of real valued parameters, one for every component of the design space tuple. Using the methodology to be given here, we pick out designs which consist of consistent parameters, narrowed to any desired precision up to that of the machine, even for equality constraints. Furthermore, the method is developed to enable the generation of complex hull forms using an extension of the basic rules idea to allow for automated generation of rules networks, plus the use of the truncated hierarchical B-splines, a wavelet-adaptive extension of standard B-splines and hierarchical B-splines. The adaptive resolution methods are employed in order to allow an automated program the freedom to generate complex B-spline representations of the geometry in a robust manner across multiple levels of detail. Thus two complementary objectives are pursued: ensuring feasible starting sets of form parameters, and enabling the generation of complex hull form geometry