Safe and secure classification protocol in two-tiered sensor networks by Rui LI, Jin-guo LI, Hao CHEN

Subjects: Get full text

RESEARCH ON OPTIMAL DESIGN OF AL-ALLOYED CYLINDER HEAD UNDER HIGH LOADS by ZHANG QuanZhong, WEI ZhiMing, LIU ChangZhen, BAI JunAi, ZHANG Jie, MA JunHua

Subjects: Get full text

Firmware vulnerability analysis based on formal verification of software and hardware by Peng-hui ZHANG, Xi TIAN, Kang-wei LOU

Subjects: Get full text

Extensible hierarchical codec semantic communication system by Yuyuan ZHANG, Haitao ZHAO, Jibo WEI, Kuo CAO, Yichi ZHANG, Peng LUO, Yueling LIU, Kai MEI

Subjects: Get full text

Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems by T. Bench-Capon, et al.

Subjects: Get full text

STUDY ON THE LOAD ASSESSMENT METHOD AND DEVELOPMENT OF THE LOAD ASSESSMENT PROGRAM FOR THE TAIL SUPPORT DEVICE OF THE FL-17 WIND TUNNEL by ZHAO Yu, CAO QingYuan, WU SongLing, YANG BenChuan, ZHAO Kun, YIN XiWei

Subjects: Get full text

Modal Analysis of Gearbox based on the Method of ERA by Zhang Lin, Ma Weijin, Huang Bincheng, Ge Yumin, Wen Fang

Subjects: Get full text

Configuration Design and Kinematics Analysis of a New Type of a Quadruped Robot Leg Mechanism by Liu Yuntong, Li Xiaodan, Wang Xiaolei

Subjects: 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

Subjects: Get full text

Efficient unpaired data validation and aggregation protocol in industrial Internet of things by MA Rong, FENG Tao

Subjects: Get full text

High-Resolution Safety Verification for Evasive Obstacle Avoidance in Autonomous Vehicles by Aliasghar Arab, Milad Khaleghi, Alireza Partovi, Alireza Abbaspour, Chaitanya Shinde, Yashar Mousavi, Vahid Azimi, Ali Karimmoddini

Subjects: “…Safety Verification…”
Get full text

Development and application of a lightweight five-axis parallel machining robot by Zenghui XIE, Bin MEI, Weiyao BI, Fugui XIE, Xin-Jun LIU

Subjects: Get full text

A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System by Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, Andrzej Obuchowicz, Zhiwu Li, Dawid Konarczak

Subjects: Get full text

An Answer Verification Approach to Objective Questions in Intelligent Tutoring Systems by Wenzu Li

Subjects: Get full text

Internet source address verification method based on synchronization and dynamic filtering in address domain by Dan LI, Lancheng QIN, Jianping WU, Yingying SU, Mingwei XU, Xingang SHI, Yunan GU, Tao LIN

Subjects: “…source address verification…”
Get full text

Software-defined network packet forwarding verification scheme based on attribute-based signatures identification by Chaowen CHANG, Jianshu JIN, Peisheng HAN, Xianwei ZHU

Subjects: Get full text

Analysis and Experimental Study of Automotive Synchronous Belt Transmission Noise by Guangchen Xu, Sisi Chen

Subjects: Get full text

Research and Simulation of the Kinematics of Dual-arm 6R Service Robot by Li Xianhua, Sun Qing, Zhang Leigang, Zhang Jun

Subjects: Get full text

Parametric Modeling and Virtual Assembly of a New Type of FT Pin-cycloid Drive Reducer by Guan Tianmin, Xie Chao, Xuan Liang, Jiang Heng

Subjects: Get full text

STRUCTURAL DESIGN AND EXPERIMENTAL ANALYSIS OF ADJUSTABLE 3-DOF VIBRATING SCREEN by HAN Meng, GONG ZhiQiang, WANG ChengJun

Subjects: Get full text