×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [3]
清华大学 [1]
西安交通大学 [1]
武汉理工大学 [1]
内容类型
期刊论文 [4]
其他 [2]
发表日期
2018 [1]
2015 [2]
2010 [1]
2005 [1]
2004 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共6条,第1-6条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Modified Dynamic Programming Algorithm for Optimization of Total Energy Consumption in Flexible Manufacturing Systems
期刊论文
IEEE Transactions on Automation Science and Engineering, 2018
作者:
Li, Xiaoling
;
Xing, Keyi
;
Zhou, MengChu
;
Wang, Xinnian
;
Wu, Yunchao
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/11/26
Dynamic programming algorithm
Energy consumption rates
Evaluation function
Heuristic functions
Reachability graphs
Scheduling problem
Total energy consumption
Transition sequences
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata
期刊论文
2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, 页码: 230-236
作者:
Fang, Bingbing
;
Li, Guoqiang*
;
Fang, Ling
;
Xiang, Jianwen
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/04
updatable timed automata
reachability algorithm
EDBM
diagonal constraint
Efficient Graph Similarity Search Over Large Graph Databases
期刊论文
ieee知识与数据工程汇刊, 2015
Zheng, Weiguo
;
Zou, Lei
;
Lian, Xiang
;
Wang, Dong
;
Zhao, Dongyan
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2015/11/10
Graph edit distance
lower bound
graph database
graph similarity search
EDIT DISTANCE
COMMON SUBGRAPH
ALGORITHM
QUERIES
REACHABILITY
ISOMORPHISM
JOINS
TOOL
Research on model-checking based on Petri nets
期刊论文
2010, 2010
Jiang Yi-Xin
;
Lin Chuang
;
Qu Yang
;
Yin Hao
收藏
  |  
浏览/下载:2/0
Exploring optimal solution to hardware/software partitioning for synchronous model
其他
2005-01-01
He, JF
;
Hung, DV
;
Pu, GG
;
Qiu, ZY
;
Yi, W
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2015/11/12
hardware/software partitioning
timed automata
reachability
scheduling algorithm
An optimal approach to hardware/software partitioning for synchronous model
其他
2004-01-01
Pu, GG
;
Van Hung, D
;
He, JF
;
Wang, Y
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2015/11/16
hardware/software partitioning
timed automata
reachability
scheduling algorithm
SYSTEMS
©版权所有 ©2017 CSpace - Powered by
CSpace