Researcher profile

Haining Wang

Haining Wang contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2022arXiv

Deformation of rigid Galois representations and cohomology of certain quaternionic unitary Shimura variety

In this article, we use deformation theory of Galois representations valued in the symplectic group of degree four to prove a freeness result for the cohomology of certain quaternionic unitary Shimura variety over the universal deformation ring for certain type of residual representation satisfying a property called rigidity. This result plays an important role in the proof of the arithmetic level raising theorem for the symplectic similitude group of degree four over the field of rational numbers by the author.

preprint2022arXiv

iDROP: Robust Localization for Indoor Navigation of Drones with Optimized Beacon Placement

Drones in many applications need the ability to fly fully or partially autonomously to accomplish their mission. To allow these fully/partially autonomous flights, first, the drone needs to be able to locate itself constantly. Then the navigation command signal would be generated and passed on to the controller unit of the drone. In this paper, we propose a localization scheme for drones called iDROP (Robust Localization for Indoor Navigation of Drones with Optimized Beacon Placement) that is specifically devised for GPS-denied environments (e.g., indoor spaces). Instead of GPS signals, iDROP relies on speaker-generated ultrasonic acoustic signals to enable a drone to estimate its location. In general, localization error is due to two factors: the ranging error and the error induced by relative geometry between the transmitters and the receiver. iDROP mitigates these two types of errors and provides a high-precision three-dimensional localization scheme for drones. iDROP employs a waveform that is robust against multi-path fading. Moreover, by placing beacons in optimal locations, it reduces the localization error induced by the relative geometry between the transmitters and the receiver.

preprint2022arXiv

Mathematical Modeling Analysis and Optimization of Fungal Diversity Growth

This paper studied the relationship between the decomposition rate of fungi and temperature, humidity, fungus elongation, moisture tolerance and fungus density in a given volume in the presence of a variety of fungi, and established a series of models to describe the decomposition of fungi in different states. Since the volume of soil was given in this case, the latter two characteristics could be attributed to the influence of the number of fungal population on the decomposition rate. Based on the Logistic model, the relationship between the number of population and time was established, and finally the number of fungi in the steady state was obtained The interaction between different species of fungi was analyzed by Lotka-Volterra model, and the decomposition rate of various fungal combinations in different environments was obtained. After studying the one and two cases, we can extrapher from one to the other, and the community consisting of n fungal populations will be similar to the community consisting of n+1 fungal populations. After the study, we substituted the collected data into the model and found that the fungal community composed of two kinds of fungi had a lower decomposition rate of ground decomposition or wooden fiber than that of a single kind of fungus for the same kind of substance. We found that the fungus in warm and humid environment of decomposition rate is highest, the change of the atmospheric cause some fungal population growth rate decreases, there are also some will increase, which is associated with the nature of fungi.We analyzed the influence of environmental factors, namely temperature and humidity, on the model.

preprint2022arXiv

OPTILOD: Optimal Beacon Placement for High-Accuracy Indoor Localization of Drones

For many applications, drones are required to operate entirely or partially autonomously. To fly completely or partially on their own, drones need access to location services to get navigation commands. While using the Global Positioning System (GPS) is an obvious choice, GPS is not always available, can be spoofed or jammed, and is highly error-prone for indoor and underground environments. The ranging method using beacons is one of the popular methods for localization, specially for indoor environments. In general, localization error in this class is due to two factors: the ranging error and the error induced by the relative geometry between the beacons and the target object to localize. This paper proposes OPTILOD (Optimal Beacon Placement for High-Accuracy Indoor Localization of Drones), an optimization algorithm for the optimal placement of beacons deployed in three-dimensional indoor environments. OPTILOD leverages advances in Evolutionary Algorithms to compute the minimum number of beacons and their optimal placement to minimize the localization error. These problems belong to the Mixed Integer Programming (MIP) class and are both considered NP-Hard. Despite that, OPTILOD can provide multiple optimal beacon configurations that minimize the localization error and the number of deployed beacons concurrently and time efficiently.

preprint2022arXiv

PILOT: High-Precision Indoor Localization for Autonomous Drones

In many scenarios, unmanned aerial vehicles (UAVs), aka drones, need to have the capability of autonomous flying to carry out their mission successfully. In order to allow these autonomous flights, drones need to know their location constantly. Then, based on the current position and the final destination, navigation commands will be generated and drones will be guided to their destination. Localization can be easily carried out in outdoor environments using GPS signals and drone inertial measurement units (IMUs). However, such an approach is not feasible in indoor environments or GPS-denied areas. In this paper, we propose a localization scheme for drones called PILOT (High-Precision Indoor Localization for Autonomous Drones) that is specifically designed for indoor environments. PILOT relies on ultrasonic acoustic signals to estimate the target drone's location. In order to have a precise final estimation of the drone's location, PILOT deploys a three-stage localization scheme. The first two stages provide robustness against the multi-path fading effect of indoor environments and mitigate the ranging error. Then, in the third stage, PILOT deploys a simple yet effective technique to reduce the localization error induced by the relative geometry between transmitters and receivers and significantly reduces the height estimation error. The performance of PILOT was assessed under different scenarios and the results indicate that PILOT achieves centimeter-level accuracy for three-dimensional localization of drones.

preprint2022arXiv

Research on FAST Active Reflector Adjustment Algorithm Based on Computer Simulation

Based on the background of the 2021 Higher Education Club Cup National College Students Mathematical Contest in Modeling A, according to the relevant data of the China Sky Eye (FAST) radio telescope, the main cable nodes and actuators are adjusted and controlled by mathematical modeling and computer simulation methods to realize the active reflector. The adjustment of the shape enables it to better receive the signal of the external celestial body and improve the utilization rate of the reflector, so as to achieve a higher receiving ratio of the feed cabin. In this paper, a point set mapping algorithm based on the rotation matrix of the spatial coordinate axis is proposed, that is, the mapping matrix is obtained by mathematical derivation, and the linear interpolation algorithm based on the original spherical surface and the ideal paraboloid to solve the working paraboloid is obtained. When the interpolation ratio is adjusted to 89% to satisfy the optimal solution under realistic constraints. Then, a three-dimensional spatial signal reflection model based on spatial linear invariance is proposed. Each reflective panel is used as an evaluation index. For each reflective surface, the 0-1 variable of signal accessibility on the feeder is defined. The signal is mapped to the plane where the feeder is located, which reduces a lot of computational difficulty. Finally, it is found that the panel of the feed cabin that can receive the reflected signal accounts for 19.3%. Compared with the original spherical reflection model, the working paraboloid model established in this paper has a The signal ratio has increased by 224%.

preprint2022arXiv

Water Goes Where? A Water Resource Allocation Method Based on Multi-Objective Decision-Making

For a long time, water and hydroelectric power are relatively important resources. Their rational distribution is closely related to regional agriculture, industry, residents, etc. In this paper, we mainly study the problem of allocation scheme for Glen Canyon Dam and Hoover Dam in the Colorado River Basin. Taking into consideration of various factors, we build models to achieve optimal scheduling. Firstly, we propose the Water Strategy Decision Model, which can obtain different distribution methods for the different water levels. Also, we connect the two dams in series to consider the coupling effect between them and integrate this part into the main model. Secondly, we propose three criteria of allocation for water and power generation, namely, economic, social, and environmental benefits. Social benefits mainly include the minimum shortage of water and electricity for agriculture, industry, and residents. For this multi-objective plan, the model is solved using a multi-objective ant colony genetic algorithm under the constraint of constant total water volume, and finally, the current reservoir capacities of the two lakes are input to derive the annual water supply to the five states. Thirdly, based on the location and development characteristics of the five states, we obtain a water scheduling model based on the priority of geographic-industry characteristics. Fourthly, we can regard the model as a four-dimensional space of industrial, agricultural, residential and power generation water demand. The partial derivative calculation formula of multi-dimensional space can be used to obtain the results. Finally, we analyze the sensitivity of the model, and it shows that the model has strong adaptability and is easier to popularize. Moreover, we discuss the advantages and disadvantages of the models.

preprint2020arXiv

Arithmetic level raising on triple product of Shimura curves and Gross-Schoen Diagonal cycles I: Ramified case

In this article we study the Gross-Schoen diagonal cycle on a triple product of Shimura curves at a place of bad reduction. We relate the image of the diagonal cycle under the Abel-Jacobi map to certain period integral that governs the central critical value of the Garrett-Rankin type triple product $L$-function via level raising congruences. As an application we prove certain rank $0$ case of the Bloch-Kato conjecture for the symmetric cube motive of a weight $2$ modular form.

preprint2019arXiv

Deligne-Lusztig varieties and basic EKOR strata

Under the axiom of He and Rapoport for the stratifications of Shimura varieties, we explain a result of Görtz, He and Nie that the EKOR strata contained in the basic loci can be described as a disjoint union of Deligne-Lusztig varieties. In the special case of Siegel modular varieties, we compare their descriptions to that of Görtz and Yu for the supersingular Kottwitz-Rapoport strata and to the descriptions of Harashita, Hoeve for the supersingular Ekedahl-Oort strata.

preprint2010arXiv

PowerTracer: Tracing requests in multi-tier services to save cluster power consumption

As energy proportional computing gradually extends the success of DVFS (Dynamic voltage and frequency scaling) to the entire system, DVFS control algorithms will play a key role in reducing server clusters' power consumption. The focus of this paper is to provide accurate cluster-level DVFS control for power saving in a server cluster. To achieve this goal, we propose a request tracing approach that online classifies the major causal path patterns of a multi-tier service and monitors their performance data as a guide for accurate DVFS control. The request tracing approach significantly decreases the time cost of performance profiling experiments that aim to establish the empirical performance model. Moreover, it decreases the controller complexity so that we can introduce a much simpler feedback controller, which only relies on the single-node DVFS modulation at a time as opposed to varying multiple CPU frequencies simultaneously. Based on the request tracing approach, we present a hybrid DVFS control system that combines an empirical performance model for fast modulation at different load levels and a simpler feedback controller for adaption. We implement a prototype of the proposed system, called PowerTracer, and conduct extensive experiments on a 3-tier platform. Our experimental results show that PowerTracer outperforms its peer in terms of power saving and system performance.