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

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

来源：评论

学校读者我要写书评

暂无评论

SPC and Kalman filter-based fault detection and diagnosis for an air-cooled chiller

引用

Frontiers of Electrical and Electronic engineering in China 2011年第3期6卷 412-423页

作者： Biao SUN Peter B.LUH Zheng O’NEILL Center for Intelligent and Networked Systems Department of AutomationTsinghua UniversityBeijing 100084China The Tsinghua-UTC Research Institute for Integrated Building Energy Safety and Control SystemTsinghua UniversityBeijing 100084China Department of Electrical and Computer Engineering University of ConnecticutStorrsCT 06269USA United Technology Research Center United Technologies CorporationHartfordCT 06108USA

Buildings worldwide account for nearly 40%of global energy *** biggest energy consumer in buildings is the heating,ventilation and air conditioning(HVAC)*** HVAC systems,chillers account for a major portion of the energy *** chillers in good conditions through early fault detection and diagnosis is thus a critical *** this paper,the fault detection and diagnosis for an air-cooled chiller with air coming from outside in variable flow rates is *** problem is difficult since the air-cooled chiller is operating under major uncertainties including the cooling load,and the air temperature and flow rate.A potential method to overcome the difficulty caused by the uncertainties is to perform fault detection and diagnosis based on a gray-box model with parameters regarded as *** method is developed and verified by us in another paper for a water-cooled chiller with the uncertainty of cooling *** verification used a Kalman filter to predict parameters of a gray-box model and statistical process control(SPC)for measuring and analyzing their variations for fault detection and *** gray-box model in the method,however,requires that the air temperature and flow rate be nearly *** introducing two new parameters and deleting data points with low air flow rate,the requirement can be satisfied and the method can then be applicable for an air-cooled *** simulation results show that the method with the revised model and some data points dropped improved the fault detection and diagnosis(FDD)performance *** can detect both sudden and gradual air-cooled chiller capacity degradation and sensor faults as well as their recoveries.

关键词： air-cooled chiller fault detection and diagnosis(FDD) statistical process control(SPC) Kalman filter

来源：评论

学校读者我要写书评

暂无评论

Dynamic anti-windup design in anticipation of actuator saturation

Dynamic anti-windup design in anticipation of actuator satur...

引用

作者： Wu, Xiongjun Lin, Zongli Department of Automation Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing of Ministry of Education Shanghai 200240 China Charles L. Brown Department of Electrical and Computer Engineering University of Virginia P.O. Box 400743 Charlottesville VA 22904-4743 United States

ISBN: (纸本)9781457700804

In a traditional anti-windup design, the anti-windup mechanism is set to be activated as soon as the control signal saturates the actuator. A recent innovation of delaying the activation of the anti-windup mechanism, both static and dynamic, until the saturation reaches to a certain level of severity has led to a performance improvement of the resulting closed-loop system. More recently, it has been shown that significant further performance improvements can be obtained by activating a static anti-windup mechanism in anticipation of actuator saturation, in comparison with the delayed activation design. This paper demonstrates that anticipatory activation of a dynamic anti-windup mechanism would also lead to significant performance improvements over both the immediate and delayed activation schemes. © 2011 AACC American Automatic control Council.

关键词： Chemical activation

来源：评论

学校读者我要写书评

暂无评论

Periodic disturbance rejection of a PMSM with adaptive control algorithms

Periodic disturbance rejection of a PMSM with adaptive contr...

引用

IEEE International Conference on Electric Machines and Drives (IEMDC)

作者： Sebastian Maier Johann Bals Marc Bodson Department of System Dynamics and Control Institute of Robotics and Mechatronics German Aerospace Center Wessling Germany Department of Electrical and Computer Engineering University of Utah Salt Lake UT USA

Permanent magnet synchronous motors (PMSMs) produce a parasitic oscillating torque due to several reasons. This contribution cancels the oscillating torque with adaptive control algorithms. Therefore a mathematical model of the PMSM is necessary. A model with nonlinear dynamics and a Fourier approach for the ripples is used as a mathematical description. Through comparisons between measured data and simulated data it is shown that the model assumptions are valid. The adaptive algorithm is implemented as an add-on controller to the already existing control system which consists of a feedforward part and a basis controller. The challenge is that the closed loop system has a resonant frequency and the algorithm should have the same performance for all frequencies. Experimental results show the performance and convergence of the adaptive algorithm at constant and non constant velocity.

关键词： Torque Mathematical model Transfer functions control systems Feedforward neural networks Equations Adaptation models

来源：评论

学校读者我要写书评

暂无评论

Voxel based treatment prediction using diffusion anisotropy indices and spatial information in Glioblastoma Multiform tumor

Voxel based treatment prediction using diffusion anisotropy ...

引用

2011 18th Iranian Conference of Biomedical engineering, ICBME 2011

作者： Sabahi, Hadi Soltanian-Zadeh, Hamid Scarpace, Lisa Mikkelsen, Tom Control and Intelligent Processing Center of Excellence School of Electrical and Computer Engineering University of Tehran Tehran 14395-515 Iran Image Analysis Laboratory Radiology Department Henry Ford Hospital Detroit MI 48202 United States Hermelin Brain Tumor Research Center Neurosurgery Department Henry Ford Health System Detroit MI 48202 United States

ISBN: (纸本)9781467310055

In this paper, we propose a method to predict the outcome of Bevacizumab therapy on Glioblastoma Multiform (GBM) tumors. The method uses diffusion anisotropy indices (DAI) and spatial information to predict the treatment response of each tumor voxel. These DAIs are Fractional Anisotropy, Mean Diffusivity, Relative Anisotropy, and Volume Ratio, extracted from Diffusion Tensor Imaging (DTI) data before treatment. The spatial information is considered as the distance of each tumor voxel from the tumor center, extracted from pre-treatment post-contrast T1-weighted Magnetic Resonance Images (pc-T1-MRI). DAIs and spatial information of each tumor voxel are considered as feature vector. DTI and pc-T1-MRI are gathered before and after the treatment of seven GBM patients. First, DAIs of all brain voxels and the distance of each tumor voxel from the tumor center are calculated. Second, the method registers pre-treatment DAI maps and post-treatment pc-T1-MRI to pre-treatment pc-T1-MRI. Next, the tumor is segmented using thresholding technique from pc-T1-MRI. Then, Gd-enhanced voxels of the pre- and post-treatment pc-T1-MRI are compared to label the feature vectors. Three classifiers were evaluated, including Support Vector Machine, K-Nearest Neighbor, and Artificial Neural Network. Classification results show a preference for K-Nearest Neighbor based on well-established performance measures. © 2011 IEEE.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：