Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions by Bahram N. Uchevler, Kjetil Svarstad

“…Assertions can be used to verify specifications of designs in different verification methods such as simulation-based and formal verification. A partitioning algorithm is proposed for clustering the assertion-checker circuits to implement the verification circuits in a limited reconfigurable area in the target FPGA. …”
Get full text

Allocation Optimization of Multi-Axis Suspension Dynamic Parameter for Tracked Vehicle by Qihui Ling, Juchuan Dai, Xingyun He, Shengzhao Chen, Zhewu Chen

“…Then, the evaluation index and its quantitative algorithm, which reflect the multi-aspect performance of the suspension system, are proposed. …”
Get full text

Petrochemical Equipment Detection by Improved Yolov5 with Multiscale Deep Feature Fusion and Attention Mechanism by Zhenqiang Wei, Shaohua Dong, Xuchu Wang

“…Moreover, an adaptive anchor generation algorithm is proposed to handle objects with extreme sizes in a complex background. …”
Get full text

Testing Homogeneity in a Semiparametric Two-Sample Problem by Yukun Liu, Pengfei Li, Yuejiao Fu

“…Under the semiparametric assumption g(x)=f(x)eα+βx, a penalized empirical likelihood ratio test could be constructed, but its implementation is hindered by the fact that there is neither feasible algorithm for computing the test statistic nor available research results on its theoretical properties. …”
Get full text

Adaptive and Resilient Flight Control System for a Small Unmanned Aerial System by Gonzalo Garcia, Shahriar Keshmiri

“…The real-time artificial neural network parameter identification is done using the sliding mode learning concept and a modified version of the self-adaptive Levenberg algorithm. Numerically estimated stability and control derivatives are obtained by delta-based methods. …”
Get full text

Personal Authentication Using Multifeatures Multispectral Palm Print Traits by Gayathri Rajagopal, Senthil Kumar Manoharan

“…Finally, the images are classified using Local Mean K-Nearest Centroid Neighbor algorithm. The proposed method efficiently accommodates the rotational, potential deformations and translational changes by encoding the orientation conserving features. …”
Get full text

PV Power-Generation System with a Phase-Shift PWM Technique for High Step-Up Voltage Applications by Cheng-Tao Tsai, Sin-Hua Chen

“…In order to draw a maximum power from PV arrays source, a microcontroller is incorporated with the perturbation and observation method to implement maximum power point tracking (MPPT) algorithm and power regulating scheme. In this study, a full load power of 300 W prototype has been built. …”
Get full text

Clustering analysis of Yue opera character tone trends based on quantum particle swarm optimization for fuzzy C-means. by Yuhang Zhang, Xiaofeng Wu, Jiawei Xu, Zihao Ning, Xiao Han

“…We designed a detection algorithm using trend data to validate our clustering method, thereby enhancing the accuracy of the analysis of tonal ranges and potential models. …”
Get full text

Consumption Reduction Solution of TV News Broadcast System Based on Wireless Communication Network by Haifeng Qiang

“…Hardware codec technology significantly reduces the consumption of system resources; H.264 high-compression algorithm can reduce network bandwidth by 50% compared with MPEG-2 and MPEG-4 without a significant change in image quality. …”
Get full text

Fault Frequency Identification of Rolling Bearing Using Reinforced Ensemble Local Mean Decomposition by Bo Qin, Quanyi Luo, Juanjuan Zhang, Zixian Li, Yan Qin

“…In this way, principal frequency components related to rolling bearing failure can be identified with the fast spectral kurtosis algorithm. Finally, the efficacy of the proposed approach is verified through both a benchmark case and a practical platform. …”
Get full text

Routing in IPv6 over Low-Power Wireless Personal Area Networks (6LoWPAN): A Survey by Vinay Kumar, Sudarshan Tiwari

“…We have also presented the taxonomy of routing requirement; parameter for evaluating routing algorithm, and it was found that the routing protocol has its own advantages depending upon the application where it is used.…”
Get full text

Features of financial analysis in the environmental organization LLC «LEMVA» by E. A. Kirova, A. A. Kurchenko

“…The tasks solved in the article include: determining the factors that define the features of the financial analysis of an enterprise in the environmental sector, developing and testing the author’s algorithm for the financial analysis of the enterprise, identifying the problems of the financial situation of the company and developing recommendations for conducting a qualitative financial analysis of an environmental enterprise. …”
Get full text

Limited-Stop High-Frequency Service Design: Reducing In-Vehicle Congestion by Andrés Felipe García Albarracín, Daniel Jaramillo-Ramírez

“…Given a fixed-size fleet (fixed costs) and a fixed demand on a very high-frequency bus corridor, we propose an algorithm to minimize the peak load profile, combining the usual All-Stop (AS) and one additional LS service, finding the set of stops for the LS service and the fleet split. …”
Get full text

A Vibration Reliability Analysis Method for the Uncertain Space Beam Structure by Yanyu Mo, Shuxiang Guo, Cheng Tang

“…Then an optimization algorithm is introduced to verify the validity of the former frequency analysis method. …”
Get full text

User Segmentation Based on Purchasing Habits and Preferences on the Amazon Platform Using K-Means Clustering by Al Isra Denk Rimakka, Rezty Amalia Aras

“…The research process involves Knowledge Data Discovery (KDD) stages, including data processing, attribute selection, and applying the K-Means Clustering algorithm. The analysis results reveal five distinct user clusters, each with unique characteristics reflecting user behavior and preferences. …”
Get full text

Fast Hybrid Method for the Study on Monostatic Scattering from Plasma-Coated Target above a Rough Surface by Rui Wang, Shui-Rong Chai, Li-Xin Guo

“…A fast hybrid method combining the reciprocity theorem with high frequency approximation algorithm is presented to deal with the problem of the monostatic scattering from a two-dimensional (2D) plasma-coated target above a one-dimensional (1D) Gaussian rough surface illuminated by the tapered incident wave. …”
Get full text

An Improved Method for Estimating the Domain of Attraction of Passive Biped Walker by Yu Wang, Heng Cao, JinLin Jiang

“…The proposed method uses the multiple iteration algorithm to calculate a stable domain of attraction and effectively decreases the total number of Poincare mappings. …”
Get full text

Clustering Vehicle Temporal and Spatial Travel Behavior Using License Plate Recognition Data by Huiyu Chen, Chao Yang, Xiangdong Xu

“…This paper clustered 854,712 vehicles in a week using K-means clustering algorithm based on license plate recognition (LPR) data obtained in Shenzhen, China. …”
Get full text

Determination of Slope Safety Factor with Analytical Solution and Searching Critical Slip Surface with Genetic-Traversal Random Method by Wen-jie Niu

“…In the current practice, to determine the safety factor of a slope with two-dimensional circular potential failure surface, one of the searching methods for the critical slip surface is Genetic Algorithm (GA), while the method to calculate the slope safety factor is Fellenius’ slices method. …”
Get full text

A Hybrid Domain Degradation Feature Extraction Method for Motor Bearing Based on Distance Evaluation Technique by Baiyan Chen, Hongru Li, He Yu, Yukui Wang

“…The proper intrinsic mode function (IMF) component that is the most sensitive to the degradation of the motor bearing is selected according to the sensitive IMF selection algorithm based on the similarity evaluation. Then the distance evaluation factor of each characteristic parameter is calculated by the DET method. …”
Get full text