咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1501-1510 订阅
排序:
Modeling and analysis methodology for modular logic controllers of machining systems with auto, hand, and manual control modes
Modeling and analysis methodology for modular logic controll...
收藏 引用
2000 American Control Conference
作者: Park, Euisu Tilbury, Dawn M. Kharkonekar, Pramod P. Univ of Michigan Ann Arbor United States
logic controllers for machining systems typically have three control modes: auto, hand, and manual. Hand and manual modes are designed for various fault recovery operations in machining systems. In this paper, a unifi... 详细信息
来源: 评论
Designing secure networks for process control
收藏 引用
IEEE INDUSTRY APPLICATIONS MAGAZINE 2000年 第5期6卷 33-39页
作者: Byres, EJ Artemis Ind Network Design & Training Boulder CO 80301 USA
In most industrial plants, there is a strong drive to provide business applications with some access to real-time data generated from process control systems. Often, this has been in the form of a process historian da... 详细信息
来源: 评论
Exception handling for PLC-based process control software
收藏 引用
MICROPROCESSORS AND MICROSYSTEMS 2000年 第8期24卷 407-414页
作者: Godena, G Colnaric, M Jozef Stefan Inst Dept Comp Automat & Control Ljubljana 1000 Slovenia Univ Maribor Fac Elect Engn & Comp Sci SLO-2000 Maribor Slovenia
This paper deals with the possibility of introducing exception handling mechanisms into the specification and code of industrial process control software. Although exception handling is a very important aspect of proc... 详细信息
来源: 评论
Development of an HPLC/diode-array/fluorimetric detector method for monitoring tocopherols and tocotrienols in edible oils
收藏 引用
JOURNAL OF LIQUID CHROMATOGRAPHY & RELATED TECHNOLOGIES 2000年 第19期23卷 3011-3022页
作者: Gama, P Casal, S Oliveira, B Ferreira, MA Univ Porto Fac Farm Serv Bromatol CEQUP P-4050047 Porto Portugal
This paper describes an HPLC procedure for the determination of tocopherols and tocotrienols in crude and edible vegetable oils. The sample preparation only involves a dissolution of the oil in n-hexane and filtration... 详细信息
来源: 评论
Interactions between microstructure and plastic instabilities in Al-Zn-Mg-Cu alloy
收藏 引用
ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK 2000年 第Suppl.2期80卷 S459-S460页
作者: Thevenet, D Mliha-Touati, M Zeghloul, A
In recent years, inhomogeneous plastic deformation associated with the Portevin-Le Chatelier (PLC) has received a renewed attention. The PLC effect, commonly called 'jerky flow' or 'serrated yielding: is t... 详细信息
来源: 评论
Automatic implementation of Petri Net based control algorithms on PLC
Automatic implementation of Petri Net based control algorith...
收藏 引用
2000 American Control Conference (ACC 2000)
作者: Frey, G Univ Kaiserslautern Inst Proc Automat D-67653 Kaiserslautern Germany
Signal Interpreted Petri Nets (SIPN) show good properties in modeling and analyzing control algorithms. With SIPN, logic controllers are modeled by places-setting output signals-and transitions between those places-de... 详细信息
来源: 评论
Methods and tools to the verification of safety-related control software
Methods and tools to the verification of safety-related cont...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: Mertke, T Menzel, T Brandenburg Tech Univ Cottbus Germany
This paper gives a summary of a project, which deals with methods for the proof of the demanded properties of user-written control software. Although these methods based on formal methods they are covered with user-fr... 详细信息
来源: 评论
programmable resource control in global active IP networks
Programmable resource control in global active IP networks
收藏 引用
25th Annual IEEE Conference on Local Computer Networks (LCN 2000)
作者: Guo, H Becker, T German Natl Res Ctr Informat Technol FOKUS GMD Darmstadt Germany
The paper presents a resource control framework for active IP networks. Generic router resource abstractions are discussed to supporting network programming by a wide variety of active network services. Dynamic partit... 详细信息
来源: 评论
From interpreted Petri net specification to reprogrammable logic Controller design
From interpreted Petri net specification to reprogrammable L...
收藏 引用
IEEE International Symposium on Industrial Electronics (ISIE 2000)
作者: Adamski, M Monteiro, JL Tech Univ Zielona Gora Inst Comp Engn & Elect PL-65246 Zielona Gora Poland
The goal of this paper is to present the design methodology for the modelling and synthesis of discrete-event controllers for compact, fast and reliable embedded systems, using related Petri net theory, rule-based sys... 详细信息
来源: 评论
Binary and multi-valued SPFD-based wire removal in PLA networks
Binary and multi-valued SPFD-based wire removal in PLA netwo...
收藏 引用
2000 International Conference on Computer Design
作者: Sinha, Subarnarekha Khatri, Sunil P. Brayton, Robert K. Sangiovanni-Vincentelli, Alberto L. Univ of California Berkeley United States
This paper describes the application of binary and multi-valued SPFD-based wire removal techniques for circuit implementations utilizing networks of PLAs. It has been shown that a design style based on a multi-level n... 详细信息
来源: 评论