中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [3]

兰州理工大学 [2]

湖南大学 [2]

软件研究所 [2]

化学研究所 [1]

过程工程研究所 [1]

内容类型

期刊论文 [10]

学位论文 [2]

会议论文 [1]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共15条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	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 收藏 \| 浏览/下载：4/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 作者: 张成龙收藏 \| 浏览/下载：78/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) 收藏 \| 浏览/下载：15/0 \| 提交时间：2014/12/16 Lunar lander formal verification hybrid systems reachable set invariant

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace