logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Ji Wang

national university of defense technology - china

18H指数
262论文数
1.3K被引数
收录论文 20
发表时间
logo
A human-AI agents collaborative disassembly depth reasoning method for end-of-life automotive batteries under uncertain operating conditions在不确定运行条件下，用于汽车电池寿命终止时的人机协作拆解深度推理方法
errAdvanced Engineering Informatics
IF9.9
err2026-09-18
err0
PREAI
errCong Jiang; Jie Yao; Wenjie Xiao; Weibin Zhuang; Ji Wang; Jinsong Bao; Xinyu Li
err分享
err收藏
An Agentic AI-Empowered product family configuration approach for personalizing rehabilitation assistive devices with Multi-Faceted wearing experience基于代理AI赋能的产品族配置方法，用于个性化康复辅助设备的多维度穿着体验
errAdvanced Engineering Informatics
IF9.9
err2026-04-16
err0
PREAI
errWeibin Zhuang; Xingchen Lv; Xing Wu; Congmao Chen; Wenjie Xiao; Ji Wang; Cong Jiang; Jie Yao; Jinsong Bao; Xinyu Li
err分享
err收藏
BCCIC3: Batch Clause Construction Enhanced Generalization in IC3
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errChen, Yi; Gong, Xinyi; Yin, Liangze; Wang, Ji; Wang, Ting
err分享
err收藏
HeteroWaveVD: A Heterogeneous Wavelet-Enhanced Source Code Vulnerability Detection FrameworkHeteroWaveVD：一种异构小波增强型源代码漏洞检测框架
errNEURAL INFORMATION PROCESSING, ICONIP 2025, PT VI
IF0
err2026-01-01
err0
PREAI
errLi, Zhen; Li, Yuhan; Yin, Liangze; Wang, Ji
err分享
err收藏
Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains结合泰勒模型和线性抽象域的神经网络控制系统验证
errENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2025
IF0
err2026-01-01
err0
PREAI
errLi, Minghao; Chen, Liqian; Wang, Xinyu; Yang, Shifu; Zhou, Yuan; Wang, Ji
err分享
err收藏
Secondary acceleration of slip fronts driven by slow slip event coalescence in subduction zones俯冲带中慢滑事件合并驱动的滑动前缘次级加速
errNature Communications
IF15.7
err2025-10-29
err0
errOAAI
errJi Wang; Kejie Chen; Sylvain Michel; Luca Dal Zilio; Hai Zhu; Lei Xia; Jun Xie; Shunqiang Hu
err分享
err收藏
Symbolic execution of floating-point programs: How far are we?
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-02-01
err0
PREAI
errYang, Xu; Zhang, Guofeng; Shuai, Ziqi; Chen, Zhenbang; Wang, Ji
err分享
err收藏
Highly Sensitive Detection Ammonia in Water by a Fabry-Perot Interferometer Based on Sparse Sampling and Vernier Effect
errIEEE SENSORS JOURNAL
IF4.5
err2025-01-15
err0
PREAI
errLi, Yitong; Yang, Yuqiang; Huang, Zhihao; Wang, Ji; Mu, Xiaoguang; Mo, Chengyu; Lu, Qingjie
err分享
err收藏
Tongue-LiteSAM: A Lightweight Model for Tongue Image Segmentation With Zero-Shot舌头-LiteSAM: 一种轻量级的零镜头舌图像分割模型
errIEEE ACCESS
IF3.6
err2025-01-01
err0
errOAAI
errTan, Daiqing; Zang, Hao; Zhang, Xinyue; Gao, Han; Wang, Ji; Wang, Zaijian; Zhai, Xing; Li, Huixia; Tang, Yan; Han, Aiqing
err分享
err收藏
Neural Solving Uninterpreted Predicates with Abstract Gradient Descent
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-12-03
err0
PREAI
errYu, Shi wen; Liu, Zengyu; Wang, Ting; Wang, Ji
err分享
err收藏
Machine learning-assisted rapid determination for traditional Chinese Medicine Constitution机器学习辅助的中医体质快速判定
errCHINESE MEDICINE
IF5.7
err2024-09-15
err0
errOAAI
errSun, Wen; Bai, Minghua; Wang, Ji; Wang, Bei; Liu, Yixing; Wang, Qi; Han, Dongran
err分享
err收藏
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err2024-04-01
err0
errOAAI
errZhang, Yufeng; Pan, Jialu; Liu, Wanwei; Chen, Zhenbang; Li, Kenli; Wang, Ji; Liu, Zhiming; Wei, Hongmei
err分享
err收藏
Reach-Avoid Verification Based on Convex Optimization基于凸优化的达到-避免验证
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-01-01
err9
errOAAI
errXue, Bai; Zhan, Naijun; Fraenzle, Martin; Wang, Ji; Liu, Wanwei
err分享
err收藏
Anisotropic conductivity for single-cell electroporation simulation with tangentially dispersive membrane
errELECTROCHIMICA ACTA
IF5.6
err2021-07-01
err10
PREAI
errGuo, Fei; Qian, Kun; Zhang, Lin; Deng, Hao; Li, Xin; Zhou, Jiong; Wang, Ji
err分享
err收藏
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-05-01
err21
PREAI
errYin, Liangze; Dong, Wei; Liu, Wanwei; Wang, Ji
err分享
err收藏
Hierarchical Analysis of Loops With Relaxed Abstract Transformers
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2020-03-01
err3
PREAI
errYin, Banghu; Chen, Liqian; Liu, Jiangchao; Wang, Ji
err分享
err收藏
Software testing without the oracle correctness assumption没有oracle正确性假设的软件测试
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2019-12-19
err2
PREAI
errLi, Tun; Liu, Wanwei; Guo, Xinrui; Wang, Ji
err分享
err收藏
Evaluation of model checkers by verifying message passing programs通过验证消息传递程序来评估模型检查器
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2019-09-03
err7
PREAI
errHong, Weijiang; Chen, Zhenbang; Yu, Hengbiao; Wang, Ji
err分享
err收藏
SP-Partitioner: A novel partition method to handle intermediate data skew in spark streaming
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2018-09-01
err27
PREAI
errLiu, Guipeng; Zhu, Xiaomin; Wang, Ji; Guo, Deke; Bao, Weidong; Guo, Hui
err分享
err收藏
Fault-Tolerant Scheduling for Real-Time Tasks on Multiple Earth-Observation Satellites多颗对地观测卫星实时任务的容错调度
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2015-11-01
err28
PREAI
errZhu, Xiaomin; Wang, Jianjiang; Qin, Xiao; Wang, Ji; Liu, Zhong; Demeulemeester, Erik
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
李肯立 封面图
李肯立 (Kenli Li)
H 指数: 75 · 论文数: 946
Xinyu Wang 封面图
Xinyu Wang (Xinyu Wang)
H 指数: 57 · 论文数: 795
E
Erik Demeulemeester
H 指数: 55 · 论文数: 352
Z
Zhenbang Chen
H 指数: 40 · 论文数: 232
D
Deke Guo
H 指数: 34 · 论文数: 378
查看更多