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

NECESSARY AND SUFFICIENT CONDITIONS FOR DEADLOCKS IN FLEXIBLE MANUFACTURING systems BASED ON A DIGRAPH MODEL

Asian Journal of Control 2008年第2期6卷

作者： Wenle Zhang Robert P. Judd Paul Deering School of Electrical Engineering and Computer Science Ohio University Athens OH 45701. Dr. Judd has over twenty years of experience as an educator researcher and consultant in system simulation discrete event controls and systems integration. Dr. Judd has received over thirty research grants totaling over $3500000. His funding has come from both industrial and governmental sources. He is the author or co-author of over a hundred published papers in journals and conferences. He also wrote a book chapter devoted to integrating manufacturing design tools and edited a special issue of the International Journal of Computer Integrated Manufacturing dedicated to intelligent manufacturing systems. Dr. Judd holds a patent on simulation software integration. Russ College of Engineering and Technology Ohio University Athens OH 45701.

As typical discrete event systems, flexible manufacturing systems have been extensively studied in such aspects as modeling, control and performance analysis. One important topic in the study of such systems is the deadlock detection, prevention and avoidance. In the past decade, two major modeling formalisms, i.e., Petri nets and digraphs, have been adopted for developing deadlock control policies for flexible manufacturing systems. In this paper, the concepts of slack, knot, order and effective free space of circuits in the digraph are established and used to concisely and precisely quantify the sufficient conditions for a system state to be live. Necessary conditions for this liveness is quantified for a special class of system states - called evaluation states. The significance of the result is that the conditions are true for avoiding both primary deadlocks and impending deadlocks that are arbitrary steps away from a primary one, whereas only second level deadlocks have been studied in the literature. Examples are provided to illustrate the method.

关键词： Flexible manufacturing systems deadlock avoidance deadlock prevention petri net digraph

来源：评论

学校读者我要写书评

暂无评论

Passive Sensor Based Dynamic Object Association Method in Wireless Sensor Networks

Passive Sensor Based Dynamic Object Association Method in Wi...

引用

50th IEEE International Midwest Symposium on Circuits and systems (MWSCAS'07), vol.3

作者： Shung Han Cho Jinseok Lee Xi Deng Sangjin Hong We-Duke Cho Department of Electrical and Computer Engineering Mobile Systems Design Laboratory Stony Brook University-SUNY Stony Brook NY USA Department of Electronics Engineering College of Information Technology Ajou University South Korea Stony Brook Univ.-SUNY Stony Brook Mobile Systems Design Lab. Dept. of Electrical and Computer Engineering Stony Brook University-SUNY NY 11794-2350 USA Dept. of Electronics Engineering College of Information Technology Ajou University South Korea

This paper proposes and presents a novel algorithm for dynamic data association in wireless sensor networks. The sensor node incorporates RFID reader and acoustic sensor where the signals are fused for tracking and associating multiple objects. The RFID tag is used for object identification and acoustic sensor is used for estimating object movement. The threshold based association algorithm is proposed and its performance is analyzed. The association performance under single node coverage and multiple node coverage is evaluated as a function of sampling time and the dynamic behavior. The algorithm minimizes the failed association and provides association recovery.

关键词： Wireless sensor networks Acoustic sensors Radiofrequency identification Signal processing RFID tags Acoustic signal detection Sensor phenomena and characterization Object detection Target tracking Acoustical engineering

来源：评论

学校读者我要写书评

暂无评论

AAA architectures applied in multi-domain IMS (IP Multimedia Subsystem)

AAA architectures applied in multi-domain IMS (IP Multimedia...

引用

IEEE Globecom Workshops

作者： W.S. Ooms G. Karagiannis M.O. van Deventer J. Veldhuizen Design and Analysis of Communication Systems Department of Electrical Engineering Mathematics and Computer Science University of Twente Enschede Netherlands Information and Communication Technology Netherlands Organisation for Applied Scientific Research Delft Netherlands

There is a group of communication services that use resources from multiple domains in order to deliver their service. Authorization of the end-user is important for such services, because several domains are involved. There are no current solutions for delivering authentication, authorization and accounting (AAA) to multi-domain services. In our study we present two architectures for the delivery of AAA to such services. The architectures are analyzed on their qualitative aspects. A result of this analysis is that direct interconnection of AAA servers is an effective architectural solution. In current multi-domain IP Multimedia Subsystem (IMS) architectures, direct interconnection of AAA servers, such as the Home Subscriber Servers (HSS), is not yet possible. In this paper we argue and recommend to extend the IMS specification by adding a new interface to HSS in order to support the direct interconnection of HSS/AAA servers located in different IMS administrative domains.

关键词： TV Telephony Authorization Multimedia systems computer architecture Mathematics computer science Authentication 3G mobile communication Information security

来源：评论

学校读者我要写书评

暂无评论

MARKOV DECISION PROCESSES WITH UNCERTAIN TRANSITION RATES: SENSITIVITY AND MAX HYPHEN MIN CONTROL

引用

Asian Journal of Control 2008年第2期6卷

作者： Suresh Kalyanasundaram Edwin K. P. Chong Ness B. Shroff Motorola India Electronics Limited No. 66/1 Plot 5 Bagmane Techpark C. V. Raman Nagar Post Bangalore 560 093 India. Department of Electrical and Computer Engineering Colorado State University Fort Collins CO 80523-1373 USA. Professor Edwin K. P. Chong received the B.E.(Hons.) degree with First Class Honors from the University of Adelaide South Australia in 1987 graduating top of his class and the M.A. and Ph.D. degrees in 1989 and 1991 respectively both from Princeton University where he held an IBM Fellowship. He joined the School of Electrical and Computer Engineering at Purdue University in 1991 where he was named a University Faculty Scholar in 1999 and promoted to Full Professor in 2001. Since August 2001 he has been a Professor of Electrical and Computer Engineering and Professor of Mathematics at Colorado State University. His current interests are in communication networks and optimization methods. He coauthored the best-selling book An Introduction to Optimization 2nd Edition Wiley-Interscience 2001. He received the NSF CAREER Award in 1995 and the ASEE Frederick Emmons Terman Award in 1998. He coauthored a paper that was awarded Best Paper in the journal Computer Networks 2003. Professor Chong is a Fellow of the IEEE. He was founding chairman of the IEEE Control Systems Society Technical Committee on Discrete Event Systems and until recently served as an IEEE Control Systems Society Distinguished Lecturer. He has been on the editorial board of the IEEE Transactions on Automatic Control. He is currently on the editorial board of the journal Computer Networks. He has also served on the organizing committees of several international conferences. He has been on the program committees for the IEEE Conference on Decision and Control the American Control Conference the IEEE International Symposium on Intelligent Control IEEE Symposium on Computers and Communications and the IEEE Global Telecommunications Conference. He has also served in the executive committees for the IEEE Co

Solution techniques for Markov decision problems rely on exact knowledge of the transition rates, which may be difficult or impossible to obtain. In this paper, we consider Markov decision problems with uncertain transition rates represented as compact sets. We first consider the problem of sensitivity analysis where the aim is to quantify the range of uncertainty of the average per-unit-time reward given the range of uncertainty of the transition rates. We then develop solution techniques for the problem of obtaining the max-min optimal policy, which maximizes the worst-case average per-unit-time reward. In each of these problems, we distinguish between systems that can have their transition rates chosen independently and those where the transition rates depend on each other. Our solution techniques are applicable to Markov decision processes with fixed but unknown transition rates and to those with time-varying transition rates.

关键词： Markov decision processes sensitivity max-min control call admission control policy iteration

来源：评论

学校读者我要写书评

暂无评论

Data Traffic Analysis in Wireless Fusion Network with Multiple Sensors

Data Traffic Analysis in Wireless Fusion Network with Multip...

引用

50th IEEE International Midwest Symposium on Circuits and systems (MWSCAS'07), vol.3

作者： Jinseok Lee Sangkil Jung Yuntai Kyong Xi Deng Sangjin Hong We-Duke Cho Stony Brook University-SUNY Stony Brook NY USA Mobile Systems Design Laboratory Department of Electrical and Computer Engineering Stony Brook University-SUNY Stony Brook NY USA Department of Electronics Engineering College of Information Technology Ajou University South Korea

In this paper, we consider a wireless fusion sensor network where multiple types of sensors are incorporated in each sensor node. Each sensor node incorporates a RFID reader and a acoustic sensor. The RFID reader senses the proximity of target objects and acoustic sensors detect the objects for position estimations. The object positions estimated by both sensors are compensated by visual sensor to obtain more accurate object coordinates. In this paper, we perform network traffic analysis for the wireless fusion sensor network by using NS-2 simulations under various network scenarios. The analysis includes the feasibility of fusion network, hop-by-hop delay, and end-to-end delay.

关键词： Wireless sensor networks Telecommunication traffic Data analysis Sensor fusion Acoustic sensors Radiofrequency identification Acoustic signal detection Object detection Traffic control Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Spectral content characterization for efficient image detection algorithm design

引用

Eurasip Journal on Advances in Signal Processing 2007年 2007卷

作者： Park, Kyoung-Su Hong, Sangjin Park, Peom Cho, We-Duke Mobile Systems Design Laboratory Department of Electrical and Computer Engineering Stony Brook University - SUNY Stony Brook NY 11794-2350 United States Department of Industrial and Information Systems Engineering Ajou University Suwon-Si 442-749 Korea Republic of Humintec Co. Ltd. Suwon-Si 443-749 Korea Republic of Department of Electronics Engineering College of Information Technology Ajou University Suwon-Si 442-749 Korea Republic of

This paper presents spectral characterization for efficient image detection using hyperspectral processing techniques. We investigate the relationship between the number of used bands and the performance of the detection process in order to find the optimal number of band reductions. The band reduction significantly reduces computation and implementation complexity of the ***, we define and characterize the contribution coefficient for each band. Based on the coefficients, we heuristically select the required minimum bands for the detection process. We have shown that the small number of bands is efficient for effective detection. The proposed algorithm is suitable for low-complexity and real-time applications.

关键词： Image analysis

来源：评论

学校读者我要写书评

暂无评论

Hardware implementation of a modified delay-coordinate mapping-based QRS complex detection algorithm

引用

Eurasip Journal on Advances in Signal Processing 2007年 2007卷

作者： Cvikl, Matej Jager, Franc Zemva, Andrej Iskra Sistemi d.d. Stegne 21 Ljubljana 1000 Slovenia Laboratory of Biomedical Computer Systems and Imaging Faculty of Computer and Information Science University of Ljubljana Trzaska 25 1000 Ljubljana Slovenia Laboratory for Integrated Circuit Design Faculty of Electrical Engineering University of Ljubljana Trzaska 25 1000 Ljubljana Slovenia

We present a modified delay-coordinate mapping-based QRS complex detection algorithm, suitable for hardware implementation. In the original algorithm, the phase-space portrait of an electrocardiogram signal is reconstructed in a two-dimensional plane using the method of delays. Geometrical properties of the obtained phase-space portrait are exploited for QRS complex detection. In our solution, a bandpass filter is used for ECG signal prefiltering and an improved method for detection threshold-level calculation is utilized. We developed the algorithm on the MIT-BIH Arrhythmia Database (sensitivity of 99.82% and positive predictivity of 99.82%) and tested it on the long-term ST database (sensitivity of 99.72% and positive predictivity of 99.37%). Our algorithm outperforms several well-known QRS complex detection algorithms, including the original algorithm.

关键词： Signal detection

来源：评论

学校读者我要写书评

暂无评论

An Automatic Wavelet-Based Approach for Lung Segmentation and Density Analysis in Dynamic CT

An Automatic Wavelet-Based Approach for Lung Segmentation an...

引用

IEEE Symposium on Computational Intelligence in Image and Signal Processing, CIISP

作者： Omid Talakoub Emma Helm Javad Alirezaie Paul Babyn Brian Kavanagh Francesco Grasso Doreen Engelberts Department of Electrical and Computer Engineering Ryerson University Canada Department of Medical Imaging University of Toronto Canada Department of Medical Imaging Hospital for Sick Children Toronto Canada Department of Systems Design Engineering University of Waterloo Canada Department of Critical Care Medicine Hospital for Sick Children Toronto Canada

Acute respiratory distress syndrome (ARDS) can occur in people with or without previous lung disease. Analysis of aeration in artificial ventilation for ARDS is one of the major applications of computed tomography (CT) lung density examination. A movie of an affected rabbit lung over the respiratory cycle was produced by dynamic CT with a cine loop technique. This technique can produce thousands of CT images for analysis with a single experiment. A fully automated algorithm based on the capability of wavelet transformation to detect edges in the image is proposed. This method accurately and consistently segments the lung in pulmonary CT images. The speed and accuracy of this technique allows it to outperform other methods when dealing with the large number of images created by dynamic computed tomography

关键词： Wavelet analysis Lungs Computed tomography Image edge detection Diseases Ventilation Motion pictures Rabbits Image analysis Image segmentation

来源：评论

学校读者我要写书评

暂无评论

The Mimo Predictive Pid Controller design

引用

Asian Journal of Control 2008年第4期4卷

作者： M.H. Moradi M.R. Katebi M.A. Johnson Department of Electronic and Electrical Engineering University of Strath-clyde Glasgow GI 1QE UK. Dr. Moradi is a Lecturer in the Department of Electronic and Electrical Engineering University of Bu-Ali Sina in Iran. He obtained the BSc and MSc in 1991 and 1993 from the Sharif University of Technology and Tarbiat Modarres University respectively. Dr. Moradi joined the Bu-Ali Sina University in 1993. In 2002 he obtained his PhD degree from the University of Strath-clyde Glasgow Scotland. His theoretical research interests include predictive PID control advanced classical control generalised predictive control system identification and fault monitoring robust control design computer networks and more recently control through networks. His industrial interests are in the areas of large-scale systems especially power systems and power plant modelling and control supervisory control and process control. Dr. Moradi has published a number of Journal and Conference papers. Dr. Katebi is a senior lecturer in the Department of Electronic and Electrical Engineering University of Strathclyde. His theoretical research interests are currently focused on Non-linear Control and Filtering for Complex Systems Autonomous Control Design System integration and Fault monitoring and Reconfiguration Plant Monitoring through the Internet Discrete Event Simulation Process Optimisation and Robust Control Design. The industrial research interests are in the area of Hot and Rolling for Steel and Aluminium Power Plant Modelling and Control Marine Control Systems Process Control and Wastewater Treatment Control. Dr Katebi is the author/co-author of four books and more than 150 papers and industrial reports. Professor Johnson's academic education began at Coventry University (1969) and continued under the supervision of Professor Greyham Bryant in the field of Control Systems at Imperial College London. He obtained the DIC MSc and PhD from Imperial College leaving for industry in 1978. Subsequent experience was in the

This paper is concerned with the design of Multi-Inputs and Multi-Outputs (MIMO) predictive PID controllers, which have similar performance to that obtainable from model-based predictive controllers. A new PID control structure is defined which incorporates the prediction of future outputs and uses future set point. A method is proposed to calculate the optimal values of the PID gains from generalised predictive control results. A decentralized version of the predictive PID controllers is presented and the stability of the closed loop system is studied. Simulation studies demonstrate the superior performance of the proposed controller compared with a conventional PID controller. The results are also compared with generalised predictive control solutions.

关键词： PID control design predictive PID MIMO controller optimisation

来源：评论

学校读者我要写书评

暂无评论

SPECTS O-CDMA field trials using subpicosecond pulses and integrated encoders/decoders across 80.8-km and 150-km links

SPECTS O-CDMA field trials using subpicosecond pulses and in...

引用

International Conference on Photonics in Switching (PS)

作者： N.K. Fontaine C. Yang R.P. Scott V.J. Hernandez F. Soares R. Broeke K. Perry G. Nowak W. Cong K. Okamoto B.H. Kolner Z. Ding J.P. Heritage S.J.B. Yoo Department of Electrical and Computer Engineering University of California Davis CA USA Department of Applied Science University of California Davis CA USA Key Laboratory for Micro/Nano Technology and System of Liao-ning ProvinceAerospace Systems Design Laboratory Massachusetts Institute of Technology Lexington MA USA

We compare two field demonstrations of SPECTS-OCDMA on an 80.8-km link and 150-km link using integrated, polarization independent arrayed-waveguide grating (AWG)-based encoders/decoders, an ultra-stable optical freque... 详细信息

关键词： Decoding Fiber nonlinear optics Nonlinear optics Optical receivers Frequency Optical pulses Optical pulse shaping Optical modulation Laboratories Polarization mode dispersion

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：