×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [3]
兰州理工大学 [2]
湖南大学 [2]
软件研究所 [2]
化学研究所 [1]
过程工程研究所 [1]
更多...
内容类型
期刊论文 [10]
其他 [2]
学位论文 [2]
会议论文 [1]
发表日期
2018 [1]
2017 [5]
2016 [1]
2015 [2]
2014 [1]
2013 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共15条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Reachability Analysis for Solvable Dynamical Systems
期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 7
作者:
Gan, Ting
;
Chen, Mingshuai
;
Li, Yangjia
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/05
Hybrid systems (HS)
reachability analysis
solvable systems (SSs)
Tarski's algebra
A hybrid harmony search algorithm with efficient job sequence scheme and variable neighborhood search for the permutation flow shop scheduling problems
期刊论文
Engineering Applications of Artificial Intelligence, 2017, 卷号: 65, 页码: 178-199
作者:
Zhao, Fuqing
;
Liu, Yang
;
Zhang, Yi
;
Ma, Weimin
;
Zhang, Chuck
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2022/02/17
Benchmarking
Combinatorial optimization
Hydraulic structures
Learning algorithms
Machine shop practice
Mapping
Optimization
Production control
Scheduling
Evolution computation
Harmony search
Operation research
Parameter sensitivities
Permutation flow-shop scheduling
A hybrid harmony search algorithm with efficient job sequence scheme and variable neighborhood search for the permutation flow shop scheduling problems
期刊论文
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2017, 卷号: 65, 页码: 178-199
作者:
Zhao, Fuqing
;
Liu, Yang
;
Zhang, Yi
;
Ma, Weimin
;
Zhang, Chuck
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/11/15
Permutation flow shop scheduling
Evolution computation
Optimization
Operation research
Harmony search
Parameter sensitivity
Barrier certificates revisited
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2017/02/16
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
硬球-拟颗粒-软球耦合模拟及其化工应用
学位论文
博士, 北京: 中国科学院研究生院, 2016
作者:
张成龙
收藏
  |  
浏览/下载:79/0
  |  
提交时间:2017/09/08
纳微流动与传递过程
反应扩散过程
催化工程
离散粒子模拟
分子动力学模拟
An ultra-accurate hybrid smoothed finite element method for piezoelectric problem
期刊论文
Engineering Analysis with Boundary Elements, 2015, 卷号: Vol.50, 页码: 188-197
作者:
Eric Li
;
Z.C. He
;
L. Chen
;
Bing Li
;
Xu Xu
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/31
Numerical methods
Hybrid smoothed finite element method (HS-FEM)
Meshfree method
Piezoelectricity
Hybrid smoothed finite element method for acoustic problems
期刊论文
Computer Methods in Applied Mechanics and Engineering, 2015, 卷号: Vol.283, 页码: 664-688
作者:
Li, E.
;
He, Z.C.
;
Xu, X.
;
Liu, G.R.
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/31
Acoustic
Discretization
error
Finite
element
method
(FEM)
Hybrid
smoothed
finite
element
method
(HS-FEM)
Numerical
method
Formal verification of a descent guidance control program of a lunar lander
会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1)
;
Yang, Mengfei (2)
;
Zhan, Naijun (1)
;
Gu, Bin (3)
;
Zou, Liang (1)
;
Chen, Yao (3)
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
Lunar lander
formal verification
hybrid systems
reachable set
invariant
©版权所有 ©2017 CSpace - Powered by
CSpace