咨询与建议

限定检索结果

文献类型

  • 1,157 篇 会议
  • 32 册 图书
  • 10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 878 篇 工学
    • 649 篇 计算机科学与技术...
    • 455 篇 软件工程
    • 240 篇 控制科学与工程
    • 158 篇 电气工程
    • 117 篇 信息与通信工程
    • 115 篇 机械工程
    • 56 篇 动力工程及工程热...
    • 46 篇 交通运输工程
    • 46 篇 安全科学与工程
    • 39 篇 生物工程
    • 35 篇 电子科学与技术(可...
    • 33 篇 生物医学工程(可授...
    • 31 篇 仪器科学与技术
    • 24 篇 网络空间安全
    • 21 篇 光学工程
    • 19 篇 力学(可授工学、理...
    • 18 篇 化学工程与技术
  • 279 篇 理学
    • 160 篇 数学
    • 49 篇 物理学
    • 49 篇 生物学
    • 49 篇 系统科学
    • 49 篇 统计学(可授理学、...
    • 33 篇 化学
  • 174 篇 管理学
    • 118 篇 管理科学与工程(可...
    • 86 篇 图书情报与档案管...
    • 55 篇 工商管理
  • 31 篇 医学
    • 30 篇 临床医学
    • 25 篇 基础医学(可授医学...
  • 20 篇 法学
    • 15 篇 社会学
  • 16 篇 经济学
    • 16 篇 应用经济学
  • 14 篇 教育学
  • 6 篇 农学
  • 1 篇 军事学

主题

  • 49 篇 control systems
  • 42 篇 computer science
  • 27 篇 real-time system...
  • 23 篇 access control
  • 21 篇 monitoring
  • 20 篇 hardware
  • 20 篇 mathematical mod...
  • 18 篇 process control
  • 17 篇 computational mo...
  • 16 篇 computer archite...
  • 16 篇 sensors
  • 15 篇 artificial intel...
  • 14 篇 software enginee...
  • 14 篇 smart cities
  • 14 篇 servers
  • 14 篇 software
  • 13 篇 neural networks
  • 13 篇 feature extracti...
  • 13 篇 equations
  • 13 篇 vehicles

机构

  • 10 篇 univ politehn bu...
  • 9 篇 computer science...
  • 7 篇 univ politehn bu...
  • 7 篇 college of compu...
  • 6 篇 three gorges int...
  • 6 篇 state key labora...
  • 5 篇 faculty of autom...
  • 4 篇 rudn univ people...
  • 4 篇 department of co...
  • 4 篇 school of comput...
  • 4 篇 faculty of compu...
  • 3 篇 division of elec...
  • 3 篇 department of sy...
  • 3 篇 department of el...
  • 3 篇 delft univ techn...
  • 3 篇 school of comput...
  • 3 篇 china three gorg...
  • 3 篇 department of au...
  • 3 篇 peter great st p...
  • 3 篇 chinese acad sci...

作者

  • 5 篇 li xiaokun
  • 4 篇 andrade rossana ...
  • 4 篇 yuan ye
  • 4 篇 nicolae tapus
  • 4 篇 wang haoran
  • 4 篇 wu hao
  • 4 篇 y. dote
  • 4 篇 guo xiwang
  • 4 篇 sterca adrian
  • 4 篇 qi liang
  • 4 篇 lucia vacariu
  • 4 篇 wang jiacun
  • 4 篇 smits aletta
  • 4 篇 detweiler chris
  • 4 篇 bartels ester
  • 3 篇 li weiling
  • 3 篇 vescan andreea
  • 3 篇 andrzej napieral...
  • 3 篇 mariana mocanu
  • 3 篇 octavian cret

语言

  • 1,173 篇 英文
  • 13 篇 其他
  • 10 篇 中文
  • 3 篇 俄文
检索条件"任意字段=19th International Conference on Control Systems and Computer Science, CSCS 2013"
1199 条 记 录,以下是101-110 订阅
排序:
Search for all MCs with backtracking
Search for all MCs with backtracking
收藏 引用
19th ISSAT international conference on Reliability and Quality in Design, RQD 2013
作者: Chen, Shin-Guang Department of Industrial Engineering and Management Tungnan University Taiwan
Backtracking is famous in computer science area, but no one has applied that concept in solving this problem. Back-tracking has successfully been applied to the search of MPs, and by now, it is still the fastest metho... 详细信息
来源: 评论
Modeling railway cyber physical systems based on AADL
Modeling railway cyber physical systems based on AADL
收藏 引用
19th international conference on Automation and Computing, ICAC 2013
作者: Zhang, Lichen Faculty of Computer Science and Technology Guangdong University of Technology Guangzhou 200062 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China
Railway cyber physical system observes, plans, controls and manages the trains and the track-side equipment so as to meet operational goals without compromising on safety requirements. the quality of railway cyber phy... 详细信息
来源: 评论
Software Architecture Enabling Effective control of Selected Quality Aspects  19th
Software Architecture Enabling Effective Control of Selected...
收藏 引用
19th international conference on Computational science and Its Applications (ICCSA)
作者: Zemlicka, Michal Kral, Jaroslav Charles Univ Prague Fac Math & Phys Malostranske Nam 25 Prague 11800 1 Czech Republic Zavod Tech AZD Praha Zirovn 3146-2 Prague 10600 10 Czech Republic Masaryk Univ Fac Informat Bot 68a Brno 60200 Czech Republic
the number of requirements on information and control systems features grows. they often contain flexibility, safety, reliability, and security. Balancing all these features is not easy. We propose architectural turn ... 详细信息
来源: 评论
Packet scheduling and access priority control for QoS and fairness in wireless LAN  19th
Packet scheduling and access priority control for QoS and fa...
收藏 引用
19th international conference on Knowledge Based and Intelligent Information and Engineering systems (KES)
作者: Kongsili, Luangxay Fujimoto, Akihiro Uchio, Fumitaka Wakayama Univ Fac Syst Engn Wakayama Wakayama 6408510 Japan Wakayama Univ Ctr Informat Sci Wakayama Wakayama 6408510 Japan
In recent years, the increasing demand for multi-media communication, even in the wireless mobile environment overcrowding, QoS (Quality of Service) is important. In such environment, since many mobile stations (STAs)... 详细信息
来源: 评论
Spatial temporal reasoning using QSR, physics, and image processing  19
Spatial temporal reasoning using QSR, physics, and image pro...
收藏 引用
19th international conference on Distributed Multimedia systems, DMS 2013
作者: Eloe, Nathan Leopold, Jennifer L Sabharwal, Chaman L Computer Science Department Missouri University of Science and Technology RollaMO65409 United States
Qualitative spatial reasoning (QSR) is a powerful tool in automated computer reasoning, a necessary step forward in fields like computer vision and media analysis. Stereo graphical media has rapidly become a prevalent... 详细信息
来源: 评论
Study on Active Defense of Honeypot-Based Industrial control Network  23
Study on Active Defense of Honeypot-Based Industrial Control...
收藏 引用
23rd IEEE international conference on High Performance Computing and Communications, 7th IEEE international conference on Data science and systems, 19th IEEE international conference on Smart City and 7th IEEE international conference on Dependability in Sensor, Cloud and Big Data systems and Applications, HPCC-DSS-SmartCity-DependSys 2021
作者: Wei, Xunsi Yang, Dequan Beijing Institute of Technology School of Computer Beijing100081 China Network Information Technology Center Beijing Institute of Technology Beijing100081 China
With the rapid development of information, network security and information have played an increasingly important role in national production. As a result, the environment and application of industrial control network... 详细信息
来源: 评论
Design and Implementation of a Distributed control Platform for a Smart Building Testbed  23
Design and Implementation of a Distributed Control Platform ...
收藏 引用
23rd IEEE international conference on High Performance Computing and Communications, 7th IEEE international conference on Data science and systems, 19th IEEE international conference on Smart City and 7th IEEE international conference on Dependability in Sensor, Cloud and Big Data systems and Applications, HPCC-DSS-SmartCity-DependSys 2021
作者: Puryear, Nathan Zaman, Mostafa Eini, Roja Abdelwahed, Sherif Virginia Commonwealth University Department of Electrical and Computer Engineering RichmondVA United States
One of the leading frontiers of the Internet of things (IoT) era, smart building systems have made modern homes more innovative, interconnected, and autonomous. the goal of a smart home system is to enhance users'... 详细信息
来源: 评论
Modeling and Proof of Event-Driven Interaction in Multi Agent systems in Event-B
Modeling and Proof of Event-Driven Interaction in Multi Agen...
收藏 引用
international conference on control systems and computer science (cscs)
作者: Lorina Negreanu Matei Popovici Computer Science Department University Politehnica of Bucharest Bucharest Romania
Due to their distinguishable features, specification and verification of multi-agent systems are non-trivial tasks. In this paper, we present the modeling and verification of event-driven interaction in multi-agent sy... 详细信息
来源: 评论
A petcare system designed by slow intelligence principles  19
A petcare system designed by slow intelligence principles
收藏 引用
19th international conference on Distributed Multimedia systems, DMS 2013
作者: Chang, Shi-Kuo Gao, Bin Kuang, Liqun Wang, Yingze Department of Computer Science University of Pittsburgh PittsburghPA United States Department of Computer Science and Technology North University of China TaiyuanShanxi China
In this paper we describe the design of a PetCare system following slow intelligence principles, so that its performance will improve gradually over time. the PetCare system uses a PC with webcam to monitor pet(s) at ... 详细信息
来源: 评论
Directed Specifications and Assumption Mining for Monotone Dynamical systems  19
Directed Specifications and Assumption Mining for Monotone D...
收藏 引用
19th international conference on Hybrid systems - Computation and control (HSCC)
作者: Kim, Eric S. Arcak, Murat Seshia, Sanjit A. Univ Calif Berkeley Dept Elect Engn & Comp Sci Berkeley CA 94720 USA
Given a dynamical system and a specification, assumption mining is the problem of identifying the set of admissble disturbance signals and initial states generate trajectories satisfying the specification. We first in... 详细信息
来源: 评论