Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification by M. Belyaev, V. Itsykson

“…The problem of improving precision of static analysis and verification techniques for C is hard due to simplification assumptions these techniques make about the code model. …”
Get full text

Evaluation of myQA SRS detector for the stereotactic treatment plan verification by K. Vilchynska, O. Bezshyyko, V. Vashchyshyn, L. Golinka-Bezshyyko, R. Zelinskyi

“…Modern radiotherapy techniques involve the use of high-modulated radiation fields. Intensity Modulated Radiation Therapy and Volumetric Modulated Arc Therapy require careful quality control to ensure that the planned dose distributions can be delivered by the treatment system. …”
Get full text

Comprehensive analysis of KRT15 in pan-cancer and verification in lung adenocarcinoma by Tao Hong-Zhu, Li Rong, Fang Yu, Luo Lin-Jie, Liu Sheng-Wen, Zhao Qi-Lin, Chen Bo-Jiang, Jin Zhu

Get full text

Unscented transformation method for robustness verification of helicopter flight control system by LIU Changqi, LI Aijun, DUAN Guangzhan, LI Zuo

“…The results show that the unscented transformation method significantly enhances computational efficiency while maintaining comparable accuracy to the Monte Carlo method in the robustness verification of helicopter flight control systems. By adjusting parameter values to modulate the distance between sampling points and the sample center, this method is also suitable for the robustness verification of high-dimensional helicopter flight control systems.…”
Get full text

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification by Stephanie Drzevitzky, Uwe Kastens, Marco Platzner

“…The capability to load hardware modules at runtime provides these systems with an unparalleled degree of adaptivity but at the same time poses new challenges for security and safety. …”
Get full text

Pharmacological underlying mechanisms of the anticancer effect of licorice: Bioinformatics and experimental verification by Mengqi Liu, Lingping Fu, Hao Fu, Yu Chen, Mengxia Wu, Hanchun Liu

Get full text

The Bioinformatics Analysis of Aldosterone-Producing Adenoma and Verification of Differentially Expressed Genes by Yinjie Gao, Xiaosen Ma, Huiping Wang, Yunying Cui, Yushi Zhang, Min Nie, Anli Tong

Get full text

Cloning and function verification of epithiospecifier protein gene from Chinese cabbage by SUN Hai-yan, YUAN Gao-feng, WANG Qiao-mei

Get full text

Identification and verification of the optimal feature genes of ferroptosis in thyroid-associated orbitopathy by Xuemei Li, Xuemei Li, Xuemei Li, Xuemei Li, Xuemei Li, Chao Xiong, Chao Xiong, Chao Xiong, Chao Xiong, Chao Xiong, Siyi Wang, Siyi Wang, Siyi Wang, Zhangjun Ren, Zhangjun Ren, Zhangjun Ren, Qi Jin, Qi Jin, Qi Jin, Jinhai Yu, Jinhai Yu, Jinhai Yu, Jinhai Yu, Jinhai Yu, Yunxiu Chen, Yunxiu Chen, Yunxiu Chen, Puying Gan, Puying Gan, Puying Gan, Puying Gan, Qihua Xu, Qihua Xu, Qihua Xu, Qihua Xu, Qihua Xu, Yaohua Wang, Yaohua Wang, Yaohua Wang, Yaohua Wang, Yaohua Wang, Hongfei Liao, Hongfei Liao, Hongfei Liao, Hongfei Liao, Hongfei Liao

Get full text

Learning features for offline handwritten signature verification using spatial transformer network by Wanghui Xiao, Hao Wu

“…To tackle this issue, this paper proposes a two-stage Siamese network model for offline handwritten signature verification using spatial transformer network. It is implemented with two-fold interesting ideas: (a) an efficient spatial transformation network module is introduced to reconstruct the spatial position of handwriting and automatically guide the model to focus on important features while ignoring redundant information, and (b) adopting the Focal loss function to overcome the extreme imbalance between positive and negative signature samples. …”
Get full text

Screening and Verification COPD-OSA Overlap Syndrome Core Genes Using Bioinformatics by Qiang S, Wan R, Wu J, Wang C, Cui X, Zhang Y

Get full text

Adaptive robust position control scheme for an electromagnetic levitation system with experimental verification. by Ziwei Wu, Kuangang Fan, Ping Yi

“…Firstly, a nonlinear model of the electromagnetic levitation ball system was established; Secondly, robust sliding mode control is combined with linear active disturbance rejection control, and an adaptive parameter tuning strategy is introduced for the PD module in LADRC; Meanwhile, an improved whale optimization algorithm was proposed to address the issue of excessive adjustable parameters in the controller; In addition, the stability and convergence of the control algorithm were proven using the Lyapunov equation; Finally, in order to verify the effectiveness of the control method, PID, LADRC, CS-LADRC, and I-LADRC were introduced for simulation analysis and experimental verification. …”
Get full text

Thermal Design and Experimental Verification of High-Frequency Auxiliary Converter for Metro Vehicle by YI Tao, LIU Qing, GENG Zhidong, ZHAO Qingliang, ZHOU Qiaolian, DENG Qi

Get full text

Research and Verification of Key Technologies of Submarine Cable based on Fine Diameter Fiber by SUN Yunpeng, XU Guoxiang, XU Rendong, KANG Huiling, WANG Chang, YIN Wei

Get full text

Selection Algorithms of the Optimal Reinforcement for Strength and Crack Resistance of Reinforced Concrete Elements and Their Verification by T. M. Hlukhava

“…The article shows the results of verification of the proposed algorithms based on the results of trial operation of the module for selecting the optimal reinforcement within the activities of the Testing and Research Center of the Polotsk State University.…”
Get full text

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips by Dan LIU, Yi FENG, Xiang-lei DANG, Dong TONG, Xu CHENG, Ke-yi WANG

“…Existing methods for clock domain crossing (CDC) design were used directly in a system-on-chip (SoC),which result in high design and verification complexity.To solve this problem,a design method was proposed.It separated CDC design completely from functional design and transmits all the CDC signals in an IP design with the help of an independent and dedicated CDC processing module.It also scaled down the total number of CDC signals to two groups of opposite directions through encapsulating point-to-point communication interface as well as processing CDC signals of the same direction in combination.Experiment results demonstrate that this method is able to sharply reduce the verification complexity of CDC design and also simplify the whole SoC design,without significant adding to transfer delay or area cost of an IP design.…”
Get full text

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips by Dan LIU, Yi FENG, Xiang-lei DANG, Dong TONG, Xu CHENG, Ke-yi WANG

“…Existing methods for clock domain crossing (CDC) design were used directly in a system-on-chip (SoC),which result in high design and verification complexity.To solve this problem,a design method was proposed.It separated CDC design completely from functional design and transmits all the CDC signals in an IP design with the help of an independent and dedicated CDC processing module.It also scaled down the total number of CDC signals to two groups of opposite directions through encapsulating point-to-point communication interface as well as processing CDC signals of the same direction in combination.Experiment results demonstrate that this method is able to sharply reduce the verification complexity of CDC design and also simplify the whole SoC design,without significant adding to transfer delay or area cost of an IP design.…”
Get full text

Optimization Design and Experimental Verification of Type B Bogie Frame Structure Based on Workbench by Ming ZHANG, Pengpeng ZHI

Get full text

A Unified Deep Learning Framework for Short-Duration Speaker Verification in Adverse Environments by Youngmoon Jung, Yeunju Choi, Hyungjun Lim, Hoirin Kim

“…Speaker verification (SV) has recently attracted considerable research interest due to the growing popularity of virtual assistants. …”
Get full text

Design and Ground Verification of Space Station Manipulator Control Method for Orbital Replacement Unit Changeout by Bingshan Hu, Feng Chen, Liangliang Han, Huanlong Chen, Hongliu Yu

Get full text