Property-Directed Inference of Relational Invariants by Dmitry A. Mordvinov

“…We have implemented the algorithm on top of a up-to-date CHC solver Spacer. …”
Get full text

Adaptive resource allocation in multiuser OFDM system based on fairness threshold by ZHANG Chun-fa, ZHAO Xiao-hui

“…In traditional sub-carrier allocation process,user with the highest priority can choose best sub-carrier,which will result in low utilization of sub-carriers.Current improved algorithms can im-prove system capacity and reduce algorithm complexity by sacrificing certain fairness,but they may not achieve fairness requirement among users.In order to solve this problem,a new adaptive resource allo-cation algorithm based on fairness threshold was proposed,in which the priority of the sub-carrier allo-cation was determined by fairness threshold to achieve a rough tradeoff between capacity and fairness.Then power allocation base on particle swarm optimization（PSO） was introduced to realize the required fairness.Experimental results show that the proposed adaptive resource allocation algorithm can satisfy the fairness requirement threshold and improve system capacity.…”
Get full text

A Joint Decoherence-Based AOA and TDOA Positioning Approach for Interference Monitoring in Global Navigation Satellite System by Wenjian Wang, Yinghong Wen, Yongxia Liu

“…Furthermore, a joint AOA and time difference of arrival (TDOA) interference localization algorithm is proposed for problems such as the lack of accuracy in a single interference source localization algorithm. …”
Get full text

Three-Stage Bidding Strategy of Generation Company Based on Double Deep Q-Network under Incomplete Information Condition by Pengpeng YANG, Beibei WANG, Peng XU, Gaoqin WANG, Yaxian ZHENG

“…Finally, a PJM 5-bus test case is used to compare the rewards obtained by DDQN and traditional Q-learning algorithm. The results shows that the DDQN algorithm can make appropriate decisions according to the complex state while the Q-learning algorithm has poor performance. …”
Get full text

Analysis and Design of the Battery Initial Energy Level with Task Scheduling for Energy-Harvesting Embedded Systems by Xingyu Miao, Jiayuan Wei, Yongqi Ge

“…However, in the process of EHES task execution, an energy shortage may occur in the busy period such that system tasks cannot be scheduled. …”
Get full text

An Improved Unscented Kalman Filter Applied to Positioning and Navigation of Autonomous Underwater Vehicles by Jinchao Zhao, Ya Zhang, Shizhong Li, Jiaxuan Wang, Lingling Fang, Luoyin Ning, Jinghao Feng, Jianwu Zhang

“…To enhance the positioning accuracy of autonomous underwater vehicles (AUVs), a new adaptive filtering algorithm (RHAUKF) is proposed. The most widely used filtering algorithm is the traditional Unscented Kalman Filter or the Adaptive Robust UKF (ARUKF). …”
Get full text

Interference Mitigation and Collision Avoidance of Dynamic UAVBSs Network via Mobility Control: A Game Theoretic Approach by Omar Ali Thabet, Didem Kivanc Tureli, Ufuk Tureli

“…In the first scenario on board computation and power may be limited due to other functions. Under this scenario, the UAVBSs-Better Direction Control (UAVBSs-BDC) algorithm works iteratively based only on the UAV utility function with linear time to directly optimize the action selection based on the UAVBS’s utility. …”
Get full text

Robust 3-D Multi-Source Localization With a Movable Antenna Array via Sparse Signal Processing by Amir Mansourian, Alireza Fadakar, Saeed Akhavan, Behrouz Maham

“…This paper tackles the angle of arrival (AOA) 3D-localization problem for multiple sparse signal sources with a moving receiver, which has a limited number of antennas that may be outnumbered by the sources. First, an energy detector algorithm is proposed to leverage signal sparsity for eliminating noisy samples. …”
Get full text

Collision Avoidance in Circular Motion of a Fixed-Wing Drone Formation Based on Rotational Modification of Artificial Potential Field by Tagir Muslimov

“…In this case, the path following algorithm developed in our previous works provides the circular motion. …”
Get full text

Shot-noise-induced lower temperature limit of the nonneutral plasma parallel temperature diagnostic by Adrianne Zhong, Joel Fajans, Jonathan S. Wurtele

“…PhD thesis, 1990). Significantly, our algorithm may be used on single-count data, allowing for improved fits with low numbers of escaping electrons. …”
Get full text

Acoustic Sensor Based Recognition of Human Activity in Everyday Life for Smart Home Services by Jae Mun Sim, Yonnim Lee, Ohbyung Kwon

“…Behavior detection mechanisms may be useful in context-aware domains in everyday life, but they may be inaccurate, and privacy violation is a concern. …”
Get full text

Random k conditional nearest neighbor for high-dimensional data by Jiaxuan Lu, Hyukjun Gweon

“…The k nearest neighbor (kNN) approach is a simple and effective algorithm for classification and a number of variants have been proposed based on the kNN algorithm. …”
Get full text

Point Cloud Registration in Multidirectional Affine Transformation by Chang Wang, Qin Shu, Yunxiu Yang, Fei Yuan

“…If a point cloud is out of order in such a case, many existing algorithms may not be suitable to solve the problem. …”
Get full text

A Comparative Study of Storage Batteries for Electrical Energy Produced by Photovoltaic Panels by Petru Livinti

“…The program for the MATLAB function was developed by the author in the C++ programming environment. The MPPT algorithm provides maximum energy transfer from the photovoltaic panels to the battery. …”
Get full text

A System for Real-Time Detection of Abandoned Luggage by Ivan Vrsalovic, Jonatan Lerga, Marina Ivasic-Kos

“…The abandoned luggage detection algorithm was tested in various scenarios where luggage may be left behind and in situations that may be potentially suspicious and showed promising results.…”
Get full text

Improved cluster analysis of Werner solutions for geologic depth estimation using unsupervised machine learning by Daniel Eshimiakhe, Raimi Jimoh, Magaji Suleiman, Kola Lawal

“…The unsupervised clustering algorithm was then used to improve the detection of geological structures generated from magnetic field data. …”
Get full text

Modelling Enterprise’s Coordinated Development Strategy with a Soft Fuzzy Rough Set by Tongtong Wang, Jianing Cui

“…It shows that the prediction performance of the algorithm in the paper is more excellent and represents the advantage of the algorithm prediction performance at the time of adopting boundary to get the expected value. …”
Get full text

Optimal path selection and secured data transmission in underwater acoustic sensor networks: LSTM-based energy prediction. by Sathish Kaveripakam, Ravikumar Chinthaginjala

“…Moreover, the energy is predicted with the aid of LSTM and the optimal path is selected with the proposed hybrid optimization algorithm termed as Pelican Updated Chimp Optimization Algorithm (PUCOA), which is the combination of two algorithms including the Pelican Optimization Algorithm (POA) and Chimp Optimization Algorithm (COA). …”
Get full text

Beat-less Control Method for High-speed EMU by Yong LIU, Wenqing MEI, Liang HU, Weiwei GAN, Yongcan LYU

“…Aiming at the phenomenon, a beat-less control algorithm based on frequency domain analysis was proposed. …”
Get full text

cpop: Detecting Changes in Piecewise-Linear Signals by Paul Fearnhead, Daniel Grose

“…There are many different types of changes that one may wish to detect, and a widerange of algorithms and software for detecting them. …”
Get full text