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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,763 篇 会议
59 册 图书
56 篇 期刊文献

馆藏范围

2,878 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,344 篇 工学
- 1,186 篇 计算机科学与技术...
- 621 篇 软件工程
- 273 篇 电气工程
- 174 篇 电子科学与技术（可...
- 161 篇 控制科学与工程
- 147 篇 信息与通信工程
- 52 篇 动力工程及工程热...
- 49 篇 机械工程
- 20 篇 建筑学
- 19 篇 仪器科学与技术
- 19 篇 土木工程
- 19 篇 航空宇航科学与技...
- 18 篇 交通运输工程
- 17 篇 安全科学与工程
- 16 篇 材料科学与工程（可...
- 15 篇 生物工程
- 14 篇 力学（可授工学、理...
- 13 篇 光学工程
- 13 篇 生物医学工程（可授...
287 篇 理学
- 176 篇 数学
- 87 篇 系统科学
- 42 篇 物理学
- 34 篇 统计学（可授理学、...
- 20 篇 生物学
- 12 篇 化学
149 篇 管理学
- 126 篇 管理科学与工程(可...
- 57 篇 工商管理
- 30 篇 图书情报与档案管...
24 篇 法学
- 24 篇 社会学
22 篇 经济学
- 22 篇 应用经济学
10 篇 医学
7 篇 教育学
6 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

722 篇 computational mo...
618 篇 computer archite...
361 篇 hardware
223 篇 embedded systems
142 篇 embedded system
136 篇 analytical model...
134 篇 computer simulat...
131 篇 application soft...
122 篇 real time system...
119 篇 mathematical mod...
115 篇 field programmab...
98 篇 program processo...
90 篇 embedded computi...
85 篇 kernel
83 篇 computer science
80 篇 software
79 篇 parallel process...
78 篇 registers
74 篇 control systems
73 篇 resource managem...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 shanghai univ sc...
7 篇 center for embed...
7 篇 fraunhofer iese ...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 eindhoven univer...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of tw...
5 篇 university of te...

作者

20 篇 leupers rainer
18 篇 soudris dimitrio...
18 篇 pimentel andy d.
17 篇 ascheid gerd
16 篇 dimitrios soudri...
16 篇 blume holger
13 篇 rainer leupers
12 篇 fornaciari willi...
12 篇 gerd ascheid
11 篇 jung matthias
11 篇 holger blume
10 篇 andy d. pimentel
10 篇 fettweis gerhard
9 篇 kostas siozios
9 篇 takala jarmo
9 篇 hamalainen timo ...
9 篇 wehn norbert
8 篇 siozios kostas
8 篇 pnevmatikatos di...
8 篇 f. fummi

语言

2,847 篇 英文
23 篇 其他
9 篇 中文

检索条件"任意字段=International Conference on Embedded Computer Systems -Architectures, Modeling and Simulation"

共 2878 条记录，以下是461-470 订阅

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

详细简洁

排序：

Towards Customizable CPS: Composability, Efficiency and Predictability 19th

Towards Customizable CPS: Composability, Efficiency and Pred...

引用

19th international conference on Formal Engineering Methods (ICFEM)

作者： Yi, Wang Uppsala Univ Uppsala Sweden

ISBN: (纸本)9783319686905;9783319686899

Today, many industrial products are defined by software, and therefore customizable by installing new applications on demand - their functionalities are implemented by software and can be modified and extended by software updates. This trend towards customizable products is extending into all domains of IT, including Cyber-Physical systems (CPS) such as cars, robotics, and medical devices. However, these systems are often highly safety-critical. The current state-of-practice allows hardly any modifications once safety-critical systems are put in operation. This is due to the lack of techniques to preserve crucial safety conditions for the modified system, which severely restricts the benefits of software. This work aims at new paradigms and technologies for the design and safe software updates of CPS at operation-time - subject to stringent timing constraints, dynamic workloads, and limited resources on complex computing platforms. Essentially there are three key challenges: Composability, Resource-Efficiency and Predictability to enable modular, incremental and safe software updates over system life-time in use. We present research directions to address these challenges: (1) Open architectures and implementation schemes for building composable systems, (2) Fundamental issues in real-time scheduling aiming at a theory of multi-resource (inc. multiprocessor) scheduling, and (3) New-generation techniques and tools for fully separated verification of timing and functional properties of real-time systems with significantly improved efficiency and scalability. The tools shall support not only verification, but also code generation tailored for both co-simulation (interfaced) with existing design tools such as Open Modelica (for modeling and simulation of physical components), and deployment on given computing platforms.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Analysis of Cyber Physical systems Security Issue via Uncertainty Approaches

Analysis of Cyber Physical Systems Security Issue via Uncert...

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Ge, Hui Yue, Dong Xie, Xiang-peng Deng, Song Hu, Song-lin Nanjing Univ Posts & Telecommun Sch Automat Nanjing 210023 Jiangsu Peoples R China Nanjing Univ Posts & Telecommun Inst Adv Technol Nanjing 210023 Jiangsu Peoples R China China Three Gorges Univ Hubei Prov Collaborat Innovat Ctr New Energy Micr Yichang 443002 Peoples R China

ISBN: (纸本)9789811063701;9789811063695

From security perspective, cyber physical system (CPS) security issue is investigated in this note. Based on a double-loop security control structure, the typical cyber attack called information disclosure, denial-of-service (DoS), deception attack and stealth attack are analyzed from uncertainty perspective. The performance of these attacks are formulated, meaningful models are proposed meanwhile. According to aforementioned attacks, security control scenarios are obtained via the character of each kind cyber attack. And some novel results are obtained via a well designed double closed loop structure. At last, from traditional standpoint, uncertainties of a separately excited DC motor is taken as an example to demonstrate the problem.

关键词： Cyber physical systems Security control System uncertainty Separated excited DC motor

来源：评论

学校读者我要写书评

暂无评论

Observer-Based H_∞ Output Feedback Control for Switched systems with Sojourn Probability Method

Observer-Based <i>H</i><sub>∞</sub> Output Feedback Control...

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Wang, Lei Li, Juan Tian, Engang Hu, Yinghui Nanjing Normal Univ Sch Elect Engn & Automat Engn Nanjing 210042 Jiangsu Peoples R China

ISBN: (纸本)9789811063732;9789811063725

This paper investigates the observer-based H-infinity output feedback control for a class of switched systems with time delay. Different from some existing methods, the switching rule in the considered systems is governed by the sojourn probability information (the probability of the switched system staying in one subsystem). In order to rebuild the switched systems and utilize those probability information, a set of random variables are introduced to represent the switching law of the switched systems. The expectation of the random variable is the sojourn probability of the subsystems. In such a way, new type of switched systems with random variables are built. The purpose of the addressed problem is to design the observer-based output feedback controller and to obtain sufficient conditions for the mean square stability of the system. By using a multiple Lyapunov functional method, one theorem is derived, and the controller and observer gains can be computed by solving a set of linear matrix inequalities. A simulation example is proposed to illustrate the effectiveness of the developed design method.

关键词： Switched systems Sojourn probability Multiple Lyapunov functional method Observer

来源：评论

学校读者我要写书评

暂无评论

32nd international conference, ISC High Performance, 2017

32nd International Conference, ISC High Performance, 2017

引用

32nd international conference, ISC High Performance, 2017

ISBN: (纸本)9783319586663

The proceedings contain 22 papers. The special focus in this conference is on Proxy Applications and Energy-Aware Computing. The topics include: Fully resolved simulations of dune formation in riverbeds;tile low rank cholesky factorization for climate/weather modeling applications on manycore architectures;extreme scale fused seismic simulations with the discontinuous galerkin method;communication reducing algorithms for distributed hierarchical N-body problems with boundary distributions;on the-fly efficient mining of evolving graphs on GPU;accelerating seismic simulations using the Intel Xeon phi knights landing processor;a framework for out of memory SVD algorithms;a mini-application framework to improve neural simulators;gearshifft - the FFT benchmark suite for heterogeneous platforms;an overview of MPI characteristics of exascale proxy applications;fast matrix-free discontinuous galerkin kernels on modern computer architectures;a new parallel research kernel to expand research on dynamic load-balancing capabilities;extreme event analysis in next generation simulation architectures;an analysis of core - and chip-level architectural features in four generations of Intel server processors;alleviating I/O interference through workload aware striping and load-balancing on parallel file systems;designing dynamic and adaptive MPI point-to-point communication protocols for efficient overlap of computation and communication;diagnosing performance variations in HPC applications using machine learning;a vehicle for HPC community collaboration on co-designed energy management solutions and metrics for energy-aware software optimisation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Jamming Attacks Against Control systems: A Survey

Jamming Attacks Against Control Systems: A Survey

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Dong, Yanbo Zhou, Peng Shanghai Univ Sch Mechatron Engn & Automat Shanghai 200072 Peoples R China

ISBN: (纸本)9789811063732;9789811063725

Modern control systems are now combining advanced network technology for control optimization and efficiency, but, on the other side, induce network attack as a new threat to control security. A typical network attack targeting control systems is Denial of Service (DoS) jamming attack. This attack can disable control operations by simply flooding network traffic to the control-network channels, and therefore is easy to deploy and hard to defend. In this paper, we conduct a comprehensive review on this attack and report our results in three aspects: the attacking strategies of jamming attack, the defending solutions to this attack and the arms race between them. To this end, we also discuss the potential research directions on this topic.

关键词： Network control system DoS Jamming attack

来源：评论

学校读者我要写书评

暂无评论

Cyber Security Against Denial of Service of Attacks on Load Frequency Control of Multi-area Power systems

Cyber Security Against Denial of Service of Attacks on Load ...

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Shen, Yubin Fei, Minrui Du, Dajun Zhang, Wenjun Stankovic, Srdjan Rakic, Aleksandar Shanghai Univ Sch Mechatron Engn & Automat Dept Automat Shanghai Key Lab Power Stn Automat Technol Shanghai 200072 Peoples R China Shanghai Univ Sch Commun & Informat Engn Shanghai Peoples R China Univ Belgrade Sch Elect Engn Belgrade Serbia

ISBN: (纸本)9789811063640;9789811063633

While open communication infrastructures are embedded into multi-area power systems to support data transmittion, it make communication channels vulnerable to cyber attacks, reliability of power systems is affected. This paper studies the load frequency control (LFC) of multi-area power systems under DoS attacks. The state space model of power systems under DoS attacks is formulated, where event-triggered control scheme is integrated for the multi-area power systems under DoS attacks. By utilizing average dwell time design approach, exponential stability and L-2-gain of the multi-area power systems can be obtained for event-triggered LFC scheme under DoS attacks, if choosing an unavailability rate of communication channels for DoS attacks properly. Finally, the example shows that the convergences of frequency deviation of three-area power systems are compared under different DoS attack scenarios, when the proportion of the total time of DoS attacks can obtain the result properly.

关键词： Denial-of-Service (DoS) attacks Multi-area power systems Load frequency control (LFC) Event-triggered mechanism

来源：评论

学校读者我要写书评

暂无评论

Digital Proceedings of the 24th EG-ICE international Workshop on Intelligent Computing in Engineering 2017

Digital Proceedings of the 24th EG-ICE International Worksho...

引用

24th EG-ICE international Workshop on Intelligent Computing in Engineering 2017

The proceedings contain 34 papers. The topics discussed include: impact of zoning strategies for building performance simulation;towards energy efficient operational patterns in air handling units in highly sensed buildings;an embedded algorithm for detecting and accommodating synchronization effects in wireless SHM systems;a computational paradigm for the optimisation of steel building structures based on cost and carbon indexes in early design stages;collaborative BIM reconstruction on mobile consumer devices;construction health and safety management { a methodological review towards a smart and holistic approach;application of graph databases and graph theory concepts for advanced analysing of BIM models based on IFC standard;using a knowledge based system for automatic site equipment planning;parametric information modelling of mechanised tunnelling projects for multi-level decision support;computer technology for serious gaming in education: a literature review;deep neural network architectures for component-based machine learning model in building energy predictions;ifc-based modeling of cyber-physical systems in civil engineering;framework for shared visualization and real-time information flow to the construction site;and a case study application of unmanned aerial systems (UAS) on highway construction projects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

State Estimation-Based Security Control for Networked systems Under Hybrid Attacks

State Estimation-Based Security Control for Networked System...

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Zhang, Hao Peng, Chen Sun, Hongtao Shanghai Univ Sch Mechatron Engn & Automat Shanghai Key Lab Power Stn Automat Technol Shanghai 200072 Peoples R China

ISBN: (纸本)9789811063732;9789811063725

This paper is concerned with the security control of networked systems under denial of attacks and false data injection attacks. Firstly, an observer is designed to estimate the system state under hybrid attacks, and the system is modelled as a stochastic closed-loop system with an observer-based security controller. Then, by use of the Lyapunov theory, sufficient security stability and stabilization criteria are derived to ensure the asymptotically stable of the studied system in the mean-square sense under hybrid attacks. Finally, an example is given to illustrate the effectiveness of developed method.

关键词： State estimation DoS attacks False data injection attacks Security control

来源：评论

学校读者我要写书评

暂无评论

modeling and simulation of Intelligent Substation Network Under Intrusion Attack

Modeling and Simulation of Intelligent Substation Network Un...

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Huang, Xiaojuan Fu, Rong Tang, Yi Li, Mengya Yue, Dong Nanjing Univ Posts & Telecommun Coll Automat Nanjing 210023 Jiangsu Peoples R China Southeast Univ Coll Elect Engn Nanjing 210023 Jiangsu Peoples R China

ISBN: (纸本)9789811063701;9789811063695

Recent advancement in the integration of power systems and information communication technology has brought the key concerns towards security operation of cyber physical power system. This paper focuses on realizing the unified system modeling under intrusion attacks and refining the attack effects on communication network by simulation research. We start this survey with an overview of the system operation and crucial intrusion attacks associated with operational security from fusion system perspective. A novel limited stochastic Petri net (LSPN) graph theory is introduced to establish the unified firewall protection system model of intelligent substation network. By proposing quantitative computational methodology of communication throughput variation, the potential consequence on the communication network is determined with information transmission constraints. The final test on IEEE-30 node power system illustrates the usefulness of the proposed model analysis. The research work would raise awareness of the cyber intrusion threats and provide the basis for security defense.

关键词： Cyber physical system Communication throughput variation Intelligent substation network Petri net theory

来源：评论

学校读者我要写书评

暂无评论

Coverage and Control of Diffusion Process in Cyber-Physical systems

Coverage and Control of Diffusion Process in Cyber-Physical ...

引用

international conference on Life System modeling and simulation (LSMS) / international conference on Intelligent Computing for Sustainable Energy and Environment (ICSEE)

作者： Cao, Ke-cai Zhou, Fujiao Qian, Minglou Nanjing Univ Posts & Telecommun Nanjing 210003 Jiangsu Peoples R China Nanjing Univ Aeronaut & Astronaut Coll Automat Engn Nanjing 210003 Jiangsu Peoples R China

ISBN: (纸本)9789811063732;9789811063725

Coverage and control of a diffusion process using multiple robots have been studied in this paper. Two control strategies such as CVT (Centroidal Voronoi Tessellations)-Allocation-Motion Algorithm and CVT-Obstacles Avoidance-Motion Algorithm have been proposed for cooperative control of multiple robots in realizing the task of coverage and control of diffusion process that is modeled by parabolic partial differential equation. Reliability and transient performance have been improved based on the algorithms that is proposed in this paper. simulation results using Diff-MAS2D for the diffusion process illustrate the effectiveness of the theoretical results.

关键词： Diffusion process Win-stay and lose-switch Centroidal Voronoi Tessellations Decision making Obstacles Avoidance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共288页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：