Flexible and Robust Counterfactual Explanations with Minimal Satisfiable Perturbations

Counterfactual explanations (CFEs) exemplify how to minimally modify a feature vector to achieve a different prediction for an instance. CFEs can enhance informational fairness and trustworthiness, and provide suggestions for users who receive adverse predictions. However, recent research has shown that multiple CFEs can be offered for the same instance or instances with slight differences. Multiple CFEs provide flexible choices and cover diverse desiderata for user selection. However, individual fairness and model reliability will be damaged if unstable CFEs with different costs are returned. Existing methods fail to exploit flexibility and address the concerns of non-robustness simultaneously. To address these issues, we propose a conceptually simple yet effective solution named Counterfactual Explanations with Minimal Satisfiable Perturbations (CEMSP). Specifically, CEMSP constrains changing values of abnormal features with the help of their semantically meaningful normal ranges. For efficiency, we model the problem as a Boolean satisfiability problem to modify as few features as possible. Additionally, CEMSP is a general framework and can easily accommodate more practical requirements, e.g., casualty and actionability. Compared to existing methods, we conduct comprehensive experiments on both synthetic and real-world datasets to demonstrate that our method provides more robust explanations while preserving flexibility.Comment: Accepted by CIKM 202

Application of an Electric Field to Low-Frequency Oscillation Control in Hall Thrusters

In order to satisfy the national demands for developing a long-life satellite platform, lunar exploration, and deep-space exploitation, Hall thrusters are now considered the preferred candidate for spacecraft propulsion. A Hall thruster is a type of electric propulsion with an annular structure, in which a propellant, usually xenon, is ionized and then accelerated by electrostatic force to create a propulsive thrust. Low-frequency discharge current oscillations, also called breathing mode oscillations in some references, are among the major research topics of Hall thrusters. Low-frequency oscillations in the range of 10–100 kHz might affect the reliability of power processing unit and reduce the efficiency and specific impulse of Hall thrusters. The control of low-frequency oscillations is an essential challenge in the space application of Hall thrusters. It is proved that the electric field is a highly important influence factor for low-frequency oscillations; therefore, application of a dynamic electric field is a practical way to control low-frequency oscillation

Long-Life Technology for Space Flight Hall Thrusters

The vastly improved durability of spacecrafts, coupled with the simultaneous continuous development of thrusters for high power output, has created a strong demand for Hall thrusters (HT) with long service lives. However, erosion of the discharge channel walls by high-energy ions is the most impactful and visible process that limits the lifetime of the thruster. This process is very sensitive to the operation mode of the thruster and the corresponding power density. We hereby present the results of our investigation on the factors that limit the lifetime of Hall thrusters, and three proven techniques for improving longevity of use including magnetic shielding (MS), wall-less technology, and aft-magnetic fields with large gradient

Oral peripheral ameloblastoma : a retrospective series study of 25 cases

Peripheral ameloblastoma (PA) is a rare and unusual variant of odontogenic tumor, which was described only in isolated case reports in literature. The objective of this study was to investigate the clinical profile, treatment and outcome of PA in a consecutive case series. A total of 25 patients with histologically confirmed PA from 2001 to 2015 were retrospectively reviewed in our institution. Of the 25 patients, 22 males and 3 females were identified (male: female = 7.3:1). The average age was 48.3 years (range 11-81 years) with lingual or palate gingival region being the most common site (76%). The course of disease was less than 6 months in 92.0% (23/25) of all patients (mean, 3.3 months; range, 1-12 months). All patients underwent complete surgical removal of the lesions, and one lesion recurrence occurred during the follow-up period. The clinical profile and outcome of PA from Eastern China were elucidated in this retrospective analysis based on a case series. Our experience may provide some insights into the differential diagnosis and clinical management of PA. The first choice of treatment is surgical excision, which can result in a good prognosis

Kirchhoff-Love shell representation and analysis using triangle configuration B-splines

This paper presents the application of triangle configuration B-splines (TCB-splines) for representing and analyzing the Kirchhoff-Love shell in the context of isogeometric analysis (IGA). The Kirchhoff-Love shell formulation requires global $C^1$-continuous basis functions. The nonuniform rational B-spline (NURBS)-based IGA has been extensively used for developing Kirchhoff-Love shell elements. However, shells with complex geometries inevitably need multiple patches and trimming techniques, where stitching patches with high continuity is a challenge. On the other hand, due to their unstructured nature, TCB-splines can accommodate general polygonal domains, have local refinement, and are flexible to model complex geometries with $C^1$ continuity, which naturally fit into the Kirchhoff-Love shell formulation with complex geometries. Therefore, we propose to use TCB-splines as basis functions for geometric representation and solution approximation. We apply our method to both linear and nonlinear benchmark shell problems, where the accuracy and robustness are validated. The applicability of the proposed approach to shell analysis is further exemplified by performing geometrically nonlinear Kirchhoff-Love shell simulations of a pipe junction and a front bumper represented by a single patch of TCB-splines