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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,097 篇 会议
726 篇 期刊文献
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

1,604 篇 工学
- 1,174 篇 控制科学与工程
- 1,043 篇 计算机科学与技术...
- 579 篇 软件工程
- 433 篇 电气工程
- 270 篇 电子科学与技术（可...
- 216 篇 机械工程
- 148 篇 信息与通信工程
- 107 篇 仪器科学与技术
- 74 篇 动力工程及工程热...
- 66 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 土木工程
- 58 篇 化学工程与技术
- 40 篇 冶金工程
- 32 篇 力学（可授工学、理...
- 32 篇 材料科学与工程（可...
- 27 篇 交通运输工程
- 21 篇 水利工程
353 篇 管理学
- 337 篇 管理科学与工程(可...
- 106 篇 工商管理
- 26 篇 图书情报与档案管...
333 篇 理学
- 187 篇 数学
- 66 篇 物理学
- 36 篇 系统科学
- 34 篇 生物学
- 32 篇 化学
- 23 篇 统计学（可授理学、...
67 篇 教育学
- 65 篇 教育学
50 篇 经济学
- 49 篇 应用经济学
42 篇 医学
- 29 篇 临床医学
29 篇 法学
12 篇 农学
2 篇 文学
2 篇 军事学

主题

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

机构

6 篇 singapore univ t...
6 篇 state key labora...
6 篇 embedded softwar...
5 篇 nigde univ nigde
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 british col...
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...

作者

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 篇 uzam murat
5 篇 stefan kowalewsk...

语言

1,687 篇 英文
78 篇 其他
28 篇 中文
16 篇 德文
7 篇 日文
5 篇 俄文
3 篇 西班牙文
1 篇 意大利文
1 篇 荷兰文
1 篇 土耳其文

检索条件"主题词=Programmable logic controllers"

共 1826 条记录，以下是41-50 订阅

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

详细简洁

排序：

VIRTUAL LAB FOR programmable logic controllers

VIRTUAL LAB FOR PROGRAMMABLE LOGIC CONTROLLERS

引用

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

作者： Munoz, J. A. Guzman, J. L. Rodriguez, F. Berenguel, M. Pawlowski, A. Univ Almeria Dept Lenguajes & Computac Area Ingn Sistemas Automat Almeria Spain

ISBN: (纸本)9781424427284

This paper presents a virtual tool for programmable logic controllers (PLC). It provides a friendly graphical environment to perform programming tasks in an easy way and without being necessary to be connected to a PLC. Therefore, the application can be used from everywhere without spatial-temporal constrains. The supported programming languages are those under the IEC 61131 standard and a graphical simulator is also included to test the developed programs.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

ENHANCING THE SECURITY AND FORENSIC CAPABILITIES OF programmable logic controllers 14th

ENHANCING THE SECURITY AND FORENSIC CAPABILITIES OF PROGRAMM...

引用

14th IFIP WG 11.9 International Conference on Digital Forensics

作者： Chan, Chun-Fai Chow, Kam-Pui Yiu, Siu-Ming Yau, Ken Univ Hong Kong Comp Sci Hong Kong Peoples R China

ISBN: (纸本)9783319992778;9783319992761

Industrial control systems are used to monitor and operate critical infrastructures. For decades, the security of industrial control systems was preserved by their use of proprietary hardware and software, and their physical separation from other networks. However, to reduce costs and enhance interconnectivity, modern industrial control systems increasingly use commodity hardware and software, and are connected to vendor and corporate networks, and even the Internet. These trends expose industrial control systems to risks that they were not designed to handle. This chapter describes a novel approach for enhancing industrial control system security and forensics by adding monitoring and logging mechanisms to programmable logic controllers, key components of industrial control systems. A proof-of-concept implementation is presented using a popular Siemens programmable logic controller. Experiments were conducted to compare the accuracy and performance impact of the proposed method versus the conventional programmable logic controller polling method. The experimental results demonstrate that the new method yields increased anomaly detection coverage and accuracy with only a small performance impact. Additionally, the new method increases the speed of anomaly detection and reduces network overhead, enabling forensic investigations of programmable logic controllers to be conducted more efficiently and effectively.

关键词： programmable logic controllers anomaly detection forensics

来源：评论

学校读者我要写书评

暂无评论

From Natural Language Requirements to the Verification of programmable logic controllers: Integrating FRET into PLCverif 15th

From Natural Language Requirements to the Verification of Pr...

引用

15th International Symposium on NASA Formal Methods (NFM)

作者： Adam, Zsofia Lopez-Miguel, Ignacio D. Mavridou, Anastasia Pressburger, Thomas Bes, Marcin Vinuela, Enrique Blanco Katis, Andreas Tournier, Jean-Charles Trinh, Khanh, V Adiego, Borja Fernandez Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary European Org Nucl Res CERN Geneva Switzerland TU Wien Vienna Austria NASA Ames Res Ctr KBR Moffett Field CA 94035 USA NASA Ames Res Ctr Moffett Field CA 94035 USA CERN Geneva Switzerland

ISBN: (纸本)9783031331695;9783031331701

PLCverif is an actively developed project at CERN, enabling the formal verification of programmable logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA's FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET's output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Web-based control of programmable logic controllers in process control computers education

Web-based control of programmable logic controllers in proce...

引用

37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)

作者： Buinac, R. Marsic, D. Malcic, G. Polytech Zagreb Dept Elect Engn Zagreb Croatia

ISBN: (纸本)9789532330816

Industrial control computers can be connected to the Internet, and equipped with a Web interface. This enables access to process data from any computer with a set of common web-related software applications. This paper deals with laboratory exercises performed as a part of courses regarding process control computers, which include tasks dealing with this topic. Integration of Java and HTML technologies is described, and an example of a simple process and its Web interface is given. PLC computers equipped with an advanced communication modules are connected to a personal computer (PC) via Ethernet. Alongside implementation of Java applets in Web environment, human machine interface design is regarded.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Supervisory Control Implementation into programmable logic controllers

Supervisory Control Implementation into Programmable Logic C...

引用

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

作者： Leal, Andre B. da Cruz, Diogo L. L. Hounsell, Marcelo da S. Santa Catarina State Univ CCT GASR Dept Elect Engn BR-89223100 Joinville SC Brazil Selco Sistemas Eletron BR-89217420 Joinville SC Brazil

ISBN: (纸本)9781424427284

This paper deals with the implementation of supervisory control of discrete event systems into programmable logic controllers (PLCs). It discusses the problems that arise in this type of implementation and presents an implementation methodology that solves these problems. The local modular approach is used to synthesize the supervisors and a case study problem is presented as an example.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

DETECTING ANOMALIES IN programmable logic controllers USING UNSUPERVISED MACHINE LEARNING 15th

DETECTING ANOMALIES IN PROGRAMMABLE LOGIC CONTROLLERS USING ...

引用

15th IFIP WG 11.9 International Conference on Digital Forensics

作者： Chan, Chun-Fai Chow, Kam-Pui Mak, Cesar Chan, Raymond Univ Hong Kong Comp Sci Hong Kong Peoples R China Logist & Supply Chain MultiTech R&D Ctr Hong Kong Peoples R China Singapore Inst Technol Informat & Commun Technol Singapore Singapore

ISBN: (纸本)9783030287528;9783030287511

Supervisory control and data acquisition systems have been employed for decades to communicate with and coordinate industrial processes. These systems incorporate numerous programmable logic controllers that manage the operations of industrial equipment based on sensor information. Due to the important roles that programmable logic controllers play in industrial facilities, these microprocessor-based systems are exposed to serious cyber threats. This chapter describes an innovative methodology that leverages unsupervised machine learning to monitor the states of programmable logic controllers to uncover latent defects and anomalies. The methodology, which employs a one-class support vector machine, is able to detect anomalies without being bound to specific scenarios or requiring detailed knowledge about the control logic. A case study involving a traffic light simulation demonstrates that anomalies are detected with high accuracy, enabling the prompt mitigation of the underlying problems.

关键词： programmable logic controllers anomaly detection machine learning

来源：评论

学校读者我要写书评

暂无评论

Predicate Abstraction for programmable logic controllers

Predicate Abstraction for Programmable Logic Controllers

引用

18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)

作者： Biallas, Sebastian Giacobbe, Mirco Kowalewski, Stefan Rhein Westfal TH Aachen Embedded Software Lab Aachen Germany

ISBN: (纸本)9783642410109;9783642410093

In this paper, we present a predicate abstraction for programs for programmable logic controllers (PLCs) so as to allow for model checking safety related properties. Our contribution is twofold: First, we give a formalization of PLC programs in first order logic, which is then used to automatically derive a predicate abstraction using SMT solving. Second, we employ an abstraction called predicate scoping which reduces the evaluation of predicates to certain program locations and thus can be used to exploit the cyclic scanning mode of PLC programs. We show the effectiveness of this approach in a small case study using programs from industry and academia.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Controller-Aware False Data Injection Against programmable logic controllers

Controller-Aware False Data Injection Against Programmable L...

引用

2014 IEEE International Conference on Smart Grid Communications (SmartGridComm)

作者： McLaughlin, Stephen Zonouz, Saman Narus Inc Sunnyvale CA 94085 USA Rutgers State Univ New Brunswick NJ USA

ISBN: (纸本)9781479949342

Control systems rely on accurate sensor measurements to safely regulate physical processes. In False Data Injection (FDI) attacks, adversaries inject forged sensor measurements into a control system in hopes of misguiding control algorithms into taking dangerous actions. Traditional FDI attacks mostly require adversaries to know the full system topology, i.e., hundreds or thousands of lines and buses, while having unpredictable consequences. In this paper, we present a new class of FDI attacks directly against individual programmable logic controllers (PLCs), which are ubiquitous in power generation and distribution. Our attack allows the adversary to have only partial information about the victim subsystem, and produces a predictable malicious result. Our attack tool analyzes an I/O trace of the compromised PLCs to produce a set of inputs to achieve the desired PLC outputs, i.e., the system behavior. It proceeds in two steps. First, our tool constructs a model of the PLC's internal logic from the I/O traces. Second, it searches for a set of inputs that cause the model to calculate the desired malicious behavior. We evaluate our tool against a set of representative control systems and show that it is a practical threat against insecure sensor configurations.

关键词： power distribution control power generation control power system security attack tool analyzis controller-aware false data injection false data injection attacks forged sensor measurements full system topology misguiding control physical process power distribution power generation predictable malicious result representative control systems victim subsystem Automata Control systems Power systems Process control Servers State estimation Vectors control systems programmable logic controllers power distribution control power generation control Physical Processes Power system security Power production Automata Servers Electricity Distribution Systems power systems State estimation Process control IO

来源：评论

学校读者我要写书评

暂无评论

Framework for Implementation of Iterative Learning Control on programmable logic controllers 21

Framework for Implementation of Iterative Learning Control o...

引用

21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Bibl, Matthias Robin, Michael Steinegger, Michael Schitter, Georg Vienna Univ Technol Automat & Control Inst Gusshausstr 27-29 A-1040 Vienna Austria

ISBN: (纸本)9781509013142

In this paper, an implementation approach for norm-optimal iterative learning control (ILC) on programmable logic controllers (PLCs) is presented. After a detailed conceptual overview and discussion of the norm-optimal ILC algorithm, the challenges for implementing ILC algorithms on PLCs are discussed and an efficient three-phase implementation approach is proposed. Here, the three phases consist of an offline calculation, the calculation of the feedforward part between consecutive iterations, and the online calculation of the current control input. It is also shown that this separation enables the efficient implementation of the norm-optimal ILC algorithm on standard industrial controllers like PLCs. The proposed norm-optimal ILC implementation approach is verified by a simulation of a gantry robot with three degrees of freedom, where the norm-optimal ILC algorithm is executed within a Soft-PLC.

关键词： programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Avoiding pitfalls in applying programmable logic controllers in substation applications

Avoiding pitfalls in applying programmable logic controllers...

引用

Winter Meeting of the IEEE-Power-Engineering-Society

作者： Wilson, TL Programmable Control Serv Inc Spokane WA 99217 USA

ISBN: (纸本)0780366727

Much attention has been given to the use of programmable logic controllers (PLCs) in substation applications in recent years. Innovative engineers have been actively seeking new applications for PLCs in substations. Manufacturers of PLCs have responded by developing new products that meet the unique requirements of substation applications. As the use of PLCs in substations has grown, the benefits of their use have become more known to substation engineers. Not as well known or publicized are some of the pitfalls that engineers may fall into when applying PLCs in substations. Problems that are recognized beforehand are avoidable, and it is the goal of this presentation to help those applying PLCs to avoid as many pitfalls as possible.

关键词： programmable logic controllers programmable controller intelligent electronic devices relay ladder logic remote terminal unit ladder diagram...

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共183页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：