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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,417 篇 会议
1,238 篇 期刊文献
23 册 图书

馆藏范围

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

日期分布

学科分类号

1,532 篇 工学
- 702 篇 计算机科学与技术...
- 627 篇 控制科学与工程
- 602 篇 软件工程
- 219 篇 电气工程
- 205 篇 机械工程
- 176 篇 信息与通信工程
- 151 篇 电子科学与技术（可...
- 117 篇 生物工程
- 88 篇 交通运输工程
- 86 篇 仪器科学与技术
- 84 篇 动力工程及工程热...
- 79 篇 生物医学工程（可授...
- 75 篇 光学工程
- 59 篇 化学工程与技术
- 55 篇 土木工程
- 52 篇 安全科学与工程
- 41 篇 航空宇航科学与技...
1,033 篇 理学
- 569 篇 数学
- 354 篇 系统科学
- 206 篇 统计学（可授理学、...
- 177 篇 物理学
- 147 篇 生物学
- 67 篇 化学
311 篇 管理学
- 223 篇 管理科学与工程(可...
- 102 篇 工商管理
- 91 篇 图书情报与档案管...
92 篇 医学
- 74 篇 临床医学
- 63 篇 基础医学(可授医学...
46 篇 法学
- 41 篇 社会学
44 篇 经济学
- 43 篇 应用经济学
27 篇 农学
13 篇 教育学
3 篇 文学
3 篇 艺术学
2 篇 军事学
1 篇 哲学
1 篇 历史学

主题

119 篇 control systems
57 篇 linear systems
51 篇 computer science
49 篇 optimization
48 篇 mathematical mod...
42 篇 nonlinear system...
42 篇 optimal control
41 篇 automatic contro...
39 篇 robustness
37 篇 stochastic syste...
35 篇 neural networks
35 篇 computational mo...
34 篇 stability analys...
33 篇 convergence
32 篇 trajectory
30 篇 robust control
30 篇 state estimation
28 篇 systems engineer...
28 篇 artificial intel...
27 篇 feature extracti...

机构

33 篇 beijing key labo...
29 篇 department of au...
24 篇 school of electr...
23 篇 computer enginee...
23 篇 department of co...
22 篇 division of deci...
21 篇 seventh research...
21 篇 division of deci...
20 篇 ieee
19 篇 department of co...
18 篇 department of co...
17 篇 department of au...
17 篇 division of deci...
17 篇 department of co...
16 篇 school of electr...
16 篇 department of co...
16 篇 faculty of artif...
16 篇 state key labora...
15 篇 school of contro...
14 篇 institute for dy...

作者

56 篇 johansson karl h...
49 篇 e. rogers
45 篇 d.h. owens
32 篇 junping du
32 篇 yingmin jia
29 篇 péter gáspár
26 篇 tóth roland
24 篇 el-sayed m.el-ke...
24 篇 abdelhameed ibra...
23 篇 dimarogonas dimo...
23 篇 fashan yu
21 篇 k. galkowski
21 篇 kryjak tomasz
19 篇 balázs németh
19 篇 zamani majid
18 篇 abdelaziz a.abde...
18 篇 owens d.h.
18 篇 abate alessandro
17 篇 yi xinlei
16 篇 rogers e.

语言

2,534 篇 英文
119 篇 其他
22 篇 中文
2 篇 俄文
1 篇 德文
1 篇 日文

检索条件"机构=Department of Computer Science and Control Systems"

共 2678 条记录，以下是2491-2500 订阅

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

详细简洁

排序：

On the poles of a class of 2D linear systems

On the poles of a class of 2D linear systems

引用

IEEE Conference on Decision and control

作者： E. Rogers J. Wood D.H. Owens Department of Electronics and Computer Science University of Southampton UK Department of Automatic Control and Systems Engineering University of Sheffield Sheffield UK

ISBN: (纸本)0780366387

Repetitive processes are a distinct class of 2D systems of both practical and theoretical interest. We use work in behavioral theory for nD linear systems to characterize poles for the case of so-called discrete linear repetitive processes. A unique feature is that the resulting poles lead to a physically based interpretation of stability for these processes.

关键词： Linear systems Asymptotic stability Polynomials computer science Automatic control systems engineering and theory Time measurement Sufficient conditions Kernel Frequency

来源：评论

学校读者我要写书评

暂无评论

Stability tests for a class of differential linear repetitive processes with dynamic boundary conditions

Stability tests for a class of differential linear repetitiv...

引用

IEEE Conference on Decision and control

作者： S.E. Benton E. Rogers D.H. Owens Department of Electronics and Computer Science University of Southampton Southampton UK Department of Automatic Control and Systems Engineering University of Sheffield Sheffield UK

ISBN: (纸本)0780366387

Repetitive processes are a distinct class of 2D systems of both practical and theoretical interest. Their essential characteristic is repeated sweeps, termed passes, through a set of dynamics defined over a finite duration with explicit interaction between the outputs, or pass profiles, produced as the process dynamics evolve. Experience has shown that these processes cannot be studied/controlled by direct application of existing theory. This fact, and the growing list of applications areas, has prompted an ongoing research programme into the development of a 'mature' systems theory for these processes for onward translation into reliable generally applicable controller design algorithms. This paper develops stability tests for a sub-class of so-called differential linear repetitive processes in the presence of a general set of initial conditions, where it is known that the structure of these conditions is critical to their stability properties.

关键词： Testing Stability analysis Stability criteria Boundary conditions computer science Automatic control systems engineering and theory Linear systems Delay Machining

来源：评论

学校读者我要写书评

暂无评论

A design of an associative memory array processor for ultrasonograph image acquisition and processing

A design of an associative memory array processor for ultras...

引用

作者： Aly, Gamal M. El-Nadi, Nabeel M. Fayed, Zaki T. Faheem, Hossam M. Dept. of Comp. and Control Systems Ain Shams University Faculty of Engineering Cairo Egypt Information Technology Institute Cairo Egypt Department of Computer Science Ain Shams University Fac. of Comp. and Info. Science Cairo Egypt

This paper describes a design of an associative memory array processor that can be used in the acquisition and processing of ultrasonograph images. The major concept is to design a parallel architecture that reduces task's execution time by analyzing multiple parts of the image concurrently. The architecture constitutes a distinctive type of single-instruction stream, multiple-data stream machine that is built around content-addressable associative memory slabs, that allow parallel access of multiple memory words. The basic building block of this architecture is a one-pixel processing element, which can perform the standard load (data acquisition) function and also contains some special comparison logic to enable its content to be compared with an external data. Several image processing operations are implemented in parallel, among them: component labeling, size filtering, pattern centralization, and pattern recognition. The proposed novel architecture can label specific regions into the image and isolate them intelligently. It is also capable of storing templates that may be considered as references for similar cases. The system is able to perform learning process and extract features from several input patterns and store the reference pattern in a slice. Moreover, the system is capable of comparing an input image with a pre-stored template during recognition process. The proposed architecture is of interest because it speeds up the recognition process and helps radiology specialists to write their reports confidently.

关键词： Ultrasonic imaging

来源：评论

学校读者我要写书评

暂无评论

Distributed modular computer-integrated surgical robotic systems: Implementation using modular software and networked systems 3rd

Distributed modular computer-integrated surgical robotic sys...

引用

3rd International Conference on Medical Image Computing and computer-Assisted Intervention, MICCAI 2000

作者： Bzostek, Andrew Kumar, Rajesh Hata, Nobuhiko Schorr, Oliver Kikinis, Ron Taylor, Russell H. Department of Computer Science Johns Hopkins University BaltimoreMD United States Surgical Planning Laboratory Brigham and Women’s Hospital and Harvard Medical School BostonMA United States Institute of Process Control and Robotics University of Karlsruhe Germany Engineering Research Center for Computer Integrated Surgical Systems and Technology Germany

ISBN: (纸本)3540411895

We seek to build CIS research systems within a flexible, open architecture. In this paper, we outline our solutions to the problems of system design, construction, and integration in this environment: building distributed, modular systems for sensing, control, and processing. Based on our experience building these systems, we utilize distributed network architectures, modular software components, and intelligent object distribution to maximize flexibility while complying with the particular needs and interfaces of specific components. While a work in progress, these approaches have been integrated into several systems in development and have demonstrated significant utility, based on construction time and system flexibility. This paper will discuss the first two aspects: modular software and basic network architectures, while intelligent object distribution is presented in a companion paper. Based on the applications we have targeted and technologies we have used, this paper introduces our architecture and its components. It then presents the system’s current state and finally, discusses plans for future improvements and extensions. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

Validating executable controller specifications through formal model checking

Validating executable controller specifications through form...

引用

IEEE International Symposium on computer Aided control System Design (CACSD)

作者： J.J. Scillieri K.R. Butts J.S. Freudenberg Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA Powertrain Control Systems Department Ford Research Laboratory Dearborn MI USA

ISBN: (纸本)0780365666

In many embedded control system applications, the control algorithm includes both logical and data flow portions. We apply formal methods of system verification to discrete-state algorithms. Specifically, we make use of a formal model checking tool to prove or disprove various properties of the algorithm. Questions pertaining to the achievability of states and paths and proper variable assignment are cast as logical assertions in computation tree logic (CTL), and evaluated using the model checker. In addition, we describe an approach for generating scenarios; that is, a sequence of inputs and parameters that will take a discrete-state system model through a given sequence. We present several examples illustrating various questions that the designer may wish to pose, and an appropriate CTL assertion for each.

关键词： Mathematical model System testing Power system modeling control system synthesis Logic Design engineering computer science Mechanical power transmission Laboratories Application software

来源：评论

学校读者我要写书评

暂无评论

Time series prediction by a neural network model based on the bi-directional computation style

Time series prediction by a neural network model based on th...

引用

International Joint Conference on Neural Networks (IJCNN)

作者： H. Wakuya J.M. Zurada Department of Advanced Systems Control Engineering Graduate School of Science and Engineering Saga University Saga Japan Department of Electrical and Computer Engineering University of Louisville Louisville KY USA

A number of neural network models and training procedures for time series prediction have been proposed in the technical literature. These models typically used uni-directional computation flow or its modifications. In this study a novel concept of bi-directional computation style is proposed and applied to prediction tasks. Since the coupling effects between the future prediction system and the past prediction system help the proposed model improve its performance, it is found that the prediction score is better than with the traditional uni-directional method. The bi-directional predicting architecture has been found to perform better than the conventional one when tested with standard benchmark sunspots data.

关键词： Neural networks Predictive models Bidirectional control computer networks computer architecture Neurons Home computing Performance evaluation Benchmark testing computer simulation

来源：评论

学校读者我要写书评

暂无评论

Acceleration of filtering and enhancement operations through geometric processing of gray-level images

Acceleration of filtering and enhancement operations through...

引用

IEEE International Conference on Image Processing

作者： M.A. Garcia B.X. Vintimilla Department of Computer Science and Mathematics Rovira i Virgili University Tarragona Spain Institute of Organization and Control of Industrial Systems Polytechnic University of Catalonia Barcelona Spain

ISBN: (纸本)0780362977

This paper describes an algorithm to implement image filtering and enhancement operations by processing adaptive triangular meshes that represent gray-level images. Experimental results show that these operations are significantly more efficient when they are performed upon triangular meshes than by sequentially processing all the pixels contained in the given images.

关键词： Acceleration Filtering Digital images Adaptive filters Pixel Image coding Digital filters computer science Mathematics control systems

来源：评论

学校读者我要写书评

暂无评论

Strong practical stability for a class of 2D linear systems

Strong practical stability for a class of 2D linear systems

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D. Owens Institute of Robotics and Software Engineering Technical University of Zielona Gora Poland Department of Electronics and Computer Science University of Southampton Southampton UK Institute of Computer Science and Electronics Technical University of Zielona Gora Poland Department of Automatic Control and Systems Engineering University of Sheffield UK

Linear repetitive processes are a distinct class of 2D linear systems of both theoretical and practical interest. The stability theory for these processes currently consists of two distinct concepts termed asymptotic stability and stability along the pass respectively where the former is a necessary condition for the latter. Recently applications have arisen where asymptotic stability is too weak and stability along the pass is too strong for meaningful progress to be made. This paper develops the concept of strong practical stability for such cases.

关键词： Linear systems Asymptotic stability computer science State-space methods Robotics and automation Software engineering systems engineering and theory Metals industry Iterative algorithms Electrical equipment industry

来源：评论

学校读者我要写书评

暂无评论

Texture modelling by optimal gray scale structuring elements using morphological pattern spectrum

Texture modelling by optimal gray scale structuring elements...

引用

International Conference on Pattern Recognition

作者： A. Asano M. Miyagawa M. Fujio Depatment of Mathematical and Information Sciences Faculty of Integrated Arts and Sciencese Hiroshima University Higa Hiroshima Japan Department of Control Engineering and Science Faculty of Computer Science and systems Engineering Kyushu institute of Technology Fukuoka Japan

ISBN: (纸本)0769507506

Proposes a texture modelling method based on the pattern spectrum. The pattern spectrum is a mathematical morphological method to describe the size distribution of objects contained in an image. Our method is based on the idea of obtaining a model of the elementary particles that form a texture by optimizing a gray scale structuring element to fit the shape of elementary particles. The optimization method is applied in two stages: the first stage optimizes the extent of the structuring element and the second optimizes the pixel values in the extent.

关键词： Shape Optimization methods Elementary particles Art Mathematical model Morphology Application software Image texture analysis Pattern analysis control engineering

来源：评论

学校读者我要写书评

暂无评论

Approximation and processing of intensity images with discontinuity-preserving adaptive triangular meshes 6th

Approximation and processing of intensity images with discon...

引用

6th European Conference on computer Vision, ECCV 2000

作者： García, Miguel Angel Vintimilla, Boris Xavier Sappa, Angel Domingo Department of Computer Science and Mathematics Rovira i Virgili University Ctra. Salou s/n Tarragona43006 Spain Institute of Organization and Control of Industrial Systems Polytechnic University of Catalonia Diagonal 647 planta 11 Barcelona08028 Spain LAAS - CNRS Office B157 7 Avenue du Colonel Roche Toulouse Cedex 431077 France

ISBN: (纸本)3540676856

A new algorithm for approximating intensity images with adaptive triangular meshes keeping image discontinuities and avoiding optimization is presented. The algorithm consists of two main stages. In the first stage, the original image is adaptively sampled at a set of points, taking into account both image discontinuities and curvatures. In the second stage, the sampled points are triangulated by applying a constrained 2D Delaunay algorithm. The obtained triangular meshes are compact representations that model the regions and discontinuities present in the original image with many fewer points. Thus, image processing operations applied upon those meshes can perform faster than upon the original images. As an example, four simple operations (translation, rotation, scaling and deformation) have been implemented in the 3D geometric domain and compared to their image domain counterparts. © Springer-Verlag Berlin Heidelberg 2000.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共268页 << < 246 247 248 249 250 251 252 253 254 255 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：