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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

653 篇 会议
471 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

703 篇 工学
- 302 篇 计算机科学与技术...
- 258 篇 软件工程
- 230 篇 控制科学与工程
- 144 篇 电气工程
- 107 篇 信息与通信工程
- 92 篇 电子科学与技术（可...
- 83 篇 机械工程
- 65 篇 动力工程及工程热...
- 61 篇 生物医学工程（可授...
- 57 篇 生物工程
- 47 篇 土木工程
- 36 篇 光学工程
- 36 篇 仪器科学与技术
- 35 篇 船舶与海洋工程
- 33 篇 化学工程与技术
- 27 篇 交通运输工程
- 26 篇 建筑学
409 篇 理学
- 200 篇 数学
- 103 篇 系统科学
- 80 篇 物理学
- 68 篇 生物学
- 63 篇 统计学（可授理学、...
- 31 篇 化学
- 29 篇 海洋科学
155 篇 管理学
- 115 篇 管理科学与工程(可...
- 50 篇 工商管理
- 33 篇 图书情报与档案管...
64 篇 医学
- 54 篇 临床医学
- 46 篇 基础医学(可授医学...
- 31 篇 药学(可授医学、理...
21 篇 经济学
14 篇 法学
10 篇 农学
5 篇 教育学
4 篇 艺术学
2 篇 军事学

主题

34 篇 control systems
21 篇 neural networks
21 篇 mathematical mod...
19 篇 computer archite...
19 篇 optimization
17 篇 feature extracti...
16 篇 optimal control
15 篇 humans
13 篇 stability analys...
13 篇 computational mo...
13 篇 predictive model...
13 篇 trajectory
13 篇 controllers
12 篇 image segmentati...
12 篇 process control
12 篇 machine learning
12 篇 hardware
12 篇 equations
12 篇 training
11 篇 computer science

机构

19 篇 key laboratory o...
17 篇 department of au...
16 篇 department of au...
16 篇 control and inte...
16 篇 institute of con...
13 篇 beijing key labo...
10 篇 department of sy...
10 篇 department of co...
9 篇 school of contro...
9 篇 state key labora...
9 篇 department of au...
8 篇 department of au...
8 篇 department of co...
8 篇 ieee
8 篇 charles l.brown ...
7 篇 department of sy...
7 篇 shanghai key lab...
7 篇 school of contro...
7 篇 department of co...
6 篇 department of co...

作者

32 篇 zongli lin
22 篇 yang yang
20 篇 hamid soltanian-...
19 篇 chen mingzhe
18 篇 olaf stursberg
14 篇 monica leba
13 篇 yuanlong li
12 篇 yin changchuan
11 篇 kang li
11 篇 leba monica
10 篇 soltanian-zadeh ...
10 篇 saad walid
10 篇 stursberg olaf
9 篇 mostafa abotaleb
9 篇 ai bo
9 篇 yin xiang
8 篇 liu zhe
8 篇 jingcheng wang
8 篇 lin zongli
8 篇 hayek ali

语言

1,063 篇 英文
45 篇 其他
14 篇 中文
2 篇 日文
1 篇 德文

检索条件"机构=System Engineering and Control and Computer Architecture Department"

共 1126 条记录，以下是791-800 订阅

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

详细简洁

排序：

Universal steganalysis based on local prediction error in wavelet domain

Universal steganalysis based on local prediction error in wa...

引用

7th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2011

作者： Shojaei-Hashemi, Anahita Mehdipour-Ghazi, Mostafa Ghaemmaghami, Shahrokh Soltanian-Zadeh, Hamid School of Electrical and Computer Engineering College of Engineering University of Tehran Tehran Iran Electronics Research Institute Sharif University of Technology Tehran Iran Control and Intelligent Processing Center of Excellence School of Electrical and Computer Engineering University of Tehran Tehran Iran Image Analysis Laboratory Department of Radiology Henry Ford Health System Detroit MI United States

ISBN: (纸本)9780769545172

A passive universal image steganalysis method is proposed that is shown to be of higher detection accuracy than existing truly blind steganalysis methods including Farid's and the WAM. This is achieved by improving some weaknesses of Farid's steganalysis scheme in feature extraction, that is, instead of deriving an over-determined equation system for each sub band of the wavelet decomposition, the sub bands are divided into overlapping blocks and an over-determined equation system is constructed for each block. To guarantee the existence of finite answers, the over-determined equation systems are solved in a way different from Farid's by using Moore-Penrose pseudo-inverse concept. Further improvement to the performance is achieved by adding diagonal directions and increasing the number of moments. The comparative evaluations confirm the superiority of the proposed method over prevalent blind steganalysis schemes. © 2011 IEEE.

关键词： Wavelet decomposition

来源：评论

学校读者我要写书评

暂无评论

A Flat Pipeline Inspection Robot with Two Wheel Chains

A Flat Pipeline Inspection Robot with Two Wheel Chains

引用

2011 IEEE International Conference on Robotics and Automation(2011年IEEE世界机器人与自动化大会 ICRA 2011)

作者： Young-Sik Kwon Bae Lee In-Cheol Whang Whee-kuk Kim Byung-Ju Yi School of Electrical Engineering and Computer Science Hanyang UniversityKorea Doobae system Korea Department of Control and Instrumentation Engineering Korea UniversityKorea Department of Electronic System Engineering Hanyang UniversityKorea

This paper presents a new pipeline inspection robot that has multiple sensors for inspection of 80-100mm pipelines. The special feature of this robot is realization of driving and steering capability by using only two wheel chains. Compared to popularly employed pipeline robots using three wheel chains, the new design allows simple robot control and easy user interface, specially at T-branch. As another advantage, the flat shape of this robot allows mounting additional sensors on the both sides of the robot. The kinematics and three control modes are described. Finally, the performance of this robot system is verified by experimentation.

关键词： Mobile robots Wheels Pipelines Robot vision systems Cameras

来源：评论

学校读者我要写书评

暂无评论

Complex automation of a technological process on the basis of control systems with a three level structure

Complex automation of a technological process on the basis o...

引用

Annual IEEE systems Conference

作者： Gulnara Abitova Mamirbek Beisenbi Vladimir Nikulin Department of System Analysis and Control Eurasian National University Astana Kazakhstan Department of Electrical and Computer Engineering Binghamton University Binghamton NY USA

Modern control methods are suitable for increasing production capabilities of industrial enterprises by employing information technologies, which are often used for modernization of industrial processes without the need of acquiring new equipment. Therefore, automation of the industrial lines is one of the most important directions of the technological progress, as it leads to improvement and modernization of industrial processes. The technological process of tellurium production includes a number of stages, which require automatic regulation of many parameters with a high degree of precision. In this work, we analyze and propose a unified concept of application of modern automation techniques that can be used to build a three-level hieratical control system intended for improving the quality of product.

关键词： Process control Automation control systems Tellurium Production Sensors Monitoring

来源：评论

学校读者我要写书评

暂无评论

Computing robot internal/external wrenches by means of inertial, tactile and F/T sensors: Theory and implementation on the iCub

Computing robot internal/external wrenches by means of inert...

引用

2011 11th IEEE-RAS International Conference on Humanoid Robots, HUMANOIDS 2011

作者： Ivaldi, S. Fumagalli, M. Randazzo, M. Nori, F. Metta, G. Sandini, G. Robotics Brain and Cognitive Sciences Department Istituto Italiano di Tecnologia Genoa Italy Department of Communication Computer and System Sciences University of Genoa Italy Institut des Systèmes Intelligents et de Robotique Université Pierre et Marie Curie Paris France Department of Control Engineering University of Twente Enschede Netherlands

ISBN: (纸本)9781612848679

Reliable access to dynamics is one of the central challenges in humanoid robotics. In this paper we consider the problem of computing both internal and external wrenches in open multiple branches kinematic chains, which are not equipped with joint-level torque sensors, but on the contrary are provided with inertial and tactile sensing, and a set of six-axes Force/Torque Sensors (FTS) distributed within the chain. The proposed method is grounded on the Enhanced Oriented Graph, a graph-representation of the kinematic chain, enriched with the information coming from the different sensors. Under suitable conditions, a maximum of N+1 external wrenches can be estimated from N six-axes FTS. The graph is built dynamically, and internal and external wrenches are consequently updated. Theoretical results have been implemented in a software library (iDyn) released with an open-source license (GPL) as part of the iCub software project. The proposed method has been applied to 32 of the 53 DOF of the iCub humanoid robot. © 2011 IEEE.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

The Minimum Principle for Time-Varying Hybrid systems with State Switching and Jumps

The Minimum Principle for Time-Varying Hybrid Systems with S...

引用

IEEE Conference on Decision and control

作者： Benjamin Passenberg Marion Leibold Olaf Stursberg Martin Buss Institute of Automatic Control Department of Electrical Engineering and Information Technology Technische Universitat Munchen Munchen Germany Institute of Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel Kassel Germany

ISBN: (纸本)9781612848006

The hybrid minimum principle (HMP) is extended to hybrid systems with autonomous (internally forced) switching on switching manifolds, controlled (externally forced) switching, jumps of the continuous state when switching, and time-varying functions for specifying the continuous and discrete dynamics. The formulation of the hybrid optimal control problem (HOCP) includes running, switching, and terminal costs. The HMP provides necessary optimality conditions for a solution of the HOCP and can be used as basis for developing numerical optimal control algorithms.

关键词： minimum principle hybrid systems switching time varying Manifolds

来源：评论

学校读者我要写书评

暂无评论

Assessing lung volumetric variation to detect and stage COPD

Assessing lung volumetric variation to detect and stage COPD

引用

2011 1st Middle East Conference on Biomedical engineering, MECBME 2011

作者： Hosseini, M. Parsa Soltanian-Zadeh, Hamid Akhlaghpoor, Shahram Department of Electrical Engineering Islamic Azad University Science and Research Branch of Tehran Tehran Iran Image Analysis Laboratory Department of Radiology Henry Ford Health System Detroit MI United States Department of Radiology Tehran University of Medical Sciences Sina Hospital Tehran Iran Control and Intelligent Processing Center of Excellence School of Electrical and Computer Engineering University of Tehran Tehran Iran

ISBN: (纸本)9781424470006

Chronic obstructive pulmonary disease (COPD) is a devastating disease. In this paper, we propose a novel method for scoring of air trapping in the lungs for detection and evaluation of COPD. The proposed method finds volumetric changes of the lungs from inspiration to expiration. To this end, trachea CT images at full inspiration and expiration are compared. For this comparison, the lungs parenchyma in the inspiration and expiration images are found and changes in the surface and volume of the lungs between inspiration and expiration are used to define quantitative measures (features). Using these features, the subjects are classified into two groups of normal class and COPD patients using a Bayesian classifier. In addition, t-tests are applied to evaluate discrimination powers of the features for this classification. The main advantage of the proposed method is its ability to estimate air trapping in the lungs from CT images without human intervention. The proposed method may assists radiologists in the detection of COPD as a computer aided diagnosis (CAD) system. It may also assist them with the scoring of the disease (severity of air trapping in the lungs). © 2011 IEEE.

关键词： computerized tomography

来源：评论

学校读者我要写书评

暂无评论

A novel method for identification of COPD in inspiratory and expiratory states of CT images

A novel method for identification of COPD in inspiratory and...

引用

2011 1st Middle East Conference on Biomedical engineering, MECBME 2011

ISBN: (纸本)9781424470006

Chronic obstructive pulmonary disease (COPD) refers to a group of lung diseases that block airflow and cause a huge degree of human suffering. While there is no cure for COPD and the lung damage that results in this disease cannot be reversed, it is very important to diagnose it as early as possible. Additional to diagnosis, using a mathematical model to estimate severity of disease would be helpful for evaluation of treatment effects. This paper presents a new method for identifying COPD from three-dimensional (3-D) pulmonary X-ray CT images. The method has five main steps. First, corresponding positions of lungs in inspiration and expiration are found based on anatomical structures. Then, lung regions are segmented from the CT images by active contours. Next, the left and right lungs are separated using a sequence of morphological operations. Then, parenchyma variations in each lung are found as a relationship between inspiratory and expiratory states. Finally, a classifier is used to decide about the disease and its severity. A t-test is done to evaluate the results. Twelve patients with variable severity of COPD and twelve normal adults were included in this study. The proposed method may assist radiologists in the detection of COPD as a computer aided diagnosis (CAD) system. © 2011 IEEE.

关键词： Pulmonary diseases

来源：评论

学校读者我要写书评

暂无评论

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

STABLE: A new QF-BV SMT solver for hard verification problem...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Evgeny Pavlenko Markus Wedler Dominik Stoffel Wolfgang Kunz Alexander Dreyer Frank Seelisch Gert-Martin Greuel Department of Electrical and Computer Engineering University of Kaiserslautern Germany Department of System Analysis Prognosis and Control Fraunhofer ITWM Kaiserslautern Germany Department of Mathematics University of Kaiserslautern Germany

This paper presents a new SMT solver, STABLE, for formulas of the quantifier-free logic over fixed-sized bit vectors (QF-BV). The heart of STABLE is a computer-algebra-based engine which provides algorithms for simplifying arithmetic problems of an SMT instance prior to bit-blasting. As the primary application domain for STABLE we target an SMT-based property checking flow for system-on-Chip (SoC) designs. When verifying industrial data path modules we frequently encounter custom-designed arithmetic components specified at the logic level of the hardware description language being used. This results in SMT problems where arithmetic parts may include non-arithmetic constraints. STABLE includes a new technique for extracting arithmetic bit-level information for these non-arithmetic constraints. Thus, our algebraic engine can solve subproblems related to the entire arithmetic design component. STABLE was successfully evaluated in comparison with other state-of-the-art SMT solvers on a large collection of SMT formulas describing verification problems of industrial data path designs that include multiplication. In contrast to the other solvers STABLE was able to solve instances with bit-widths of up to 64 bits.

关键词： Polynomials Mathematical model system-on-a-chip Adders Engines Algebra

来源：评论

学校读者我要写书评

暂无评论

GPU-accelerated fault simulation and its new applications

GPU-accelerated fault simulation and its new applications

引用

International Symposium on VLSI Design, Automation and Test

作者： Huawei Li Dawen Xu Kwang-Ting Cheng Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Electrical and Computer Engineering University of California Santa Barbara CA USA

GPUs have recently been explored as a new general-purpose computing platform, which are suitable for the acceleration of compute-intensive EDA applications. In this paper we describe a GPU-based one- to n-detection fault simulator for both stuck-at and transition faults, which demonstrates a 20X speedup over a commercial CPU-based fault simulator. We further show new fault-simulation-based test selection applications enabled by this accelerated fault simulation. Our results demonstrate that the tests selected from the applications achieve higher fault coverages for 1-to-n detections with steeper fault coverage curves, as well as a better delay test quality, in comparison with tests deterministically generated by commercial ATPG tools.

关键词： Circuit faults Graphics processing unit Instruction sets Delay Integrated circuit modeling Logic gates Computational modeling

来源：评论

学校读者我要写书评

暂无评论

RESTful web service composition: Extracting a process model from Linear Logic theorem proving

RESTful web service composition: Extracting a process model ...

引用

2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011

作者： Zhao, Xia Liu, Enjie Clapworthy, Gordon J. Ye, Na Lu, Yueming Department of Computer Science and Technology University of Bedfordshire Luton United Kingdom School of Information and Control Engineering Xi'An University of Architecture and Technology Xi'an China School of Electronic and Information Engineering Xi'An Jiao Tong University Xi'an China Key Laboratory of Trustworthy Distributed Computing and Service Beijing University of Posts and Telecommunications Ministry of Education Beijing China

ISBN: (纸本)9781457711268

This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search. © 2011 IEEE.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共113页 << < 76 77 78 79 80 81 82 83 84 85 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：