Catalog footprint

What is connected

71works
40topics
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

71 published item(s)

preprint2026arXiv

Separate First, Fuse Later: Mitigating Cross-Modal Interference in Audio-Visual LLMs Reasoning with Modality-Specific Chain-of-Thought

Audio and vision provide complementary evidence for audio-visual question answering, yet current audio-visual large language models may suffer from cross-modal interference: information from one modality misguides the interpretation of another, thereby inducing hallucinations. We attribute this issue to uncontrolled cross-modal interactions during intermediate reasoning. To mitigate this, we propose Separate First, Fuse Later (SFFL), an audio-visual reasoning framework designed to reduce cross-modal interference. SFFL enforces modality-specific chain-of-thought reasoning, producing separate audio and visual reasoning traces and integrating evidence for answering. We construct modality-preference labels via a data pipeline under different modality input settings. We use these labels as an auxiliary reward in reinforcement learning to encourage a instance-dependent preference for modality cues when answering. We further introduce a modality-specific reasoning mechanism that preserves modality isolation during the separated reasoning stage while enabling full access to cross-modal information at the evidence fusion stage. Experiments demonstrate consistent improvements in both accuracy and robustness, yielding an average relative gain of 5.16\% on general AVQA benchmarks and 11.17\% on a cross-modal hallucination benchmark.

preprint2022arXiv

Activation Map Adaptation for Effective Knowledge Distillation

Model compression becomes a recent trend due to the requirement of deploying neural networks on embedded and mobile devices. Hence, both accuracy and efficiency are of critical importance. To explore a balance between them, a knowledge distillation strategy is proposed for general visual representation learning. It utilizes our well-designed activation map adaptive module to replace some blocks of the teacher network, exploring the most appropriate supervisory features adaptively during the training process. Using the teacher's hidden layer output to prompt the student network to train so as to transfer effective semantic information.To verify the effectiveness of our strategy, this paper applied our method to cifar-10 dataset. Results demonstrate that the method can boost the accuracy of the student network by 0.6% with 6.5% loss reduction, and significantly improve its training speed.

preprint2022arXiv

Computer Vision for Road Imaging and Pothole Detection: A State-of-the-Art Review of Systems and Algorithms

Computer vision algorithms have been prevalently utilized for 3-D road imaging and pothole detection for over two decades. Nonetheless, there is a lack of systematic survey articles on state-of-the-art (SoTA) computer vision techniques, especially deep learning models, developed to tackle these problems. This article first introduces the sensing systems employed for 2-D and 3-D road data acquisition, including camera(s), laser scanners, and Microsoft Kinect. Afterward, it thoroughly and comprehensively reviews the SoTA computer vision algorithms, including (1) classical 2-D image processing, (2) 3-D point cloud modeling and segmentation, and (3) machine/deep learning, developed for road pothole detection. This article also discusses the existing challenges and future development trends of computer vision-based road pothole detection approaches: classical 2-D image processing-based and 3-D point cloud modeling and segmentation-based approaches have already become history; and Convolutional neural networks (CNNs) have demonstrated compelling road pothole detection results and are promising to break the bottleneck with the future advances in self/un-supervised learning for multi-modal semantic segmentation. We believe that this survey can serve as practical guidance for developing the next-generation road condition assessment systems.

preprint2022arXiv

Market Design for Tradable Mobility Credits

Tradable mobility credit (TMC) schemes are an approach to travel demand management that have received significant attention in recent years. This paper proposes and analyzes alternative market models for a TMC system -- focusing on market design aspects such as allocation/expiration of tokens, rules governing trading, transaction fees, and regulator intervention -- and develops a methodology to explicitly model the dis-aggregate behavior of individuals within the market. Extensive simulation experiments are conducted within a combined mode and departure time context for the morning commute problem to compare the performance of the alternative designs relative to congestion pricing and a no-control scenario. The simulation experiments employ a day-to-day assignment framework wherein transportation demand is modeled using a logit-mixture model with income effects and supply is modeled using a standard bottleneck model. The results indicate that small fixed transaction fees can effectively mitigate undesirable behavior in the market without a significant loss in efficiency (total welfare) whereas proportional transaction fees are less effective both in terms of efficiency and in avoiding undesirable market behavior. Further, an allocation of tokens in continuous time can be beneficial in dealing with non-recurrent events and avoiding concentrated trading activity. In the presence of income effects, despite small fixed transaction fees, the TMC system yields a marginally higher social welfare than congestion pricing while attaining revenue neutrality. Further, it is more robust in the presence of forecasting errors and non-recurrent events due to the adaptiveness of the market. Finally, as expected, the TMC scheme is more equitable (when revenues from congestion pricing are not redistributed) although it is not guaranteed to be Pareto-improving when tokens are distributed equally.

preprint2022arXiv

Medication Error Detection Using Contextual Language Models

Medication errors most commonly occur at the ordering or prescribing stage, potentially leading to medical complications and poor health outcomes. While it is possible to catch these errors using different techniques; the focus of this work is on textual and contextual analysis of prescription information to detect and prevent potential medication errors. In this paper, we demonstrate how to use BERT-based contextual language models to detect anomalies in written or spoken text based on a data set extracted from real-world medical data of thousands of patient records. The proposed models are able to learn patterns of text dependency and predict erroneous output based on contextual information such as patient data. The experimental results yield accuracy up to 96.63% for text input and up to 79.55% for speech input, which is satisfactory for most real-world applications.

preprint2022arXiv

Minimizing Fleet Size and Improving Bike Allocation of Bike Sharing under Future Uncertainty

As a rapidly expanding service, bike sharing is facing severe problems of bike over-supply and demand fluctuation in many Chinese cities. This study develops a large-scale method to determine the minimum fleet size under uncertainty, based on the bike sharing data of millions of trips in Nanjing. It is found that the algorithm of minimizing fleet size under the incomplete-information scenario is effective in handling future uncertainty. For a dockless bike sharing system, supplying 14.5% of the original fleet could meet 96.8% of trip demands. Meanwhile, the results suggest that providing a integrated service platform that integrates multiple companies can significantly reduce the total fleet size by 44.6%. Moreover, in view of the COVID-19 pandemic, this study proposes a social distancing policy that maintains a suitable usage interval. These findings provide useful insights for improving the resource efficiency and operational service of bike sharing and shared mobility.

preprint2022arXiv

Parameters identification for an inverse problem arising from a binary option using a Bayesian inference approach

No--arbitrage property provides a simple method for pricing financial derivatives. However, arbitrage opportunities exist among different markets in various fields, even for a very short time. By knowing that an arbitrage property exists, we can adopt a financial trading strategy. This paper investigates the inverse option problems (IOP) in the extended Black--Scholes model. We identify the model coefficients from the measured data and attempt to find arbitrage opportunities in different financial markets using a Bayesian inference approach, which is presented as an IOP solution. The posterior probability density function of the parameters is computed from the measured data.The statistics of the unknown parameters are estimated by a Markov Chain Monte Carlo (MCMC) algorithm, which exploits the posterior state space. The efficient sampling strategy of the MCMC algorithm enables us to solve inverse problems by the Bayesian inference technique. Our numerical results indicate that the Bayesian inference approach can simultaneously estimate the unknown trend and volatility coefficients from the measured data.

preprint2022arXiv

Skeleton-based Action Recognition via Temporal-Channel Aggregation

Skeleton-based action recognition methods are limited by the semantic extraction of spatio-temporal skeletal maps. However, current methods have difficulty in effectively combining features from both temporal and spatial graph dimensions and tend to be thick on one side and thin on the other. In this paper, we propose a Temporal-Channel Aggregation Graph Convolutional Networks (TCA-GCN) to learn spatial and temporal topologies dynamically and efficiently aggregate topological features in different temporal and channel dimensions for skeleton-based action recognition. We use the Temporal Aggregation module to learn temporal dimensional features and the Channel Aggregation module to efficiently combine spatial dynamic channel-wise topological features with temporal dynamic topological features. In addition, we extract multi-scale skeletal features on temporal modeling and fuse them with an attention mechanism. Extensive experiments show that our model results outperform state-of-the-art methods on the NTU RGB+D, NTU RGB+D 120, and NW-UCLA datasets.

preprint2022arXiv

Terrain-based vehicle localization using an active suspension system

This paper, for the first time, presents a terrain-based localization approach using sensor data from an active suspension system. The contribution is four-fold. First, it is shown that a location dependent road height profile can be created from sensor data of the active suspension system. Second, an algorithm is developed to extract a pitch profile from the road height profile data. The ideal pitch profile is vehicle-independent and only depends on the road. This pitch profile generated from an on-board computer is matched with a known terrain map to achieve real-time positioning. Third, a crowd-sourced map creation algorithm is developed to create and improve the terrain map that contains pitch profile. Fourth, experiments have been conducted to validate the accuracy and robustness of the proposed localization approach.

preprint2022arXiv

Transfer learning for cross-modal demand prediction of bike-share and public transit

The urban transportation system is a combination of multiple transport modes, and the interdependencies across those modes exist. This means that the travel demand across different travel modes could be correlated as one mode may receive demand from or create demand for another mode, not to mention natural correlations between different demand time series due to general demand flow patterns across the network. It is expectable that cross-modal ripple effects become more prevalent, with Mobility as a Service. Therefore, by propagating demand data across modes, a better demand prediction could be obtained. To this end, this study explores various machine learning models and transfer learning strategies for cross-modal demand prediction. The trip data of bike-share, metro, and taxi are processed as the station-level passenger flows, and then the proposed prediction method is tested in the large-scale case studies of Nanjing and Chicago. The results suggest that prediction models with transfer learning perform better than unimodal prediction models. Furthermore, stacked Long Short-Term Memory model performs particularly well in cross-modal demand prediction. These results verify our combined method's forecasting improvement over existing benchmarks and demonstrate the good transferability for cross-modal demand prediction in multiple cities.

preprint2021arXiv

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing

As an infrastructure for data persistence and analysis, Database Management Systems (DBMSs) are the cornerstones of modern enterprise software. To improve their correctness, the industry has been applying blackbox fuzzing for decades. Recently, the research community achieved impressive fuzzing gains using coverage guidance. However, due to the complexity and distributed nature of enterprise-level DBMSs, seldom are these researches applied to the industry. In this paper, we apply coverage-guided fuzzing to enterprise-level DBMSs from Huawei and Bloomberg LP. In our practice of testing GaussDB and Comdb2, we found major challenges in all three testing stages. The challenges are collecting precise coverage, optimizing fuzzing performance, and analyzing root causes. In search of a general method to overcome these challenges, we propose Ratel, a coverage-guided fuzzer for enterprise-level DBMSs. With its industry-oriented design, Ratel improves the feedback precision, enhances the robustness of input generation, and performs an on-line investigation on the root cause of bugs. As a result, Ratel outperformed other fuzzers in terms of coverage and bugs. Compared to industrial black box fuzzers SQLsmith and SQLancer, as well as coverage-guided academic fuzzer Squirrel, Ratel covered 38.38%, 106.14%, 583.05% more basic blocks than the best results of other three fuzzers in GaussDB, PostgreSQL, and Comdb2, respectively. More importantly, Ratel has discovered 32, 42, and 5 unknown bugs in GaussDB, Comdb2, and PostgreSQL.

preprint2021arXiv

IntelliGen: Automatic Driver Synthesis for FuzzTesting

Fuzzing is a technique widely used in vulnerability detection. The process usually involves writing effective fuzz driver programs, which, when done manually, can be extremely labor intensive. Previous attempts at automation leave much to be desired, in either degree of automation or quality of output. In this paper, we propose IntelliGen, a framework that constructs valid fuzz drivers automatically. First, IntelliGen determines a set of entry functions and evaluates their respective chance of exhibiting a vulnerability. Then, IntelliGen generates fuzz drivers for the entry functions through hierarchical parameter replacement and type inference. We implemented IntelliGen and evaluated its effectiveness on real-world programs selected from the Android Open-Source Project, Google's fuzzer-test-suite and industrial collaborators. IntelliGen covered on average 1.08X-2.03X more basic blocks and 1.36X-2.06X more paths over state-of-the-art fuzz driver synthesizers FUDGE and FuzzGen. IntelliGen performed on par with manually written drivers and found 10 more bugs.

preprint2021arXiv

Managing network congestion with a tradable credit scheme: a trip-based MFD approach

This study investigates the efficiency and effectiveness of an area-based tradable credit scheme (TCS) using the trip-based Macroscopic Fundamental Diagram model for the morning commute problem. In the proposed TCS, the regulator distributes initial credits to all travelers and designs a time-varying and trip length specific credit tariff. Credits are traded between travelers and the regulator via a credit market, and the credit price is determined by the demand and supply of credits. The heterogeneity of travelers is considered in terms of desired arrival time, trip length and departure-time choice preferences. The TCS is incorporated into a day-to-day modelling framework to examine the travelers' learning process, the evolution of network, and the properties of the credit market. The existence of an equilibrium solution and the uniqueness of the credit price at the equilibrium state are established analytically. Furthermore, an open-source simulation framework is developed to validate the analytical properties of the proposed TCS and compare it with alternative control strategies in terms of mobility, network performance, and social welfare. Bayesian optimization is then adopted to optimize the credit toll scheme. The numerical results demonstrate that the proposed TCS outperforms the no-control case and matches the performance of the time-of-day pricing strategy, while maintaining revenue-neutral nature.

preprint2021arXiv

On some trivial source Specht modules

The paper presented here focuses on the classification of trivial source Specht modules. We completely classify the trivial source Specht modules labelled by hook partitions. We also classify the trivial source Specht modules labelled by two-part partitions in the odd characteristic case. Moreover, in the even characteristic case, we prove a result for the classification of the trivial source Specht modules labelled by partitions with 2-weight 2, which justifies a conjecture of [16].

preprint2021arXiv

On Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes

In [3], Hanaki defined the Terwilliger algebras of association schemes over a commutative unital ring. In this paper, we call the Terwilliger algebras of association schemes over a field $\mathbb{F}$ the Terwilliger $\mathbb{F}$-algebras of association schemes and study the Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes. As main results, we determine the $\mathbb{F}$-dimensions, the semisimplicity, the Jacobson radicals, and the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes. We also get some results with independent interests.

preprint2021arXiv

RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems

While massive efforts have been investigated in adversarial testing of convolutional neural networks (CNN), testing for recurrent neural networks (RNN) is still limited and leaves threats for vast sequential application domains. In this paper, we propose an adversarial testing framework RNN-Test for RNN systems, focusing on the main sequential domains, not only classification tasks. First, we design a novel search methodology customized for RNN models by maximizing the inconsistency of RNN states to produce adversarial inputs. Next, we introduce two state-based coverage metrics according to the distinctive structure of RNNs to explore more inference logics. Finally, RNN-Test solves the joint optimization problem to maximize state inconsistency and state coverage, and crafts adversarial inputs for various tasks of different kinds of inputs. For evaluations, we apply RNN-Test on three sequential models of common RNN structures. On the tested models, the RNN-Test approach is demonstrated to be competitive in generating adversarial inputs, outperforming FGSM-based and DLFuzz-based methods to reduce the model performance more sharply with 2.78% to 32.5% higher success (or generation) rate. RNN-Test could also achieve 52.65% to 66.45% higher adversary rate on MNIST-LSTM model than relevant work testRNN. Compared with the neuron coverage, the proposed state coverage metrics as guidance excel with 4.17% to 97.22% higher success (or generation) rate.

preprint2021arXiv

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

The out-of-gas error occurs when smart contract programs are provided with inputs that cause excessive gas consumption, and would be easily exploited to make the DoS attack. Multiple approaches have been proposed to estimate the gas limit of a function in smart contracts to avoid such error. However, under estimation often happens when the contract is complicated. In this work, we propose V-Gas, which could automatically generate inputs that maximizes the gas cost and reduce the under estimation cases. V-Gas is designed based on feedback-directed mutational fuzz testing. First, V-Gas builds the gas weighted control flow graph (CFG) of functions in smart contracts. Then, V-Gas develops gas consumption guided selection and mutation strategies to generate the input that maximize the gas consumption. For evaluation, we implement V-Gas based on js-evm, a widely used ethereum virtual machine written in javascript, and conduct experiments on 736 real-world transactions recorded on Ethereum. 44.02\% of the transactions would have out-of-gas errors under the estimation results given by solc, means that the recorded real gas consumption for those recorded transactions is larger than the gas limit value estimated by solc. While V-Gas could reduce the under estimation ratio to 13.86\%. Furthermore, V-Gas has exposed 25 previously unknown out-of-gas vulnerabilities in those widely-used smart contracts, 5 of which have been assigned unique CVE identifiers in the US National Vulnerability Database.

preprint2021arXiv

WRICNet:A Weighted Rich-scale Inception Coder Network for Multi-Resolution Remote Sensing Image Change Detection

Majority models of remote sensing image changing detection can only get great effect in a specific resolution data set. With the purpose of improving change detection effectiveness of the model in the multi-resolution data set, a weighted rich-scale inception coder network (WRICNet) is proposed in this article, which can make a great fusion of shallow multi-scale features, and deep multi-scale features. The weighted rich-scale inception module of the proposed can obtain shallow multi-scale features, the weighted rich-scale coder module can obtain deep multi-scale features. The weighted scale block assigns appropriate weights to features of different scales, which can strengthen expressive ability of the edge of the changing area. The performance experiments on the multi-resolution data set demonstrate that, compared to the comparative methods, the proposed can further reduce the false alarm outside the change area, and the missed alarm in the change area, besides, the edge of the change area is more accurate. The ablation study of the proposed shows that the training strategy, and improvements of this article can improve the effectiveness of change detection.

preprint2020arXiv

A Time Delay Dynamic System with External Source for the Local Outbreak of 2019-nCoV

How to model the 2019 CoronaVirus (2019-nCov) spread in China is one of the most urgent and interesting problems in applied mathematics. In this paper, we propose a novel time delay dynamic system with external source to describe the trend of local outbreak for the 2019-nCoV. The external source is introduced in the newly proposed dynamic system, which can be considered as the suspected people travel to different areas. The numerical simulations exhibit the dynamic system with the external source is more reliable than the one without it, and the rate of isolation is extremely important for controlling the increase of cumulative confirmed people of 2019-nCoV. Based on our numerical simulation results with the public data, we suggest that the local government should have some more strict measures to maintain the rate of isolation. Otherwise the local cumulative confirmed people of 2019-nCoV might be out of control.

preprint2020arXiv

A Time Delay Dynamical Model for Outbreak of 2019-nCoV and the Parameter Identification

In this paper, we propose a novel dynamical system with time delay to describe the outbreak of 2019-nCoV in China. One typical feature of this epidemic is that it can spread in latent period, which is therefore described by the time delay process in the differential equations. The accumulated numbers of classified populations are employed as variables, which is consistent with the official data and facilitates the parameter identification. The numerical methods for the prediction of outbreak of 2019-nCoV and parameter identification are provided, and the numerical results show that the novel dynamic system can well predict the outbreak trend so far. Based on the numerical simulations, we suggest that the transmission of individuals should be greatly controlled with high isolation rate by the government.

preprint2020arXiv

Debris cloud of India Anti-Satellite Test to Microsat-R Satellite

Understanding the motion of debris cloud produced by the anti-satellite test can help us to know the danger of these tests. This study presents the orbit status of 57 fragments observed by the CelesTrak and presented in the NORAD Two-Line Element Sets of India Anti-Satellite Test. There are 10 of these observed fragments have altitudes of the apogee larger than 1000.0km, the maximum one is 1725.7km. We also numerical calculated the number of debris, the results show that the number of debris with the diameter larger than 0.2m is 14, the number of debris with the diameter larger than 0.01m is 6587, and the number of debris with the diameter larger than 0.001m is 7.22e+5. The results of the secondary collision of the debris will produced more fragments in the space. The life time of the fragments depends on the initial orbit parameters and the sizes of the debris.

preprint2020arXiv

End-to-End Vision-Based Adaptive Cruise Control (ACC) Using Deep Reinforcement Learning

This paper presented a deep reinforcement learning method named Double Deep Q-networks to design an end-to-end vision-based adaptive cruise control (ACC) system. A simulation environment of a highway scene was set up in Unity, which is a game engine that provided both physical models of vehicles and feature data for training and testing. Well-designed reward functions associated with the following distance and throttle/brake force were implemented in the reinforcement learning model for both internal combustion engine (ICE) vehicles and electric vehicles (EV) to perform adaptive cruise control. The gap statistics and total energy consumption are evaluated for different vehicle types to explore the relationship between reward functions and powertrain characteristics. Compared with the traditional radar-based ACC systems or human-in-the-loop simulation, the proposed vision-based ACC system can generate either a better gap regulated trajectory or a smoother speed trajectory depending on the preset reward function. The proposed system can be well adaptive to different speed trajectories of the preceding vehicle and operated in real-time.

preprint2020arXiv

Equitable Transit Network Design Under Uncertainty

This paper proposes a bilevel transit network design problem considering supply side uncertainty. The upper level problem determines frequency settings to simultaneously maximize the efficiency and equity measures, which are defined by the reduction in the total effective travel cost and the minimum reduction in the effective travel cost of all OD pairs, respectively. The lower level problem is the reliability based transit assignment problem that captures the effects of supply-side uncertainty on passengers route choice behavior.Numerical studies demonstrate that 1) the Pareto frontier may not be convex; 2) it is possible to improve the efficiency and equity objectives simultaneously; 3) increasing the frequency could worsen the equity measure; 4) passengers risk attitude affects the rate of substitution between the two objectives.

preprint2020arXiv

Joint Optimization of Transfer Location and Capacity in a Multimodal Transport Network: Bilevel Modeling and Paradoxes

With the growing attention towards developing the multimodal transport system to enhance urban mobility, there is an increasing need to construct new, rebuild or expand existing infrastructure to facilitate existing and accommodate newly generated travel demand. Therefore, this paper develops a bilevel model to simultaneously determine the location and capacity of the transfer infrastructure to be built considering elastic demand in a multimodal transport network. The upper level problem is formulated as a mixed integer linear programming problem, while the lower level problem is the capacitated combined trip distribution assignment model that depicts both destination and route choices of travelers via the multinomial logit formula. To solve the model, the paper develops a matheuristics algorithm that integrates a Genetic Algorithm and a successive linear programming solution approach. Numerical studies are conducted to demonstrate the existence and examine two Braess like paradox phenomena in a multimodal transport network. The first one states that under fixed demand constructing parking spaces to stimulate the usage of Park and Ride service could deteriorate the system performance, measured by the total passengers travel time, while the second one reveals that under variable demand increasing the parking capacity for the Park and Ride services to promote the usages may fail, represented by the decline in its modal share. Meanwhile, the last experiment suggests that constructing transfer infrastructures at distributed stations outperforms building a large transfer center in terms of attracting travelers using sustainable transit modes.

preprint2020arXiv

LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics

Identifying potentially vulnerable locations in a code base is critical as a pre-step for effective vulnerability assessment; i.e., it can greatly help security experts put their time and effort to where it is needed most. Metric-based and pattern-based methods have been presented for identifying vulnerable code. The former relies on machine learning and cannot work well due to the severe imbalance between non-vulnerable and vulnerable code or lack of features to characterize vulnerabilities. The latter needs the prior knowledge of known vulnerabilities and can only identify similar but not new types of vulnerabilities. In this paper, we propose and implement a generic, lightweight and extensible framework, LEOPARD, to identify potentially vulnerable functions through program metrics. LEOPARD requires no prior knowledge about known vulnerabilities. It has two steps by combining two sets of systematically derived metrics. First, it uses complexity metrics to group the functions in a target application into a set of bins. Then, it uses vulnerability metrics to rank the functions in each bin and identifies the top ones as potentially vulnerable. Our experimental results on 11 real-world projects have demonstrated that, LEOPARD can cover 74.0% of vulnerable functions by identifying 20% of functions as vulnerable and outperform machine learning-based and static analysis-based techniques. We further propose three applications of LEOPARD for manual code review and fuzzing, through which we discovered 22 new bugs in real applications like PHP, radare2 and FFmpeg, and eight of them are new vulnerabilities.

preprint2020arXiv

On some $p$-transitive association schemes

In this paper, for any prime $p$, we propose the notion of a $p$-transitive association scheme. This notion aims to generalize the fact that the regular module of a group algebra of a finite group has a unique trivial submodule to the case of the regular modules of modular adjacency algebras. We completely determine the $p$-transitive quasi-thin association schemes and the $p$-transitive association schemes with thin thin residue by their structure theory properties.

preprint2020arXiv

Prediction and analysis of Coronavirus Disease 2019

In December 2019, a novel coronavirus was found in a seafood wholesale market in Wuhan, China. WHO officially named this coronavirus as COVID-19. Since the first patient was hospitalized on December 12, 2019, China has reported a total of 78,824 confirmed CONID-19 cases and 2,788 deaths as of February 28, 2020. Wuhan's cumulative confirmed cases and deaths accounted for 61.1% and 76.5% of the whole China mainland , making it the priority center for epidemic prevention and control. Meanwhile, 51 countries and regions outside China have reported 4,879 confirmed cases and 79 deaths as of February 28, 2020. COVID-19 epidemic does great harm to people's daily life and country's economic development. This paper adopts three kinds of mathematical models, i.e., Logistic model, Bertalanffy model and Gompertz model. The epidemic trends of SARS were first fitted and analyzed in order to prove the validity of the existing mathematical models. The results were then used to fit and analyze the situation of COVID-19. The prediction results of three different mathematical models are different for different parameters and in different regions. In general, the fitting effect of Logistic model may be the best among the three models studied in this paper, while the fitting effect of Gompertz model may be better than Bertalanffy model. According to the current trend, based on the three models, the total number of people expected to be infected is 49852-57447 in Wuhan,12972-13405 in non-Hubei areas and 80261-85140 in China respectively. The total death toll is 2502-5108 in Wuhan, 107-125 in Non-Hubei areas and 3150-6286 in China respetively. COVID-19 will be over p robably in late-April, 2020 in Wuhan and before late-March, 2020 in other areas respectively.

preprint2020arXiv

Robust Bayesian variable selection for gene-environment interactions

Gene-environment (G$\times$E) interactions have important implications to elucidate the etiology of complex diseases beyond the main genetic and environmental effects. Outliers and data contamination in disease phenotypes of G$\times$E studies have been commonly encountered, leading to the development of a broad spectrum of robust regularization methods. Nevertheless, within the Bayesian framework, the issue has not been taken care of in existing studies. We develop a fully Bayesian robust variable selection method for G$\times$E interaction studies. The proposed Bayesian method can effectively accommodate heavy-tailed errors and outliers in the response variable while conducting variable selection by accounting for structural sparsity. In particular, for the robust sparse group selection, the spike-and-slab priors have been imposed on both individual and group levels to identify important main and interaction effects robustly. An efficient Gibbs sampler has been developed to facilitate fast computation. Extensive simulation studies and analysis of both the diabetes data with SNP measurements from the Nurses' Health Study and TCGA melanoma data with gene expression measurements demonstrate the superior performance of the proposed method over multiple competing alternatives.

preprint2019arXiv

Online Predictive Optimization Framework for Stochastic Demand-Responsive Transit Services

This study develops an online predictive optimization framework for dynamically operating a transit service in an area of crowd movements. The proposed framework integrates demand prediction and supply optimization to periodically redesign the service routes based on recently observed demand. To predict demand for the service, we use Quantile Regression to estimate the marginal distribution of movement counts between each pair of serviced locations. The framework then combines these marginals into a joint demand distribution by constructing a Gaussian copula, which captures the structure of correlation between the marginals. For supply optimization, we devise a linear programming model, which simultaneously determines the route structure and the service frequency according to the predicted demand. Importantly, our framework both preserves the uncertainty structure of future demand and leverages this for robust route optimization, while keeping both components decoupled. We evaluate our framework using a real-world case study of autonomous mobility in a university campus in Denmark. The results show that our framework often obtains the ground truth optimal solution, and can outperform conventional methods for route optimization, which do not leverage full predictive distributions.

preprint2016arXiv

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems

There is a great divide between rural and urban areas, particularly in medical emergency care. Although medical best practice guidelines exist in hospital handbooks, they are often lengthy and difficult to apply clinically. The challenges are exaggerated for doctors in rural areas and emergency medical technicians (EMT) during patient transport. In this paper, we propose the concept of distributed executable medical best practice guidance systems to assist adherence to best practice from the time that a patient first presents at a rural hospital, through diagnosis and ambulance transfer to arrival and treatment at a regional tertiary hospital center. We codify complex medical knowledge in the form of simplified distributed executable disease automata, from the thin automata at rural hospitals to the rich automata in the regional center hospitals. However, a main challenge is how to efficiently and safely synchronize distributed best practice models as the communication among medical facilities, devices, and professionals generates a large number of messages. This complex problem of patient diagnosis and transport from rural to center facility is also fraught with many uncertainties and changes resulting in a high degree of dynamism. To address this situation, we propose a pathophysiological model-driven message exchange communication architecture that ensures the real-time and dynamic requirements of synchronization among distributed emergency best-practice models are met in a reliable and safe manner. Taking the signs, symptoms, and progress of stroke patients transported across a geographically distributed healthcare network as the motivating use case, we implement our communication system and apply it to our developed best practice automata using laboratory simulations. Our proof-of-concept experiments shows there is potential for the use of our system in a wide variety of domains.

preprint2016arXiv

Capillary Action in a Crack on the Surface of Asteroids with an Application to 433 Eros

Some asteroids contain water ice, and a space mission landing on an asteroid may take liquid to the surface of the asteroid. Gas pressure is very weak on the surface of asteroids. Here we consider the capillary action in a crack on the surface of irregular asteroids. The crack is modelled as a capillary which has a fixed radius. An asteroid s irregular gravitational potential influences the height of the liquid in the capillary. The height of the liquid in the capillary on the surface of such asteroids is derived from the asteroid s irregular gravitational potential. Capillary mechanisms are expected to produce an inhomogeneaous distribution of emergent liquid on the surface. This result is applied to asteroid 433 Eros, which has an irregular, elongated, and concave shape. Two cases are considered 1) we calculate the height of the liquid in the capillary when the direction of the capillary is perpendicular to the local surface of the asteroid; 2) we calculate the height of the liquid in the capillary when the direction of the capillary is parallel to the vector from the center of mass to the surface position. The projected height in the capillary on the local surface of the asteroid seems to depend on the assumed direction of the capillary.

preprint2016arXiv

Dynamical Configurations of Celestial Systems Comprised of Multiple Irregular Bodies

This manuscript considers the main features of the nonlinear dynamics of multiple irregular celestial body systems. The gravitational potential, static electric potential, and magnetic potential are considered. Based on the three established potentials, we show that three conservative values exist for this system, including a Jacobi integral. The equilibrium conditions for the system are derived and their stability analyzed. The equilibrium conditions of a celestial system comprised of n irregular bodies are reduced to 12n minus 9 equations. The dynamical results are applied to simulate the motion of multiple-asteroid systems. The simulation is useful for the study of the stability of multiple irregular celestial body systems and for the design of spacecraft orbits to triple asteroid systems discovered in the solar system. The dynamical configurations of the five triple-asteroid systems 45 Eugenia, 87 Sylvia, 93 Minerva, 216 Kleopatra, and 136617 1994CC, and the six-body system 134340 Pluto are calculated and analyzed.

preprint2016arXiv

Invariant Clusters for Hybrid Systems

In this paper, we propose an approach to automatically compute invariant clusters for semialgebraic hybrid systems. An invariant cluster for an ordinary differential equation (ODE) is a multivariate polynomial invariant g(u,x)=0, parametric in u, which can yield an infinite number of concrete invariants by assigning different values to u so that every trajectory of the system can be overapproximated precisely by a union of concrete invariants. For semialgebraic systems, which involve ODEs with multivariate polynomial vector flow, invariant clusters can be obtained by first computing the remainder of the Lie derivative of a template multivariate polynomial w.r.t. its Groebner basis and then solving the system of polynomial equations obtained from the coefficients of the remainder. Based on invariant clusters and sum-of-squares (SOS) programming, we present a new method for the safety verification of hybrid systems. Experiments on nonlinear benchmark systems from biology and control theory show that our approach is effective and efficient.

preprint2016arXiv

Licensed-Assisted Access to Unlicensed Spectrum in LTE Release 13

Exploiting the unlicensed spectrum is considered by 3GPP as one promising solution to meet the ever-increasing traffic growth. As a result, one major enhancement for LTE in Release 13 has been to enable its operation in the unlicensed spectrum via Licensed-Assisted Access (LAA). In this article, we provide an overview of the Release 13 LAA technology including motivation, use cases, LTE enhancements for enabling the unlicensed band operation, and the coexistence evaluation results contributed by 3GPP participants.

preprint2016arXiv

Model-Driven Design of Clinical Guidance Systems

Clinical guidance systems have been widely adopted to help medical staffs to avoid preventable medical errors such as delay in diagnosis, treatment or untended deviations from best practice guidelines. However, because patient condition changes rapidly and medical staffs are usually overloaded in acute care setting, how to ensure the correctness of the system reaction to those rapid changes and managing interaction with physicians remains challenging. In this paper, we propose a domain-specific model-driven design approach to address these challenges for designing clinical guidance systems. Firstly, we translate the relevant medical knowledge described in generic literature and different best practice guidelines into a set of executable and indirectly verifiable finite state machine models. We introduce an organ-centric paradigm to construct clinical models, and also develop a physician model to track physician-system interactions and deviations. Secondly, for verification of the compositional system model, we translate the model into timed automata, based on which, we formalize a set of clinical and system safety requirements as computation tree logic(CTL) formulas and use the UPPAAL model checking tool to formally verify those requirements. In this way, the correctness of the model can be mathematically proved. Finally, we can automatically generate the executable code from the verified model using the corresponding code generation tools for finite state machine. For evaluation, we apply the approach to the design of clinical guidance systems for cardiac arrest. The generated code can be deployed and interact with existing guidance systems.

preprint2016arXiv

Multiple Bifurcations in the Periodic Orbit around Eros

We investigate the multiple bifurcations in periodic orbit families in the potential field of a highly irregular-shaped celestial body. Topological cases of periodic orbits and four kinds of basic bifurcations in periodic orbit families are studied. Multiple bifurcations in periodic orbit families consist of four kinds of basic bifurcations. We found both binary period-doubling bifurcations and binary tangent bifurcations in periodic orbit families around asteroid 433 Eros. The periodic orbit family with binary period-doubling bifurcations is nearly circular, with almost zero inclination, and is reversed relative to the body of the asteroid 433 Eros. This implies that there are two stable regions separated by one unstable region for the motion around this asteroid. In addition, we found triple bifurcations which consist of two real saddle bifurcations and one period-doubling bifurcation. A periodic orbit family generated from an equilibrium point of asteroid 433 Eros has five bifurcations, which are one real saddle bifurcation, two tangent bifurcations, and two period-doubling bifurcations.

preprint2016arXiv

Periodic Orbit Families in the Gravitational Field of Irregular-shaped Bodies

The discovery of binary and triple asteroids in addition to the execution of space missions to minor celestial bodies in the past several years have focused increasing attention on periodic orbits around irregular-shaped celestial bodies. In the present work, we adopt a polyhedron shape model for providing an accurate representation of irregular-shaped bodies, and employ the model to calculate their corresponding gravitational and effective potentials. We also investigate the characteristics of periodic orbit families and the continuation of periodic orbits. We prove a fact, which provides a conserved quantity that permits restricting the number of periodic orbits in a fixed energy curved surface about an irregular-shaped body. The collisions of Floquet multipliers are maintained during the continuation of periodic orbits around the comet 1P/Halley. Multiple bifurcations in the periodic orbit families about irregular-shaped bodies are also discussed. Three bifurcations in the periodic orbit family have been found around the asteroid 216 Kleopatra, which include two real saddle bifurcations and one period-doubling bifurcation.

preprint2016arXiv

Surface Motion Relative to the Irregular Celestial Bodies

We study the motion and equilibria of the grains on the surface of the irregular celestial body (hereafter called irregular bodies). Motions for the grains on the smooth and unsmooth surfaces are discussed, respectively. The linearized equations of motion relative to a surface equilibrium point and its characteristic equations are presented. Considering the stick-slip effect, the damping forces and the spring forces for the grain are calculated, then the linearized equations of motion and the characteristic equations relative to the surface equilibrium points are derived. The number of non-degenerate surface equilibria is an even number. We compute the motion of a grain released above three different regions relative to the irregular asteroid 6489 Golevka, including the flat surface, the concave region, and the convex region. Following the grain release and initial bounce, three kinds of motions exist, the orbital motion, the impact motion and the surface motion. We find that the maximum height of the next hop may be bigger than the maximum height of the current hopping. We also used Monte Carlo simulations to calculate 100 grains hopping motions, the results shows that the stable surface equilibria are on the concave region and flat surface of the asteroid.

preprint2015arXiv

A Robust Approach for Identifying Gene-Environment Interactions for Prognosis

For many complex diseases, prognosis is of essential importance. It has been shown that, beyond the main effects of genetic (G) and environmental (E) risk factors, the gene-environment (G$\times$E) interactions also play a critical role. In practice, the prognosis outcome data can be contaminated, and most of the existing methods are not robust to data contamination. In the literature, it has been shown that even a single contaminated observation can lead to severely biased model estimation. In this study, we describe prognosis using an accelerated failure time (AFT) model. An exponential squared loss is proposed to accommodate possible data contamination. A penalization approach is adopted for regularized estimation and marker selection. The proposed method is realized using an effective coordinate descent (CD) and minorization maximization (MM) algorithm. Simulation shows that without contamination, the proposed method has performance comparable to or better than the unrobust alternative. With contamination, it outperforms the unrobust alternative and, under certain scenarios, can be superior to the robust method based on quantile regression. The proposed method is applied to the analysis of TCGA (The Cancer Genome Atlas) lung cancer data. It identifies interactions different from those using the alternatives. The identified marker have important implications and satisfactory stability.

preprint2015arXiv

Analysis of the Potential Field and Equilibrium Points of Irregular-shaped Minor Celestial Bodies

The equilibrium points of the gravitational potential field of minor celestial bodies, including asteroids, comets, and irregular satellites of planets, are studied. In order to understand better the orbital dynamics of massless particles moving near celestial minor bodies and their internal structure, both internal and external equilibrium points of the potential field of the body are analyzed. In this paper, the location and stability of the equilibrium points of 23 minor celestial bodies are presented. In addition, the contour plots of the gravitational effective potential of these minor bodies are used to point out the differences between them. Furthermore, stability and topological classifications of equilibrium points are discussed, which clearly illustrate the topological structure near the equilibrium points and help to have an insight into the orbital dynamics around the irregular-shaped minor celestial bodies. The results obtained here show that there is at least one equilibrium point in the potential field of a minor celestial body, and the number of equilibrium points could be one, five, seven, and nine, which are all odd integers. It is found that for some irregular-shaped celestial bodies, there are more than four equilibrium points outside the bodies while for some others there are no external equilibrium points. If a celestial body has one equilibrium point inside the body, this one is more likely linearly stable.

preprint2015arXiv

Collision and Annihilation of Relative Equilibrium Points Around Asteroids with a Changing Parameter

In this work, we investigate the bifurcations of relative equilibria in the gravitational potential of asteroids. A theorem concerning a conserved quantity, which is about the eigenvalues and number of relative equilibria, is presented and proved. The conserved quantity can restrict the number of non-degenerate equilibria in the gravitational potential of an asteroid. It is concluded that the number of non-degenerate equilibria in the gravitational field of an asteroid varies in pairs and is an odd number. In addition, the conserved quantity can also restrict the kinds of bifurcations of relative equilibria in the gravitational potential of an asteroid when the parameter varies. Furthermore, studies have shown that there exist transcritical bifurcations, quasi-transcritical bifurcations, saddle-node bifurcations, saddle-saddle bifurcations, binary saddle-node bifurcations, supercritical pitchfork bifurcations, and subcritical pitchfork bifurcations for the relative equilibria in the gravitational potential of asteroids. It is found that for the asteroid 216 Kleopatra, when the rotation period varies as a parameter, the number of relative equilibria changes from 7 to 5 to 3 to 1, and the bifurcations for the relative equilibria are saddle-node bifurcations and saddle-saddle bifurcations.

preprint2015arXiv

Equilibrium Points and Periodic Orbits in the Vicinity of Asteroids with an Application to 216 Kleopatra

In this study, equilibrium points and periodic orbits in the potential field of asteroids are investigated. We present the linearized equations of motion relative to the equilibrium points and characteristic equations. We find that the distribution of characteristic multipliers of periodic orbits around the equilibrium point and the distribution of eigenvalues of the equilibrium point correspond to each other. The distribution of eigenvalues of the equilibrium point confirms the topology and the stability of periodic orbits around the equilibrium point.

preprint2015arXiv

Order and Chaos near Equilibrium Points in the Potential of Rotating Highly Irregular-shaped Celestial Bodies

The order and chaos of the motion near equilibrium points in the potential of a rotating highly irregular-shaped celestial body are investigated from point of view of the dynamical system theory. The positions of the non-degenerate equilibrium points vary continuously when the parameter changes. The topological structures in the vicinity of equilibrium points are classified into several different cases. Bifurcations at equilibrium points and the topological transfers between different cases for equilibrium points are also discussed. The conclusions can be applied to all kinds of rotating celestial bodies, simple-shaped or highly irregular-shaped, including asteroids, comets, planets and satellites of planets to help one to understand the dynamical behaviors around them. Applications to asteroids 216 Kleopatra, 2063 Bacchus, and 25143 Itokawa are significant and interesting: eigenvalues affiliated to the equilibrium points for the asteroid 216 Kleopatra move and always belong to the same topological cases; while eigenvalues affiliated to two different equilibrium points for the asteroid 2063 Bacchus and 25143 Itokawa move through the resonant cases of equilibrium points, and the collision of eigenvalues in the complex plane occurs. Poincaré sections in the potential of the asteroid 216 Kleopatra show the chaos behaviors of the orbits in large scale.

preprint2015arXiv

Periodic Motion near the Surface of Asteroids

We are interested in the periodic motion and bifurcations near the surface of an asteroid. The gravity field of an irregular asteroid and the equation of motion of a particle near the surface of an asteroid are studied. The periodic motions around the major body of triple asteroid 216 Kleopatra and the OSIRIS REx mission target asteroid 101955 Bennu are discussed. We find that motion near the surface of an irregular asteroid is quite different from the motion near the surface of a homoplastically spheroidal celestial body. The periodic motions around the asteroid 101955 Bennu and 216 Kleopatra indicate that the geometrical shapes of the orbits are probably very sophisticated. There exist both stable periodic motions and unstable periodic motions near the surface of the same irregular asteroid. This periodic motion which is unstable can be resonant or non resonant. The period doubling bifurcation and pseudo period doubling bifurcation of periodic orbits coexist in the same gravity field of the primary of the triple asteroid 216 Kleopatra. It is found that both of the period doubling bifurcations of periodic orbits and pseudo period-doubling bifurcation of periodic orbits have four different paths. The pseudo period doubling bifurcation found in the potential field of primary of triple asteroid 216 Kleopatra shows that there exist stable periodic orbits near the primary s equatorial plane, which gives an explanation for the motion stability of the triple asteroid 216 Kleopatra s two moonlets, Alexhelios and Cleoselene.

preprint2015arXiv

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces

Software is everywhere. The increasing requirement of supporting a wide variety of domains has rapidly increased the complexity of software systems, making them hard to maintain and the training process harder for end-users, which in turn ultimately demanded the development of user-friendly application software with simple interfaces that makes them easy, especially for non-professional personnel, to employ, and interact with. However, due to the lack of source code access for third-party software and the lack of non-graphical interfaces such as web-services or RMI (Remote Method Invocation) access to application functionality, synchronization between heterogeneous closed-box software interfaces and a user-friendly version of those interfaces has become a major challenge. In this paper, we design SINk, a middleware that enables synchronization of multiple heterogeneous software applications, using only graphical interface, without the need for source code access or access to the entire platform's control. SINk helps with synchronization of closed-box industry software, where in fact the only possible way of communication is through software interfaces. It leverages efficient client sever architecture, socket based protocol, adaptation to resolution changes, and parameter mapping mechanisms to transfer control events to ensure the real-time requirements of synchronization among multiple interfaces are met. Our proof-of-concept evaluation shows there is in fact potential usage of our middleware in a wide variety of domains.

preprint2015arXiv

Topological Classifications and Bifurcations of Periodic Orbits in the Potential Field of Highly Irregular-shaped Celestial Bodies

This paper studies the distribution of characteristic multipliers, the structure of submanifolds, the phase diagram, bifurcations and chaotic motions in the potential field of rotating highly irregular-shaped celestial bodies (hereafter called irregular bodies). The topological structure of the submanifolds for the orbits in the potential field of an irregular body is shown to be classified into 34 different cases, including 6 ordinary cases, 3 collisional cases, 3 degenerate real saddle cases, 7 periodic cases, 7 period-doubling cases, 1 periodic and collisional case, 1 periodic and degenerate real saddle case, 1 period-doubling and collisional case, 1 period-doubling and degenerate real saddle case, and 4 periodic and period-doubling cases. The different distribution of the characteristic multipliers has been shown to fix the structure of the submanifolds, the type of orbits, the dynamical behaviour and the phase diagram of the motion. Classifications and properties for each case are presented. Moreover, tangent bifurcations, period-doubling bifurcations, Neimark-Sacker bifurcations and the real saddle bifurcations of periodic orbits in the potential field of an irregular body are discovered. Submanifolds appear to be Mobius strips and Klein bottles when the period-doubling bifurcation occurs.

preprint2014arXiv

Influence of gauge boson mass on the staggered spin susceptibility

Based on the study of the linear response of the fermion propagator in the presence of an external scalar field, we calculate the staggered spin susceptibility in the low energy limit in the framework of the Dyson-Schwinger approach. We analyze the effect of a finite gauge boson mass on the staggered spin susceptibility in both Nambu phase and Wigner phase. It is found that the gauge boson mass suppresses the staggered spin susceptibility in Wigner phase. In addition, we try to give an explanation for why the antiferromagnetic spin correlation increases when the doping is lowered.

preprint2014arXiv

Locate QCD Critical End Point in a Continuum Model Study

With a modified chemical potential dependent effective model for the gluon propagator, we try to locate the critical end point (CEP) of strongly interacting matter in the framework of Dyson-Schwinger equations (DSE). Beyond the chiral limit, we find that Nambu solution and Wigner solution could coexist in some area. Using the CornwallJackiw-Tomboulis (CJT) effective action, we show that these two phases are connected by a first order phase transition. We then locate CEP as the end point of the first order phase transition line. Meanwhile, based on CJT effective action, we give a direct calculation for the chiral susceptibility and thereby study the crossover.

preprint2014arXiv

Nonlinear susceptibilities under the framework of Dyson-Schwinger equations

Since the baryon-number susceptibilities are correlated with the cumulant of baryon-number fluctuations in experiments, we do calculations of the susceptibilities and compare them with the experimental fluctuation data under the framework of the Dyson-Schwinger equations (DSEs) approach. We compare our results with lattice QCD and experimental data at RHIC. The fitness of the results indicates that under the framework of DSEs, we can deal with the problems of heavy ion collisions properly.

preprint2014arXiv

Orbital Mechanics near a Rotating Asteroid

This study investigates the different novel forms of the dynamical equations of a particle orbiting a rotating asteroid and the effective potential, the Jacobi integral, etc. on different manifolds. Nine new forms of the dynamical equations of a particle orbiting a rotating asteroid are presented, and the classical form of the dynamical equations has also been found. The dynamical equations with the potential and the effective potential in scalar form in the arbitrary body-fixed frame and the special body-fixed frame are presented and discussed. Moreover, the simplified forms of the effective potential and the Jacobi integral have been derived. The dynamical equation in coefficient-matrix form has been derived. Other forms of the dynamical equations near the asteroid are presented and discussed, including the Lagrange form, the Hamilton form, the symplectic form, the Poisson form, the Poisson-bracket form, the cohomology form, and the dynamical equations on the Kähler manifold and another complex manifold. Novel forms of the effective potential and the Jacobi integral are also presented. The dynamical equations in scalar form and coefficient-matrix form can aid in the study of the dynamical system, the bifurcation, and the chaotic motion of the orbital dynamics of a particle near a rotating asteroid. The dynamical equations of a particle near a rotating asteroid are presented on several manifolds, including the symplectic manifold, the Poisson manifold, and complex manifolds, which may lead to novel methods of studying the motion of a particle in the potential field of a rotating asteroid.

preprint2014arXiv

Orbits and Manifolds near the Equilibrium Points around a Rotating Asteroid

We study the orbits and manifolds near the equilibrium points of a rotating asteroid. The linearised equations of motion relative to the equilibrium points in the gravitational field of a rotating asteroid, the characteristic equation and the stable conditions of the equilibrium points are derived and discussed. First, a new metric is presented to link the orbit and the geodesic of the smooth manifold. Then, using the eigenvalues of the characteristic equation, the equilibrium points are classified into 8 cases. A theorem is presented and proved to describe the structure of the submanifold as well as the stable and unstable behaviours of a massless particle near the equilibrium points. The linearly stable, the non-resonant unstable, and the resonant equilibrium points are discussed. There are three families of periodic orbits and four families of quasi-periodic orbits near the linearly stable equilibrium point. For the non-resonant unstable equilibrium points, there are four cases; for the periodic orbit and the quasi-periodic orbit, the structures of the submanifold and the subspace near the equilibrium points are studied for each case. For the resonant equilibrium points, the dimension of the resonant manifold is greater than four, and we find at least 1 family of periodic orbits near the resonant equilibrium points. Besides, this theory is applied to asteroids 216 Kleopatra, 1620 Geographos, 4769 Castalia, and 6489 Golevka.

preprint2014arXiv

Solving reviewer assignment problem in software peer review: An approach based on preference matrix and asymmetric TSP model

Optimized reviewer assignment can effectively utilize limited intellectual resources and significantly assure review quality in various scenarios such as paper selection in conference or journal, proposal selection in funding agencies and so on. However, little research on reviewer assignment of software peer review has been found. In this study, an optimization approach is proposed based on students' preference matrix and the model of asymmetric traveling salesman problem (ATSP). Due to the most critical role of rule matrix in this approach, we conduct a questionnaire to obtain students' preference matrices and convert them to rule matrices. With the help of software ILOG CPLEX, the approach is accomplished by controlling the exit criterion of ATSP model. The comparative study shows that the assignment strategies with both reviewers' preference matrix and authors' preference matrix get better performance than the random assignment. Especially, it is found that the performance is just a little better than that of random assignment when the reviewers' and authors' preference matrices are merged. In other words, the majority of students have a strong wish of harmonious development even though high-level students are not willing to do that.

preprint2013arXiv

Calculation of the staggered spin correlation in the framework of the Dyson-Schwinger approach

Based on the linear response of the fermion propagator with respect to an external field, we first derive a model-independent expression for the staggered spin susceptibility in which the influence of the full pseudoscalar vertex function is included. This expression for the staggered spin susceptibility is quite different from that given in the previous literature. The numerical values of the staggered spin susceptibility are calculated within the framework of the Dyson-Schwinger approach. Our numerical result shows that the nonperturbative dressing effects on the fermion propagator is very important when one studies the staggered spin susceptibility which corresponding to antiferromagnetic correlation in both Nambu phase and Winger phase.

preprint2013arXiv

Robust Adaptive Dynamic Programming for Optimal Nonlinear Control Design

This paper studies the robust optimal control design for uncertain nonlinear systems from a perspective of robust adaptive dynamic programming (robust-ADP). The objective is to fill up a gap in the past literature of ADP where dynamic uncertainties or unmodeled dynamics are not addressed. A key strategy is to integrate tools from modern nonlinear control theory, such as the robust redesign and the backstepping techniques as well as the nonlinear small-gain theorem, with the theory of ADP. The proposed robust-ADP methodology can be viewed as a natural extension of ADP to uncertain nonlinear systems. A practical learning algorithm is developed in this paper, and has been applied to a sensorimotor control problem.

preprint2012arXiv

A thermodynamically consistent quasi-particle model without temperature-dependent infinity of the vacuum zero point energy

In this paper, an improved quasi-particle model is presented. Unlike the previous approach of establishing quasi-particle model, we introduce a classical background field (it is allowed to depend on the temperature) to deal with the infinity of thermal vacuum energy which exists in previous quasi-particle models. After taking into account the effect of this classical background field, the partition function of quasi-particle system can be made well-defined. Based on this and following the standard ensemble theory, we construct a thermodynamically consistent quasi-particle model without the need of any reformulation of statistical mechanics or thermodynamical consistency relation. As an application of our model, we employ it to the case of (2+1) flavor QGP at zero chemical potential and finite temperature and obtain a good fit to the recent lattice simulation results of S. Borsanyi $et$ $al$. A comparison of the result of our model with early calculations using other models is also presented. It is shown that our method is general and can be generalized to the case where the effective mass depends not only on the temperature but also on the chemical potential.

preprint2012arXiv

Analytical Computation of Critical Exponents in Several Holographic Superconductors

It is very interesting that all holographic superconductors, such as s-wave, p-wave and d-wave holographic superconductors, show the universal mean-field critical exponent 1/2 at the critical temperature, just like Gindzburg-Landau (G-L) theory for second order phase transitions. Now it is believed that the universal critical exponents appear because the dual gravity theory is classic in the large $N$ limit. However, even in the large $N$ limit there is an exception called "non-mean-field theory": an extension of the s-wave model with a cubic term of the charged scalar field shows a different critical exponent 1. In this paper, we try to use analytical methods to obtain the critical exponents for these models to see how the properties of the gravity action decides the appearance of the mean-field behaviors. It will be seen that just like the G-L theory, it is the fundamental symmetries rather than the detailed parameters of the bulk theory that lead to the universal properties of the holographic superconducting phase transition. The feasibility of the called "non-mean-field theory" is also discussed.

preprint2012arXiv

Influence of a uniform magnetic field on dynamical chiral symmetry breaking in QED$_3$

We study dynamical chiral symmetry breaking (DCSB) in an effective QED$_{3}$ theory of d-wave high temperature cuprate superconductors under a uniform magnetic field. At zero temperature, the external magnetic field induces a mixed state by generating vortices in the condensate of charged holons. The growing magnetic field suppresses the superfluid density and thus reduces the gauge field mass which is opened via the Anderson-Higgs mechanism. By numerically solving the Dyson-Schwinger gap equation, we show that the massless fermions acquires a dynamical gap through DCSB mechanism when the magnetic field strength $H$ is above a critical value $H_{c}$ and the fermion flavors $N$ is below a critical value $N_{c}$. Further, it is found that both $N_{c}$ and the dynamical fermion gap increase as the magnetic field $H$ grows. It is expected that our result can be tested in phenomena in high temperature cuprate superconductors.

preprint2012arXiv

Möbius transformations and electronic transport properties of large disorderless networks

We show that the key transport states, insulating and conducting, of large regular networks of scatterers can be described generically by negative and zero Lyapunov exponents, respectively, of Möbius maps that relate the scattering matrix of systems with successive sizes. The conductive phase is represented by weakly chaotic attractors that have been linked with anomalous transport and ergodicity breaking. Our conclusions, verified for serial as well as parallel stub and ring structures, reveal that mesoscopic behavior results from a drastic reduction of degrees of freedom.

preprint2012arXiv

Multiconfigurational nature of 5f orbitals in uranium and plutonium intermetallics

Uranium and plutonium's 5f electrons are tenuously poised between strongly bonding with ligand spd-states and residing close to the nucleus. The unusual properties of these elements and their compounds (eg. the six different allotropes of elemental plutonium) are widely believed to depend on the related attributes of f-orbital occupancy and delocalization, for which a quantitative measure is lacking. By employing resonant x-ray emission spectroscopy (RXES) and x-ray absorption near-edge structure (XANES) spectroscopy and making comparisons to specific heat measurements, we demonstrate the presence of multiconfigurational f-orbital states in the actinide elements U and Pu, and in a wide range of uranium and plutonium intermetallic compounds. These results provide a robust experimental basis for a new framework for understanding the strongly-correlated behavior of actinide materials.

preprint2012arXiv

New application of decomposition of U(1) gauge potential:Aharonov-Bohm effect and Anderson-Higgs mechanism

In this paper we study the Aharonov-Bohm (A-B) effect and Anderson-Higgs mechanism in Ginzburg-Landau model of superconductors from the perspective of the decomposition of U(1) gauge potential. By the Helmholtz theorem, we derive exactly the expression of the transverse gauge potential $\vec{A}_\perp$ in A-B experiment, which is gauge-invariant and physical. For the case of a bulk superconductor, we find that the gradient of the total phase field $θ$ provides the longitudinal component ${\vec A}_{\parallel}$, which reflects the Anderson-Higgs mechanism. For the case of a superconductor ring, the gradient of the longitudinal phase field $θ_1$ provides the longitudinal component ${\vec A}_{\parallel}$, while the transverse phase field $θ_2$ produces new physical effects such as the flux quantization inside a superconducting ring.

preprint2012arXiv

PuPt2In7: a computational and experimental investigation

Flux-grown single crystals of PuPt$_2$In$_7$ are characterized and found to be both non-superconducting and non-magnetic down to 2 K. The Sommerfeld specific heat coefficient of $\sim 250$ mJ/mol K$^2$ indicates heavy fermion behavior. We report the results of generalized gradient approximation (GGA)+$U$ calculations of PuPt$_2$In$_7$ and as yet unsynthesized isovalent PuPt$_2$Ga$_7$. The strength of the $c$-$f$ hybridization of PuPt$_2$In$_7$ is similar to the PuCoIn$_5$ superconductor. The bare and $f$-weighted susceptibility within the constant-matrix-element approximation is calculated, showing a maximum along the $q_z$ direction at $q_x = q_y = 0.5$. A similar and slightly stronger maximum is also found in the structurally related heavy-fermion materials PuCoGa$_5$ and PuCoIn$_5$. The absence of superconductivity in PuPt$_2$In$_7$ is examined based on the results of our calculations.

preprint2012arXiv

The Wigner solution of quark gap equation at nonzero current quark mass and partial restoration of chiral symmetry at finite chemical potential

According to the generally accepted phase diagram of QCD, at low temperature and high baryon number density the chiral phase transition of QCD is of first order and the co-existence of the Nambu-Goldstone phase and the Wigner phase should appear. This is in conflict with the usual claim that the quark gap equation has no Wigner solution in the case of nonzero current quark mass. In this paper we analyze the reason why the Wigner solution does not exist in the usual treatment and try to propose a new approach to discuss this question. As a first step, we adopt a modified Nambu-Jona-Lasinio (NJL) model to study the Wigner solution at finite current quark mass. We then generalize this approach to the case of finite chemical potential and discuss partial restoration of chiral symmetry at finite chemical potential and compare our results with those in the normal NJL model.

preprint2011arXiv

A model study of quark number susceptibility at finite temperature beyond rainbow-ladder approximation

In this paper we calculate the quark number susceptibility (QNS) of QCD at finite temperature under the rainbow-ladder and Ball-Chiu type truncation schemes of the Dyson-Schwinger approach. It is found that the difference between the result of the rainbow-ladder truncation and that of Ball-Chiu type truncation is small, which shows that the dressing effect of the quark-gluon vertex on the QNS at finite temperature is small. It is also found that at low temperature the quark number susceptibility is nearly zero and it increases sharply when the temperature approaches the chiral phase transition point. A comparison between the result in the present paper with those in the literature is made.

preprint2011arXiv

Calculation of bulk viscosity of QCD at zero temperature and finite chemical potential

In this letter, based on Kubo's formula and the QCD low energy theorem, we propose a direct formula for calculating the bulk viscosity of QCD at finite chemical potential $μ$ and zero temperature. According to this formula, the bulk viscosity at finite $μ$ is totally determined by the dressed quark propagator at finite $μ$. We then use a dynamical, confining Dyson-Schwinger equation model of QCD to calculate the bulk viscosity at finite $μ$. It is found that no sharp peak behavior of the bulk viscosity at finite $μ$ is observed, which is quite different from that of the bulk viscosity at finite temperature.

preprint2011arXiv

Model Study of a Quark Star

In this paper we apply the equation of state (EOS) of QCD at finite chemical potential and zero temperature proposed in H. S. Zong and W. M. Sun [Int. J. Mod. Phys. {\bf A23}, 3591 (2008)] to the study of properties of quark star. This EOS contains only one adjustable parameter $m_D$ which sets the scale of chiral symmetry breaking (in our calculation we have chosen two values of $m_D$: $m_D=244 MeV$ and $m_D=239 MeV$, which is fitted from the value of $f_π$ and determined by $e^+ e^-$ annihilation experiment, respectively). From this EOS a model of quark star is established by applying the Tolman-Oppenheimer-Volkoff equation under two conditions: with the $P(μ=0)$ term and without the $P(μ=0)$ term. Our results show clearly that the $P(μ=0)$ term is an important quantity in the study of quark star. A comparison between our model and other models of quark star is made. In particular, we have compared our results with the most recent observational data measured using Shapiro delay reported in P.B. Demorest et al. [Nature (London) {\bf 467}, 1081 (2010)].

preprint2010arXiv

Characteristic length of a Holographic Superconductor with $d$-wave gap

After the discovery of the $s$-wave and $p$-wave holographic superconductors, holographic models of $d$-wave superconductor have also been constructed recently. We study analytically the perturbation of the dual gravity theory to calculate the superconducting coherence length $ξ$ of the $d$-wave holographic superconductor near the superconducting phase transition point. The superconducting coherence length $ξ$ divergents as $(1-T/T_c)^{-1/2}$ near the critical temperature $T_c$. We also obtain the magnetic penetration depth $λ\propto(T_c-T)^{-1/2}$ by adding a small external homogeneous magnetic field. The results agree with the $s$-wave and $p$-wave models, which are also the same as the Ginzburg-Landau theory.

preprint2010arXiv

The Equation of State and Quark Number Susceptibility in Hard-Dense-Loop Approximation

Based on the method proposed in [ H. S. Zong, W. M. Sun, Phys. Rev. \textbf{D 78}, 054001 (2008)], we calculate the equation of state (EOS) of QCD at zero temperature and finite quark chemical potential under the hard-dense-loop (HDL) approximation. A comparison between the EOS under HDL approximation and the cold, perturbative EOS of QCD proposed by Fraga, Pisarski and Schaffner-Bielich is made. It is found that the pressure under HDL approximation is generally smaller than the perturbative result. In addition, we also calculate the quark number susceptibility (QNS) at finite temperature and finite chemical potential under hard-thermal/dense-loop (HTL/HDL) approximation and compare our results with the corresponding ones in the previous literature.

preprint2010arXiv

The Quark Number Susceptibility in Hard-Thermal-Loop Approximation

With the aid of the vector Ward-Takahashi identity we derive a general formula for the quark number susceptibility (QNS) which expresses the QNS as an integral expression only involving the full quark propagator at finite temperature and chemical potential. The QNS at finite temperature and zero chemical potential is calculated with the dressed quark propagator in the Hard-Thermal-Loop (HTL) approximation. A comparison of our result with the results of QNS in HTL approximation in previous literatures is given.

preprint2008arXiv

The Calculation of $f_π$ and $m_π$ at Finite Chemical Potential

Based on the previous work in [Y. Jiang, Y.M. Shi, H.T. Feng, W.M. Sun and H.S. Zong, Phys. Rev. C {\bf 78}, 025214 (2008)] on the quark-meson vertex and pion properties at finite quark chemical potential, we provide an analytical analysis of the weak decay constant of the pion ($f_π[μ]$) and the pion mass ($m_π[μ]$) at finite quark chemical potential using the model quark propagator proposed in [R. Alkofer, W. Detmold, C.S. Fischer and P. Maris, Phys. Rev. D {\bf 70}, 014014 (2004)]. It is found that when $μ$ is below a threshold value $μ_0$ (which equals $0.350 \mathrm{GeV}$, $0.377 \mathrm{GeV}$ and $0.341 \mathrm{GeV}$, for the $\mathrm{2CC}$, $\mathrm{1R1CC}$ and $\mathrm{3R}$ parametrizations of the model quark propagator, respectively.), $f_π[μ]$ and $m_π[μ]$ are kept unchanged from their vacuum values. The value of $μ_0$ is intimately connected with the pole distribution of the model quark propagator and is found to coincide with the threshold value below which the quark-number density vanishes identically. Numerical calculations show that when $μ$ becomes larger than $μ_0$, $f_π[μ]$ exhibits a sharp decrease whereas $m_π[μ]$ exhibits a sharp increase. A comparison is given between the results obtained in this paper and those obtained in previous literatures.