咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1,736 篇 programmable log...
  • 30 篇 automation
  • 29 篇 industrial contr...
  • 28 篇 plc
  • 26 篇 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...
  • 14 篇 software enginee...
  • 14 篇 industrial contr...
  • 13 篇 discrete event s...
  • 13 篇 petri-nets
  • 12 篇 modeling
  • 12 篇 safety

机构

  • 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,560 篇 英文
  • 115 篇 其他
  • 29 篇 中文
  • 16 篇 德文
  • 7 篇 日文
  • 5 篇 俄文
  • 3 篇 西班牙文
  • 1 篇 意大利文
  • 1 篇 土耳其文
检索条件"主题词=Programmable Logic Controllers"
1736 条 记 录,以下是701-710 订阅
排序:
Through the eye of the PLC: Semantic security monitoring for industrial processes  14
Through the eye of the PLC: Semantic security monitoring for...
收藏 引用
30th Annual Computer Security Applications Conference, ACSAC 2014
作者: Had iosmanović, Dina Sommer, Robin Zambon, Emmanuele Hartel, Pieter H. Delft University of Technology Netherlands ICSI/LBNL BerkeleyCA United States University of Twente Security Matters B.V. Netherlands University of Twente Netherlands
Off-the-shelf intrusion detection systems prove an ill fit for protecting industrial control systems, as they do not take their process semantics into account. Specifically, current systems fail to detect recent proce... 详细信息
来源: 评论
Emulation of Petri net controller with programmable logic controller in industrial process plant  4
Emulation of Petri net controller with programmable logic co...
收藏 引用
2014 4th International Conference on Engineering Technology and Technopreneuship, ICE2T 2014
作者: Osman, M.S. Bakar, B. B. Abu Universiti Kuala Lumpur British Malaysian Institute Batu 8 Jln. Sungai Pusu Batu Caves Selangor531000 Malaysia
Industrial Process Control is constantly expand, regarding their control more and more solutions are presently in the market. These include mature methods like Petri nets, and standardized languages, which are commonl... 详细信息
来源: 评论
Application of PLC in the dc vertical lathe spindle control
Application of PLC in the dc vertical lathe spindle control
收藏 引用
2014 International Conference on Manufacturing Technology and Electronics Applications, ICMTEA 2014
作者: Ma, Jia Xing WeiFang University of Science and Technology ShouGuang China
CNC vertical lathe is the main on products. The domestic and foreign demand is also very big. The key part of the high precision is on the control of the spindle. This design is with the German SIEMENS company program... 详细信息
来源: 评论
Software changes in factory automation: Towards automatic change based regression testing
Software changes in factory automation: Towards automatic ch...
收藏 引用
作者: Ulewicz, Sebastian Schutz, Daniel Vogel-Heuser, Birgit Institute of Automation and Information Systems Technische Universität München Munich Germany
Changes of software in factory automation are frequent and resource-consuming in quality assurance when proving compliance with functional specifications. Automated testing can help minimizing required resources for s... 详细信息
来源: 评论
Level-3 BLAS on myriad multi-core media-processor SoC  26
Level-3 BLAS on myriad multi-core media-processor SoC
收藏 引用
26th IEEE Hot Chips Symposium, HCS 2014
作者: Szydzik, Tomasz Farcas, Marius Ohan, Valeriu Moloney, David Insititute for Applied Microelectronics University of Las Palmas of Gran Canaria Spain Codecart Italy Movidius Ltd. United States
Presents a conference poster that covers the following topics: level-3 BLAS on myriad multicore media processing system-on-chip. © 2014 IEEE.
来源: 评论
Laguerre network implementation in industrial control systems
Laguerre network implementation in industrial control system...
收藏 引用
15th International Carpathian Control Conference, ICCC 2014
作者: Mrosko, M. Škultéty, J. Miklovičová, E. Institute of Robotics and Cybernetics Faculty of Electrical Engineering and Information Technology Slovak University of Technology Bratislava Slovakia
Discrete Laguerre filters are a simple and efficient tool for approximating stable dynamical systems. They can be used not only to model the system dynamics but also to express the controller structure. In this paper ... 详细信息
来源: 评论
Improving safety through logic: programmable logic controller for conventional casing running equipment
Improving safety through logic: Programmable logic controlle...
收藏 引用
SPE/IADC Drilling Conference and Exhibition 2014
作者: Naill, N. Madgwick, S. Bratten, C. George, M. Devon Energy United States Fluidpro Canada Weatherford United States
Running casing with conventional equipment is a labor intensive process requiring multiple personnel on the rig floor. Due to the dynamic environment of running casing with this equipment, there is elevated potential ... 详细信息
来源: 评论
Identification of Design Patterns for IEC 61131-3 in Machine and Plant Manufacturing
收藏 引用
IFAC Proceedings Volumes 2014年 第3期47卷 6092-6097页
作者: J. Fuchs S. Feldmann C. Legat B. Vogel-Heuser Technische Universität München Faculty of Mechanical Engineering Institute of Automation and Information Systems D–85748 Garching
Industrial plant software is implemented in the programming languages of IEC 61131-3. As plant software needs to perform many tasks, it is often highly complex and typically characterized by a monolithic structure. Wh... 详细信息
来源: 评论
Efficient Handling of States in Abstract Interpretation of Industrial programmable logic Controller Code
收藏 引用
IFAC Proceedings Volumes 2014年 第2期47卷 400-405页
作者: Sebastian Biallas Stefan Kowalewski Stefan Stattelmann Bastian Schlich Embedded Software Laboratory RWTH Aachen University Germany ABB Corporate Research Research Area Software Ladenburg Germany
This paper presents an efficient static analysis for programmable logic controller code. For each program line (or each function block call), the analysis calculates an over-approximation of the possible values each v... 详细信息
来源: 评论
Model-based testing of PLC software: test of plants' reliability by using fault injection on component level
收藏 引用
IFAC Proceedings Volumes 2014年 第3期47卷 3509-3515页
作者: Susanne Rösch Dmitry Tikhonov Daniel Schütz Birgit Vogel-Heuser Technische Universität München Institute of Automation and Information Systems 85748 Garching bei München Germany
In this paper, the current situation of how PLC software is tested in industry is analyzed and the challenges on new testing approaches are identified using real industry code and a survey conducted within industry. T... 详细信息
来源: 评论