咨询与建议

限定检索结果

文献类型

  • 1,181 篇 会议
  • 21 册 图书
  • 9 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 752 篇 工学
    • 577 篇 计算机科学与技术...
    • 340 篇 软件工程
    • 225 篇 控制科学与工程
    • 104 篇 信息与通信工程
    • 91 篇 电气工程
    • 88 篇 机械工程
    • 36 篇 生物工程
    • 30 篇 生物医学工程(可授...
    • 28 篇 电子科学与技术(可...
    • 28 篇 交通运输工程
    • 22 篇 动力工程及工程热...
    • 20 篇 仪器科学与技术
    • 19 篇 安全科学与工程
    • 17 篇 光学工程
    • 16 篇 力学(可授工学、理...
    • 16 篇 化学工程与技术
    • 14 篇 航空宇航科学与技...
  • 241 篇 理学
    • 155 篇 数学
    • 44 篇 生物学
    • 43 篇 统计学(可授理学、...
    • 40 篇 物理学
    • 39 篇 系统科学
    • 21 篇 化学
  • 149 篇 管理学
    • 111 篇 管理科学与工程(可...
    • 57 篇 工商管理
    • 55 篇 图书情报与档案管...
  • 25 篇 医学
    • 21 篇 临床医学
    • 18 篇 基础医学(可授医学...
  • 24 篇 法学
    • 22 篇 社会学
  • 19 篇 经济学
    • 19 篇 应用经济学
  • 11 篇 教育学
  • 10 篇 农学
  • 1 篇 文学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 65 篇 control systems
  • 37 篇 real-time system...
  • 33 篇 computer science
  • 32 篇 computer archite...
  • 32 篇 mathematical mod...
  • 30 篇 optimization
  • 29 篇 automation
  • 28 篇 computational mo...
  • 27 篇 computer aided s...
  • 26 篇 monitoring
  • 20 篇 process control
  • 19 篇 reinforcement le...
  • 19 篇 protocols
  • 19 篇 hardware
  • 19 篇 multi-agent syst...
  • 18 篇 robots
  • 18 篇 artificial intel...
  • 17 篇 robot sensing sy...
  • 16 篇 access control
  • 16 篇 costs

机构

  • 13 篇 universitatea di...
  • 11 篇 univ politehn bu...
  • 7 篇 computer science...
  • 6 篇 school of comput...
  • 6 篇 univ politehn bu...
  • 5 篇 univ politehn bu...
  • 5 篇 moscow
  • 5 篇 tianjin universi...
  • 5 篇 computer science...
  • 5 篇 state key labora...
  • 5 篇 univ politehn bu...
  • 4 篇 faculty of autom...
  • 4 篇 computer science...
  • 4 篇 school of inform...
  • 4 篇 federal research...
  • 4 篇 univ politehn bu...
  • 3 篇 shanghai jiao to...
  • 3 篇 college of compu...
  • 3 篇 tsinghua univers...
  • 3 篇 department of mi...

作者

  • 5 篇 yang sen
  • 5 篇 nicolae tapus
  • 5 篇 tong jigang
  • 5 篇 dan stefanoiu
  • 5 篇 dong enzeng
  • 5 篇 stefanoiu dan
  • 4 篇 adina magda flor...
  • 4 篇 valeriy vyatkin
  • 4 篇 michal niezabito...
  • 4 篇 alin moldoveanu
  • 4 篇 niezabitowski mi...
  • 4 篇 daniel moga
  • 4 篇 stefan trausan-m...
  • 4 篇 tapus nicolae
  • 4 篇 iulia clitan
  • 4 篇 ye xiaochun
  • 4 篇 vlad muresan
  • 3 篇 minho lee
  • 3 篇 kirichek ruslan
  • 3 篇 octavian cret

语言

  • 1,185 篇 英文
  • 15 篇 中文
  • 12 篇 其他
检索条件"任意字段=20th International Conference on Control Systems and Computer Science, CSCS 2015"
1211 条 记 录,以下是121-130 订阅
排序:
Software platform for practical verification of control algorithms developed for rescue and exploration mobile platform  20
Software platform for practical verification of control algo...
收藏 引用
20th international conference on Methods and Models in Automation and Robotics (MMAR)
作者: Cholewinski, Mateusz Janiak, Mariusz Juszkiewicz, Lukasz Wroclaw Univ Technol Fac Elect Chair Cybernet & Robot Ul Z Janiszewskiego 11-17 PL-50320 Wroclaw Poland
this paper presents the architecture of system that has been developed for practical verification of the real-time control algorithms performance intended for servicing mobile platform. the system has been implemented... 详细信息
来源: 评论
Service-Oriented Design and Verification of Hybrid control systems  20th
Service-Oriented Design and Verification of Hybrid Control S...
收藏 引用
20th international conference on Formal Engineering Methods (ICFEM)
作者: Liebrenz, Timm Tech Univ Berlin Software & Embedded Syst Engn Berlin Germany
Hybrid control systems combine discrete and continuous behavior. they switch between discrete control states and influence continuous values that evolve according to differential equations.
来源: 评论
Metal based additive layer manufacturing: variations, correlations and process control  20th
Metal based additive layer manufacturing: variations, correl...
收藏 引用
20th international conference on Knowledge - Based and Intelligent Information and Engineering systems (KES)
作者: O'Regan, Paul Prickett, Paul Setchi, Rossi Hankins, Gareth Jones, Nick Cardiff Sch Engn Newport Rd Cardiff CF24 3AA S Glam Wales Renishaw Plc Wotton Under Edge GL12 8JR Glos England
Additive layer manufacturing is emerging as the next generation in part manufacture. It is being adopted by aerospace, tool making, dental and medical industries to produce and develop new conceptual designs and produ... 详细信息
来源: 评论
Design Strategies and Optimizations for Human-Data Interaction systems in Museums  20
Design Strategies and Optimizations for Human-Data Interacti...
收藏 引用
20th IEEE international conference on Advanced Learning Technologies (ICALT)
作者: Alhakamy, A'aeshah Cafaro, Francesco Trajkova, Milka Kankara, Sreekanth Mallappa, Rashmi Vedak, Sanika Indiana Univ Purdue Univ Indianapolis IUPUI Indianapolis IN 46202 USA Univ Tabuk Tabuk Saudi Arabia
Embodied interaction is particularly useful in museums because it allows to leverage findings from embodied cognition to support the learning of STEM concepts and thinking skills. In this paper, we focus on Human-Data... 详细信息
来源: 评论
Software for Efficient LMI-based Robust MPC Design  20
Software for Efficient LMI-based Robust MPC Design
收藏 引用
20th international conference on Process control (PC)
作者: Oravec, Juraj Bakosova, Monika Slovak Univ Technol Bratislava Inst Informat Engn Automat & Math Bratislava Slovakia
Robust MPC is an advanced control strategy to optimize control performance subject to the constraints of the system inputs/outputs and in the presence of bounded disturbance. the paper presents novel MATLAB/Simulink M... 详细信息
来源: 评论
Congestion feedback control for computer networks with bandwidth estimation  20
Congestion feedback control for computer networks with bandw...
收藏 引用
20th international conference on Methods and Models in Automation and Robotics (MMAR)
作者: Grzyb, Slawomir Orlowski, Przemyslaw West Pomeranian Univ Technol Fac Elect Engn Szczecin Poland
Effective congestion control allows networks to operate in region of low delay and high throughput. these characteristics seem to be the most required from network environment properties. To achieve high transfer rate... 详细信息
来源: 评论
Multi-Objectives Refinement of AADL Models for the Synthesis Embedded systems (μ-RAMSES)  20
Multi-Objectives Refinement of AADL Models for the Synthesis...
收藏 引用
20th international conference on Engineering of Complex computer systems (ICECCS)
作者: Rahmoun, Smail Borde, Etienne Pautet, Laurent Inst Technol Res SystemX 8 Ave Vauve F-91120 Palaiseau France Univ Paris Saclay Telecom ParisTech CNRS LTCI F-75013 Paris France
Model transformation has become now well established as an approach to control and automate the production of the software targeted at large or embedded systems. However, this approach still lacks the ability to be fu... 详细信息
来源: 评论
A New Bound in Information theory
A New Bound in Information Theory
收藏 引用
international conference on control systems and computer science (cscs)
作者: George Pantelimon Popescu Emil-Ioan Slusanschi Computer Science and Engineering Departament University Politehnica of Bucharest Bucharest Romania
Shannon Entropy, for discrete-valued random variables, plays important roles in information theory. the purpose of this paper is to present a new bound for the Shannon Entropy, by developing a refinement of Jensen'... 详细信息
来源: 评论
Forward Stochastic Reachability Analysis for Uncontrolled Linear systems using Fourier Transforms  20
Forward Stochastic Reachability Analysis for Uncontrolled Li...
收藏 引用
20th ACM international conference on Hybrid systems - Computation and control (HSCC) held as part of the 10th Cyber Physical systems Week (CPS Week)
作者: Vinod, Abraham P. HomChaudhuri, Baisravan Oishi, Meeko M. K. Univ New Mexico Elect & Comp Engn Albuquerque NM 87131 USA
We propose a scalable method for forward stochastic reachability analysis for uncontrolled linear systems with affine disturbance. Our method uses Fourier transforms to efficiently compute the forward stochastic reach... 详细信息
来源: 评论
Auxiliary Power Unit With SiC Device for Railroad Car  20
Auxiliary Power Unit With SiC Device for Railroad Car
收藏 引用
20th IEEE international conference on Electrical Machines and systems (ICEMS)
作者: Choi, Yeon-Woo So, Pyung-Ho Yi, Kang-Hyun Lee, Byoung-Hee Hanbat Natl Univ Dept Control & Instrumentat Engn Daejeon South Korea Daegu Univ Sch Elect & Elect Engn Gyongsan South Korea
In this paper, an auxiliary power unit (APU) for railroad car, which is applied a resonant DC/DC converter and a single-switch boost converter with SiC device, is proposed. the proposed circuit adopts SiC device in or... 详细信息
来源: 评论