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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

220 篇 期刊文献
113 篇 会议
22 册 图书
5 件 标准
4 篇 学位论文

馆藏范围

363 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

267 篇 工学
- 117 篇 电气工程
- 117 篇 控制科学与工程
- 76 篇 计算机科学与技术...
- 36 篇 仪器科学与技术
- 24 篇 机械工程
- 20 篇 电子科学与技术（可...
- 19 篇 软件工程
- 15 篇 信息与通信工程
- 12 篇 材料科学与工程（可...
- 8 篇 化学工程与技术
- 6 篇 动力工程及工程热...
- 6 篇 石油与天然气工程
- 3 篇 力学（可授工学、理...
- 3 篇 航空宇航科学与技...
- 3 篇 核科学与技术
- 2 篇 土木工程
- 2 篇 环境科学与工程（可...
65 篇 管理学
- 65 篇 管理科学与工程(可...
- 5 篇 工商管理
52 篇 理学
- 34 篇 数学
- 19 篇 物理学
- 12 篇 系统科学
- 4 篇 化学
- 1 篇 大气科学
- 1 篇 生物学
5 篇 经济学
- 5 篇 应用经济学
4 篇 教育学
- 2 篇 教育学
- 2 篇 心理学(可授教育学...
2 篇 文学
- 2 篇 新闻传播学
1 篇 法学
- 1 篇 社会学
1 篇 农学
1 篇 医学
1 篇 艺术学

主题

364 篇 programmable con...
30 篇 control engineer...
30 篇 process control
23 篇 automation
20 篇 programmable log...
19 篇 automatic contro...
17 篇 control systems
16 篇 iec standards
15 篇 plc
15 篇 distributed cont...
14 篇 programmable log...
14 篇 industrial contr...
13 篇 safety
11 篇 formal verificat...
11 篇 control equipmen...
10 篇 electronic contr...
9 篇 computer simulat...
9 篇 embedded systems
9 篇 petri nets
9 篇 control theory (...

机构

4 篇 russian acad sci...
2 篇 stevens inst tec...
2 篇 new jersey inst ...
2 篇 tsinghua univ sc...
2 篇 bhabha atom res ...
2 篇 northeastern uni...
2 篇 vsb-technical un...
2 篇 columbia univ de...
2 篇 fraunhofer inst ...
2 篇 department of co...
2 篇 us coast guard a...
1 篇 maersk mckinney ...
1 篇 natl inst techno...
1 篇 univ erlangen nu...
1 篇 shaheed zulfikar...
1 篇 univ british col...
1 篇 research institu...
1 篇 rhein westfal th...
1 篇 tsinghua univ cs...
1 篇 department of me...

作者

3 篇 faure jean-marc
3 篇 gerbasio diego
3 篇 nedoma p
3 篇 koziorek jiri
3 篇 chiacchio pasqua...
3 篇 jiri koziorek
3 篇 mieczyslaw metzg...
3 篇 basile francesco
2 篇 song x.
2 篇 levesque jeffrey...
2 篇 seidel stephan
2 篇 estevez elisabet
2 篇 macias manuel e.
2 篇 barritt d
2 篇 peng ya-fu
2 篇 donath ulrich
2 篇 durocher david b...
2 篇 d. matko
2 篇 z. šehić
2 篇 haufe juergen

语言

314 篇 英文
37 篇 其他
13 篇 中文

检索条件"主题词=PROGRAMMABLE controllers"

共 364 条记录，以下是241-250 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

A Kalman filter for feedback control of rotating external kink instabilities in the presence of noise

A Kalman filter for feedback control of rotating external ki...

引用

50th Annual Meeting of the Division of Plasma Physics of the American-Physical-Society

作者： Hanson, Jeremy M. De Bono, Bryan Levesque, Jeffrey P. Mauel, Michael E. Maurer, David A. Navratil, Gerald A. Pedersen, Thomas Sunn Shiraki, Daisuke James, Royce W. Columbia Univ Dept Appl Phys & Appl Math New York NY 10027 USA US Coast Guard Acad New London CT 06320 USA Stevens Inst Technol Hoboken NJ 07030 USA

The simulation and experimental optimization of a Kalman filter feedback control algorithm for n=1 tokamak external kink modes are reported. In order to achieve the highest plasma pressure limits in ITER, resistive wall mode stabilization is required [T. C. Hender , Nucl. Fusion 47, S128 (2007)] and feedback algorithms will need to distinguish the mode from noise due to other magnetohydrodynamic activity. The Kalman filter contains an internal model that captures the dynamics of a rotating, growing n=1 mode. This model is actively compared with real-time measurements to produce an optimal estimate for the mode's amplitude and phase. On the High Beta Tokamak-Extended Pulse experiment [T. H. Ivers , Phys. Plasmas 3, 1926 (1996)], the Kalman filter algorithm is implemented using a set of digital, field-programmable gate array controllers with 10 mu s latencies. Signals from an array of 20 poloidal sensor coils are used to measure the n=1 mode, and the feedback control is applied using 40 poloidally and toroidally localized control coils. The feedback system with the Kalman filter is able to suppress the external kink mode over a broad range of phase angles between the sensed mode and applied control field. Scans of filter parameters show good agreement between simulation and experiment, and feedback suppression and excitation of the kink mode are enhanced in experiments when a filter made using optimal parameters from the scans is used.

关键词： digital control feedback field programmable gate arrays Kalman filters kink instability physical instrumentation control plasma magnetohydrodynamics plasma pressure plasma toroidal confinement programmable controllers Tokamak devices

来源：评论

学校读者我要写书评

暂无评论

Vector controlled induction motor drive using transputer parallel processors

Vector controlled induction motor drive using transputer par...

引用

作者： Sumner, M. University of Nottingham

学位级别：博士

This thesis describes the design and construction of a high performance induction motor drive, controlled by a network of parallel (INMOS) Transputer processors. The flexibility and high computational ability of the controller is demonstrated by the implementation of three forms of indirect vector control for the induction motor (here termed "V-Type, "V-Type with Current Feedback" and "I-Type") on two motor drive rigs. Results show that V-Type control with current feedback is superior, and that on-line parameter estimation (namely the rotor time constant) is required. The controller has been expanded to incorporate two parameter identification strategies for assessment. The first, termed "Reactive Power Measurement", has proved successful in matching the controller value of rotor time constant to the actual machine value of rotor time constant. The second, termed "PRBS Injection with Cross- Correlation" has proved inconclusive and is the subject of on-going research. The performance of the transputer parallel processing network for real time control is discussed. This assessment is felt to be significant since parallel architectures are likely to become increasingly exploited as the processors become cheaper, more powerful and flexible, and with enhanced system support.

关键词： Control systems Control theory Automatic control Electromechnical devices programmable controllers

来源：评论

学校读者我要写书评

暂无评论

Smart Plugs: a Low Cost Solution for programmable Control of Domestic Loads

Smart Plugs: a Low Cost Solution for Programmable Control of...

引用

AEIT Annual Conference

作者： Galioto, Giovanni Galioto, Natale Giaconia, Costantino Giarre, Laura Neglia, Giovanni Tinnirello, Ilenia Univ Palermo Dept Elect Engn I-90133 Palermo Italy INRIA Maestro Project Sophia Antipolis France

ISBN: (纸本)9788887237245

Balancing energy demand and production is becoming a more and more challenging task for energy utilities. This is due to a number of different reasons among which the larger penetration of renewable energies which are more difficult to predict and the meagre availability of financial resources to upgrade the existing power grid. While the traditional solution is to dynamically adapt energy production to follow the time-varying demand, a new trend is to drive the demand itself by means of Direct Load Control (DLC). In this paper we consider a scenario where DLC functionalities are deployed at a large set of small deferrable energy loads, like appliances of residential users. The required additional intelligence and communication capabilities may be introduced through smart plugs, without the need to replace older "dumb" appliances. Smart plugs are inserted between the appliances plugs and the power sockets and directly connected to the Internet. An open software architecture allows to abstract the hardware sensors and actuators integrated in the plug and to easily program different load control applications.

关键词： load regulation programmable controllers smart power grids DLC direct load control domestic loads energy demand balancing energy production hardware sensors open software architecture power sockets programmable control smart plugs time-varying demand Home appliances Load flow control Logic gates Plugs Power demand Sensors Servers programmable control load control plugs Smart grids load flow control programmable logic controllers plugs Power demand Power production Appliances Logic gates Servers Sensors Software architecture discotic liquid crystals

来源：评论

学校读者我要写书评

暂无评论

Validation of logic controllers from events observation in a closed-loop system 19

Validation of logic controllers from events observation in a...

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Guignard, Anais Faure, Jean-Marc Ecole Normale Super Automated Prod Res Lab LURPA F-94230 Cachan France

ISBN: (纸本)9781479948451

Numerous worthwhile results have been published in the last two decades on validation of logic controllers by using formal methods like model-checking or conformance testing. Whatever the merits of these contributions, the first approach considers only a model of the control code while the second one focuses on an isolated controller that executes this code. However, from a control engineering point of view, validation of a logic controller requires also to analyze the behavior of the controller when it is connected to the plant it must control to form a closed-loop system. This paper proposes a method to check, from observation of I/O events, whether the behavior of such a controller conforms to its specification. The principle of this method is to build a model of the closed-loop system from the observed I/O events then to compare this model to the specification model. A criterion to terminate the observation step is defined by using previous results on identification of discrete event systems. This method is illustrated on a small example.

关键词： closed loop systems control engineering computing discrete event systems formal verification programmable controllers closed-loop system events observation logic controllers Analytical models Automata Biological system modeling Buildings Closed loop systems Discrete-event systems Radiation detectors

来源：评论

学校读者我要写书评

暂无评论

Arduino Home Automation Projects

引用

丛书名： Community Experience Distilled

2014年

作者： Marco Schwartz

ISBN: (数字)9781783986071

ISBN: (纸本)9781783986064

This book is divided into projects that are explained in a step-by-step format, with practical instructions that are easy to follow. If you want to build your own home automation systems wirelessly using the Arduino platform, this is the book for you. You will need to have some basic experience in Arduino and general programming languages, such as C and C++ to understand the projects in this book.

关键词： Arduino (programmable controller) Application software -- Development programmable controllers

来源：评论

学校读者我要写书评

暂无评论

1984 Thirty-sixth annual conference on electrical engineering problems in the rubber and plastics industries

引用

IEEE Transactions on Industry Applications 1984年第6期IA-20卷 1684-1685页

来源：评论

学校读者我要写书评

暂无评论

Introduction to Microprocessors and Microcontrollers 2

引用

2004年

作者： John Crisp

来源：评论

学校读者我要写书评

暂无评论

An Outline of Advanced Process Control and Self Tuning Techniques on PLC Background

An Outline of Advanced Process Control and Self Tuning Techn...

引用

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Kocian, Jiri Koziorek, Jiri Tech Univ Ostrava Dept Measurement & Control Ostrava Czech Republic

ISBN: (纸本)9781424468508

Advanced Process Control techniques contain software packages for an advanced control based on mathematical methods. A self tuning function of regulators has become a standard function of distributed control systems. Most of nowadays digital industry regulators and PLCs are provided with some kind of the self tuning constant algorithm. The practical part of the paper deals with design of the control systems which contain self tuning regulator. Control system with PID Self Tuner and with the visualization is designed. There is a description of an implementation of the PID regulator as a function block which can be also used for extension control functions. Control systems for relay and moment self tuner with visualizations are also designed.

关键词： PID self tuner PLC advanced process control control engineering computing digital industry regulator process control programmable controllers self tuning constant algorithm software engineering software package software packages

来源：评论

学校读者我要写书评

暂无评论

CONSIDERATIONS IN NETWORK AND AUTOMATION OPTIONS FOR LOW-VOLTAGE MOTOR CONTROL CENTERS

CONSIDERATIONS IN NETWORK AND AUTOMATION OPTIONS FOR LOW-VOL...

引用

IEEE-IAS/PCA 53rd Cement Industry Technical Conference

作者： Feldmeier, Gerry Zantout, Firas Durocher, David B. Eaton Corporation USA

ISBN: (纸本)9781424494675

The wide spread utilization of industrial communication networks in industrial applications for Low-Voltage Motor Control Centers (LV MCC's) started in 1995 when Open DeviceNet Vendors Association (ODVA) was formed and an open standard for DeviceNet was developed. The main value proposition behind networks was wire savings and reduction of downtime, both quantifiable and tangible benefits, as well as many non-tangible metrics such as data richness and diagnostics. Today there are many types of industrial networks available. These networks provide connectivity from working equipment to upstream supervisory programmable Logic controllers (PLCs), Distributed Control Systems (DCS) in process environments, or Supervisory Control & Data Acquisition (SCADA) systems which usually also employ an operator interface (OI) for control and monitoring. When an advanced communicating system is employed, facilities typically need personnel proficient in network installation and diagnostics, supervisory control programming, device programming and OI design, thus requiring a more technical resource than a traditional hard wired system. It is the intent of this paper to timeline industrial networks past and future, inform the reader of current standards for equipment control and automation, and to share how the industry is adapting to support these emerging challenges.

关键词： Communication cables Connectors DCS Ethernet networks Network topology PLC SCADA system SCADA systems Switches Topology Wires computerised monitoring controller area networks distributed control distributed control system equipment automation equipment control industrial communication networks low-voltage motor control center machine control open DeviceNet vendors association operator interface process control process control programmable controllers supervisory control and data acquisition supervisory control programming timeline industrial networks upstream supervisory programmable logic controller wire saving

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 21 22 23 24 25 26 27 28 29 30 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：