检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

4,057 篇 会议
43 篇 期刊文献
5 册 图书

馆藏范围

4,105 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

2,865 篇 工学
- 1,361 篇 计算机科学与技术...
- 1,265 篇 控制科学与工程
- 1,007 篇 电气工程
- 585 篇 软件工程
- 359 篇 机械工程
- 303 篇 信息与通信工程
- 248 篇 仪器科学与技术
- 170 篇 生物医学工程（可授...
- 130 篇 电子科学与技术（可...
- 113 篇 动力工程及工程热...
- 77 篇 力学（可授工学、理...
- 75 篇 材料科学与工程（可...
- 64 篇 交通运输工程
- 61 篇 航空宇航科学与技...
- 54 篇 生物工程
- 51 篇 化学工程与技术
- 38 篇 土木工程
- 36 篇 石油与天然气工程
- 35 篇 建筑学
655 篇 理学
- 300 篇 数学
- 269 篇 系统科学
- 130 篇 物理学
- 72 篇 生物学
- 48 篇 统计学（可授理学、...
- 31 篇 化学
320 篇 管理学
- 294 篇 管理科学与工程(可...
- 59 篇 工商管理
134 篇 医学
- 45 篇 临床医学
- 38 篇 基础医学(可授医学...
36 篇 经济学
- 35 篇 应用经济学
27 篇 文学
26 篇 农学
15 篇 法学
12 篇 教育学
4 篇 军事学
2 篇 艺术学

主题

291 篇 control systems
194 篇 mathematical mod...
186 篇 control engineer...
119 篇 process control
109 篇 voltage control
107 篇 conferences
101 篇 computational mo...
89 篇 cloud computing
84 篇 access control
77 篇 mobile robots
75 篇 force
75 篇 monitoring
74 篇 delays
72 篇 vectors
72 篇 optimization
69 篇 robots
67 篇 vehicles
65 篇 equations
59 篇 educational inst...
58 篇 trajectory

机构

21 篇 department of sy...
11 篇 school of contro...
10 篇 school of contro...
8 篇 faculty of elect...
7 篇 control engineer...
7 篇 ieee
7 篇 school of inform...
6 篇 faculty of elect...
6 篇 key laboratory o...
6 篇 school of comput...
6 篇 faculty of elect...
6 篇 faculty of elect...
6 篇 college of elect...
6 篇 state key labora...
5 篇 department of el...
5 篇 faculty of elect...
5 篇 school of comput...
5 篇 univ politehn bu...
5 篇 school of mechan...
5 篇 institute for bi...

作者

16 篇 kouhei ohnishi
11 篇 hussain z.
11 篇 z. hussain
8 篇 seiichiro katsur...
8 篇 boudville r.
8 篇 zhou mengchu
8 篇 zuraida muhammad
8 篇 yahaya s.z.
8 篇 jason gu
7 篇 nor adni mat leh
7 篇 tao tang
7 篇 muhammad zuraida
7 篇 r. boudville
6 篇 jian wang
6 篇 leh nor adni mat
6 篇 wang wei
6 篇 nooritawati md t...
6 篇 f. richard yu
6 篇 petre emil
5 篇 ahmad mohd ridzu...

语言

3,991 篇 英文
79 篇 中文
33 篇 其他
2 篇 西班牙文

检索条件"任意字段=2013 IEEE International Conference on Control System, Computing and Engineering, ICCSCE 2013"

共 4105 条记录，以下是771-780 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Stable neural network based model predictive control

Stable neural network based model predictive control

引用

2nd international conference on control and Fault-Tolerant systems (SysTol)

作者： Patan, Krzysztof Korbicz, Jozef Univ Zielona Gora Inst Control & Computat Engn Zielona Gora Poland

ISBN: (纸本)9781479928552

The paper presents nonlinear model predictive control designed using recurrent neural network. A recurrent neural network is trained to act as the one-step ahead predictor, which is then used succesively to obtain k-step ahead prediction of the plant output. Based on the neural predictor, the control law is derived solving a constrained optimization problem. The stability of the considered predictive scheme is also investigated showing that a cost function is monotonically decreasing with respect to time. Derived stability conditions are used to redefine a constrained optimization in order to calculate a control, which guarantees the stable work of the control system. The quality of the proposed stable predictive scheme is tested using a tank unit simulator realized in MATLAB/Simulink environment.

关键词： control engineering computing control system synthesis digital simulation learning (artificial intelligence) mathematics computing neurocontrollers nonlinear control systems optimisation predictive control stability

来源：评论

学校读者我要写书评

暂无评论

Design of Information Flow in Collaborative-VMM

Design of Information Flow in Collaborative-VMM

引用

2013 ieee 4th international conference on Software engineering and Service Science

作者： Xiaorui Wang Qingxian Wang Yudong Guo Jianping Lu China National Digital Switching System Engineering and Technological Research Center Chongqing Communication Institute

ISBN: (纸本)9781467349994

Information flow control is a key issue in the largescale systems,it needs to consider the collaboration between multi-components,execution efficiency,system security,and other aspects,the complexity of information flow control is particularly prominent in the virtualization *** current information flow control in virtualization system mainly use direct communication and asynchronous communication mode,but they have disadvantage such as complexity of VMM designing,increasing the risk of system security,low efficiency of data *** this paper,we establish a synchronous communication mechanism based on the Collaborative-VMM,three key information flow control were designed in this VMM including I/O processing,interrupt processing,and user interface,it can eliminate the issue of processing delay between VMM and the I/O processing *** experimental results show that the synchronous communication mechanism can simplify the design of virtualization system and does not reduce the performance of the system at the same time,it is a viable information flow control scheme.

关键词： virtualization information flow synchronous communication device model virtual interrupt

来源：评论

学校读者我要写书评

暂无评论

Decentralized control Strategy for the Implementation of Cooperative Dynamic Behaviors in Networked systems

Decentralized Control Strategy for the Implementation of Coo...

引用

ieee/RSJ international conference on Intelligent Robots and systems (IROS)

作者： Cocetti, Matteo Sabattini, Lorenzo Secchi, Cristian Fantuzzi, Cesare Univ Trento 6 Trento Italy

ISBN: (纸本)9781467363587

Decentralized control of networked systems has been widely investigated in the literature, with the aim of obtaining coordinated emerging behaviors (e. g. synchronization, swarming, coverage, formation control) by means of local interaction. In this paper we consider the possibility of injecting external inputs into the networked system, in order to obtain more complex cooperative behaviors. Specifically, we introduce a strategy that makes it possible to control the overall state of the networked system by directly controlling only a subset of the networked agents, namely the leaders. Exploiting local interaction rules, it is possible to define the inputs for the leaders in such a way that each follower is forced to track a desired periodic setpoint.

关键词： control engineering computing decentralised control multi-robot systems networked control systems position control

来源：评论

学校读者我要写书评

暂无评论

A Distributed control Scheme for Triangular Formations with Markovian Disturbances

A Distributed Control Scheme for Triangular Formations with ...

引用

ieee international conference on control Applications (CCA)

作者： Nguyen, Dung T. Krishnamurthy, Vikram Bishop, Adrian N. Univ British Columbia Dept Elect & Comp Engn Vancouver BC V6T 1Z4 Canada NICTA Canberra Res Lab Canberra ACT Australia Australian Natl Univ Canberra ACT 0200 Australia

ISBN: (纸本)9781479915590

This work details a distributed control system for triangular formation control where the control actions applied by the agents can be chosen from a set of values during run-time (as opposed to a single value defined in a standard feedback controller). Such a control law is advantageous as it allows the individual agents freedom in choosing their individual headings and motion speeds (from the specified set) during execution. This offers greater flexibility and robustness than traditional distributed feedback formation control laws. An alternative interpretation of the results presented is that the control law presented is capable of handling measurements that may be corrupted by an unknown finite state Markov chain (which can model noisy sensors and/or communication channels). A strong convergence result is established which permits global exponential convergence of the formation to the desired shape.

关键词： Markov processes control engineering computing control system synthesis distributed control motion control multi-agent systems position control

来源：评论

学校读者我要写书评

暂无评论

Output Feedback Stabilization of Wireless Networked control system with Packet Dropout

Output Feedback Stabilization of Wireless Networked Control ...

引用

10th ieee international conference on control and Automation (ieee ICCA)

作者： Gao, JinFeng Fu, Minyue Ren, Jia Zhejiang Sci Tech Univ Inst Automat Hangzhou 310018 Peoples R China Univ Newcastle Sch Elect Engn & Comp Sci Callaghan NSW 2308 Australia

ISBN: (纸本)9781467347082;9781467347075

The problem of modeling and stabilization of a wireless networked control system(NCS) with both packet dropout and time-varying delay is investigated in this paper, and the time-varying delay is more or less than one sampling period. The closed-loop wireless NCS is modeled as an asynchronous dynamic system(ADS) with three subsystems. By using the ADS approach, a sufficient condition for the closed-loop wireless NCS to be stable is presented. An illustrative example is provided to demonstrate the effectiveness of the proposed result.

关键词： closed loop systems control engineering computing delay systems feedback networked control systems stability time-varying systems

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Automatic Verification for PLC systems

Design and Implementation of Automatic Verification for PLC ...

引用

12th ieee international conference on Cognitive Informatics and Cognitive computing (ICCI CC)

作者： Xia, Mo Sun, Mian Luo, Guiming Zhao, Xibin Tsinghua Univ Sch Software Tsinghua Natl Lab Informat Sci & Technol Beijing 10084 Peoples R China

ISBN: (纸本)9781479907816

Programmable Logic controller (PLC) have been widely used in industries, and safety and reliability of them has been urgently concerned. However, it's hard to verify all the cases to discover the logical flaws of complex systems by traditional testing. Formal verification methods introduce mathematical rigor in their analysis thereby guaranteeing exhaustive state space coverage. But there is not an effective and efficient tool for PLC verification, and the general-purpose formal tools need lots of relevant knowledge. This paper proposes an automatic verification tool for PLC systems. It includes graphical modeling, syntax check, code generation, code optimization and representation of the counter-examples which violate some system properties.

关键词： control engineering computing formal verification programmable controllers

来源：评论

学校读者我要写书评

暂无评论

Probability Iterative Closest Point Algorithm for Position Estimation

Probability Iterative Closest Point Algorithm for Position E...

引用

17th international ieee conference on Intelligent Transportation systems & The Asia-Pacific Council on systems engineering conference 2014

作者： Juan Liu Shaoyi Du Chunjia Zhang Jihua Zhu Ke Li Jianru Xue the Institute of Artificial Intelligence and Robotics Xi’an Jiaotong University the School of Software Engineering Xi’an Jiaotong University the Fundamental Science on Ergonomics and Environment Control Laboratory Beihang University

This paper proposes probability iterative closest point(ICP) method based on expectation maximization(EM)estimation for point set registration with *** classical ICP algorithm can deal with rigid registration between two point sets effectively,but always fails to register point sets with *** order to improve the registration precision,a Gaussian model is introduced into the rigid *** each iteration,the classical ICP algorithm includes two steps,building the corresponding relationship and computing the rigid *** to the traditional ICP,at each step,firstly the corresponding relationship is set ***,the rigid transformation is solved by singular value decomposition(SVD) method,and then the Gaussian model is updated by the distance and variance between two point *** experimental results on part B of CE-Shape-1 database and real position dataset validate that the proposed algorithm is more accurate.

关键词： ICP Gaussian red Probability Iterative Closest Point Algorithm for Position Estimation

来源：评论

学校读者我要写书评

暂无评论

Frame forward mechanism of a real-time ethernet

Frame forward mechanism of a real-time ethernet

引用

2013 ieee international conference on Signal Processing, Communications and computing, ICSPCC 2013

作者： Ji, Shuai Jin, Dong Zhang, Chengrui Hu, Tianliang Key Laboratory of High Efficiency and Clean Mechanical Manufacture School of Mechanical Engineering Shandong University 17923 JingShi Road Jinan Shandong 250061 China

ISBN: (纸本)9781479910274

A kind of high efficient frame forward mechanism in line topology real-time Ethernet is proposed in this paper. The control data and state data of the networked control system are separated into downstream and upstream frame respectively. The downstream frame that conveys control data from master node to slave nodes are processed in two parallel channels, the first channel is responsible for extracting its control data, and the other one is in charge of forwarding the frame. The upstream frame which conveys the sate data from slave nodes to master node are forwarded and modified on line. The delivery time can be greatly reduced with this mechanism, because the forward delay of each slave node is reduced. This method is implemented on Field Programmable Gate Array (FPGA) finally, and the experiment results shows that forward delay in nanoseconds order can be achieved with this mechanism. © 2013 ieee.

关键词： Networked control systems

来源：评论

学校读者我要写书评

暂无评论

Tool-Assisted Verification of Behaviour Networks

Tool-Assisted Verification of Behaviour Networks

引用

ieee international conference on Robotics and Automation (ICRA)

作者： Armbrust, Christopher Kiekbusch, Lisa Ropertz, Thorsten Berns, Karsten Univ Kaiserslautern Dept Comp Sci Robot Res Lab D-67653 Kaiserslautern Germany

ISBN: (纸本)9781467356411;9781467356435

This paper deals with the problem of assisting developers when verifying properties of complex behaviour-based systems. A central aspect of behaviour-based systems is the interaction between the behaviours, as a lot of the functionality of a system typically arises from this interaction. Hence, verification has to deal with the specialities of behaviour interaction. Previous work has introduced a concept for modelling behaviour-based systems as networks of finite-state automata and for applying model checking as verification technique. As the manual verification of large networks is tedious and error-prone, the work at hand introduces a concept for assisting developers by partly automating the verification process. The applicability of the presented approach is demonstrated using the behaviour-based control system of an autonomous bucket excavator.

关键词： control engineering computing finite state machines formal verification graphical user interfaces robots

来源：评论

学校读者我要写书评

暂无评论

Analysis of Networking Mode Caused by GOOSE Delay of Smart Substation

Analysis of Networking Mode Caused by GOOSE Delay of Smart S...

引用

2013 ieee 4th international conference on Software engineering and Service Science

作者： Xin Xu Yimin Ni China Electric Power Engineering China Electric Power Research Institute China Electric Power Senior Engineering China Electric Power Research Institute

ISBN: (纸本)9781467349970

Based on the IEC61850 standard,real-time reliable data transmission is an important content of the intelligent substation process bus *** of control,protection and current voltage signals in the intelligent substation are transferred in a *** network as information exchange hub of the intelligent substation,the performance of system network for control and protection system function has played a decisive *** is the foundation for safe reliable operation of the intelligent *** paper analyzes the network transmission characteristics of GOOSE,the requirements of network switch and tests the performance of system *** paper studies the transmission delay,storeand-forward delay,switch delay queuing *** to the network flow,this paper analyzes quantitatively network delay which effects on the performance of the intelligent substation,calculates the total delay,verifies the validity rationality of the GOOSE network trip method.

关键词： GOOSE network trip 1588 network delay communications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共411页 << < 74 75 76 77 78 79 80 81 82 83 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：