FPGA Verification Module by Ivan Aleksi, Željko Hocenski

Get full text

Design and verification of HDLC data frame parallel search and decapsulation module by Qian Yong, Liu Wei

“…Using QuartusII software synthesis, on Altera CycloneV devices, the circuit uses 8 adaptive logic modules ALM, 24 registers, and 35 pins.…”
Get full text

Thermal control for high sensitivity terahertz detection module: Design, simulation and experimental verification by Yantang Hua, Chunlong Liu, Min Zhang, Zhiyong Yang, Richa Hu, Zhenyu Lu, Liang Guo

Get full text

Analytical Modelling and Verification of Bus-Clamping Modulation Technique for Switched-Capacitor Converter by Amarnath Yalavarthi, Akbar Ahmad

Get full text

Attentionally modulated motor-to-semantic priming: evidence from a property verification task by Elisa Scerrati, Cristina Iani, Sandro Rubichi, Robert L. Goldstone

“…Rather, this link seems to be modulated by trial-by-trial changes in conceptual focus.…”
Get full text

Calculations of the nuclide composition of spent nuclear fuel RBMK-1000 for verification computer module SCALE-6 by V. V. Soloviov, E. O. Lebedev

Get full text

Fabry–Perot Effect Suppression in Gas Cells Used in THz Absorption Spectrometers. Experimental Verification by George K. Raspopin, Alexey V. Borisov, Arnaud Cuisset, Francis Hindle, Semyon V. Yakovlev, Yury V. Kistenev

Get full text

DaGAM-Trans: Dual graph attention module-based transformer for offline signature forgery detection by Sara Tehsin, Ali Hassan, Farhan Riaz, Inzamam Mashood Nasir

“…The architecture comprises a Graph Attention Module (GAM) to capture spatial dependencies using multi-head graph attention and graph convolution layers, and a Channel Attention Module (CAM) to amplify discriminative features and suppress irrelevant information. …”
Get full text

Transcriptomic sequencing and expression verification of identified genes modulating the alkali stress tolerance and endogenous photosynthetic activities of industrial hemp plant. by Zeyu Jiang, Di Wang, Ye Che, Sikandar Amanullah, Ling Zhang, Siyuan Jie, Wei Yang, Mingze Wang, Lina Wang, Guochao Qi

Get full text

Dosimetric Verification of Gamma Passing Rate for Head and Neck Cases Treated with Intensity Modulated Radiation Therapy (IMRT) Treatment Planning Technique by Siham Sabah Abdullah

“…Each Intensity Modulated Radiation Therapy (IMRT) plan needs to be tested and verified before any treatment to check its quality. …”
Get full text

Planning Target Volume Margin Assessment Using Daily Cone Beam Computed Tomography Image Verification in Prostate Cancer Patients by Pushpaja Ullattil, Lakshmi Susheela, Haridas Nair, Anoop Remesan Nair, Sneha Nair, Sreelekshmi G, Prasath Bhaskaran, Beena Kunheri

Get full text

SPACE VECTOR PWM TECHNIQUE FOR THREE- TO SEVEN-PHASE AC-TO-AC POWER CONVERTERS: ANALYSIS AND EXPERIMENTAL VERIFICATIONS by Essa Eddin Rashad, Sherif Dabour, S. Allam

Get full text

Dose delivery uncertainties assessment in the field junction region of craniospinal irradiation with Volumetric Modulated Arc Therapy using a robustness index and experimental dose verification by Vasiliki Peppa, Emmanouil Zoros, Antigoni Alexiou, George Pissakas, Pantelis Karaiskos

Get full text

Design and Verification of Multiphase Multilevel Traction Inverter by Patrik Resutík, Michal Praženica, Slavomír Kaščák

Get full text

Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

“…However, the method of deduction is not widely used for verification of parallel programs because of high complexity of theprocess. …”
Get full text

Neck dose-limiting rings reduce head and neck lymphedema in early nasopharyngeal carcinoma patients undergoing IMRT: a dosimetric-clinical validation by Kai Liao, Yunhong Tian, Huijun Li, Ronghui Zheng

Subjects: Get full text

Dosimetric verification of clinical radiotherapy treatment planning system by Kolarević Goran, Jaroš Dražan, Marošević Goran, Ignjatić Dejan, Mirjanić Dragoljub

Get full text

A method of eMMC lifetime verification based on FPGA by Yu Yajun, Wang Xiaolong, Shao Chunwei, Hao Guofeng, Shen Xiaobo

“…In order to meet the requirements of testing the long-term read and write performance of eMMC storage particles, an eMMC life verification design method is studied based on FPGA. …”
Get full text

Design, implementation and formal verification of BGP proxy for mimic router by Jin ZHANG, Qiang GE, Weihai XU, Yiming JIANG, Hailong MA, Hongtao YU

“…To ensure the safety and correctness of the critical ‘mimic bracket’ components such as protocol proxies of mimic routers, a BGP (border gateway protocol) proxy was designed and implemented, and formal methods were applied to verify the safety and correctness of the BGP proxy.The BGP packets communicated between the peer routers and the master actor were monitored by the BGP proxy.The BGP sessions with the slave actors on behalf of peer routers were established, ensuring the consistency of the BGP protocol states for all actors.The formal specification of the BGP proxy was written based on separation logic.The VeriFast theorem prover was used to prove that the program had no memory safety problems such as null pointer reference.Furthermore, the formal verification of high-level attributes of each module in BGP proxy was also conducted to strictly ensure that the implementation met the specification.The implementation to proof code ratio of BGP proxy is about 1.8:1, and the implementation to proof labor hour ratio is about 1:3.The formally verified BGP proxy consume 0.16 seconds to process 100 000 BGP routes, which is about 7 times as long as the unverified one.Works done provide a reference for applying formal methods to verify the safety and correctness of critical components in mimic defense equipment and systems.…”
Get full text

VERIFICATION OF A TRAIN ON RAILWAY TRACK SIMULATION AND OPTIMIZATION SYSTEM by Adam MAŃKA, Piotr KISIELEWSKI, Jarosław KONIECZNY, Krzysztof LABISZ, Janusz ĆWIEK

Get full text