Catalog footprint

What is connected

23works
24topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

Lens: A Knowledge-Guided Foundation Model for Network Traffic

Network traffic refers to the amount of data being sent and received over the Internet or any system that connects computers. Analyzing network traffic is vital for security and management, yet remains challenging due to the heterogeneity of plain-text packet headers and encrypted payloads. To capture the latent semantics of traffic, recent studies have adopted Transformer-based pretraining techniques to learn network representations from massive traffic data. However, these methods pre-train on data-driven tasks but overlook network knowledge, such as masking partial digits of the indivisible network port numbers for prediction, thereby limiting semantic understanding. In addition, they struggle to extend classification to new classes during fine-tuning due to the distribution shift. Motivated by these limitations, we propose \Lens, a unified knowledge-guided foundation model for both network traffic classification and generation. In pretraining, we propose a Knowledge-Guided Mask Span Prediction method with textual context for learning knowledge-enriched representations. For extending to new classes in finetuning, we reframe the traffic classification as a closed-ended generation task and introduce context-aware finetuning to adapt to the distribution shift. Evaluation results across various benchmark datasets demonstrate that the proposed Lens~achieves superior performance on both classification and generation tasks. For traffic classification, Lens~outperforms competitive baselines substantially on 8 out of 12 tasks with an average accuracy of \textbf{96.33\%} and extends to novel classes with significantly better performance. For traffic generation, Lens~generates better high-fidelity network traffic for network simulation, gaining up to \textbf{30.46\%} and \textbf{33.3\%} better accuracy and F1 in fuzzing tests. We will open-source the code upon publication.

preprint2023arXiv

The Mars Orbiter Magnetometer of Tianwen-1: In-flight Performance and First Science Results

Mars Orbiter MAGnetometer (MOMAG) is a scientifc instrument onboard the orbiter of China's first mission for Mars -- Tianwen-1. It started to routinely measure the magnetic field from the solar wind to magnetic pile-up region surrounding Mars since November 13, 2021. Here we present its in-flight performance and first science results based on the first one and a half months' data. By comparing with the magnetic field data in the solar wind from the Mars Atmosphere and Volatile EvolutioN (MAVEN), the magnetic field by MOMAG is at the same level in magnitude, and the same magnetic structures with the similar variations in three components could be found in MOMAG data. In the first one and a half months, we recognize 158 clear bow shock (BS) crossings from MOMAG data, whose locations statistically match well with the modeled average BS. We also identify 5 pairs of simultaneous BS crossings of the Tianwen-1's orbiter and MAVEN. These BS crossings confirm the global shape of modeled BS as well as the south-north asymmetry of the Martian BS. Two presented cases in this paper suggest that the BS is probably more dynamic at flank than near the nose. So far, MOMAG performs well, and provides accurate magnetic field vectors. MOMAG is continuously scanning the magnetic field surrounding Mars. These measurements complemented by observations from MAVEN will undoubtedly advance our understanding of the plasma environment of Mars.

preprint2022arXiv

Low-frequency Phonon at Perovskite Oxide Interface Studied by Surface-specific Nonlinear Terahertz Spectroscopy

The low-frequency collective excitations, which often occur in the terahertz or multi-terahertz spectral region, play an essential role in many novel emergent phenomena. Despite numerous studies in the bulk, detection of such excitations at interfaces remains challenging owing to the lack of feasible experimental techniques. Here, we show that interfacial low-frequency modes can be characterized using surface-specific nonlinear terahertz spectroscopy. This technique uses intra-pulse difference frequency mixing (DFM) process that can extend the second-order optical spectroscopy to the terahertz range. As a demonstration, the surface phonon of SrTiO3(001) at 2.8 THz was successfully measured. This surface polarization originates from the excess of oxygen vacancies or charge transfer at the interface. We have also developed an analytical procedure for remote measurement of the interfacial potential of complex oxides in a practical environment. Our method offers new opportunities for in situ studies of the low-frequency excitations at interfaces in broad disciplines.

preprint2022arXiv

Revealing the CO2 emission reduction of ridesplitting and its determinants based on real-world data

Ridesplitting, which is a form of pooled ridesourcing service, has great potential to alleviate the negative impacts of ridesourcing on the environment. However, most existing studies only explored its theoretical environmental benefits based on optimization models and simulations. By contrast, this study aims to reveal the real-world emission reduction of ridesplitting and its determinants based on the observed data of ridesourcing in Chengdu, China. Integrating the trip data with the COPERT model, this study calculates the CO2 emissions of shared rides (ridesplitting) and their substituted single rides (regular ridesourcing) to estimate the CO2 emission reduction of each ridesplitting trip. The results show that not all ridesplitting trips reduce emissions from ridesourcing in the real world. The CO2 emission reduction rate of ridesplitting varies from trip to trip, averaging at 43.15g/km. Then, interpretable machine learning models, gradient boosting machines, are applied to explore the relationship between the CO2 emission reduction rate of ridesplitting and its determinants. Based on the SHapley Additive exPlanations (SHAP) method, the overlap rate and detour rate of shared rides are identified to be the most important factors that determine the CO2 emission reduction rate of ridesplitting. Increasing the overlap rate, the number of shared rides, average speed, and ride distance ratio while decreasing the detour rate, actual trip distance, and ride distance gap can increase the CO2 emission reduction rate of ridesplitting. In addition, nonlinear effects and interactions of the determinants are examined through the partial dependence plots. To sum up, this study provides a scientific method for the government and ridesourcing companies to better assess and optimize the environmental benefits of ridesplitting.

preprint2022arXiv

The Sustainable Response Strategy to COVID-19: Pandemic Urban Zoning Based on Multimodal Transport Data

Since the outbreak of COVID-19, it has rapidly evolved into a sudden and major public health emergency globally. With the variants of COVID-19, the difficulty of pandemic control continues to increase, which has brought significant costs to the society. The existing pandemic control zoning method ignores the impact on residents'lives. In this study, we propose a refined and low-cost pandemic control method by scientifically delineating zoning areas. First, a spatial interaction network is built up based on the multimodal transport travel data in Nanjing, China, and an improved Leiden community detection method based on the gravity model is used to obtain a preliminary zoning scheme. Then, we use spatial constraints to correct the results with the discrete spatial distribution. Finally, reasonable zones for pandemic control are obtained. The modularity of the algorithm results is 0.4185, proving that the proposed method is suitable for pandemic control zoning. The proposed method is also demonstrated to be able to minimize traffic flows between pandemic control areas and only 24.8% of travel connections are cut off, thus reducing the impact of pandemic control on residents'daily life and reducing the cost of pandemic control. The findings can help to inform sustainable strategies and suggestions for the pandemic control.

preprint2021arXiv

Deep Learning-Based Anomaly Detection in Cyber-Physical Systems: Progress and Opportunities

Anomaly detection is crucial to ensure the security of cyber-physical systems (CPS). However, due to the increasing complexity of CPSs and more sophisticated attacks, conventional anomaly detection methods, which face the growing volume of data and need domain-specific knowledge, cannot be directly applied to address these challenges. To this end, deep learning-based anomaly detection (DLAD) methods have been proposed. In this paper, we review state-of-the-art DLAD methods in CPSs. We propose a taxonomy in terms of the type of anomalies, strategies, implementation, and evaluation metrics to understand the essential properties of current methods. Further, we utilize this taxonomy to identify and highlight new characteristics and designs in each CPS domain. Also, we discuss the limitations and open problems of these methods. Moreover, to give users insights into choosing proper DLAD methods in practice, we experimentally explore the characteristics of typical neural models, the workflow of DLAD methods, and the running performance of DL models. Finally, we discuss the deficiencies of DL approaches, our findings, and possible directions to improve DLAD methods and motivate future research.

preprint2021arXiv

MPC-CSAS: Multi-Party Computation for Real-time Privacy-preserving Speed Advisory Systems

As a part of Advanced Driver Assistance Systems (ADASs), Consensus-based Speed Advisory Systems (CSAS) have been proposed to recommend a common speed to a group of vehicles for specific application purposes, such as emission control and energy management. With Vehicle-to-Vehicle (V2V), Vehicle-to-Infrastructure (V2I) technologies and advanced control theories in place, state-of-the-art CSAS can be designed to get an optimal speed in a privacy-preserving and decentralized manner. However, the current method only works for specific cost functions of vehicles, and its execution usually involves many algorithm iterations leading long convergence time. Therefore, the state-of-the-art design method is not applicable to a CSAS design which requires real-time decision making. In this paper, we address the problem by introducing MPC-CSAS, a Multi-Party Computation (MPC) based design approach for privacy-preserving CSAS. Our proposed method is simple to implement and applicable to all types of cost functions of vehicles. Moreover, our simulation results show that the proposed MPC-CSAS can achieve very promising system performance in just one algorithm iteration without using extra infrastructure for a typical CSAS.

preprint2020arXiv

3D Object Detection and Tracking Based on Streaming Data

Recent approaches for 3D object detection have made tremendous progresses due to the development of deep learning. However, previous researches are mostly based on individual frames, leading to limited exploitation of information between frames. In this paper, we attempt to leverage the temporal information in streaming data and explore 3D streaming based object detection as well as tracking. Toward this goal, we set up a dual-way network for 3D object detection based on keyframes, and then propagate predictions to non-key frames through a motion based interpolation algorithm guided by temporal information. Our framework is not only shown to have significant improvements on object detection compared with frame-by-frame paradigm, but also proven to produce competitive results on KITTI Object Tracking Benchmark, with 76.68% in MOTA and 81.65% in MOTP respectively.

preprint2020arXiv

Measuring the Effectiveness of Privacy Policies for Voice Assistant Applications

Voice Assistants (VA) such as Amazon Alexa and Google Assistant are quickly and seamlessly integrating into people's daily lives. The increased reliance on VA services raises privacy concerns such as the leakage of private conversations and sensitive information. Privacy policies play an important role in addressing users' privacy concerns and informing them about the data collection, storage, and sharing practices. VA platforms (both Amazon Alexa and Google Assistant) allow third-party developers to build new voice-apps and publish them to the app store. Voice-app developers are required to provide privacy policies to disclose their apps' data practices. However, little is known whether these privacy policies are informative and trustworthy or not on emerging VA platforms. On the other hand, many users invoke voice-apps through voice and thus there exists a usability challenge for users to access these privacy policies. In this paper, we conduct the first large-scale data analytics to systematically measure the effectiveness of privacy policies provided by voice-app developers on two mainstream VA platforms. We seek to understand the quality and usability issues of privacy policies provided by developers in the current app stores. We analyzed 64,720 Amazon Alexa skills and 2,201 Google Assistant actions. Our work also includes a user study to understand users' perspectives on VA's privacy policies. Our findings reveal a worrisome reality of privacy policies in two mainstream voice-app stores, where there exists a substantial number of problematic privacy policies. Surprisingly, Google and Amazon even have official voice-apps violating their own requirements regarding the privacy policy.

preprint2020arXiv

Rethinking Defeasible Reasoning: A Scalable Approach

Recent technological advances have led to unprecedented amounts of generated data that originate from the Web, sensor networks and social media. Analytics in terms of defeasible reasoning - for example for decision making - could provide richer knowledge of the underlying domain. Traditionally, defeasible reasoning has focused on complex knowledge structures over small to medium amounts of data, but recent research efforts have attempted to parallelize the reasoning process over theories with large numbers of facts. Such work has shown that traditional defeasible logics come with overheads that limit scalability. In this work, we design a new logic for defeasible reasoning, thus ensuring scalability by design. We establish several properties of the logic, including its relation to existing defeasible logics. Our experimental results indicate that our approach is indeed scalable and defeasible reasoning can be applied to billions of facts.

preprint2020arXiv

Speculative Container Scheduling for Deep Learning Applications in a Kubernetes Cluster

In the past decade, we have witnessed a dramatically increasing volume of data collected from varied sources. The explosion of data has transformed the world as more information is available for collection and analysis than ever before. To maximize the utilization, various machine and deep learning models have been developed, e.g. CNN [1] and RNN [2], to study data and extract valuable information from different perspectives. While data-driven applications improve countless products, training models for hyperparameter tuning is still a time-consuming and resource-intensive process. Cloud computing provides infrastructure support for the training of deep learning applications. The cloud service providers, such as Amazon Web Services [3], create an isolated virtual environment (virtual machines and containers) for clients, who share physical resources, e.g., CPU and memory. On the cloud, resource management schemes are implemented to enable better sharing among users and boost the system-wide performance. However, general scheduling approaches, such as spread priority and balanced resource schedulers, do not work well with deep learning workloads. In this project, we propose SpeCon, a novel container scheduler that is optimized for shortlived deep learning applications. Based on virtualized containers, such as Kubernetes [4] and Docker [5], SpeCon analyzes the common characteristics of training processes. We design a suite of algorithms to monitor the progress of the training and speculatively migrate the slow-growing models to release resources for fast-growing ones. Specifically, the extensive experiments demonstrate that SpeCon improves the completion time of an individual job by up to 41.5%, 14.8% system-wide and 24.7% in terms of makespan.

preprint2016arXiv

Maximizing the thermoelectric performance of topological insulator Bi2Te3 films in the few-quintuple layer regime

Using first-principles calculations and Boltzmann theory, we explore the feasibility to maximize the thermoelectric figure of merit (ZT) of topological insulator Bi2Te3 films in the few-quintuple layer regime. We discover that the delicate competitions between the surface and bulk contributions, coupled with the overall quantum size effects, lead to a novel and generic non-monotonous dependence of ZT on the film thickness. In particular, when the system crosses into the topologically non-trivial regime upon increasing the film thickness, the much longer surface relaxation time associated with the robust nature of the topological surface states results in a maximal ZT value, which can be further optimized to ~2.0 under physically realistic conditions. We also reveal the appealing potential of bridging the long-standing ZT asymmetry of p- and n-type Bi2Te3 systems.

preprint2016arXiv

Relative Entropy, Mixed Gauge-Gravitational Anomaly and Causality

In this note we explored the holographic relative entropy in the presence of the 5d Chern-Simons term, which introduces a mixed gauge-gravity anomaly to the dual CFT. The theory trivially satisfies an entanglement first law. However, to quadratic order in perturbations of the stress tensor $T$ and current density $J$, there is a mixed contribution to the relative entropy bi-linear in $T$ and $J$, signalling a potential violation of the positivity of the relative entropy. Miraculously, the term vanishes up to linear order in a derivative expansion. This prompted a closer inspection on a different consistency check, that involves time-delay of a graviton propagating in a charged background, scattered via a coupling supplied by the Chern-Simons term. The analysis suggests that the time-delay can take either sign, potentially violating causality for any finite value of the CS coupling.

preprint2015arXiv

Containment Control of Multi-Agent Systems with Dynamic Leaders Based on a $PI^n$-Type Approach

This paper studies the containment control problem of multi-agent systems with multiple dynamic leaders in both the discrete-time domain and the continuous-time domain. The leaders' motions are described by $(n-1)$-order polynomial trajectories. This setting makes practical sense because given some critical points, the leaders' trajectories are usually planned by the polynomial interpolations. In order to drive all followers into the convex hull spanned by the leaders, a $PI^n$-type ($P$ and $I$ are short for {\it Proportion} and {\it Integration}, respectively; $I^n$ implies that the algorithm includes high-order integral terms) containment algorithm is proposed. It is theoretically proved that the $PI^n$-type containment algorithm is able to solve the containment problem of multi-agent systems where the followers are described by any order integral dynamics. Compared with the previous results on the multi-agent systems with dynamic leaders, the distinguished features of this paper are that: (1) the containment problem is studied not only in the continuous-time domain but also in the discrete-time domain while most existing results only work in the continuous-time domain; (2) to deal with the leaders with the $(n-1)$-order polynomial trajectories, existing results require the follower's dynamics to be $n$-order integral while the followers considered in this paper can be described by any-order integral; and (3) the "sign" function is not employed in the proposed algorithm, which avoids the chattering phenomenon. Furthermore, in order to illustrate the practical value of the proposed approach, an application, the containment control of multiple mobile robots is studied. Finally, two simulation examples are given to demonstrate the effectiveness of the proposed algorithm.

preprint2015arXiv

Drag force of Anisotropic plasma at finite $U(1)$ chemical potential

We perform the calculation of drag force acting on a massive quark moving through an anisotropic ${\cal N}=4$ SU(N)= 4 SU(N) Super Yang-Mills plasma in the presence of a U(1) chemical potential. We present the numerical results for any value of anisotropy and arbitrary direction of the quark velocity with respect to the direction of anisotropy. We find the effect of chemical potential or charge density will enhance the drag force for the our charged solution.

preprint2015arXiv

First Law of Entanglement Entropy vs Black Hole Entropy in an Anomalous Theory

In this note we explore the validity of the first law of entanglement entropy in the context of the topologically massive gravity (TMG). We found that the variation of the holographic entanglement entropy under perturbation from the pure AdS background satisfies the first law upon imposing the bulk equations of motion in a given time slice, despite the appearance of instabilities in the bulk for generic gravitationl Chern-Simons coupling $μ$. The black hole entropy is different from the holographic entanglement entropy in a general boosted frame. This discrepancy however do not affect the entanglement first law.

preprint2015arXiv

On Convergence Rate of Leader-Following Consensus of Linear Multi-Agent Systems with Communication Noises

This note further studies the previously proposed consensus protocol for linear multi-agent systems with communication noises in [15], [16]. Each agent is allowed to have its own time-varying gain to attenuate the effect of communication noises. Therefore, the common assumption in most references that all agents have the same noise-attenuation gain is not necessary. It has been proved that if all noise-attenuation gains are infinitesimal of the same order, then the mean square leader-following consensus can be reached. Furthermore, the convergence rate of the multi-agent system has been investigated. If the noise-attenuation gains belong to a class of functions which are bounded above and below by $t^{-β}$ $(β\in(0,1))$ asymptotically, then the states of all follower agents are convergent in mean square to the leader's state with the rate characterized by a function bounded above by $t^{-β}$ asymptotically.

preprint2015arXiv

Thermoelectric DC conductivities with momentum dissipation from higher derivative gravity

We present a mechanism of momentum relaxation in higher derivative gravity by adding linear scalar fields to the Gauss-Bonnet theory. We analytically computed all of the DC thermoelectric conductivities in this theory by adopting the method given by Donos and Gauntlett in [arXiv:1406.4742]. The results show that the DC electric conductivity is not a monotonic function of the effective impurity parameter $β$: in the small $β$ limit, the DC conductivity is dominated by the coherent phase, while for larger $β$, pair creation contribution to the conductivity becomes dominant, signaling an incoherent phase. In addition, the DC heat conductivity is found independent of the Gauss-Bonnet coupling constant.

preprint2014arXiv

Anisotropic plasma at finite $U(1)$ chemical potential

We present a type IIB supergravity solution dual to a spatially anisotropic $\mathcal{N}=4$ super Yang-Mills plasma at finite $U(1)$ chemical potential and finite temperature. The effective five-dimensional gravitational theory is a consistent Einstein-Maxwell-dilaton-Axion truncation of the gauged supergravity. We obtain the solutions both numerically and analytically. We study the phase structure and thermodynamic instabilities of the solution, and find new instabilities independent of the renormalization scheme.

preprint2014arXiv

Anisotropic plasma with a chemical potential and scheme-independent instabilities

Generically, the black brane solution with planar horizons is thermodynamically stable. We find a counter-example to this statement by demonstrating that an anisotropic black brane is unstable. We present a charged black brane solution dual to a spatially anisotropic finite temperature $\mathcal{N}=4$ super Yang-Mills plasma at finite $U(1)$ chemical potential. This static and regular solution is obtained both numerically and analytically. We uncover rich thermodynamic phase structures for this system by considering the cases when the anisotropy constant "a" takes real and imaginary values, respectively. In the case $a^2>0$, the phase structure of this anisotropic black brane is similar to that of Schwarzschild-AdS black hole with $S^3$ horizon topology, yielding a thermodynamical instability at smaller horizon radii. For the condition $a^2\leq 0$, the thermodynamics is dominated by the black brane phase for all temperatures.

preprint2014arXiv

Scalable RDF Data Compression using X10

The Semantic Web comprises enormous volumes of semi-structured data elements. For interoperability, these elements are represented by long strings. Such representations are not efficient for the purposes of Semantic Web applications that perform computations over large volumes of information. A typical method for alleviating the impact of this problem is through the use of compression methods that produce more compact representations of the data. The use of dictionary encoding for this purpose is particularly prevalent in Semantic Web database systems. However, centralized implementations present performance bottlenecks, giving rise to the need for scalable, efficient distributed encoding schemes. In this paper, we describe an encoding implementation based on the asynchronous partitioned global address space (APGAS) parallel programming model. We evaluate performance on a cluster of up to 384 cores and datasets of up to 11 billion triples (1.9 TB). Compared to the state-of-art MapReduce algorithm, we demonstrate a speedup of 2.6-7.4x and excellent scalability. These results illustrate the strong potential of the APGAS model for efficient implementation of dictionary encoding and contributes to the engineering of larger scale Semantic Web applications.

preprint2014arXiv

Second-Order Consensus of Networked Mechanical Systems With Communication Delays

In this paper, we consider the second-order consensus problem for networked mechanical systems subjected to nonuniform communication delays, and the mechanical systems are assumed to interact on a general directed topology. We propose an adaptive controller plus a distributed velocity observer to realize the objective of second-order consensus. It is shown that both the positions and velocities of the mechanical agents synchronize, and furthermore, the velocities of the mechanical agents converge to the scaled weighted average value of their initial ones. We further demonstrate that the proposed second-order consensus scheme can be used to solve the leader-follower synchronization problem with a constant-velocity leader and under constant communication delays. Simulation results are provided to illustrate the performance of the proposed adaptive controllers.

preprint2013arXiv

Reaching a Consensus in Networks of High-Order Integral Agents under Switching Directed Topology

Consensus problem of high-order integral multi-agent systems under switching directed topology is considered in this study. Depending on whether the agent's full state is available or not, two distributed protocols are proposed to ensure that states of all agents can be convergent to a same stationary value. In the proposed protocols, the gain vector associated with the agent's (estimated) state and the gain vector associated with the relative (estimated) states between agents are designed in a sophisticated way. By this particular design, the high-order integral multi-agent system can be transformed into a first-order integral multi-agent system. And the convergence of the transformed first-order integral agent's state indicates the convergence of the original high-order integral agent's state if and only if all roots of the polynomial, whose coefficients are the entries of the gain vector associated with the relative (estimated) states between agents, are in the open left-half complex plane. Therefore, many analysis techniques in the first-order integral multi-agent system can be directly borrowed to solve the problems in the high-order integral multi-agent system. Due to this property, it is proved that to reach a consensus, the switching directed topology of multi-agent system is only required to be "uniformly jointly quasi-strongly connected", which seems the mildest connectivity condition in the literature. In addition, the consensus problem of discrete-time high-order integral multi-agent systems is studied. The corresponding consensus protocol and performance analysis are presented. Finally, three simulation examples are provided to show the effectiveness of the proposed approach.