检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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

ISBN: (纸本)9780976348696

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 method for searching MPs. this paper proposes a very efficient method to search for all MCs in aow network in terms of backtracking. Some benchmarks from the best-known algorithms in the litera-ture are examined and compared. the results show that the efficiency of the method is excellent.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781908549082

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 physical systems is very important as their failure may cause catastrophic loss of life and /or properties. In this paper, we extend the Architecture Analysis and Design Language (AADL) to model physical world, continuous dynamic features and spatial-temporal requirements of railway cyber physical systems. We propose a method to transform the rule of Cellular Automata (CA) to AADL model for modeling spatial-temporal requirements and we propose an approach to describe the continuous dynamic features in AADL and transform the Modelica model to AADL model. the proposed method is illustrated by specification and modeling of communication based train control system (CBTC). © 2013 Chinese Automation and Computing Society in the UK - CACS.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783030243081

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 enabling to control flexibility and security (and to some extent also reliability/availability). the proposed solution enables agile involvement of people into processes. It simplifies solution of rare cases or emergency situations. It can be used during system development and maintenance. We discuss some implementation details.

关键词： Software quality aspects control Software confederations System flexibility

来源：评论

学校读者我要写书评

暂无评论

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) are using the same channel, it occurs the problem of unfair channel access time and downlink channel. In this paper, we propose a scheme to achieve a good balance of QoS, fairness and downlink/uplink traffic asymmetry by the combined operation of channel access priority control and packet scheduling with require modification only to AP and require no changes in STAs. (C) 2015 the Authors. Published by Elsevier B.V.

关键词： Wireless LAN Packet scheduling Priority control QoS fairness traffic asymmetry

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)1891706349

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 part of technological culture, and the amount of these kinds of data that exists is staggering. Humans interpret depth information using prior knowledge that a computer lacks. this prior knowledge stems from remembered observance of the basic laws of physics. While the computer lacks the intuitive understanding of these principal physical properties, it is capable of determining more precise information through calculation. Herein the authors explore the information that can be gained from an amalgamation of QSR methods and physics, and present some preliminary results from an implementation based on this powerful combination. © 2013 by Knowledge systems Institute Graduate School.

关键词： Stereo image processing

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781665494571

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 networks are under more and more network security threats. Furthermore, most applications of industrial control networks belong to critical infrastructure, so to guarantee the security of industrial control networks has become more significant, and the defense of it is one of the essential issues in need of being solved. this paper focuses on studying the active protection for the security of industrial control networks and discusses the role of honeypot in the network security for the defense strategy of the industrial control network. Firstly, this paper introduces the theoretical knowledge of honeypots. Secondly, it analyzes the existing problems and development prospects of the honeypot. And finally, under the background of the industrial control network, it designs the SSH honeypot based on Transmission control Protocol/Internet Protocol (TCP/TP), which is divided into two modules, including SSH information collection and alarm. this system can deploy based on the Docker of Linux. through simulation practice, it proves that honeypot can effectively capture the attackers' attack and make an early warning to improve network security. © 2021 IEEE.

关键词： Industrial control Linux TCPIP Production Network security Critical infrastructure

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Distributed control Platform for a Smart Building Testbed 23

Design and Implementation of a Distributed Control Platform ...

引用

作者： Puryear, Nathan Zaman, Mostafa Eini, Roja Abdelwahed, Sherif Virginia Commonwealth University Department of Electrical and Computer Engineering RichmondVA United States

ISBN: (纸本)9781665494571

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' comfort, safety, and efficiency. In this paper, a smart building testbed is designed and constructed as a cyber-physical system that allows testing and validating building control algorithms, communication networks, and user interfaces. the building control unit is responsible for optimizing the performance of testbed actuators (thermal, lighting, and access systems), whereby building parameters are aggregated via a set of distributed sensors and communicated to a management system. this data is observed and analyzed by the control system to produce optimal control commands. the building communication network is developed based on the Message Queuing Telemetry Transport (MQTT) protocol, in which subscribers receive the measurement data, format it, and send it to the user-interface unit. the user interface is implemented in a Node-RED platform, where the data is visualized in real-time, and users are capable of interacting with the automation system. Experimental results demonstrate the usefulness of such a prototype for smart building monitoring and control research. © 2021 IEEE.

关键词： Smart buildings Smart homes thermal sensors thermal management Sensor systems Safety Internet of things

来源：评论

学校读者我要写书评

暂无评论

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... 详细信息

ISBN: (纸本)9781467361408

关键词： Clocks Context Radiation detectors Abstracts Multi-agent systems Mathematical model Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)1891706349

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 home. When the pet is motionless or super-active for a prolonged period of time, the owner will be alerted. the architecture of the PetCare system allows easy expansion to add more functionalities. Experimental results confirm this slow intelligence approach leads to performance improvements. Similar slow intelligence principles can be applied to the design of a Senior Patient Care system that share many similar characteristics of the PetCare system. © 2013 by Knowledge systems Institute Graduate School.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450339551

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 introduce the notion of a directed specification, which describes either upper or lower sets in a partially ordered signal space, and show that, this notion encompasses an expressive temporal logic fragment. We next show that the order preserving nature of monotone dynamical systems makes them amenable to a systematic form of assumption mining that checks numerical simulations of system trajectories against directed specifications. the assumption set is then located with a multidimensional bisection method that converges to the boundary from above and below. Typical objectives in vehicular traffic control, such as avoiding or clearing congestion, are directed specifications. In an application to a freeway flow model with monotone dynamics, we identify the set, of vehicular demand profiles that satisfy a specification that congestion be intermittent.

关键词： Monotone Dynamical systems Tempor Logic Partially Ordered Sets Assumption Mining

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共120页 << < 7 8 9 10 11 12 13 14 15 16 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：