An empirically-based debugging system for novice programmers

The research described here concerns the design and construction of an empirically-based debugging aid for first-time computer users, integrated into the Open University's SOLO programming environment. Its basis is an account of the processes involved as human experts debug faulty code, which account was later found to be supported by empirical tests on human experts. The account implies that an understanding of the intentions of the programmer is not essential to successful debugging of a certain class of programs. That class comprises programs written in a database-dependent language by users who are initially completely computer-naive and who during their course become competent to write simple programs which embody one or more basic AI techniques such as recursive inference. The debugging system, called AURAC, incorporates an explicit model of the debugging strategies used by human experts. Its understanding, therefore, is of programming in general and of the SOLO environment in particular. We present in the process a broad taxonomy of naive users' errors, showing that they can be divided into types, each type requiring a different debugging approach and indicating a different degree of expertise on the part of the perpetrator. SOLO is a conveniently delimited though nonetheless rich problem domain. Also described is a new version of SOLO itself (MacSOLO) which incorporates a large number of traps for the simple errors which plague novices, thus enabling AURAC to concentrate on the more interesting programming mistakes. AURAC is intended to operate after the event rather than whilst a program is actually being written, and is able via analysis of programming cliches and of data flows to isolate errors in the user's code. Where AURAC cannot analyse, or where its analysis yields nothing useful, it describes the corresponding section of code instead, so that the user receives a coherent output. MacSOLO and AURAC together form a unified system, based upon the principles of Simplicity, Consistency and Transparency. We show how these principles were applied during the design and construction phases

Analytics and Intuition in the Process of Selecting Talent

In management, decisions are expected to be based on rational analytics rather than intuition. But intuition, as a human evolutionary achievement, offers wisdom that, despite all the advances in rational analytics and AI, should be used constructively when recruiting and winning personnel. Integrating these inner experiential competencies with rational-analytical procedures leads to smart recruiting decisions

Adaptive search techniques in AI planning and heuristic search

State-space search is a common approach to solve problems appearing in artificial intelligence and other subfields of computer science. In such problems, an agent must find a sequence of actions leading from an initial state to a goal state. However, the state spaces of practical applications are often too large to explore exhaustively. Hence, heuristic functions that estimate the distance to a goal state (such as straight-line distance for navigation tasks) are used to guide the search more effectively. Heuristic search is typically viewed as a static process. The heuristic function is assumed to be unchanged throughout the search, and its resulting values are directly used for guidance without applying any further reasoning to them. Yet critical aspects of the task may only be discovered during the search, e.g., regions of the state space where the heuristic does not yield reliable values. Our work here aims to make this process more dynamic, allowing the search to adapt to such observations. One form of adaptation that we consider is online refinement of the heuristic function. We design search algorithms that detect weaknesses in the heuristic, and address them with targeted refinement operations. If the heuristic converges to perfect estimates, this results in a secondary method of progress, causing search algorithms that are otherwise incomplete to eventually find a solution. We also consider settings that inherently require adaptation: In online replanning, a plan that is being executed must be amended for changes in the environment. Similarly, in real-time search, an agent must act under strict time constraints with limited information. The search algorithms we introduce in this work share a common pattern of online adaptation, allowing them to effectively react to challenges encountered during the search. We evaluate our contributions on a wide range of standard benchmarks. Our results show that the flexibility of these algorithms makes them more robust than traditional approaches, and they often yield substantial improvements over current state-of-the-art planners.Die Zustandsraumsuche ist ein oft verwendeter Ansatz um verschiedene Probleme zu lösen, die in der Künstlichen Intelligenz und anderen Bereichen der Informatik auftreten. Dabei muss ein Akteur eine Folge von Aktionen finden, die einen Pfad von einem Startzustand zu einem Zielzustand bilden. Die Zustandsräume von praktischen Anwendungen sind häufig zu groß um sie vollständig zu durchsuchen. Aus diesem Grund leitet man die Suche mit Heuristiken, die die Distanz zu einem Zielzustand abschätzen; zum Beispiel lässt sich die Luftliniendistanz als Heuristik für Navigationsprobleme einsetzen. Heuristische Suche wird typischerweise als statischer Prozess angesehen. Man nimmt an, dass die Heuristik während der Suche eine unveränderte Funktion ist, und die resultierenden Werte werden direkt zur Leitung der Suche benutzt ohne weitere Logik darauf anzuwenden. Jedoch könnten kritische Aspekte des Problems erst im Laufe der Suche erkannt werden, wie zum Beispiel Bereiche des Zustandsraums in denen die Heuristik keine verlässlichen Abschätzungen liefert. In dieser Arbeit wird der Suchprozess dynamischer gestaltet und der Suche ermöglicht sich solchen Beobachtungen anzupassen. Eine Art dieser Anpassung ist die Onlineverbesserung der Heuristik. Es werden Suchalgorithmen entwickelt, die Schwächen in der Heuristik erkennen und mit gezielten Verbesserungsoperationen beheben. Wenn die Heuristik zu perfekten Werten konvergiert ergibt sich daraus eine zusätzliche Form von Fortschritt, wodurch auch Suchalgorithmen, die sonst unvollständig sind, garantiert irgendwann eine Lösung finden werden. Es werden auch Szenarien betrachtet, die schon von sich aus Anpassung erfordern: In der Onlineumplanung muss ein Plan, der gerade ausgeführt wird, auf Änderungen in der Umgebung angepasst werden. Ähnlich dazu muss sich ein Akteur in der Echtzeitsuche unter strengen Zeitauflagen und mit eingeschränkten Informationen bewegen. Die Suchalgorithmen, die in dieser Arbeit eingeführt werden, folgen einem gemeinsamen Muster von Onlineanpassung, was ihnen ermöglicht effektiv auf Herausforderungen zu reagieren die im Verlauf der Suche aufkommen. Diese Ansätze werden auf einer breiten Reihe von Benchmarks ausgewertet. Die Ergebnisse zeigen, dass die Flexibilität dieser Algorithmen zu erhöhter Zuverlässigkeit im Vergleich zu traditionellen Ansätzen führt, und es werden oft deutliche Verbesserungen gegenüber modernen Planungssystemen erzielt.DFG grant 389792660 as part of TRR 248 – CPEC (see https://perspicuous-computing.science), and DFG grant HO 2169/5-1, "Critically Constrained Planning via Partial Delete Relaxation

Analytics and Intuition in the Process of Selecting Talent

In management, decisions are expected to be based on rational analytics rather than intuition. But intuition, as a human evolutionary achievement, offers wisdom that, despite all the advances in rational analytics and AI, should be used constructively when recruiting and winning personnel. Integrating these inner experiential competencies with rational-analytical procedures leads to smart recruiting decisions

Linguistic methodology for the analysis of aviation accidents

A linguistic method for the analysis of small group discourse, was developed and the use of this method on transcripts of commercial air transpot accidents is demonstrated. The method identifies the discourse types that occur and determine their linguistic structure; it identifies significant linguistic variables based upon these structures or other linguistic concepts such as speech act and topic; it tests hypotheses that support significance and reliability of these variables; and it indicates the implications of the validated hypotheses. These implications fall into three categories: (1) to train crews to use more nearly optimal communication patterns; (2) to use linguistic variables as indices for aspects of crew performance such as attention; and (3) to provide guidelines for the design of aviation procedures and equipment, especially those that involve speech

Design of a cross-platform mobile application for sharing self-collected health data securely with health services

There is a need for sharing and integrating patients’ self-collected health data with electronic health records used by clinicians. A cross-platform mobile application has been developed in order to meet this need. It shares health data securely and is compatible with the Norwegian Centre for E-health Research’s FullFlow architecture. The application’s design and its components are studied in order to find out which technologies are suited for this type of application to ensure usability, integration with the Norwegian healthcare infrastructure, and confidentiality and integrity of health data.Masteroppgave i informatikkINF399MAMN-INFMAMN-PRO

A precise, General, Non-Invasive and Automatic Speed Estimation Method for MCSA Steady-State Diagnosis and Efficiency Estimation of Induction Motors in the 4.0 Industry

Tesis por compendio[ES] Hay dos aspectos cruciales a la hora de operar motores de inducción en la industria: la estimación de su eficiencia (para minimizar el consumo de energía) y su diagnóstico (para evitar paradas intempestivas y reducir los costes de mantenimiento). Para estimar la eficiencia del motor es necesario medir tensiones y corrientes. Por ello, resulta conveniente y muy útil utilizar la misma corriente para diagnosticar también el motor (Motor Current Signature Analysis: MCSA). En este sentido, la técnica MCSA más adecuada es aquella basada en la localización de armónicos de fallo en el espectro de la corriente de línea del estator en régimen permanente, pues esta es la condición de funcionamiento de la mayoría de los motores de inducción de la industria. Por otro lado, dado que la frecuencia de estos armónicos depende de la velocidad, resulta imprescindible conocer esta magnitud con precisión, ya que esto permite localizar correctamente los armónicos de fallo, y, por tanto, reducir las posibilidades de falsos positivos/negativos. A su vez, una medida precisa de la velocidad también permite calcular con precisión la potencia mecánica, lo que se traduce en una estimación más exacta del rendimiento. Por último, para adaptarse a las necesidades de la Industria 4.0, en la que se monitoriza continuamente un gran número de motores, la velocidad también debe ser obtenida de manera no invasiva, automática y para cualquier motor de inducción. A este respecto, dado que la medición precisa de la velocidad a través de un encóder es invasiva y costosa, las técnicas de estimación de velocidad sin sensores (SSE en inglés) se convierten en la mejor opción. En la primera parte de esta tesis se realiza un análisis exhaustivo de las familias de técnicas SSE presentes en la literatura técnica. Como se demuestra en ella, aquellos métodos basados en armónicos de ranura (RSHs en inglés) y en armónicos laterales de frecuencia rotacional (RFSHs) son potencialmente los únicos que pueden satisfacer todos los requisitos mencionados anteriormente. Sin embargo, como también se demuestra en esta parte, y hasta esta tesis, siempre había existido un compromiso entre la precisión (característica de los RSHs) y la aplicabilidad general del método (característica de los RFSHs). En la segunda parte, y núcleo de esta tesis, se presenta una metodología que acaba con este compromiso, proporcionando así el primer método de estimación de velocidad preciso, general, no invasivo y automático para el diagnóstico en estado estacionario MCSA y la estimación de la eficiencia de motores de inducción que operan en un contexto de Industria 4.0. Esto se consigue desarrollando una novedosa técnica basada en RSHs que, por primera vez en la literatura técnica, elimina la necesidad de conocer/estimar el número de ranuras del rotor, lo que había impedido hasta la fecha que estos métodos fueran de aplicación general. Esta técnica proporciona además un procedimiento fiable y automático para localizar la familia de RSHs en el espectro de la corriente de línea de un motor de inducción. De igual forma y sin la ayuda de un experto, la técnica es capaz de determinar los parámetros necesarios para estimar la velocidad a partir de los RSHs, utilizando medidas tomadas en régimen estacionario. La metodología es validada utilizando motores con diferentes características y tipos de alimentaciones, empleando para ello simulaciones, pruebas de laboratorio y 105 motores industriales. Además, se muestra un caso de aplicación industrial en el que el algoritmo desarrollado se implementa en un sistema de monitorización continua mediante MCSA, lo que acaba conduciendo al descubrimiento de un nuevo fallo en motores sumergibles de pozo profundo: el desgaste de los anillos de cortocircuito. Por último, se presenta una segunda aplicación directa para este tipo de motores derivada del procedimiento de detección de RSHs: el uso de estos armónicos para diagnosticar, en fase temprana, cortocircuitos entre espiras.[CA] Hi ha dos aspectes crucials a l'hora d'operar motors d'inducció en la indústria: l'estimació de la seua eficiència (per a minimitzar el consum d'energia) i el seu diagnòstic (per a evitar parades intempestives i reduir els costos de manteniment). Per a estimar l'eficiència del motor és necessari mesurar tensions i corrents. Per això, resulta convenient i molt útil utilitzar el mateix corrent per a diagnosticar també el motor (Motor Current Signature Analysis: MCSA). En aquest sentit, la tècnica MCSA més adequada és aquella basada en la localització d'harmònics de fallada en l'espectre del corrent de línia de l'estator en règim permanent, ja que aquesta és la condició de funcionament de la majoria dels motors d'inducció de la indústria. D'altra banda, atés que la freqüència d'aquests harmònics depén de la velocitat, resulta imprescindible conéixer aquesta magnitud amb precisió, ja que això permet localitzar correctament els harmònics de fallada i, per tant, reduir les possibilitats de falsos positius/negatius. Al seu torn, una mesura precisa de la velocitat també permet calcular amb precisió la potència mecànica, la qual cosa es tradueix en una estimació més exacta del rendiment. Finalment, per a adaptar-se a les necessitats de la Indústria 4.0, en la qual es monitora contínuament un gran nombre de motors, la velocitat també ha de ser obtinguda de manera no invasiva, automàtica i per a qualsevol motor d'inducció. En aquest sentit, atès que el mesurament precís de la velocitat a través d'un encóder és invasiva i costosa, les tècniques d'estimació de velocitat sense sensors (SSE en anglés) es converteixen en la millor opció. En la primera part d'aquesta tesi es realitza una anàlisi exhaustiva de totes les famílies de tècniques SSE presents en la literatura tècnica. Com es demostra en ella, aquells mètodes basats en harmònics de ranura (RSHs en anglès) i harmònics laterals de freqüència rotacional (RFSHs en anglés) són els més prometedors, ja que son potencialment els únics que poden satisfer tots els requisits esmentats anteriorment. No obstant això, com també es demostra en aquesta part, i fins a aquesta tesi, sempre havia existit un compromís entre la precisió (característica dels RSHs) i l'aplicabilitat general del mètode (característica dels RFSHs). En la segona part, i nucli d'aquesta tesi, es presenta una metodologia que acaba amb aquest compromís, proporcionant així el primer mètode d'estimació de velocitat precís, general, no invasiu i automàtic per al diagnòstic en estat estacionari MCSA i l'estimació de l'eficiència de motors d'inducció que operen en un context d'Indústria 4.0. Això s'aconsegueix desenvolupant una nova tècnica basada en RSHs que, per primera vegada en la literatura tècnica, elimina la necessitat de conéixer/estimar el nombre de ranures del rotor, cosa que havia impedit fins avui que aquests mètodes foren d'aplicació general. Aquesta tècnica proporciona a més un procediment fiable i automàtic per a localitzar la família de RSHs en l'espectre del corrent de línia d'un motor d'inducció. De la mateixa forma i sense l'ajuda d'un expert, la tècnica és capaç de determinar els paràmetres necessaris per a estimar la velocitat a partir dels RSHs, utilitzant mesures preses en règim estacionari. La metodologia és validada utilitzant motors amb diferents característiques i condicions d'alimentació, emprant per a això simulacions, proves de laboratori i 105 motors industrials. A més, es mostra un cas real d'aplicació industrial en el qual l'algoritme desenvolupat és implementat en un sistema de monitoratge continu mitjançant MCSA, la qual cosa acaba conduint al descobriment d'una nova fallada en motors submergibles de pou profund: el desgast dels anells de curtcircuit. Finalment, es presenta una segona aplicació directa per a aquest tipus de motors derivada del procediment de detecció de RSHs: l'ús d'aquests harmònics per a diagnosticar, en fase primerenca, curtcircuits entre espires.[EN] There are two crucial aspects when operating induction motors in industry: efficiency estimation (to minimize energy consumption) and diagnosis (to avoid untimely outages and reduce maintenance costs). To estimate the motor's efficiency, it is necessary to measure voltages and currents. Hence, it is convenient and very useful using the same current to also diagnose the motor (Motor Current Signature Analysis: MCSA). In this regard, the most suitable MCSA technique is that based on locating fault harmonics in the spectrum of the stator line current under steady-state, as this is the operating condition of most induction motors in industry. Since the frequency of these harmonics depends on the speed, it becomes essential to be able to know this magnitude with precision, as this makes it possible to correctly locate the fault harmonics, and therefore, reduce the chances of false positives/negatives. In turn, an accurate speed information also allows to calculate the mechanical power with precision, which results in a more accurate estimation of the motor performance. Finally, to adapt to the needs of 4.0 Industry, where large numbers of motors are continuously monitored, the speed must not only be obtained very accurately, but also non-invasively, automatically (without the need for an expert) and for any induction motor. In this regard, since precise speed measurement through a shaft sensor is invasive and expensive, Sensorless Speed Estimation (SSE) techniques become the best option. The first part of this thesis conducts a thorough analysis of all the families of SSE techniques present in the technical literature. As demonstrated therein, those techniques based on Slotting and Rotational Frequency Sideband Harmonics are the most promising, as they can potentially meet all the aforementioned requirements. However, as also proved in this part, and up to this thesis, there had always been a trade-off between accuracy, characteristic of Rotor Slot Harmonics (RSHs), and general applicability, characteristic of Rotational Frequency Sideband Harmonics (RFSHs). The second part, and core of this thesis, presents a methodology that ends with this trade-off between accuracy and general applicability, thus providing the first precise, general, noninvasive and automatic speed estimation method for MCSA steady-state diagnosis and efficiency estimation of induction motors that operate in a 4.0 Industry context. This is achieved by developing a novel RSH-based technique that, for the first time in technical literature, eliminates the need to know/estimate the number of rotor slots, which had so far prevented these techniques to be generally applicable. This technique also provides a reliable and automatic procedure to, from among the high number of significant harmonics present in the spectrum of the line current of an induction motor, locate the RSHs family. Also automatically and without the help of an expert, the technique is able to determine the parameters needed to estimate speed from RSHs, using only measurements taken during the motor normal operation at steady-state. The methodology is validated using motors with different characteristics and supply conditions, by simulations, lab tests and with 105 industrial motors. Furthermore, a real industrial case of application is shown as well, where the speed estimation algorithm is implemented in a continuous motor condition monitoring system via MCSA, which eventually leads to the discovery of a new fault in deep-well submersible motors: the wear of end-rings. Finally, a second direct application derived from the reliable and automatic procedure to detect RSHs is presented: the use of these harmonics to diagnose early-stage inter-turn faults in induction motors of deep-well submersible pumps.Bonet Jara, J. (2023). A precise, General, Non-Invasive and Automatic Speed Estimation Method for MCSA Steady-State Diagnosis and Efficiency Estimation of Induction Motors in the 4.0 Industry [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/194269Compendi