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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,102 篇 会议
641 篇 期刊文献
1 篇 学位论文

馆藏范围

1,744 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,563 篇 工学
- 1,173 篇 控制科学与工程
- 1,041 篇 计算机科学与技术...
- 578 篇 软件工程
- 420 篇 电气工程
- 264 篇 电子科学与技术（可...
- 213 篇 机械工程
- 144 篇 信息与通信工程
- 102 篇 仪器科学与技术
- 72 篇 动力工程及工程热...
- 65 篇 建筑学
- 60 篇 安全科学与工程
- 57 篇 土木工程
- 49 篇 化学工程与技术
- 32 篇 冶金工程
- 31 篇 力学（可授工学、理...
- 27 篇 交通运输工程
- 22 篇 材料科学与工程（可...
- 21 篇 水利工程
346 篇 管理学
- 331 篇 管理科学与工程(可...
- 106 篇 工商管理
- 26 篇 图书情报与档案管...
312 篇 理学
- 188 篇 数学
- 62 篇 物理学
- 37 篇 系统科学
- 27 篇 化学
- 24 篇 统计学（可授理学、...
- 19 篇 生物学
64 篇 教育学
- 64 篇 教育学
50 篇 经济学
- 49 篇 应用经济学
29 篇 法学
- 19 篇 社会学
12 篇 医学
7 篇 农学
2 篇 文学
2 篇 军事学

主题

1,744 篇 programmable log...
30 篇 automation
29 篇 industrial contr...
28 篇 plc
27 篇 carrier transmis...
24 篇 control systems
22 篇 process control
21 篇 programmable con...
21 篇 manufacturing sy...
20 篇 supervisory cont...
19 篇 controllers
17 篇 petri nets
15 篇 power cables
15 篇 formal verificat...
15 篇 industrial contr...
14 篇 software enginee...
13 篇 discrete event s...
13 篇 modeling
13 篇 petri-nets
13 篇 verification

机构

6 篇 singapore univ t...
6 篇 state key labora...
6 篇 embedded softwar...
5 篇 ieee
5 篇 lulea univ techn...
4 篇 singapore univer...
4 篇 rhein westfal th...
4 篇 tech univ munich...
4 篇 institute of ele...
4 篇 rhein westfal th...
3 篇 univ hong kong c...
3 篇 cispa helmholtz ...
3 篇 shanghai jiao to...
3 篇 crestic iut de t...
3 篇 malardalen univ ...
3 篇 sandia national ...
3 篇 air force inst t...
3 篇 air force inst t...
3 篇 department of el...
3 篇 technical univer...

作者

21 篇 kowalewski stefa...
20 篇 vogel-heuser bir...
11 篇 anon
9 篇 birgit vogel-heu...
8 篇 biallas sebastia...
8 篇 riera b.
8 篇 neumann eva-mari...
8 篇 zhou jianying
7 篇 b. riera
6 篇 provost julien
6 篇 butts jonathan
6 篇 babb m
6 篇 zonouz saman
6 篇 simon hendrik
6 篇 fischer juliane
6 篇 frey georg
5 篇 bohlender dimitr...
5 篇 philippot a.
5 篇 stefan kowalewsk...
5 篇 wei qiang

语言

1,566 篇 英文
117 篇 其他
29 篇 中文
16 篇 德文
7 篇 日文
5 篇 俄文
3 篇 西班牙文
1 篇 意大利文
1 篇 土耳其文

检索条件"主题词=Programmable Logic Controllers"

共 1744 条记录，以下是621-630 订阅

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

详细简洁

排序：

Blocking Unsafe Behaviors in Control Systems through Static and Dynamic Policy Enforcement 15

Blocking Unsafe Behaviors in Control Systems through Static ...

引用

52nd ACM/EDAC/IEEE Design Automation Conference (DAC)

作者： McLaughlin, Stephen Samsung Res Amer KNOX Secur Seoul South Korea

ISBN: (纸本)9781450335201

One of the most universally accepted practices in computer security is the use of security policy enforcement. Under a policy enforcement regime, users and programs can only perform actions for which they are authorized by the security policy. Unfortunately, modern control systems fail to make effective use of policy enforcement. In many cases, privilege in control systems is binary a single password is sufficient to gain most or all privileges within the system. In this paper, we consider the benefits and challenges of enforcing security policies for code running on programmable logic controllers (PLCs). We first summarize two of our previous approaches, which place no trust in the PLC to behave correctly. While these approaches show promise, especially for current PLC architectures, they are lacking in comparison to approaches based on a trustworthy PLC design. Thus, we argue that future PLCs should implement a Trusted Computing Base (TCB). Such a TCB is a small set of trusted hardware and software that is sufficient for enforcing policies directly on the PLC. We also propose a method of doing policy enforcement on PLCs supporting a small TCB, and argue that it is the simpler and more effective means of doing policy enforcement for PLCs. We conclude that future PLCs should support a small TCB.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable Elements of Execution Semantics for Industrial Cyber-Physical Systems 41

Reconfigurable Elements of Execution Semantics for Industria...

引用

41st Annual Conference of the IEEE-Industrial-Electronics-Society (IECON)

作者： Dai, Wenbai Pang, Cheng Vyatkin, Valeriy Shanghai Jiao Tong Univ Minist Educ China Key Lab Syst Control & Informat Proc Shanghai 200030 Peoples R China Shanghai Jiao Tong Univ Dept Automat Shanghai 200030 Peoples R China Aalto Univ Espoo Finland Lulea Univ Technol Lulea Sweden

ISBN: (纸本)9781479917624

With the increasing computing power and network capacity, distributed automation systems are facing new challenges of handling massive amounts of distributed nodes within tight real-time constraints. The industrial cyber-physical systems is considered as the key to solve these complexities. In distributed industrial automation systems, there exists several execution semantics. In this paper, all existing execution semantics are summarized as a set of rules which are described by reconfigurable elements. During the simulation and verification of industrial cyber-physical systems, those rules are helpful to provide a generic runtime environment which can perform various execution semantics. This reconfigurable execution environment is demonstrated using a case study of a room lighting system.

关键词： Industrial Cyber-Physical Systems programmable logic controllers 1EC 61499 Function Blocks Execution Semantics Reconfiguration

来源：评论

学校读者我要写书评

暂无评论

Use Runs Tests for Process Control

Use Runs Tests for Process Control

引用

Open Conference of Electrical Electronic and Information Sciences (ESTREAM)

作者： Hryniuk, Dzmitry Orobei, Igor Suhorukova, Irina Belarusian State Technol Univ Dept Automat Prod Proc & Elect Engn Minsk BELARUS

ISBN: (纸本)9781467374453

The article is devoted to adaptation criterion series for use in process control algorithms. Criterion series is proposed for detecting abrupt changes in trend information and diagnostics of device. The use of this criterion is,justified on the programmable logic controllers of small and medium power. The air temperature control system which has a variety sources of information is regarded as the object. The object has non-linear properties, which complicates the analysis. The standard algorithms filtration was implemented in the programmable logic controller. The data were recorded and processed with MatLAB. The estimation of noise that affects the sensors thermal object was carried out. The criterion settings should be selected taking into account the dynamics of the object and the sensor. Quality filtration and static errors affect the accuracy of the method. Speed of the modern programmable logic controllers allows using a small length of the series or multiple series.

关键词： controller programmable logic controllers static errors

来源：评论

学校读者我要写书评

暂无评论

Debugging MBIST Hard Fails Without Bitmapping 22

Debugging MBIST Hard Fails Without Bitmapping

引用

22nd International Symposium on the Physical and Failure Analysis of Integrated Circuits (IPFA)

作者： Yeoh, B. L. Goh, S. H. You, G. F. Hao, H. U. Sio, W. L. Lam, Jeffrey GLOBALFOUNDRIES Technol Dev Prod Test & Failure Anal Singapore Singapore

ISBN: (纸本)9781479999286

Embedded memories modules are one of the core components in System-on-a-Chip (SoC) device. For memory built-in self-test (MBIST) failures, bitmapping tool is normally used to locate the defect location.. This paper demonstrates the effectiveness in the use of dynamic photon emission microscopy (PEM) analysis as an alternative method to debug MBIST failures. We also show how an additional failure characterization step prior to fault localization, can enhance success rate and turnaround time.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Scalability of QP solvers for Embedded Model Predictive Control Applied to a Subsea Petroleum Production System

Scalability of QP solvers for Embedded Model Predictive Cont...

引用

IEEE Conference on Control and Applications (CCA)

作者： Binder, B. J. T. Kufoalor, D. K. M. Johansen, T. A. Norwegian Univ Sci & Technol Dept Engn Cybernet OS Bragstads Plass 2D NO-7491 Trondheim Norway NTNU Ctr Autonomous Marine Operat & Syst Trondheim Norway

ISBN: (纸本)9781479977871

The performance of two different Quadratic Programming (QP) solvers for embedded Model Predictive Control (MPC), FiOrdOs and qpOASES, is evaluated for a relevant case study from the petroleum industry. Embedded MPC for the considered system is implemented on a PLC (programmable logic Controller) using both solvers. The focus is on the computation time and memory requirements of the solvers as the dimensions of the control problem increase. The results show that qpOASES has a superior performance for small systems with respect to computation time. However, qpOASES has a near cubic growth in computation time with respect to the number of system variables, while FiOrdOs only has a near linear growth. FiOrdOs may thus be faster for larger systems. FiOrdOs has a smaller memory footprint than qpOASES for small systems;however, the program size grows faster than with qpOASES, and for the largest system configuration, the program sizes were almost identical. For even larger systems, qpOASES may have smaller program memory requirements than FiOrdOs, though qpOASES requires more data memory for all problem sizes.

关键词： embedded systems petroleum industry predictive control programmable controllers quadratic programming FiOrdOs PLC QP solvers computation time cubic growth data memory embedded MPC embedded model predictive control linear growth memory footprint program memory requirements program sizes programmable logic controller qpOASES subsea petroleum production system system configuration system variables Generators Inductors Manifolds Mathematical model Memory management Petroleum programmable logic controllers Petroleum Industry quadratic programming computational time Data storage devices Predictive control Program size Store management inductors Solvers Manifolds Embedded systems Petroleum dynamos Mathematical Model

来源：评论

学校读者我要写书评

暂无评论

A PLC-based adaptive control of superheated steam treatment System (SSTS) for Stabilized Brown Rice (SBR)

A PLC-based adaptive control of superheated steam treatment ...

引用

International MultiConference of Engineers and Computer Scientists 2015, IMECS 2015

作者： Guevarra, Dominic S. Luces, Joein L. Baldovino, Renann G. Vista, Melvin L. Metals Industry Research and Development Center Taguig1631 Philippines Manufacturing Engineering and Management Department De La Salle University Manila1004 Philippines

ISBN: (纸本)9789881925329

Heat treatment is considered to be one of the most common methods in food drying. However, the problem with this conventional method is that the texture of the food sample is often altered from its original state, just like in brown rice. Superheated steam treatment system (SSTS) is introduced as an effective method to remove the moisture of the sample. In order to perform process control, a programmable logic controller (PLC), which served as the main controller, is employed to automate the process. To code the PLC program, combination of ladder logic diagrams (LLD), structured texts (ST) and function block diagrams (FBD) were employed using Omron CP1L. The developed controller is also adaptable to different SSTS setting parameters like pressure, temperature (through the temperature controller) and the speed of the transport or conveyorized-driven bed system (through inverter or variable frequency drive).

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Towards the automated generation of focused proof systems 1

Towards the automated generation of focused proof systems

引用

1st International Workshop on Focusing, WOF 2015

作者： Nigam, Vivek Reis, Giselle Lima, Leonardo Federal University of Paraíba Brazil Inria and LIX France

This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structures them into phases in order to reduce proof search non-determinism. We demonstrate that it is possible to construct a complete focused proof system from a given un-focused proof system if it satisfies some conditions. Our key idea is to generalize the completeness proof based on permutation lemmas given by Miller and Saurin for the focused linear logic proof system. This is done by building a graph from the rule permutation relation of a proof system, called permutation graph. We then show that from the permutation graph of a given proof system, it is possible to construct a complete focused proof system, and additionally infer for which formulas contraction is admissible. An implementation for building the permutation graph of a system is provided. We apply our technique to generate the focused proof systems MALLF, LJF and LKF for linear, intuitionistic and classical logics, respectively. © Nigam, Reis and Lima This work is licensed under the Creative Commons Attribution License.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

All-digital SoC thermal sensor using on-chip high order temperature curvature correction

All-digital SoC thermal sensor using on-chip high order temp...

引用

IEEE Custom Integrated Circuits Conference, CICC 2015

作者： Saligane, Mehdi Khayatzadeh, Mahmood Zhang, Yiqun Jeong, Seokhyeon Blaauw, David Sylvester, Dennis University of Michigan Ann ArborMI United States

ISBN: (纸本)9781479986828

Accurate, compact thermal sensors are desirable in many applications, including on-chip temperature monitoring for processors with dynamic throttling and reliability management. Modern thermal sensors are limited in either area, robustness, or accuracy. This work sidesteps strong linearity requirements for reference and PTAT elements in the sensor by performing a higher-order fitting of more relaxed PTAT and CTAT elements using an embedded calculation compute engine. A compact 24 x 10μm sensing element (40nm CMOS) achieves inaccuracy of © 2015 IEEE.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Application of PLC as a Gateway in a Network of Smart Power Transducers

Application of PLC as a Gateway in a Network of Smart Power ...

引用

作者： Iovev, Atanas N. Yakimov, Peter I. Technical University of Sofia Sofia1000 Bulgaria

The modern control of the electrical power system faces various challenges caused by the introduction of renewable energy sources and rapidly changing loads. Key problem in reaching successful and sustainable control is the smart sensor networks development. The paper presents an approach for development of such network using the possibilities of the programmable logic controllers. The considerations in the organisation of the network and the choice of a PLC as a gateway are discussed. The main options of the proposed software solution are explained. © 2015, IFFCA (Internaitional Fedreation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

PLC based intelligent power factor correctors for industrial power systems-A case study

PLC based intelligent power factor correctors for industrial...

引用

IEEE International Conference on Power and Advanced Control Engineering, ICPACE 2015

作者： Kulkami, Naveenkumar R. Vijay Murthy, H. Raju, Akhil P. Dept. of Electrical Engineering S.D.M. College of Engineering and Technology Dharwad India R and D Wing SMEC Automations Private LTD. Mangalore India

ISBN: (纸本)9781479983704

In recent years, the quality of power supplied to the consumer devices by an ac system has become an issue of great concern due to the rapidly increasing inductive loads, electronic equipments, power electronic devices and high system voltage. Power factor correction (PFC) is a technique of minimizing the undesirable effects of electric loads that create poor power factor conditions. Correction of power factor may be effected either by transmission utility which improves the stability and efficiency of the transmission network or by individuals customers. This paper aims at the correction method using an intelligent power factor corrector based on PLC (programmable logic Controller) as a control system especially for the correction of the industrial power factor, which is not only required for the smooth operation of the electrical equipments used in the industries but also to minimize the cost of penalty that has to be paid to power supply utilities for having low power factor. This involves measuring the power factor value from the supply line using Power Meter and development of a PLC program to determine and trigger capacitor banks of required rating in order to compensate deficient reactive power, thus bringing power factor near to unity. The results of this paper is based on the case study on application of the proposed method in a real industrial facility. © 2015 IEEE.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共175页 << < 59 60 61 62 63 64 65 66 67 68 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：