咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 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,566 篇 英文
  • 117 篇 其他
  • 29 篇 中文
  • 16 篇 德文
  • 7 篇 日文
  • 5 篇 俄文
  • 3 篇 西班牙文
  • 1 篇 意大利文
  • 1 篇 土耳其文
检索条件"主题词=Programmable Logic Controllers"
1744 条 记 录,以下是1451-1460 订阅
排序:
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... 详细信息
来源: 评论
Teaching controls with PLCs
Teaching controls with PLCs
收藏 引用
2000 ASEE Annual Conference and Exposition: Engineering Education Beyond the Millenium
作者: Jack, Hugh Padnos School of Engineering Grand Valley State University
In industrial practice it is much more common to control a process using logical control for discrete on/off states. As a result most industrial equipment designs use programmable logic controllers (PLCs). These contr... 详细信息
来源: 评论
Path-based test composition for mixed-signal SOC's
Path-based test composition for mixed-signal SOC's
收藏 引用
Southwest Symposium on Mixed-Signal Design, SSMSD 2000
作者: Ozev, S. Orailoglu, A. Computer Science and Engineering Department University of California San Diego San DiegoCA92093 United States
We outline a methodology for system level test composition out of module level tests in the context of system-on-a-chip (SOC). The method can be utilized as soon as high level specifications are available providing av... 详细信息
来源: 评论
State equation of Petri Net for the LD program
State equation of Petri Net for the LD program
收藏 引用
2000 IEEE International Conference on Systems, Man and Cybernetics
作者: Lee, Gi Bum Lee, Jin S. Research Inst of Industrial Science & Technology Pohang Korea Republic of
This paper presents a process of converting A and B contacts in the ladder diagram (LD) into the Petri Net (PN). In order to represent A and B contacts in the LD program with the PN graph, the concept of preservation ... 详细信息
来源: 评论
Development of a virtual production machine for a PLC laboratory
Development of a virtual production machine for a PLC labora...
收藏 引用
2000 ASEE Annual Conference and Exposition: Engineering Education Beyond the Millenium
作者: Lambing, Donald Rehg, James A. Rowe, Jamie Cambria Systems Inc. Penn State University Altoona College ABB Robotics Inc. Cambria System Inc. Sidman PA Electro-Mech. Engineering Technology Penn State Altoona ABB Robotics
The development of virtual machine and simulation software, system elements and architecture, typical manufacturing machines and laboratory procedures is discussed. A human machine interface software package with a br... 详细信息
来源: 评论
Pros and cons of replacing discrete logic with programmable logic in introductory digital logic courses
Pros and cons of replacing discrete logic with programmable ...
收藏 引用
2000 ASEE Annual Conference and Exposition: Engineering Education Beyond the Millenium
作者: Nickels, Kevin Trinity University Department of Engineering Science Trinity University
The advantages and disadvantages of replacing discrete logic with programmable logic in introductory digital logic courses are discussed. The trend of replacing the traditional SSI/MSI breadboarded digital logic desig... 详细信息
来源: 评论
5.26 Mflips programmable analogue Fuzzy logic Controller in a standard CMOS 2.4 μ technology
5.26 Mflips programmable analogue Fuzzy Logic Controller in ...
收藏 引用
Proceedings of the IEEE 2000 International Symposium on Circuits and Systems, ISCAS 2000
作者: Dualibe, Carlos Jespers, Paul Verleysen, Michel Universidad Catolica de Cordoba Cordoba Argentina
A complete digitally - programmable analogue Fuzzy logic Controller (FLC) is presented. The design of some new functional blocks and the improvement of others aim towards speed optimization with a reasonable accuracy,... 详细信息
来源: 评论