中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [27]
数学与系统科学研究... [12]
计算技术研究所 [10]
软件研究所 [10]
沈阳自动化研究所 [6]
重庆绿色智能技术研究... [5]
更多
采集方式
OAI收割 [78]
内容类型
期刊论文 [67]
会议论文 [11]
发表日期
2024 [7]
2023 [5]
2022 [20]
2021 [17]
2020 [9]
2019 [1]
更多
学科主题
流体力学::空气动力... [1]
筛选
浏览/检索结果:
共78条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
期刊论文
OAI收割
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397
作者:
Shi, Chenghang
;
Li, Haofeng
;
Sui, Yulei
;
Lu, Jie
;
Li, Lian
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2024/12/06
Production
Standards
Termination of employment
Redundancy
Optimization
Heuristic algorithms
Symbols
Program analysis
CFL-reachability
constraint solving
transitive relations
A Novel Parallel Control Method for Optimal Consensus of Nonlinear Multiagent Systems
期刊论文
OAI收割
IEEE TRANSACTIONS ON CYBERNETICS, 2024, 页码: 14
作者:
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2024/07/22
Consensus control
Optimal control
Performance analysis
Vectors
Heuristic algorithms
Multi-agent systems
Dynamic programming
Adaptive dynamic programming (ADP)
coupled Hamilton-Jacobi
optimal consensus control
parallel control
HSA-EDI: An Efficient One-Round Integrity Verification for Mobile Edge Caching Using Hierarchical Signature Aggregation
期刊论文
OAI收割
IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2024, 卷号: 21, 期号: 3, 页码: 3358-3371
作者:
Li, Jian
;
Zhao, Qinglin
;
Teng, Shaohua
;
Wu, Naiqi
;
Li, Guanghui
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2024/12/06
Servers
Data integrity
Image edge detection
Computational efficiency
Heuristic algorithms
Maintenance engineering
Quality of service
Edge data integrity
mobile edge computing
peredge one-round
signature aggregation
PDG: A Prefetcher for Dynamic Graph Updating
期刊论文
OAI收割
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 4, 页码: 1246-1259
作者:
Zhang, Xinmiao
;
Liu, Cheng
;
Ni, Jiacheng
;
Cheng, Yuanqing
;
Zhang, Lei
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2024/05/20
Prefetching
Arrays
Optimization
Runtime
Heuristic algorithms
Computers
Monitoring
Computer architecture
data prefetching
memory system
Unified Dense Subgraph Detection: Fast Spectral Theory Based Algorithms
期刊论文
OAI收割
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2024, 卷号: 36, 期号: 3, 页码: 1356-1370
作者:
Feng, Wenjie
;
Liu, Shenghua
;
Koutra, Danai
;
Cheng, Xueqi
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2024/05/20
Approximation algorithms
Image edge detection
Heuristic algorithms
Greedy algorithms
Optimization
Collaboration
Task analysis
Algorithm
anomaly detection
dense subgraph
graph spectral theory
large graph mining
A Survey of Vehicle Dynamics Modeling Methods for Autonomous Racing: Theoretical Models, Physical/Virtual Platforms, and Perspectives
期刊论文
OAI收割
IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2024, 卷号: 9, 期号: 3, 页码: 4312-4334
作者:
Zhang, Tantan
;
Sun, Yueshuo
;
Wang, Yazhou
;
Li, Bai
;
Tian, Yonglin
  |  
收藏
  |  
浏览/下载:92/0
  |  
提交时间:2024/07/03
Vehicle dynamics
Surveys
Tires
Planning
Aerodynamics
Heuristic algorithms
Computational modeling
Autonomous racing
chassis
vehicle dynamics
testing platform
intelligent vehicles for education (IV4E)
Convex Optimization-Based Trajectory Planning for Quadrotors Landing on Aerial Vehicle Carriers
期刊论文
OAI收割
IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2024, 卷号: 9, 期号: 1, 页码: 138-150
作者:
Shen, Zhipeng
;
Zhou, Guanzhong
;
Huang, Hailong
;
Huang, Chao
;
Wang, Yutong
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2024/07/22
Quadrotors
Trajectory
Trajectory planning
3-DOF
Heuristic algorithms
6-DOF
Vehicle dynamics
Aerial vehicle carrier
convex optimization
motion and trajectory planning
quadrotor
autonomous landing
Online Active Continual Learning for Robotic Lifelong Object Recognition
期刊论文
OAI收割
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2023, 页码: 15
作者:
Nie, Xiangli
;
Deng, Zhiguang
;
He, Mingdong
;
Fan, Mingyu
;
Tang, Zheng
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2023/11/16
Task analysis
Robots
Data models
Object recognition
Learning systems
Training
Heuristic algorithms
Catastrophic forgetting
lifelong object recognition
online active learning (OAL)
online continual learning (OCL)
Data Generation Feedback Relearning Control for Unmodeled Nonlinear Systems
期刊论文
OAI收割
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, 2023, 页码: 12
作者:
Zhang, Yong
;
Mu, Chaoxu
;
Zhao, Dongbin
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2023/11/16
Data models
Real-time systems
Heuristic algorithms
Mathematical models
Adaptation models
Approximation algorithms
Cost function
Data generation model
feedback relearning control
delayed neural network
reinforcement learning
unmodeled nonlinear system
Dependency-Aware Vehicular Task Scheduling Policy for Tracking Service VEC Networks
期刊论文
OAI收割
IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2023, 卷号: 8, 期号: 3, 页码: 2400-2414
作者:
Li, Chao
;
Liu, Fagui
;
Wang, Bin
;
Chen, C. L. Philip
;
Tang, Xuhao
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2023/11/17
Task analysis
Intelligent vehicles
Optimization
Processor scheduling
Vehicle dynamics
Heuristic algorithms
Costs
Deep reinforcement learning (DRL)
scheduling policy
tracking service
vehicular edge computing (VEC)