咨询与建议

限定检索结果

文献类型

  • 116 篇 会议
  • 40 篇 期刊文献

馆藏范围

  • 156 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 82 篇 工学
    • 37 篇 控制科学与工程
    • 37 篇 计算机科学与技术...
    • 35 篇 软件工程
    • 16 篇 电气工程
    • 13 篇 电子科学与技术(可...
    • 12 篇 信息与通信工程
    • 11 篇 机械工程
    • 9 篇 动力工程及工程热...
    • 6 篇 光学工程
    • 5 篇 冶金工程
    • 4 篇 化学工程与技术
    • 4 篇 交通运输工程
    • 3 篇 力学(可授工学、理...
    • 3 篇 仪器科学与技术
    • 3 篇 建筑学
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 47 篇 理学
    • 30 篇 数学
    • 13 篇 物理学
    • 9 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 生物学
  • 16 篇 管理学
    • 9 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 5 篇 法学
    • 5 篇 社会学
  • 3 篇 医学
    • 3 篇 临床医学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 教育学

主题

  • 8 篇 control systems
  • 6 篇 voltage control
  • 6 篇 controllers
  • 5 篇 neural networks
  • 5 篇 mobile robots
  • 5 篇 real-time system...
  • 5 篇 training
  • 4 篇 stability analys...
  • 4 篇 quality of servi...
  • 4 篇 transfer functio...
  • 4 篇 uncertainty
  • 4 篇 robustness
  • 4 篇 linear systems
  • 3 篇 legged locomotio...
  • 3 篇 hybrid systems
  • 3 篇 impedance
  • 3 篇 delays
  • 3 篇 image segmentati...
  • 3 篇 inverters
  • 3 篇 vectors

机构

  • 4 篇 dept of automati...
  • 4 篇 dept of electric...
  • 3 篇 dept. of softwar...
  • 3 篇 dept. of compute...
  • 3 篇 institute of ele...
  • 3 篇 dept. of mathema...
  • 3 篇 computer and aut...
  • 3 篇 department of el...
  • 2 篇 dept. electrical...
  • 2 篇 automatic contro...
  • 2 篇 industrial contr...
  • 2 篇 dept. of compute...
  • 2 篇 dept. of automat...
  • 2 篇 dept. of compute...
  • 2 篇 dept. of compute...
  • 2 篇 electrical engin...
  • 2 篇 dept. of electri...
  • 2 篇 dept. of electri...
  • 2 篇 department of in...
  • 2 篇 institute of con...

作者

  • 5 篇 qing-chang zhong
  • 4 篇 e. rogers
  • 4 篇 d.h. owens
  • 3 篇 moldoveanu flori...
  • 3 篇 otilia zvoriştea...
  • 3 篇 dormido sebastia...
  • 3 篇 k. galkowski
  • 3 篇 heradio ruben
  • 3 篇 wen-long ming
  • 3 篇 galan daniel
  • 3 篇 xin zhang
  • 3 篇 esquembre franci...
  • 2 篇 oleksii chornyi
  • 2 篇 gladiola petroiu
  • 2 篇 fath el-bab ahme...
  • 2 篇 ali jadbabaie
  • 2 篇 ştefan-daniel ac...
  • 2 篇 karimi h.r.
  • 2 篇 mohamed fanni
  • 2 篇 ahmed abo-ismail

语言

  • 154 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"机构=Automatic Control and Computer Engineering Dept"
156 条 记 录,以下是151-160 订阅
排序:
A Prototype Development Framework for Hybrid control System Design
收藏 引用
IFAC Proceedings Volumes 1996年 第1期29卷 7296-7301页
作者: M.S. Hajji A.R. Browne J.M. Bass P. Schroder P.R. Croll P.J. Fleming Dept. of Automatic Control and Systems Engineering University of Sheffield UK. Dept. of Computer Science University of Sheffield UK. Tel: +44-114-282-5236 Fax: +44-114-273-1729
Hybrid control systems are a combination of real-time control law and discrete-state logic. This paper describes how a Development Framework for control systems software has been adapted so that it may also handle dis... 详细信息
来源: 评论
Switched bond graphs as front-end to formal verification of hybrid systems  5th
Switched bond graphs as front-end to formal verification of ...
收藏 引用
5th DIMACS/SYCON Workshop on Verification and control of Hybrid Systems, 1995
作者: Strömberg, Jan-Erik Nadjm-Tehrani, Simin Top, Jan L. Div. of Automatic Control Dept. of Electrical Engineering Linköping University LinköpingS-581 83 Sweden Dept. of Computer and Information Science Linköping University LinköpingS-581 83 Sweden Agrotechnological Research Institute ATO-DLO P.O. Box 17 WageningenNL-6700 Netherlands
Formal verification of safety and timing properties of engineering systems is only meaningful if based on models which are systematically derived. In this paper we report on our experience using switched bond graphs f... 详细信息
来源: 评论
From physical modelling to compositional models of hybrid systems  3rd
From physical modelling to compositional models of hybrid sy...
收藏 引用
3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994
作者: Nadjm-Tehrani, Simin Strömberg, Jan-Erik Dept. of Computer and Information Science Linköping University Sweden Div. of Automatic Control Dept. of Electrical Engineering Linköpmg Unversity LinköpingS-581 83 Sweden
By a hybrid system we mean a discrete controller in interaction with a physical environment. This paper discusses methodologies for incorporating physically grounded models in representations of hybrid systems. To thi... 详细信息
来源: 评论
Modelling and verification of hybrid systems: A case study  4
Modelling and verification of hybrid systems: A case study
收藏 引用
4th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 1993
作者: Nadjm-Tehrani, S. Stromberg, J.-E. Dept. of Computer and Information Science Linkoping University LinkopingS-58183 Sweden Div. of Automatic Control Dept. of Electrical Engineering Linkoping University LinkopingS-58183 Sweden
The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment... 详细信息
来源: 评论
Optimum pairing and ordering conditions for simultaneous reduction in total capacitance, sensitivity and output noise of cascade SC filters
Optimum pairing and ordering conditions for simultaneous red...
收藏 引用
1992 IEEE International Symposium on Circuits and Systems, ISCAS 1992
作者: Zhiqiang, M.A. Nakayama, Kenji Yamamoto, Gaishi Department of Electrical and Computer Engineering Faculty of Technology Kanazawa University Kanazawa920 Japan Faculty of Engineering Kanazawa Institute of Technology Ishikawa921 Japan Dept. of Automatic Control Engineering Central-South University of Technology Changsha China
This paper presents optimum pairing and ordering (P/O) conditions for simultaneous reduction in total capacitance, sensitivity and output noise of cascade SC filters. First, investigating relations among conditions pr... 详细信息
来源: 评论
Harmonic insertion in PWM inverter drive schemes
收藏 引用
European Transactions on Electrical Power 1992年 第3期2卷 143-151页
作者: Theocharis, J. Petridis, V. Dr.-Ing. John Theocharis (1956) graduated as an Electrical Engineer from Aristotelian University of Thessaloniki.Greece in 1980. From 1980 to 1985 he has been with the scientific staff of the Department of Electrical Engineering at the Aristotelian University where he received the Ph.D. degree in 1985. Since 1986 he is working as a lecturer and in 1990 he became assistant professor at the Department of Electronics and Computer Engineering in the m e university. His research activities include control power electronics and electrical motor drives. Recently he is working with the Neural Network Systems with applications to field oriented control problems. Aristotelian University of Thessaloniki School of Engineering Faculty of Electrical Engineering Dept. of Electronics & Computer Engineering P.O. Box 438 GR-Thessalonikil/Greece.T+3131/219784Fax + 3031/274868) Prof. Dr.-Ing. Vasilis Petridis (1946) graduated from National Technical University of Athens Greece in 1969.He obtained the M.Sc. and the Ph.D. in electronics and systems from the University of London in 1970 and 1974. respectively. H i s interests include applied automatic control neural networks drives dynamic systems robotics etc. He is currently professor in the Department of Electronics and Computer Engineering of the University of Thessaloniki. (Aristotelian University of Thessaloniki. School of EngineeringFaculty of Electrical Engineering Dept. of Electronics & Computer Engineering P.O. Box 438. GR-ThessaloniW Greece T+3031/219784.Fax+3031/274868)
The procedure of harmonic insertion is generalized in this paper. Analytical expressions of the voltage spectra are derived. The insertion of the 3rd harmonic to the modulating signal, which is of particular interest,...
来源: 评论