arXiv subjects

Jingyi Wang

Publications and source records attributed to Jingyi Wang.

At least 109 records · Page 6Linked to original sources

arXiv2023

Optimization of process parameters in additive manufacturing based on the finite element method

A design optimization framework for process parameters of additive manufacturing based on finite element simulation is proposed. The finite element method uses a coupled thermomechanical model developed for fused deposition modeling from the authors' previous work. Both gradient-based and gradient-free optimization methods are proposed. The gradient-based approach, which solves a PDE-constrained optimization problem, requires sensitivities computed from the fully discretized finite element model. We show the derivation of the sensitivities and apply them in a projected gradient descent algorithm. For the gradient-free approach, we propose two distinct algorithms: a local search algorithm called the method of local variations and a Bayesian optimization algorithm using Gaussian processes. To illustrate the effectiveness and differences of the methods, we provide two-dimensional design optimization examples using all three proposed algorithms.

math.NA↗

arXiv2023

Variability as a predictor for the hard-to-soft state transition in GX 339-4

During the outbursts of black hole X-ray binaries (BHXRBs), their accretion flows transition through several states. The source luminosity rises in the hard state, dominated by non-thermal emission, before transitioning to the blackbody-dominated soft state. As the luminosity decreases, the source transitions back into the hard state and fades to quiescence. This picture does not always hold, as $\approx$ 40$\%$ of the outbursts never leave the hard state. Identifying the physics that govern state transitions remains one of the outstanding open questions in black hole astrophysics. In this paper we present an analysis of archival RXTE data of multiple outbursts of GX 339-4. We compare the properties of the X-ray variability and time-averaged energy spectrum and demonstrate that the variability (quantified by the power spectral hue) systematically evolves $\approx$ 10-40 days ahead of the canonical state transition (quantified by a change in spectral hardness); no such evolution is found in hard state only outbursts. This indicates that the X-ray variability can be used to predict if and when the hard-to-soft state transition will occur. Finally, we find a similar behavior in ten outbursts of four additional BHXRBs with more sparse observational coverage. Based on these findings, we suggest that state transitions in BHXRBs might be driven by a change in the turbulence in the outer regions of the disk, leading to a dramatic change in variability. This change is only seen in the spectrum days to weeks later, as the fluctuations propagate inwards towards the corona.

astro-ph.HE↗

arXiv2023

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is critical to ensure that they operate correctly and safely. The majority of PLCs are programmed in languages such as Structured Text (ST). However, a lack of formal semantics makes it difficult to ascertain the correctness of their translators and compilers, which vary from vendor-to-vendor. In this work, we develop K-ST, a formal executable semantics for ST in the K framework. Defined with respect to the IEC 61131-3 standard and PLC vendor manuals, K-ST is a high-level reference semantics that can be used to evaluate the correctness and consistency of different ST implementations. We validate K-ST by executing 509 ST programs extracted from Github and comparing the results against existing commercial compilers (i.e., CODESYS, CX-Programmer, and GX Works2). We then apply K-ST to validate the implementation of the open source OpenPLC platform, comparing the executions of several test programs to uncover five bugs and nine functional defects in the compiler.

cs.PL↗

arXiv2023

Quantitative phase imaging of opaque specimens with flexible endoscopic microscopy

The flexible endoscope is a minimally invasive tool in clinical settings, but most of them rely on exogenous staining for diagnosis to provide qualitative information. Here, we demonstrated a flexible endoscopic microscopy (FEM) with diffracted gradient light for quantitative phase imaging of unlabeled thick samples. Our instrument features a small form factor fiber bundle as the endoscope probe, cellular-level lateral and axial resolutions, and direct phase measurement via simple field modulation. By testing pathologic slices, thick opaque mammalian tissue ex vivo and wound healing in vivo, FEM identifies normal and tumor glandular structures, secreta, and tomographic skin layers. With the advantages of direct morphological and phase measurement, high resolution, and thin fiber tip, the label-free FEM could be an attractive tool for various clinical applications.

physics.optics↗

arXiv2023

Improving Scene Graph Generation with Superpixel-Based Interaction Learning

Recent advances in Scene Graph Generation (SGG) typically model the relationships among entities utilizing box-level features from pre-defined detectors. We argue that an overlooked problem in SGG is the coarse-grained interactions between boxes, which inadequately capture contextual semantics for relationship modeling, practically limiting the development of the field. In this paper, we take the initiative to explore and propose a generic paradigm termed Superpixel-based Interaction Learning (SIL) to remedy coarse-grained interactions at the box level. It allows us to model fine-grained interactions at the superpixel level in SGG. Specifically, (i) we treat a scene as a set of points and cluster them into superpixels representing sub-regions of the scene. (ii) We explore intra-entity and cross-entity interactions among the superpixels to enrich fine-grained interactions between entities at an earlier stage. Extensive experiments on two challenging benchmarks (Visual Genome and Open Image V6) prove that our SIL enables fine-grained interaction at the superpixel level above previous box-level methods, and significantly outperforms previous state-of-the-art methods across all metrics. More encouragingly, the proposed method can be applied to boost the performance of existing box-level approaches in a plug-and-play fashion. In particular, SIL brings an average improvement of 2.0% mR (even up to 3.4%) of baselines for the PredCls task on Visual Genome, which facilitates its integration into any existing box-level method.

cs.CV↗

arXiv2023

HODOR: Shrinking Attack Surface on Node.js via System Call Limitation

Node.js provides Node.js applications with system interaction capabilities using system calls. However, such convenience comes with a price, i.e., the attack surface of JavaScript arbitrary code execution (ACE) vulnerabilities is expanded to the system call level. There lies a noticeable gap between existing protection techniques in the JavaScript code level (either by code debloating or read-write-execute permission restriction) and a targeted defense for emerging critical system call level exploitation. To fill the gap, we design and implement HODOR, a lightweight runtime protection system based on enforcing precise system call restrictions when running a Node.js application. HODOR achieved this by addressing several nontrivialial technical challenges. First, HODOR requires to construct high-quality call graphs for both the Node.js application (in JavaScript) and its underlying Node.js framework (in JavaScript and C/C++). Specifically, HODOR incorporates several important optimizations in both the JavaScript and C/C++ level to improve the state-of-the-art tools for building more precise call graphs. Then, HODOR creates the main-thread whitelist and the thread-pool whitelist respectively containing the identified necessary system calls based on the call graphs mappings. Finally, with the whitelists, HODOR implements lightweight system call restriction using the Linux kernel feature Secure Computing Mode (seccomp) to shrink the attack surface. We utilize HODOR to protect 83 real-world Node.js applications compromised by arbitrary code/command execution attacks. HODOR could reduce the attack surface to 16.75% on average with negligible runtime overhead (i.e., <3%).

cs.CR↗

arXiv2023

Single-pixel p-graded-n junction spectrometers

Ultra-compact spectrometers are becoming increasingly popular for their promising applications in biomedical analysis, environmental monitoring, and food safety. In this work, we report a novel single-pixel-photodetector spectrometer with a spectral range from 480 nm to 820 nm, based on the AlGaAs/GaAs p-graded-n junction with a voltage-tunable optical response. To reconstruct the optical spectrum, we propose a tailored method called Neural Spectral Fields (NSF) that leverages the unique wavelength and bias-dependent responsivity matrix. Our spectrometer achieves a high spectral wavelength accuracy of up to 0.30 nm and a spectral resolution of up to 10 nm. Additionally, we demonstrate the high spectral imaging performance of the device. The compatibility of our demonstration with the standard III-V process greatly accelerates the commercialization of miniaturized spectrometers.

physics.app-ph↗

arXiv2023

Cross-Modality Time-Variant Relation Learning for Generating Dynamic Scene Graphs

Dynamic scene graphs generated from video clips could help enhance the semantic visual understanding in a wide range of challenging tasks such as environmental perception, autonomous navigation, and task planning of self-driving vehicles and mobile robots. In the process of temporal and spatial modeling during dynamic scene graph generation, it is particularly intractable to learn time-variant relations in dynamic scene graphs among frames. In this paper, we propose a Time-variant Relation-aware TRansformer (TR$^2$), which aims to model the temporal change of relations in dynamic scene graphs. Explicitly, we leverage the difference of text embeddings of prompted sentences about relation labels as the supervision signal for relations. In this way, cross-modality feature guidance is realized for the learning of time-variant relations. Implicitly, we design a relation feature fusion module with a transformer and an additional message token that describes the difference between adjacent frames. Extensive experiments on the Action Genome dataset prove that our TR$^2$ can effectively model the time-variant relations. TR$^2$ significantly outperforms previous state-of-the-art methods under two different settings by 2.1% and 2.6% respectively.

cs.CV↗

arXiv2023

Investigating the impact of vertically extended coronae on X-ray reverberation mapping

Accreting black holes commonly exhibit hard X-ray emission, originating from a region of hot plasma near the central engine referred to as the corona. The origin and geometry of the corona are poorly understood, and models invoking either inflowing or outflowing material (or both) can successfully explain only parts of the observed phenomenology. In particular, recent works indicate that the time-averaged and variability property might originate in different regions of the corona. In this paper we present a model designed to move beyond the lamp post paradigm, with the goal of accounting for the vertical extent of the corona. In particular, we highlight the impact of including self consistently a second lamp post, mimicking for example an extended jet base. We fully include the effect that the second source has on the time-dependent disk ionization, reflection spectrum, and reverberation lags. We also present an application of this new model to NICER observations of the X-ray binary MAXI J1820+070 near its hard-to-soft state transition. We demonstrate that in these observations, a vertically extended corona can capture both spectral and timing properties, while a single lamp post model can not. In this scenario, the illumination responsible for the time-averaged spectrum originates close to the black hole, while the variability is likely associated with the ballistic jet.

astro-ph.HE↗

arXiv2023

FairRec: Fairness Testing for Deep Recommender Systems

Deep learning-based recommender systems (DRSs) are increasingly and widely deployed in the industry, which brings significant convenience to people's daily life in different ways. However, recommender systems are also shown to suffer from multiple issues,e.g., the echo chamber and the Matthew effect, of which the notation of "fairness" plays a core role.While many fairness notations and corresponding fairness testing approaches have been developed for traditional deep classification models, they are essentially hardly applicable to DRSs. One major difficulty is that there still lacks a systematic understanding and mapping between the existing fairness notations and the diverse testing requirements for deep recommender systems, not to mention further testing or debugging activities. To address the gap, we propose FairRec, a unified framework that supports fairness testing of DRSs from multiple customized perspectives, e.g., model utility, item diversity, item popularity, etc. We also propose a novel, efficient search-based testing approach to tackle the new challenge, i.e., double-ended discrete particle swarm optimization (DPSO) algorithm, to effectively search for hidden fairness issues in the form of certain disadvantaged groups from a vast number of candidate groups. Given the testing report, by adopting a simple re-ranking mitigation strategy on these identified disadvantaged groups, we show that the fairness of DRSs can be significantly improved. We conducted extensive experiments on multiple industry-level DRSs adopted by leading companies. The results confirm that FairRec is effective and efficient in identifying the deeply hidden fairness issues, e.g., achieving 95% testing accuracy with half to 1/8 time.

cs.AI↗

arXiv2023

UV/Optical disk reverberation lags despite a faint X-ray corona in the AGN Mrk 335

We present the first results from a 100-day Swift, NICER and ground-based X-ray/UV/optical reverberation mapping campaign of the Narrow-Line Seyfert 1 Mrk 335, when it was in an unprecedented low X-ray flux state. Despite dramatic suppression of the X-ray variability, we still observe UV/optical lags as expected from disk reverberation. Moreover, the UV/optical lags are consistent with archival observations when the X-ray luminosity was >10 times higher. Interestingly, both low- and high-flux states reveal UV/optical lags that are 6-11 times longer than expected from a thin disk. These long lags are often interpreted as due to contamination from the broad line region, however the u band excess lag (containing the Balmer jump from the diffuse continuum) is less prevalent than in other AGN. The Swift campaign showed a low X-ray-to-optical correlation (similar to previous campaigns), but NICER and ground-based monitoring continued for another two weeks, during which the optical rose to the highest level of the campaign, followed ~10 days later by a sharp rise in X-rays. While the low X-ray countrate and relatively large systematic uncertainties in the NICER background make this measurement challenging, if the optical does lead X-rays in this flare, this indicates a departure from the zeroth-order reprocessing picture. If the optical flare is due to an increase in mass accretion rate, this occurs on much shorter than the viscous timescale. Alternatively, the optical could be responding to an intrinsic rise in X-rays that is initially hidden from our line-of-sight.

astro-ph.HE↗

arXiv2022

Towards Comprehensively Understanding the Run-time Security of Programmable Logic Controllers: A 3-year Empirical Study

Programmable Logic Controllers (PLCs) are the core control devices in Industrial Control Systems (ICSs), which control and monitor the underlying physical plants such as power grids. PLCs were initially designed to work in a trusted industrial network, which however can be brittle once deployed in an Internet-facing (or penetrated) network. Yet, there is a lack of systematic empirical analysis of the run-time security of modern real-world PLCs. To close this gap, we present the first large-scale measurement on 23 off-the-shelf PLCs across 13 leading vendors. We find many common security issues and unexplored implications that should be more carefully addressed in the design and implementation. To sum up, the unsupervised logic applications can cause system resource/privilege abuse, which gives adversaries new means to hijack the control flow of a runtime system remotely (without exploiting memory vulnerabilities); 2) the improper access control mechanisms bring many unauthorized access implications; 3) the proprietary or semi-proprietary protocols are fragile regarding confidentiality and integrity protection of run-time data. We empirically evaluated the corresponding attack vectors on multiple PLCs, which demonstrates that the security implications are severe and broad. Our findings were reported to the related parties responsibly, and 20 bugs have been confirmed with 7 assigned CVEs.

cs.CR↗

arXiv2022

Two-Sample Test for High-Dimensional Covariance Matrices: a normal-reference approach

Testing the equality of the covariance matrices of two high-dimensional samples is a fundamental inference problem in statistics. Several tests have been proposed but they are either too liberal or too conservative when the required assumptions are not satisfied which attests that they are not always applicable in real data analysis. To overcome this difficulty, a normal-reference test is proposed and studied in this paper. It is shown that under some regularity conditions and the null hypothesis, the proposed test statistic and a chi-square-type mixture have the same limiting distribution. It is then justified to approximate the null distribution of the proposed test statistic using that of the chi-square-type mixture. The distribution of the chi-square-type mixture can be well approximated using a three-cumulant matched chi-square-approximation with its approximation parameters consistently estimated from the data. The asymptotic power of the proposed test under a local alternative is also established. Simulation studies and a real data example demonstrate that in terms of size control, the proposed test outperforms the existing competitors substantially.

math.ST↗

arXiv2022

X-ray Reverberation Mapping of Ark 564 using Gaussian Process Regression

Ark 564 is an extreme high-Eddington Narrow-line Seyfert 1 galaxy, known for being one of the brightest, most rapidly variable soft X-ray AGN, and for having one of the lowest temperature coronae. Here we present a 410-ks NuSTAR observation and two 115-ks XMM-Newton observations of this unique source, which reveal a very strong, relativistically broadened iron line. We compute the Fourier-resolved time lags by first using Gaussian processes to interpolate the NuSTAR gaps, implementing the first employment of multi-task learning for application in AGN timing. By fitting simultaneously the time lags and the flux spectra with the relativistic reverberation model RELTRANS, we constrain the mass at $2.3^{+2.6}_{-1.3} \times 10^6M_\odot$, although additional components are required to describe the prominent soft excess in this source. These results motivate future combinations of machine learning, Fourier-resolved timing, and the development of reverberation models.

astro-ph.HE↗

arXiv2022

TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination

Discrimination has been shown in many machine learning applications, which calls for sufficient fairness testing before their deployment in ethic-relevant domains such as face recognition, medical diagnosis and criminal sentence. Existing fairness testing approaches are mostly designed for identifying individual discrimination, i.e., discrimination against individuals. Yet, as another widely concerning type of discrimination, testing against group discrimination, mostly hidden, is much less studied. To address the gap, in this work, we propose TESTSGD, an interpretable testing approach which systematically identifies and measures hidden (which we call `subtle' group discrimination} of a neural network characterized by conditions over combinations of the sensitive features. Specifically, given a neural network, TESTSGDfirst automatically generates an interpretable rule set which categorizes the input space into two groups exposing the model's group discrimination. Alongside, TESTSGDalso provides an estimated group fairness score based on sampling the input space to measure the degree of the identified subtle group discrimination, which is guaranteed to be accurate up to an error bound. We evaluate TESTSGDon multiple neural network models trained on popular datasets including both structured data and text data. The experiment results show that TESTSGDis effective and efficient in identifying and measuring such subtle group discrimination that has never been revealed before. Furthermore, we show that the testing results of TESTSGDcan guide generation of new samples to mitigate such discrimination through retraining with negligible accuracy drop.

cs.LG↗

arXiv2022

Keyword Spotting System and Evaluation of Pruning and Quantization Methods on Low-power Edge Microcontrollers

Keyword spotting (KWS) is beneficial for voice-based user interactions with low-power devices at the edge. The edge devices are usually always-on, so edge computing brings bandwidth savings and privacy protection. The devices typically have limited memory spaces, computational performances, power and costs, for example, Cortex-M based microcontrollers. The challenge is to meet the high computation and low-latency requirements of deep learning on these devices. This paper firstly shows our small-footprint KWS system running on STM32F7 microcontroller with Cortex-M7 core @216MHz and 512KB static RAM. Our selected convolutional neural network (CNN) architecture has simplified number of operations for KWS to meet the constraint of edge devices. Our baseline system generates classification results for each 37ms including real-time audio feature extraction part. This paper further evaluates the actual performance for different pruning and quantization methods on microcontroller, including different granularity of sparsity, skipping zero weights, weight-prioritized loop order, and SIMD instruction. The result shows that for microcontrollers, there are considerable challenges for accelerate unstructured pruned models, and the structured pruning is more friendly than unstructured pruning. The result also verified that the performance improvement for quantization and SIMD instruction.

cs.SD↗

arXiv2022

VeriFi: Towards Verifiable Federated Unlearning

Federated learning (FL) is a collaborative learning paradigm where participants jointly train a powerful model without sharing their private data. One desirable property for FL is the implementation of the right to be forgotten (RTBF), i.e., a leaving participant has the right to request to delete its private data from the global model. However, unlearning itself may not be enough to implement RTBF unless the unlearning effect can be independently verified, an important aspect that has been overlooked in the current literature. In this paper, we prompt the concept of verifiable federated unlearning, and propose VeriFi, a unified framework integrating federated unlearning and verification that allows systematic analysis of the unlearning and quantification of its effect, with different combinations of multiple unlearning and verification methods. In VeriFi, the leaving participant is granted the right to verify (RTV), that is, the participant notifies the server before leaving, then actively verifies the unlearning effect in the next few communication rounds. The unlearning is done at the server side immediately after receiving the leaving notification, while the verification is done locally by the leaving participant via two steps: marking (injecting carefully-designed markers to fingerprint the leaver) and checking (examining the change of the global model's performance on the markers). Based on VeriFi, we conduct the first systematic and large-scale study for verifiable federated unlearning, considering 7 unlearning methods and 5 verification methods. Particularly, we propose a more efficient and FL-friendly unlearning method, and two more effective and robust non-invasive-verification methods. We extensively evaluate VeriFi on 7 datasets and 4 types of deep learning models. Our analysis establishes important empirical understandings for more trustworthy federated unlearning.

cs.CR↗

arXiv2022

The NICER "Reverberation Machine": A Systematic Study of Time Lags in Black Hole X-Ray Binaries

We perform the first systematic search of all NICER archival observations of black hole (and candidate) low-mass X-ray binaries for signatures of reverberation. Reverberation lags result from the light travel time difference between the direct coronal emission and the reflected disk component, and therefore their properties are a useful probe of the disk-corona geometry. We detect new signatures of reverberation lags in 8 sources, increasing the total sample from 3 to 11, and study the evolution of reverberation lag properties as the sources evolve in outbursts. We find that in all of the 9 sources with more than 1 reverberation lag detection, the reverberation lags become longer and dominate at lower Fourier frequencies during the hard-to-soft state transition. This result shows that the evolution in reverberation lags is a global property of the state transitions of black hole low-mass X-ray binaries, which is valuable in constraining models of such state transitions. The reverberation lag evolution suggests that the corona is the base of a jet which vertically expands and/or gets ejected during state transition. We also discover that in the hard state, the reverberation lags get shorter, just as the QPOs move to higher frequencies, but then in the state transition, while the QPOs continue to higher frequencies, the lags get longer. We discuss implications for the coronal geometry and physical models of QPOs in light of this new finding.

astro-ph.HE↗