Page 5 - 《软件学报》2026年第5期

2167 Research Progress on Distributed System Model Checking Technologies
TANG Rui-Ze, HUANG Yu, OUYANG Ling-Zhi, CHENG Qian, ZHANG Yu-Qi, MA Xiao-Xing

DATABASE TECHNOLOGY

2202 Moving Object Learned Index and Query Algorithm Based on Data Distribution
WANG Xie-Yang, CHAO Cheng, JIN Xin, XU Jian-Qiu, GAO Yun-Jun

2235 Unified Query Processing Mechanism over Large-scale Graph Data
CHEN Di, YUAN Ye, PAN Ya-Ni, WANG Guo-Ren

COMPUTER NETWORKS AND INFORMATION SECURITY

2257 Quantum Meet-in-the-middle Attacks on Three Types of Unbalanced Generalized Feistel Structures
DU Xiao-Ni, WU Jia-Hui, XU Ying, SUN Rui
2274 Improved Differential-linear Analysis on Round-reduced SPECK
ZHANG Yu-Han, ZHANG Lei, WU Wen-Ling

COMPUTER GRAPHICS AND COMPUTER AIDED DESIGN

2286 Dual-view Fusion for Fine-grained Image Recognition with Vision Transformer
TANG Hao, LI Ze-Chao, JIANG Xin, TANG Jin-Hui

2309 Progressive Image Deblurring Guided by Blur Perception
HU Bo, TIAN Rong-Ao, ZHENG Jia, GONG Bing-Bing, GAO Xin-Bo

© Copyright 2026, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this
publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior written
permission of the Institute of Software, the Chinese Academy of Sciences.