×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [21]
清华大学 [14]
武汉大学 [9]
华南理工大学 [8]
厦门大学 [7]
上海电子信息职业技术... [7]
更多...
内容类型
期刊论文 [48]
会议论文 [39]
学位论文 [6]
专著章节 [1]
会议 [1]
其他 [1]
更多...
发表日期
2020 [1]
2019 [1]
2018 [2]
2017 [2]
2016 [4]
2015 [3]
更多...
学科主题
Computer S... [2]
Software E... [1]
Theory & ... [1]
Theory & M... [1]
computer s... [1]
optimizati... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共96条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Solving Trajectory Optimization Problems in the Presence of Probabilistic Constraints
期刊论文
IEEE TRANSACTIONS ON CYBERNETICS, 2020, 卷号: 50, 期号: 10, 页码: 4332-4345
作者:
Chai, Runqi
;
Savvaris, Al
;
Tsourdos, Antonios
;
Chai, Senchun
;
Xia, Yuanqing
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2021/01/07
Planning
Probabilistic logic
Trajectory optimization
Optimal control
Prediction algorithms
Approximation function
chance-constrained
nonlinear programming
probabilistic constraints
trajectory optimization
In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools
期刊论文
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 6, 页码: 3155-3162
作者:
Alenazi, Mounifah
;
Wang, Wentao
;
Niu, Nan
;
Xu, Li Da
收藏
  |  
浏览/下载:49/0
  |  
提交时间:2019/08/16
Automated production systems
development environments
industry 4.0
programming logic controllers (PLC)
systems modeling language (SysML)
traceability
Developing our cool console games: A teaching reform case of computer programming course
会议论文
作者:
Yanan, Qiao
;
Ning, Wu
;
Xiaoyu, Wang
;
Xiao, Wang
;
Difang, Wan
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/11/19
Application environment
Computer programming course
Console game developing
Large-scale programming
Practical problems
Program control
Programmable logic
Teaching reforms
Multi-stage production planning using fuzzy multi-objective programming with consideration of maintenance
期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2018, 卷号: 34, 页码: 2753-2769
作者:
Feylizadeh, Mohammad Reza
;
Karimi, Negar
;
Li, Deng-Feng
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/11/21
Multi-stage production planning
multi-objective optimization
fuzzy logic
mixed integer programming
A Mixed Logical Dynamical-Model Predictive Control (MLD-MPC) Energy Management Control Strategy for Plug-in Hybrid Electric Vehicles (PHEVs)
期刊论文
ENERGIES, 2017, 卷号: 10
作者:
Lian, Jing
;
Liu, Shuang
;
Li, Linhui
;
Liu, Xuanzuo
;
Zhou, Yafu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/02
driving intention
mixed logic dynamical model
mixed integer linear programming (MILP)
model predictive control (MPC)
nonlinear auto-regressive (NAR) neural network
Towards Verified Software: Mirror Theory of Programming
期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2017
Zhang Junfu
;
Zhao Wen
;
Yuan Chongyi
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/03
Operation expression
Semantic axiom
Programming logic
Theory of programming
Verified software
A rule-based agent-oriented approach for supporting weakly-structured scientific workflows
期刊论文
JOURNAL OF WEB SEMANTICS, 2016, 卷号: 37-38, 页码: 36-52
作者:
Zhao, ZL
;
Paschke, A
;
Zhang, RS
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2017/01/16
Scientific workflows
Weakly-structured processes
Multi-agent systems
Logic programming
Semantic Web
Selection of maritime safety control options for NUC ships using a hybrid group decision-making approach
期刊论文
Safety Science, 2016, 卷号: 88, 期号: Volume 88, 页码: 108-122
作者:
Wu, Bing
;
Yan, Xinping
;
Wang, Yang
;
Guedes Soares, C.*
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/04
NUC ships
Group decision-making
Safety control options
Fuzzy logic
Linear programming
The Set of Optimal Solutions of Geometric Programming Problem with Max-Product Fuzzy Relational Equations Constraints (EI收录)
期刊论文
International Journal of Fuzzy Systems, 2016, 卷号: 18, 页码: 436-447
作者:
Zhou, Xue-Gang[1,2]
;
Cao, Bing-Yuan[1,3]
;
Yang, Xiao-Peng[1,4]
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2019/04/24
Computational complexity
Fuzzy logic
Fuzzy systems
Geometry
Mathematical programming
Numerical methods
Optimal systems
Product development
TaxoPublish: Towards a solution to automatically personalize taxonomies in e-catalogs
期刊论文
Expert Systems with Applications, 2016, 卷号: Vol.66, 页码: 76-94
作者:
NaeemRamzan
;
HeikoAngermann
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/24
Taxonomy
overload
Electronic
catalog
Logic
programming
Personalized
directory
Electronic
commerce
Product
information
management
©版权所有 ©2017 CSpace - Powered by
CSpace