咨询与建议

限定检索结果

文献类型

  • 1,098 篇 会议
  • 714 篇 期刊文献
  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,596 篇 工学
    • 1,176 篇 控制科学与工程
    • 1,044 篇 计算机科学与技术...
    • 580 篇 软件工程
    • 432 篇 电气工程
    • 266 篇 电子科学与技术(可...
    • 214 篇 机械工程
    • 145 篇 信息与通信工程
    • 106 篇 仪器科学与技术
    • 73 篇 动力工程及工程热...
    • 66 篇 建筑学
    • 60 篇 安全科学与工程
    • 57 篇 土木工程
    • 55 篇 化学工程与技术
    • 38 篇 冶金工程
    • 32 篇 力学(可授工学、理...
    • 30 篇 材料科学与工程(可...
    • 27 篇 交通运输工程
    • 21 篇 水利工程
  • 352 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 105 篇 工商管理
    • 26 篇 图书情报与档案管...
  • 330 篇 理学
    • 186 篇 数学
    • 66 篇 物理学
    • 37 篇 系统科学
    • 32 篇 化学
    • 32 篇 生物学
    • 23 篇 统计学(可授理学、...
  • 66 篇 教育学
    • 65 篇 教育学
  • 50 篇 经济学
    • 49 篇 应用经济学
  • 39 篇 医学
    • 26 篇 临床医学
  • 29 篇 法学
  • 12 篇 农学
  • 2 篇 文学
  • 2 篇 军事学

主题

  • 1,814 篇 programmable log...
  • 31 篇 automation
  • 30 篇 carrier transmis...
  • 29 篇 industrial contr...
  • 28 篇 plc
  • 28 篇 control systems
  • 25 篇 process control
  • 21 篇 supervisory cont...
  • 21 篇 manufacturing sy...
  • 20 篇 programmable con...
  • 20 篇 controllers
  • 19 篇 power cables
  • 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 篇 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,675 篇 英文
  • 77 篇 其他
  • 28 篇 中文
  • 16 篇 德文
  • 7 篇 日文
  • 5 篇 俄文
  • 3 篇 西班牙文
  • 1 篇 意大利文
  • 1 篇 荷兰文
  • 1 篇 土耳其文
检索条件"主题词=Programmable Logic Controllers"
1814 条 记 录,以下是1791-1800 订阅
排序:
A note on one-prover, instance-hiding zero-knowledge proof systems  1st
A note on one-prover, instance-hiding zero-knowledge proof s...
收藏 引用
1st International Conference on the Theory and Application of Cryptology, ASIACRYPT 1991
作者: Feigenbaum, Joan Ostrovsky, Rafail AT&T Bell Labs Rm 2C473 600 Mountain Avenue Murray HillNJ07974-0636 United States MIT Lab for Computer Science 545 Technology Square CambridgeMA02139 United States
In this note we study two cryptographic notions introduced in recent years: zero-knowledge proof systems [GMR] and instance-hiding schemes [AFK]. Addressing an open problem of [BFS] and extending the work in [AFK], we... 详细信息
来源: 评论
Application of artificial neural networks in adaptive interlocking systems  2
Application of artificial neural networks in adaptive interl...
收藏 引用
2nd International Forum on Applications of Neural Networks to Power Systems, ANNPS 1993
作者: Agarwal, S.H. Prabhu, V.N. Computer Group Testing Dept. Tata Electric Companies Trombay Thermal Stn. Chembur Bombay400074 India
Interlocks have been in use ever since protective relaying schemes were implemented for power devices like generators, transformers, transmission lines, etc. Although the science of protective relaying has undergone m... 详细信息
来源: 评论
Multi-level bang-bang control of DC motors using a PLC
Multi-level bang-bang control of DC motors using a PLC
收藏 引用
1993 Canadian Conference on Electrical and Computer Engineering, CCECE 1993
作者: Khoury, J.A. Chang, L. Sharaf, A.M. Dept. of Elec. Eng. University of New Brunswick FrederictonNBE3B 5A3 Canada
programmable logic controllers (PLC) have been widely used in industrial process control, due to their low cost, high reliability and integrated logic functions. This paper reports the development of the multi-level b... 详细信息
来源: 评论
ACHIEVING HIGH INTEGRITY OF PROCESS-CONTROL SOFTWARE BY GRAPHICAL DESIGN AND FORMAL VERIFICATION
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1992年 第1期7卷 53-64页
作者: HALANG, WA KRAMER, B UNIV GRONINGEN DEPT COMP SCI9700 AV GRONINGENNETHERLANDS GMD INST SYSTEMTECHW-5205 SANKT AUGUSTIN 1GERMANY
The International Electrotechnical Commission is currently standardising four compatible languages for designing and implementing programmable logic controllers (PLCs). The language family includes a diagrammatic nota... 详细信息
来源: 评论
ACCELERATED AGING OF EXTRUDED DIELECTRIC POWER-CABLES .1. CONTROL AND MONITORING METHODOLOGY
收藏 引用
IEEE TRANSACTIONS ON POWER DELIVERY 1992年 第2期7卷 596-602页
作者: WALTON, MD SMITH, JT THUE, WA ELECT POWER RES INST STUARTFL
In accelerated cable life testing of power cables, cable samples are usually subjected to elevated voltages and temperatures in the presence of water in order to promote aging of the insulation and premature failures ... 详细信息
来源: 评论
TRANSLATING UNRESTRICTED RELAY LADDER logic INTO BOOLEAN FORM
收藏 引用
COMPUTERS IN INDUSTRY 1992年 第1期20卷 45-61页
作者: WELCH, JT UNIV AKRON DEPT ELECT ENGNAKRONOH 44325
Single-pass translation of unrestricted relay ladder logic (RLL) into an AND/OR Boolean form is described. A data representation of the ladder is specified for supporting computer-aided entry and flow displays, as wel... 详细信息
来源: 评论
Database systems for programmable logic controllers  5th
收藏 引用
5th International Conference on Statistical and Scientific Database Management, V SSDBM 1990
作者: Ozsoyoglu, Gultekin Hou, Wen-Chi Ola, Ade Department of Computer Engineering and Science Case Western Reserve University OH44106 United States Department of Computer Science University of Southern Illinois at Carbondale CarbondaleIL United States Department of Computer Science University of Dayton DaytonOH United States
In this paper, we identify the database issues associated with programmable logic controllers (PLC), special-purpose computers used in scientific and industrial applications, e.g., in factories in manufacturing enviro... 详细信息
来源: 评论
Design recovery for relay ladder logic  1
Design recovery for relay ladder logic
收藏 引用
1st IEEE Conference on Control Applications, CCA 1992
作者: Falcione, Albert Krogh, Bruce H. Laboratory for Automatic Systems and Information Processing Department of Electrical and Computer Engineering Carnegie Mellon University PittsburghPA15213 United States
This paper introduces an algorithm for converting relay ladder logic (RLL) programs for programmable logic controllers (PLCs) into sequential function chart (SFC) programs. Since an SFC (a standardization of Grafcet) ... 详细信息
来源: 评论
PLC in the management of earth-one-phase faults in electrical lines with isolated neutral
PLC in the management of earth-one-phase faults in electrica...
收藏 引用
1992 Singapore International Conference on Intelligent Control and Instrumentation
作者: Messina, Natale Genovese, Alfredo Dipartimento Elettrico Elettronico e Sistemistico Università di Catania Viale A.Doria n.6 Catania95125 Italy
The application of programmable logic controllers (PLCs) is possible to realize the protection against the earth-one-phase faults in elctric lines with isolated neutral. A methodologie is proposed to obtain the replac... 详细信息
来源: 评论
Using petri nets to develop programs for plc systems  13th
收藏 引用
13th International Conference on Application and Theory of Petri Nets, 1992
作者: Cutts, Geoff School of Computing and Management Sciences Sheffield City Polytechnic 100 Napier Street SheffieldS11 8HD United Kingdom
In this project we examined ways in which systems may be implemented on programmable logic controllers. PLC systems exhibit a number of unique features, our objective was to create a practical approach to modelling sy... 详细信息
来源: 评论