SearcharxivSearch

arXiv subjects

William Duncan

Publications and source records attributed to William Duncan.

7 recordsLinked to original sources

Explaining Process Control Optimisation Recommendations via GradientSHAP and Implicit Differentiation

Automated optimisation is increasingly adopted in industrial processes, yet a trust gap persists between engineers who design these algorithms and operators who must act on their recommendations. Explainable AI methods like SHAP (SHapley Additive exPlanations) have transformed interpretability for machine learning predictions; optimisation outputs could benefit from similar techniques. We present an approach that integrates Implicit Function Theorem (IFT) based sensitivity analysis with SHAP attribution and narrative generation via Large Language Models (LLM), producing explanations tailored for operators. Our approach leverages IFT to compute exact parameter sensitivities $\partial p^*/\partial x$ from the optimality conditions, enabling efficient GradientSHAP computation. For an industrial High Pressure Grinding Roll (HPGR) control optimisation problem with 22 features, we achieve equivalent SHAP attributions (correlation $>$0.99 with KernelSHAP) with over 40$\times$ speedup, enabling real-time natural language explanations. We validate on industrial scenarios and present feedback from domain experts on generated explanations.

cs.AI

Dynamic Retrieval Augmented Generation of Ontologies using Artificial Intelligence (DRAGON-AI)

Background: Ontologies are fundamental components of informatics infrastructure in domains such as biomedical, environmental, and food sciences, representing consensus knowledge in an accurate and computable form. However, their construction and maintenance demand substantial resources and necessitate substantial collaboration between domain experts, curators, and ontology experts. We present Dynamic Retrieval Augmented Generation of Ontologies using AI (DRAGON-AI), an ontology generation method employing Large Language Models (LLMs) and Retrieval Augmented Generation (RAG). DRAGON-AI can generate textual and logical ontology components, drawing from existing knowledge in multiple ontologies and unstructured text sources. Results: We assessed performance of DRAGON-AI on de novo term construction across ten diverse ontologies, making use of extensive manual evaluation of results. Our method has high precision for relationship generation, but has slightly lower precision than from logic-based reasoning. Our method is also able to generate definitions deemed acceptable by expert evaluators, but these scored worse than human-authored definitions. Notably, evaluators with the highest level of confidence in a domain were better able to discern flaws in AI-generated definitions. We also demonstrated the ability of DRAGON-AI to incorporate natural language instructions in the form of GitHub issues. Conclusions: These findings suggest DRAGON-AI's potential to substantially aid the manual ontology construction process. However, our results also underscore the importance of having expert curators and ontology editors drive the ontology generation process.

cs.AI

Homeostasis Patterns

Homeostasis is a regulatory mechanism that keeps a specific variable close to a set value as other variables fluctuate. The notion of homeostasis can be rigorously formulated when the model of interest is represented as an input-output network, with distinguished input and output nodes, and the dynamics of the network determines the corresponding input-output function of the system. In this context, homeostasis can be defined as an 'infinitesimal' notion, namely, the derivative of the input-output function is zero at an isolated point. Combining this approach with graph-theoretic ideas from combinatorial matrix theory provides a systematic framework for calculating homeostasis points in models and classifying the different homeostasis types in input-output networks. In this paper we extend this theory by introducing the notion of a homeostasis pattern, defined as a set of nodes, in addition to the output node, that are simultaneously infinitesimally homeostatic. We prove that each homeostasis type leads to a distinct homeostasis pattern. Moreover, we describe all homeostasis patterns supported by a given input-output network in terms of a combinatorial structure associated to the input-output network. We call this structure the homeostasis pattern network.

math.DS

Equilibria and their Stability in Networks with Steep Sigmoidal Nonlinearities

In this paper we investigate equilibria of continuous differential equation models of network dynamics. The motivation comes from gene regulatory networks where each directed edge represents either down- or up-regulation, and is modeled by a sigmoidal nonlinear function. We show that the existence and stability of equilibria of a sigmoidal system is determined by a combinatorial analysis of the limiting switching system with piece-wise constant non-linearities. In addition, we describe a local decomposition of a switching system into a product of simpler cyclic feedback systems, where the cycles in each decomposition correspond to a particular subset of network loops.

math.DS

SCUBA-2: a 10,000 pixel submillimeter camera for the James Clerk Maxwell Telescope

SCUBA-2 is an innovative 10,000 pixel submillimeter camera due to be delivered to the James Clerk Maxwell Telescope in late 2006. The camera is expected to revolutionize submillimeter astronomy in terms of the ability to carry out wide-field surveys to unprecedented depths addressing key questions relating to the origins of galaxies, stars and planets. This paper presents an update on the project with particular emphasis on the laboratory commissioning of the instrument. The assembly and integration will be described as well as the measured thermal performance of the instrument. A summary of the performance results will be presented from the TES bolometer arrays, which come complete with in-focal plane SQUID amplifiers and multiplexed readouts, and are cooled to 100mK by a liquid cryogen-free dilution refrigerator. Considerable emphasis has also been placed on the operating modes of the instrument and the common-user aspect of the user interface and data reduction pipeline. These areas will also be described in the paper.

astro-ph

Modeling the electromagnetic properties of the SCUBA-2 detectors

SCUBA-2 is the next-generation replacement for SCUBA (Sub-millimetre Common User Bolometer Array) on the James Clerk Maxwell Telescope. Operating at 450 and 850 microns, SCUBA-2 fills the focal plane of the telescope with fully-sampled, monolithic bolometer arrays. Each SCUBA-2 pixel uses a quarter-wave slab of silicon with an implanted resistive layer and backshort as an absorber and a superconducting transition edge sensor as a thermometer. In order to verify and optimize the pixel design, we have investigated the electromagnetic behaviour of the detectors, using both a simple transmission-line model and Ansoft HFSS, a finite-element electromagnetic simulator. We used the transmission line model to fit transmission measurements of doped wafers and determined the correct implant dose for the absorbing layer. The more detailed HFSS modelling yielded some unexpected results which led us to modify the pixel design. We also verified that the detectors suffered little loss of sensitivity for off-axis angles up to about 30 degrees.

physics.ins-det

An update on the SCUBA-2 project

SCUBA-2, which replaces SCUBA (the Submillimeter Common User Bolometer Array) on the James Clerk Maxwell Telescope (JCMT) in 2006, is a large-format bolometer array for submillimeter astronomy. Unlike previous detectors which have used discrete bolometers, SCUBA-2 has two dc-coupled, monolithic, filled arrays with a total of ~10,000 bolometers. It will offer simultaneous imaging of a 50 sq-arcmin field of view at wavelengths of 850 and 450 microns. SCUBA-2 is expected to have a huge impact on the study of galaxy formation and evolution in the early Universe as well as star and planet formation in our own Galaxy. Mapping the sky to the same S/N up to 1000 times faster than SCUBA, it will also act as a pathfinder for the new submillimeter interferometers such as ALMA. SCUBA-2's absorber-coupled pixels use superconducting transition edge sensors operating at 120 mK for performance limited by the sky background photon noise. The monolithic silicon detector arrays are deep-etched by the Bosch process to isolate the pixels on silicon nitride membranes. Electrical connections are made through indium bump bonds to a SQUID time-domain multiplexer (MUX). We give an overview of the SCUBA-2 system and an update on its status, and describe some of the technological innovations that make this unique instrument possible.

astro-ph