×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [8]
数学与系统科学研究院 [6]
兰州理工大学 [4]
西安交通大学 [1]
中南大学 [1]
华南理工大学 [1]
更多...
内容类型
期刊论文 [13]
其他 [7]
会议论文 [2]
会议 [1]
发表日期
2020 [3]
2018 [1]
2017 [1]
2016 [4]
2014 [1]
2011 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共23条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Measurement-induced Boolean dynamics and controllability for closed quantum networks
期刊论文
AUTOMATICA, 2020, 卷号: 114, 页码: 11
作者:
Qi, Hongsheng
;
Mu, Biqiang
;
Petersen, Ian R.
;
Shi, Guodong
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2020/05/24
Quantum networks
Quantum measurements
Bilinear systems
Boolean networks
An Optimal Relay Number Selection Algorithm for Balancing Multiple Performance in Flying Ad Hoc Networks
期刊论文
IEEE Access, 2020, 卷号: 8, 页码: 225884-225901
作者:
Li, Suoping
;
Wang, Fan
;
Gaber, Jaafar
;
Zhou, Yongqiang
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2022/02/18
Antennas
Economic and social effects
Energy efficiency
Fading channels
Markov chains
Unmanned aerial vehicles (UAV)
Throughput and Energy Efficiency of Cooperative ARQ Strategies for VANETs Based on Hybrid Vehicle Communication Mode
期刊论文
IEEE Access, 2020, 卷号: 8, 页码: 114287-114304
作者:
Li, Suoping
;
Wang, Fan
;
Gaber, Jaafar
;
Chang, Xiaokai
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2020/11/14
Cooperative communication
Energy efficiency
Error correction
Hybrid vehicles
Markov chains
Telecommunication repeaters
Vehicle to infrastructure
Vehicle to vehicle communications
Automatic repeat request protocols
Closed-form expression
Discrete time Markov chains
State transition probabilities
Steady-state distributions
Vehicle to infrastructure (V2I)
Vehicle communications
Vehicular Adhoc Networks (VANETs)
Performance Analysis and Comparison of HARQ Protocols Based on Outage Probability in Wireless Communication Networks
会议论文
Nanning, China, January 11, 2019 - January 13, 2019
作者:
Wang, Fan
;
Li, Suo Ping
;
Dou, Zu Fang
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/11/15
Energy efficiency
Markov processes
MATLAB
Probability distributions
Throughput
Automatic retransmission requests
Discrete time Markov chains
DTMC
HARQ
Outage probability
Steady-state distributions
System outage probability
Wireless communication network
基于验证的自适应系统决策:一种模型驱动的方法
期刊论文
软件学报, 2017
杨卓群
;
金芝
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/03
自适应系统
优化决策
需求建模
模型驱动
需求验证
self-adaptive system
optimal decision-making
requirements modeling
model-driven
requirements verification
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
作者:
Su, Guoxin
;
Feng, Yuan
;
Chen, Taolue
;
Rosenblum, David S.
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2018/07/30
Asymptotic perturbation bound
discrete-time Markov chain
numerical iteration
optimization
parametric Markov chain
perturbation analysis
probabilistic model checking
quadratic programming
Analysis of dual-hop and multiple relays cooperative truncated ARQ with relay selection in WSNs
期刊论文
ACTA INFORMATICA, 2016, 卷号: 53, 期号: 1, 页码: 1-22
作者:
Li, Suoping
;
Zhou, Yongqiang
;
Peng, Duo
;
Dou, Zufang
;
Zhou, Yong
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/11/15
Energy efficiency
Markov chains
Delay performance
Destination nodes
Discrete time Markov chains
Packet transmission delays
Relay selection
Retransmissions
Steady-state distributions
Truncated ARQ
CYCLE SYMMETRIES AND CIRCULATION FLUCTUATIONS FOR DISCRETE-TIME AND CONTINUOUS-TIME MARKOV CHAINS
其他
2016-01-01
Jia, Chen
;
Jiang, Da-Quan
;
Qian, Min-Ping
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Haldane equality
nonequilibrium
fluctuation theorem
current fluctuation
large deviation
FREE-ENERGY DIFFERENCES
STOCHASTIC DYNAMICS
NETWORK THEORY
THEOREM
PROBABILITY
EQUALITY
BEHAVIOR
KINETICS
STATES
Model checking quantum key distribution protocols
会议论文
作者:
Huang, Baichuan
;
Huang, Yan
;
Kong, Jiaming
;
Huang, Xin
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/11/26
BB84
Discrete time Markov chains
Group QKD
Probabilistic computation tree logic
Quantum information theory
Quantum key distribution protocols
Security properties
Verification techniques
Newton-Shamanskii Method for a Quadratic Matrix Equation Arising in Quasi-Birth-Death Problems
其他
2014-01-01
Guo, Pei-Chang
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/11/13
Quadratic matrix equation
quasi-birth-death problems
Newton-Shamanskii method
minimal nonnegative solution
QUEUING-PROBLEMS
CONVERGENCE
REDUCTION
©版权所有 ©2017 CSpace - Powered by
CSpace