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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

289 篇 会议
282 篇 期刊文献
11 册 图书

馆藏范围

582 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

359 篇 工学
- 254 篇 计算机科学与技术...
- 214 篇 软件工程
- 84 篇 信息与通信工程
- 83 篇 控制科学与工程
- 46 篇 电气工程
- 43 篇 生物工程
- 37 篇 机械工程
- 32 篇 电子科学与技术（可...
- 24 篇 光学工程
- 23 篇 生物医学工程（可授...
- 19 篇 动力工程及工程热...
- 17 篇 仪器科学与技术
- 11 篇 化学工程与技术
- 10 篇 安全科学与工程
- 9 篇 力学（可授工学、理...
- 8 篇 材料科学与工程（可...
200 篇 理学
- 112 篇 数学
- 46 篇 生物学
- 42 篇 物理学
- 39 篇 系统科学
- 33 篇 统计学（可授理学、...
- 15 篇 化学
93 篇 管理学
- 64 篇 管理科学与工程(可...
- 32 篇 图书情报与档案管...
- 31 篇 工商管理
20 篇 医学
- 16 篇 临床医学
- 13 篇 基础医学(可授医学...
- 9 篇 药学(可授医学、理...
14 篇 法学
- 13 篇 社会学
9 篇 经济学
- 9 篇 应用经济学
9 篇 农学
5 篇 教育学
1 篇 文学
1 篇 艺术学

主题

20 篇 automation
14 篇 reinforcement le...
13 篇 computational mo...
12 篇 deep learning
12 篇 artificial intel...
12 篇 training
11 篇 blockchain
10 篇 computer science
9 篇 laboratories
8 篇 optimization
8 篇 semantics
8 篇 feature extracti...
8 篇 machine learning
8 篇 robustness
7 篇 neural networks
7 篇 quality of servi...
7 篇 control systems
7 篇 humans
7 篇 testing
7 篇 mathematical mod...

机构

43 篇 the pillar of in...
40 篇 the school of au...
33 篇 the school of co...
26 篇 school of automa...
25 篇 department of au...
22 篇 school of comput...
21 篇 pillar of inform...
15 篇 the department o...
13 篇 college of autom...
13 篇 the department o...
13 篇 institute of aut...
11 篇 school of artifi...
9 篇 the department o...
9 篇 the department o...
9 篇 state key labora...
8 篇 state key labora...
7 篇 department of au...
6 篇 department of au...
6 篇 department of el...
6 篇 guangdong-hongko...

作者

63 篇 niyato dusit
63 篇 xiong zehui
63 篇 kang jiawen
42 篇 du hongyang
24 篇 kim dong in
23 篇 shen xuemin
16 篇 xu minrui
15 篇 mao shiwen
13 篇 wang jiacheng
11 篇 jamalipour abbas
10 篇 johansson karl h...
10 篇 han zhu
10 篇 zhang ruichen
9 篇 liu yinqiu
9 篇 gao feifei
9 篇 hangos katalin m...
8 篇 zehui xiong
8 篇 jiawen kang
8 篇 qi guanqiu
8 篇 guanqiu qi

语言

546 篇 英文
34 篇 其他
3 篇 中文

检索条件"机构=Department of Information and Computer Systems in Automation"

共 582 条记录，以下是441-450 订阅

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

详细简洁

排序：

Multiple-image encryption by compressive holography

Multiple-image encryption by compressive holography

引用

作者： Di, Hong Zheng, Kangfeng Zhang, Xin Lam, Edmund Y. Kim, Taegeun Kim, You Seok Poon, Ting-Chung Zhou, Changhe Information Security Center Beijing University of Posts and Telecommunications Beijing 100876 China National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing 100190 China Imaging Systems Laboratory Department of Electrical and Electronic Engineering University of Hong Kong Pokfulam Road Hong Kong Hong Kong Department of Optical Engineering Sejong University 98 Kunja-dong Kwangjin-gu Seoul 134-747 Korea Republic of Bradley Department of Electrical and Computer Engineering Virginia Tech Blacksburg VA 24061 United States Shanghai Institute of Optics and Fine Mechanics Chinese Academy of Sciences P.O. Box 800-211 Shanghai 201800 China

We present multiple-image encryption (MIE) based on compressive holography. In the encryption, a holographic technique is employed to record multiple images simultaneously to form a hologram. The twodimensional Fourier data of the hologram are then compressed by nonuniform sampling, which gives rise to compressive encryption. Decryption of individual images is cast into a minimization problem. The minimization retains the sparsity of recovered images in the wavelet basis. Meanwhile, total variation regularization is used to preserve edges in the reconstruction. Experiments have been conducted using holograms acquired by optical scanning holography as an example. computer simulations of multiple images are subsequently demonstrated to illustrate the feasibility of the MIE scheme. © 2012 Optical Society of America.

关键词： Holograms

来源：评论

学校读者我要写书评

暂无评论

Parallel saturation based model checking

Parallel saturation based model checking

引用

2011 10th International Symposium on Parallel and Distributed Computing, ISPDC 2011

作者： Voros, András Szabo, Tamás Jámbor, Attila Darvas, Dániel Horváth, Akos Bartha, Tamás Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9780769545400

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. In this paper, we examine an existing parallel model checking algorithm and we propose improvements to eliminate some computational bottlenecks. Our measurements show that the resulting new algorithm has better scalability and performance than both the former parallel approach and the sequential algorithm. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Discrete event model structure identification using process mining

Discrete event model structure identification using process ...

引用

31st IASTED International Conference on Modelling, Identification, and Control, MIC 2011

作者： Werner-Stark, Agnes Gerzson, Miklós Hangos, Katalin M. Department of Electrical Engineering and Information Systems University of Pannonia Egyetemstr. 10 Veszprém Hungary Process Control Research Group Computer and Automation Research Institute HAS Budapest Hungary

ISBN: (纸本)9780889868632

A novel structure identification procedure for discrete event systems described by Petri nets are proposed in this paper for model-based diagnostic purposes that utilize the notions and tools of process mining. The identification of the structurally different discrete event system models describing a system in its normal and/or faulty modes was used for model-based isolation of the considered faulty modes. From the available process mining techniques that allow for the automatic construction of process models in Petri net form based on event logs, the genetic algorithm-based structure identification procedure has been found to be most capable of identifying the characteristic structural elements of the faulty models. The proposed procedures are illustrated on a simple example of an operated parking gate automaton with two faulty modes.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Knowledge-based diagnosis of process systems using procedure HAZID information

Knowledge-based diagnosis of process systems using procedure...

引用

Lecture Notes in computer Science

作者： Werner-Stark, Ágnes Németh, Erzsébet Hangos, Katalin M. Department of Electrical Engineering and Information Systems University of Pannonia Veszprém Hungary School of Chemical Engineering University of Queensland Brisbane QLD Australia Process Control Research Group Systems and Control Laboratory Computer and Automation Research Institute Budapest Hungary

ISBN: (纸本)9783642238536

Earlier investigations show that the results of hazard identification (HAZID) and analysis (e.g. HAZOP or FMEA) can effectively be used for knowledge-based diagnosis of complex process systems in their steady-state operation. In order to extend this approach for transient operating conditions controlled by operating procedures, the notion of nominal input-output event sequences of qualitative signals has been introduced, and the deviations used in the procedure HAZID analysis have been defined therefrom. The diagnosis can then be performed algorithmically by matching the deviation sequences of the observed input-output event sequences and the nominal ones generated by qualitative dynamic models. The concepts and methods are illustrated using a simple case study consisting of a simple tank, controlled by an operating procedure. © 2011 Springer-Verlag.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

Computing realizations of reaction kinetic networks with given properties

Computing realizations of reaction kinetic networks with giv...

引用

International Research Workshop: Coping with Complexity: Model Reduction and Data Analysis

作者： Szederkényi, Gábor Hangos, Katalin M. Csercsik, Dávid Process Control Research Group Computer and Automation Research Institute Hungarian Academy of Sciences Budapest 1518 Hungary Department of Electrical Engineering and Information Systems University of Pannonia Egyetem u. 10 Veszprém 8200 Hungary

ISBN: (纸本)9783642149405

The solution to the problem of finding the reaction kinetic realization of a given system obeying the mass action law containing the minimal/maximal number of reactions and complexes is shown in this paper. The proposed methods are based on Mixed Integer Linear Programming where the mass action kinetics is encoded into the linear constraints. Although the problems are NP-hard in the current setting, the developed algorithms give a usable answer to some of the questions first raised in [1].

关键词： Reaction kinetics

来源：评论

学校读者我要写书评

暂无评论

Experiment design for Pauli channel estimation

Experiment design for Pauli channel estimation

引用

作者： Balló, Gábor Hangos, Katalin M. Department of Electrical Engineering and Information Systems University of Pannonia Egyetem u. 10 H-8200 Veszprém Hungary Systems and Control Laboratory Computer and Automation Research Institute Hungarian Academy of Sciences P.O. Box 63 H-1518 Budapest Hungary

ISBN: (纸本)9783902661937

Experiment design for quantum channel parameter estimation includes the design of the quantum input to the channel and the observables to be applied on the resulting quantum output system, called the experiment configuration. An experiment design procedure based on maximizing the Fisher information of the qubit Pauli channel parameters is presented in this paper. It can be shown that the Fisher information is a convex function in both the input and the experiment configuration parameters. This leads to an optimal setting that includes pure input states and projective measurements directed towards the channel directions. An iterative method of estimating the channel directions is also proposed. © 2011 IFAC.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Mass action realizations of reaction kinetic system models on various time scales

Mass action realizations of reaction kinetic system models o...

引用

作者： Hangos, K.M. Szederkényi, G. Process Control Research Group Computer and Automation Reseach Institute Kende u. 13-17 Budapest H-1111 Hungary Department of Electrical Engineering and Information Systems University of Pannonia Egyetem u. 10 Veszprém Hungary

Complex chemical reaction networks often exhibit different dynamic behaviour on different time scales. A combined approach is proposed in this work for determining physically meaningful mass action realizations of complex chemical reaction networks that describe its dynamic behaviour on different time scales. This is achieved by appropriately reducing the detailed overall mass action kinetic scheme using quasi steady state assumptions fit to the particular time scale, and then searching for an optimal realization using mixed integer linear programing. Furthermore, the relationship between the properties (reversibility, deficiency, stability) of the obtained realizations of the same system on different time scales are also investigated and related to the same properties of the detailed overall model. It is shown that the reduced models obtained by quasi steady state assumptions may show exotic nonlinear behaviour, such as oscillations, when the original detailed is globally asymptotically stable. The proposed methods are illustrated by using a simple Michaelis-Menten type reaction kinetic example. The simplified versions of the well known Brusselator model have also been investigated and presented as a case study. © Published under licence by IOP Publishing Ltd.

关键词： Reaction kinetics

来源：评论

学校读者我要写书评

暂无评论

Structural Health Monitoring in Wireless Sensor Networks by the Embedded Goertzel Algorithm

Structural Health Monitoring in Wireless Sensor Networks by ...

引用

IEEE/ACM International Conference on Cyber-Physical systems (ICCPS)

作者： Maurizio Bocca Janne Toivola Lasse M. Eriksson Jaakko Hollmén Heikki Koivo Department of Automation and Systems Technology School of Electrical Engineering Aalto University Helsinki Finland Department of Automation and Systems Technology School of Electrical Engineering Department of Information and Computer Science School of Science Aalto University Helsinki Finland

Structural health monitoring aims to provide an accurate diagnosis of the condition of civil infrastructures during their life-span by analyzing data collected by sensors. To this purpose, detection and localization of damages are fundamental tasks. This paper introduces a wireless sensor network for structural damage detection and localization in which the sensor nodes, in order to estimate the energies of specific frequency bands, process the acceleration data locally in real-time using the Goertzel algorithm. The nodes then share their results inside the network and exploit them to compute transmissibility functions, which can be exploited as damage indicators and for correctly localizing damages within the monitored structure. The use of the embedded Goertzel algorithm prevents the nodes from transmitting large volumes of acceleration data to the sink node for off-line analysis, reducing the latency and increasing the life time of the cyber-physical system by 80 % and 52 %, respectively. The tests performed on a truss structure confirm the capability of the distributed approach in correctly detecting and localizing structural damages.

关键词： Monitoring Wireless sensor networks Algorithm design and analysis Acceleration Accelerometers Real time systems Random access memory

来源：评论

学校读者我要写书评

暂无评论

Parallel Saturation Based Model Checking

Parallel Saturation Based Model Checking

引用

International Symposium on Parallel and Distributed Computing

作者： Andr´s Voros Tam´s Szabo Attila J´mbor D´niel Darvas Akos Horv´th Tam´s Bartha Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

关键词： Synchronization Instruction sets Data structures Computational modeling Algorithm design and analysis Firing Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

Random search with k-prototypes algorithm for clustering mixed datasets

Random search with k-prototypes algorithm for clustering mix...

引用

作者： Pham, Duc-Truong Suarez-Alvarez, Maria M. Prostov, Yuriy I. Manufacturing Engineering Centre School of Engineering Cardiff University Cardiff CF24 3AA United Kingdom Department of Information Systems College of Computer and Information Sciences King Saud University Riyadh 11543 Saudi Arabia Department of Higher Mathematics Moscow Institute of Radio Engineering Electronics and Automation-Technical University 78 Vernadskogo pr. Moscow 117454 Russia

A new algorithm to cluster datasets with mixed numerical and categorical values is presented. The algorithm, called RANKPRO (random search with k-prototypes algorithm), combines the advantages of a recently introduced population-based optimization algorithm called the bees algorithm (BA) and k-prototypes algorithm. The BA works with elite and good solutions, and continues to look for other possible extrema solutions keeping the number of testing points constant. However, the improvement of promising solutions by the BA may be time-consuming because it is based on random neighbourhood search. On the other hand, an application of the k-prototypes algorithm to a promising solution may be very effective because it improves the solution at each iteration. The RANKPRO algorithm balances two objectives: it explores the search space effectively owing to random selection of new solutions, and improves promising solutions fast owing to employment of the k-prototypes algorithm. The efficiency of the new algorithm is demonstrated by clustering several datasets. It is shown that in the majority of the considered datasets when the average number of iterations that the k-prototypes algorithm needs to converge is over 10, the RANKPRO algorithm is more efficient than the k-prototypes algorithm. © 2011 The Royal Society.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 41 42 43 44 45 46 47 48 49 50 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：