咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
Condition monitoring of sequential fluid power systems using programmable logic controllers
Condition monitoring of sequential fluid power systems using...
收藏 引用
IEE Computing and Control Division Colloquium on Applications of Advanced PLC (programmable logic Controller) Systems with Specific Experiences from Water Treatment
作者: Evans, D.S. Gwent Coll of Higher Education Gwent United Kingdom
A computer based simulation technique has been developed to aid the procurement and testing of programmable logic controllers (PLC) and condition monitoring software for electro-pneumatic and electro-hydraulic systems... 详细信息
来源: 评论
INDUSTRIAL ROBOT CONTROL SYSTEM RESEARCH BASED ON THE DIRECTION OF programmable logic controllers
INDUSTRIAL ROBOT CONTROL SYSTEM RESEARCH BASED ON THE DIRECT...
收藏 引用
2024 International Conference on Electrical Engineering and Intelligent Control, EEIC 2024
作者: Hu, Letian School of Electronics and Information Xijiao Liverpool University Anhui Hefei230000 China
With the rise of the intelligent manufacturing industry, industrial robots have also become a new development trend in today's industrial production and manufacturing technology. To understand and enhance the leve... 详细信息
来源: 评论
Predicting execution time of relay ladder logic for programmable logic controllers
Predicting execution time of relay ladder logic for programm...
收藏 引用
Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2)
作者: Koo, Kyeonghoon Kwon, Wook Hyun Seoul Natl Univ Seoul Korea Republic of
This paper presents a technique of calculating the worst-case execution time of PLC application programs written in Relay Ladder logic. The concept of generic PLC and RLL block is introduced to develop a system-indepe... 详细信息
来源: 评论
Modelling programmable logic controllers in refinement calculus of reactive systems  28
Modelling programmable logic controllers in refinement calcu...
收藏 引用
28th International Workshop on Concurrency, Specification and Programming, CS and P 2019
作者: Preoteasa, Viorel Latvala, Timo Varpaaniemi, Kimmo Space Systems Finland Finland
We present a translation from languages for programmable logic controllers (PLC) into refinement calculus of reactive systems (RCRS). RCRS is a compositional formal framework for modeling and reasoning about reactive ... 详细信息
来源: 评论
Scheduling algorithm for programmable logic controllers with remote I/Os
Scheduling algorithm for programmable logic controllers with...
收藏 引用
Proceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA
作者: Jeong, Seungkweon Kim, Young Shin Kwon, Wook Hyun Seoul Natl Univ Seoul Korea Republic of
In this paper, a scheduling algorithm is proposed for a programmable logic controller (PLC) with remote I/Os, assuming the multi-tasking facilities. Since sequence programs are executed on the application processor an... 详细信息
来源: 评论
***: A verification platform for programmable logic controllers  12
***: A verification platform for programmable logic controll...
收藏 引用
27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012
作者: Biallas, Sebastian Brauer, Jorg Kowalewski, Stefan Embedded Software Laboratory RWTH Aachen University Aachen Germany Verified Systems International GmbH Bremen Germany
This paper introduces ***, a verification platform for programmable logic controllers (PLCs). The tool supports static analysis as well as ACTL and past-time LTL model checking using counterexample-guided abstraction ... 详细信息
来源: 评论
Alister 2.0 - programmable logic controllers in railway interlocking systems for regional lines of the DB Netze AG
Alister 2.0 - Programmable logic controllers in railway inte...
收藏 引用
17th GI/ITG Conference on Communication in Distributed Systems, KiVS 2011
作者: Saykowski, Reiner Schultz, Elferik Bleidiessel, Joachim Funkwerk Information Technologies GmbH Edisonstraße 3 24145 Kiel Germany
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 - an interlocking system based on industry-proven standard components: Safety PLCs in distributed nodes... 详细信息
来源: 评论
Software safety and security for programmable logic controllers
Software safety and security for programmable logic controll...
收藏 引用
2013 10th International Conference on Information Technology: New Generations, ITNG 2013
作者: Farkas, Csilla Valentine, Sidney Department of Computer Science and Engineering University of South Carolina Columbia SC United States Department of Industrial and Engineering Technology York Technical College Rock Hill SC United States
Supervisory Control and Data Acquisition (SCADA) systems are widely used in automated manufacturing and in all areas of our nation's infrastructure. Current research on SCADA security focuses on the primary SCADA ... 详细信息
来源: 评论
PLCreX - Open-Source Project for Simplification, Transformation, Analysis, and Validation of programmable logic controllers  27
PLCreX - Open-Source Project for Simplification, Transformat...
收藏 引用
27. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2024 - 27th Workshop on Methods and Description Languages ??for Modeling and Verification of Circuits and Systems, MBMV 2024
作者: Werner, Marcel Christian Schneider, Klaus Department of Computer Science RPTU Kaiserslautern-Landau Germany
PLCREX is an open source programmable logic controller project developed as a modular command line application in PYTHON. It is designed to simplify, analyze, validate and, in particular, transform existing IEC 61131-... 详细信息
来源: 评论
Mill speed control using programmable logic controllers
Mill speed control using programmable logic controllers
收藏 引用
作者: Costea, Claudiu Silaghi, Helga Silaghi, Marius Silaghi, Paul Faculty of Electrical Engineering and Information Technology University of Oradea University Street Nr. 1 410087 Oradea Romania Politehnica University of Timisoara Vasile Parvan Bv. Nr. 2 Timisoara Romania
This paper presents an application for mill control. In this application a mill is controlled by software running on programmable logic controllers. The paper handle a few topics from cement industry, such are: critic... 详细信息
来源: 评论