Higher-order Representation and Reasoning for Automated Ontology Evolution

Abstract: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments characterised by the heterogeneity of data and of representation languages. Our approach is based on patterns of diagnosis of faults detected across multiple ontologies. Such patterns allow to identify the type of repair required when conflicting ontologies yield erroneous inferences. We assume that each ontology is locally consistent, i.e. inconsistency arises only across ontologies when they are merged together. Local consistency avoids the derivation of uninteresting theorems, so the formula for diagnosis can essentially be seen as an open theorem over the ontologies. The system’s application domain is physics; we have adopted a modular formalisation of physics, structured by means of locales in Isabelle, to perform modular higher-order reasoning, and visualised by means of development graphs.

Single phase inverter system using proportional resonant current control

This paper presents the harmonic reduction performance of proportional resonant (PR) current controller in single phase inverter system connected to nonlinear load. In the study, proportional resonant current controller and low pass filter is discussed to eliminate low order harmonics injection in single phase inverter system. The potential of nonlinear load in producing harmonics is showed and identified by developing a nonlinear load model using a full bridge rectifier circuit. The modelling and simulation is done in MATLAB Simulink while harmonic spectrum results are obtained using Fast Fourier Transfor. End result show PR current controller capability to overcome the injection of current harmonic problems thus improved the overall total harmonic distortion (THD)

Current definitions of “transdiagnostic” in treatment development: A search for consensus

Research in psychopathology has identified psychological processes that are relevant across a range of Diagnostic and Statistical Manual (DSM) mental disorders, and these efforts have begun to produce treatment principles and protocols that can be applied transdiagnostically. However, review of recent work suggests that there has been great variability in conceptions of the term “transdiagnostic” in the treatment development literature. We believe that there is value in arriving at a common understanding of the term “transdiagnostic.” The purpose of the current manuscript is to outline three principal ways in which the term “transdiagnostic” is currently used, to delineate treatment approaches that fall into these three categories, and to consider potential advantages and disadvantages of each approachFirst author draf

Aggressive Surveillance Is Needed to Detect Endoleaks and Junctional Separation between Device Components after Zenith Fenestrated Aortic Reconstruction

Background Junctional separation and resulting type IIIa endoleak is a well-known problem after EVAR (endovascular aneurysm repair). This complication results in sac pressurization, enlargement, and eventual rupture. In this manuscript, we review the incidence of this late finding in our experience with the Cook Zenith fenestrated endoprosthesis (ZFEN, Bloomington, IN). Methods A retrospective review was performed of a prospectively maintained institutional ZFEN fenestrated EVAR database capturing all ZFENs implanted at a large-volume, academic hospital system. Patients who experienced junctional separation between the fenestrated main body and distal bifurcated graft (with or without type IIIa endoleak) at any time after initial endoprosthesis implantation were subject to further evaluation of imaging and medical records to abstract clinical courses. Results In 110 ZFENs implanted from October 2012 to December 2017 followed for a mean of 1.5 years, we observed a 4.5% and 2.7% incidence of clinically significant junctional separation and type IIIa endoleak, respectively. Junctional separation was directly related to concurrent type Ib endoleak in all 5 patients. Three patients presented with sac enlargement. One patient did not demonstrate any evidence of clinically significant endoleak and had a decreasing sac size during follow-up imaging. The mean time to diagnosis of modular separation in these patients was 40 months. Junctional separation was captured in surveillance in 2 patients and reintervened upon before manifestation of endoleak. However, the remaining 3 patients completed modular separation resulting in rupture and emergent intervention in 2 and an aortic-related mortality in the other. Conclusions Junctional separation between the fenestrated main and distal bifurcated body with the potential for type IIIa endoleak is an established complication associated with the ZFEN platform. Therefore, we advocate for maximizing aortic overlap during the index procedure followed by aggressive surveillance and treatment of stent overlap loss captured on imaging

Evaluation of Cognitive Architectures for Cyber-Physical Production Systems

Cyber-physical production systems (CPPS) integrate physical and computational resources due to increasingly available sensors and processing power. This enables the usage of data, to create additional benefit, such as condition monitoring or optimization. These capabilities can lead to cognition, such that the system is able to adapt independently to changing circumstances by learning from additional sensors information. Developing a reference architecture for the design of CPPS and standardization of machines and software interfaces is crucial to enable compatibility of data usage between different machine models and vendors. This paper analysis existing reference architecture regarding their cognitive abilities, based on requirements that are derived from three different use cases. The results from the evaluation of the reference architectures, which include two instances that stem from the field of cognitive science, reveal a gap in the applicability of the architectures regarding the generalizability and the level of abstraction. While reference architectures from the field of automation are suitable to address use case specific requirements, and do not address the general requirements, especially w.r.t. adaptability, the examples from the field of cognitive science are well usable to reach a high level of adaption and cognition. It is desirable to merge advantages of both classes of architectures to address challenges in the field of CPPS in Industrie 4.0

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas

Design and Benchmark Testing for Open Architecture Reconfigurable Mobile Spirometer and Exhaled Breath Monitor with GPS and Data Telemetry.

Portable and wearable medical instruments are poised to play an increasingly important role in health monitoring. Mobile spirometers are available commercially, and are used to monitor patients with advanced lung disease. However, these commercial monitors have a fixed product architecture determined by the manufacturer, and researchers cannot easily experiment with new configurations or add additional novel sensors over time. Spirometry combined with exhaled breath metabolite monitoring has the potential to transform healthcare and improve clinical management strategies. This research provides an updated design and benchmark testing for a flexible, portable, open access architecture to measure lung function, using common Arduino/Android microcontroller technologies. To demonstrate the feasibility and the proof-of-concept of this easily-adaptable platform technology, we had 43 subjects (healthy, and those with lung diseases) perform three spirometry maneuvers using our reconfigurable device and an office-based commercial spirometer. We found that our system compared favorably with the traditional spirometer, with high accuracy and agreement for forced expiratory volume in 1 s (FEV1) and forced vital capacity (FVC), and gas measurements were feasible. This provides an adaptable/reconfigurable open access "personalized medicine" platform for researchers and patients, and new chemical sensors and other modular instrumentation can extend the flexibility of the device in the future