×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [14]
湖南大学 [6]
北京航空航天大学 [5]
山东大学 [5]
北京大学 [4]
软件研究所 [4]
更多...
内容类型
期刊论文 [51]
会议论文 [16]
其他 [2]
学位论文 [1]
发表日期
2022 [1]
2021 [1]
2020 [2]
2019 [4]
2018 [9]
2017 [7]
更多...
学科主题
Water Reso... [1]
artificial... [1]
meteorolog... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共70条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
A Bus-Scheduling Method Based on Multi-Sensor Data Fusion and Payment Authenticity Verification
期刊论文
Electronics (Switzerland), 2022, 卷号: 11, 期号: 10, 页码: 1-11
作者:
Gong, Wwnan
;
Zeng, Ting
;
Song, Hainan
;
Su, Jiayi
;
Wang HG(王宏刚)
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2022/05/29
bus scheduling
data verification
diversified payment
intelligent public transportation
multi-sensor data fusion
Hybrid Connectionist Symbolic Model for Morphologic Recognition by Tactile Sensing
期刊论文
IEEE Sensors Journal, 2021, 卷号: 21, 期号: 5, 页码: 6497-6509
作者:
He K(贺凯)
;
Yu P(于鹏)
;
Wang WX(王文学)
;
Zhao L(赵亮)
;
Yang T(杨铁)
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2021/02/27
Networked sensor fusion and decisions
soft computing with sensor data
sensor model analysis verification, smart sensor systems
Evaluating and Constraining Hardware Assertions with Absent Scenarios
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:
Chao, Hui-Na
;
Li, Hua-Wei
;
Song, Xiaoyu
;
Wang, Tian-Cheng
;
Li, Xiao-Wei
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2021/12/01
hardware formal verification
assertion generation
data mining
assertion evaluation
assertion coverage
Information modeling and verification method for edge computing of power internet of things
会议论文
Chongqing, China, December 11-13, 2020
作者:
Li DW(李大伟)
;
Chen XL(陈晓露)
;
Song CH(宋纯贺)
;
Yu SM(于诗矛)
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2021/02/27
power Internet of Things
data fusion
information model
model verification
Proving Linearizability Using Reduction
期刊论文
COMPUTER JOURNAL, 2019, 卷号: 62, 期号: 9
作者:
Wen, Tangliu
;
Song, Lan
;
You, Zhen
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
concurrent data structures
reduction
linearizability
verification
Time and Attribute Based Dual Access Control and Data Integrity Verifiable Scheme in Cloud Computing Applications
期刊论文
2019, 卷号: 7, 页码: 137594-137607
作者:
Zhang, Qian
;
Wang, Shangping
;
Zhang, Duo
;
Wang, Jifang
;
Zhang, Yaling
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/20
Attribute based encryption
dual access control
time specified encryption
data integrity verification
Blockchain-Based Personal Health Records Sharing Scheme With Data Integrity Verifiable
期刊论文
2019, 卷号: 7, 页码: 102887-102901
作者:
Wang, Shangping
;
Zhang, Dan
;
Zhang, Yaling
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/20
Personal health records
blockchain
smart contract
searchable symmetric encryption
attribute-based encryption
data integrity verification
Multi-Keyword Searchable and Data Verifiable Attribute-Based Encryption Scheme for Cloud Storage
期刊论文
2019, 卷号: 7, 页码: 66655-66667
作者:
Sun, Jin
;
Ren, Lili
;
Wang, Shangping
;
Yao, Xiaomin
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/20
Access control
keywords search
data verification
attributes revocation
A knowledge-and-data-driven modeling approach for simulating plant growth and the dynamics of CO2/O2 concentrations in a closed system of plants and humans by integrating mechanistic and empirical models
期刊论文
COMPUTERS AND ELECTRONICS IN AGRICULTURE, 2018, 卷号: 148, 期号: 0, 页码: 280-290
作者:
Fan, Xing-Rong
;
Wang, Xiujuan
;
Kang, Mengzhen
;
Hua, Jing
;
Guo, Shuangsheng
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2018/10/10
Closed Ecological Life Support System
Functional-structural Plant Model
Knowledge-and-data-driven Model
Mass Balance Model
Model Evaluation
And Model Verification
A knowledge-and-data-driven modeling approach for simulating plant growth and the dynamics of CO2/O-2 concentrations in a closed system of plants and humans by integrating mechanistic and empirical models
期刊论文
COMPUTERS AND ELECTRONICS IN AGRICULTURE, 2018, 卷号: 148, 页码: 280-290
作者:
Fan, Xing-Rong
;
Wang, Xiujuan
;
Kang, Mengzhen
;
Hua, Jing
;
Guo, Shuangsheng
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/12/16
Closed Ecological Life Support System
Functional-structural Plant Model
Knowledge-and-data-driven Model
Mass Balance Model
Model Evaluation
And Model Verification
©版权所有 ©2017 CSpace - Powered by
CSpace