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

IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI

作者： Chao Liu Tao Tang Oleg Lisagor State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing China High Integrity Systems Engineering Group Department of Computer Science University of York York UK

Along with technology progress and fast paced development in China railway, the issue of safety is increasingly significant for all the involved technical equipments, especially for train control system. However, in view of the typical features of software-intensive, hardware-distributed, and communication-dependent derived from Communication based Train control System (CBTC) 1 , traditional safety analysis approaches gradually betray the deficiencies of loose consistency of safety and design processes and duplicate work on safety assessment. In this paper, two of prominent proposed model based safety analysis (MBSA) approaches: failure logic modeling and failure effect modeling are introduced to deal with these two industrially encountered challenges, and also a further feasibility study on system-component extraction and model boundary restriction is investigated via a lightweight CBTC case, to show key technical issues on deploying MBSA methodology into railway-specific safety critical system.

关键词： Safety Lenses Analytical models Chaos

来源：评论

学校读者我要写书评

暂无评论

STORYBOARD OF WCE VIDEO EXTRACTION BASED ON FRAME DIFFERENCE

引用

International Journal of Information Acquisition 2011年第4期08卷 315-324页

作者： YANAN FU MRINAL MANDAL DAVID W. ZHANG MAX Q.-H. MENG School of Control Science and Engineering Shandong University Jinan 250011 P. R. China Department of Electrical and Computer Engineering University of Alberta Edmonton Canada T6G 2V4 Canada Department of Electronic Engineering Chinese University of Hong Kong Hong Kong P. R. China

Wireless capsule endoscopy (WCE) is an imaging technology that enables close examination of the interior of the entire small intestine. A major problem associated with this new technology is that a large volume of video data need to be examined manually by clinicians. It is therefore useful to design a mechanism that allows the clinicians to gain certain evaluation of a video without watching the whole video. In this paper, a shot detection-based method is presented for automatically establishing the WCE video static storyboard, and then moving storyboard is extracted based on the selected representative frames under the supervision of clinicians. Experimental results show that most of the representative frames containing relevant features can be extracted from the original WCE video. The proposed method can significantly and safely reduce the number of frames that need to be examined by clinicians and thus speed up the diagnosis procedures.

关键词： Wireless capsule endoscopy static storyboard moving storyboard video abstraction

来源：评论

学校读者我要写书评

暂无评论

Two local observables are sufficient to characterize maximally entangled states of N qubits

引用

Physical Review A 2011年第2期83卷 022319-022319页

作者： Fengli Yan Ting Gao Eric Chitambar College of Physics Science and Information Engineering and Hebei Advanced Thin Films Laboratory Hebei Normal University Shijiazhuang 050016 China College of Mathematics and Information Science Hebei Normal University Shijiazhuang 050016 China Center for Quantum Information and Quantum Control (CQIQC) Department of Electrical and Computer Engineering and Department of Physics University of Toronto Toronto Ontario M5S 3G4 Canada

Maximally entangled states (MES) represent a valuable resource in quantum information processing. In N-qubit systems the MES are N-GHZ states [i.e., the collection of |GHZN〉=12(|00…0〉+|11…1〉)] and its local unitary (LU) equivalences. While it is well known that such states are uniquely stabilized by N commuting observables, in this article we consider the minimum number of noncommuting observables needed to characterize an N-qubit MES as the unique common eigenstate. Here, we prove, rather surprisingly, that in this general case any N-GHZ state can be uniquely stabilized by only two observables. Thus, for the task of MES certification, only two correlated measurements are required with each party observing the spin of his or her system along one of two directions.

关键词： BELL'S theorem QUANTUM theory INFORMATION processing INFORMATION theory QUANTUM communication OPTICAL communications

来源：评论

学校读者我要写书评

暂无评论

Training ANFIS system with DE algorithm

Training ANFIS system with DE algorithm

引用

International Workshop on Advanced Computational Intelligence (IWACI)

作者： Allahyar Z. Zangeneh Mohammad Mansouri Mohammad Teshnehlab Ali K. Sedigh Computer Engineering Department Science and Research Branch Islamic Azad university of Tehran Iran Intelligent System laboratory (ISLAB) Control Department K. N. Toosi University of Technology Tehran Iran Advanced Process Automation & Control laboratory (APAC) Control Department K. N. Toosi University of Technology Tehran Iran

In this study, a new type of training the adaptive network-based fuzzy inference system (ANFIS) is presented by applying different types of the Differential Evolution branches. The TSK-type consequent part is a linear model of exogenous inputs. The consequent part parameters are learned by a gradient descent algorithm. The antecedent fuzzy sets are learned by basic differential evolution (DE/rand/1/bin) and then with some modifications in it. This method is applied to identification of the nonlinear dynamic system, prediction of the chaotic signal under both noise-free and noisy conditions and simulation of the two-dimensional function. Instead of DE/rand/1/bin, this paper suggests the complex type (DE/current-to-best/1+1/bin & DE/rand/1/bin) on predicting of Mackey-glass time series and identification of a nonlinear dynamic system revealing the efficiency of proposed structure. Finally, the method is compared with pure ANFIS to show the efficiency of this method.

关键词： Vectors Adaptive systems Input variables Training Mathematical model Equations Firing

来源：评论

学校读者我要写书评

暂无评论

Compressive System Identification of LTI and LTV ARX Models

Compressive System Identification of LTI and LTV ARX Models

引用

IEEE Conference on Decision and control

作者： Borhan M. Sanandaji Tyrone L. Vincent Michael B. Wakin Roland Toth Kameshwar Poolla Department of Electrical Engineering and Computer Science Colorado School of Mines Golden CO 80401 USA Delft Center for Systems and Control Delft University of Technology Mekelweg 2 2628 CD Delft The Netherlands Departments of Electrical Engineering and Computer Sciences and Mechanical Engineering University of California Berkeley CA 94720 USA

ISBN: (纸本)9781612848006

In this paper, we consider identifying Auto Regressive with eXternal input (ARX) models for both Linear Time-Invariant (LTI) and Linear Time-Variant (LTV) systems. We aim at doing the identification from the smallest possible number of observations. This is inspired by the field of Compressive Sensing (CS), and for this reason, we call this problem Compressive System Identification (CSI). In the case of LTI ARX systems, a system with a large number of inputs and unknown input delays on each channel can require a model structure with a large number of parameters, unless input delay estimation is performed. Since the complexity of input delay estimation increases exponentially in the number of inputs, this can be difficult for high dimensional systems. We show that in cases where the LTI system has possibly many inputs with different unknown delays, simultaneous ARX identification and input delay estimation is possible from few observations, even though this leaves an apparently ill-conditioned identification problem. We discuss identification guarantees and support our proposed method with simulations. We also consider identifying LTV ARX models. In particular, we consider systems with parameters that change only at a few time instants in a piecewise-constant manner where neither the change moments nor the number of changes is known a priori. The main technical novelty of our approach is in casting the identification problem as recovery of a block-sparse signal from an underdetermined set of linear equations. We suggest a random sampling approach for LTV identification, address the issue of identifiability and again support our approach with illustrative simulations.

关键词： LTI System identification delay estimation Mathematic Identifiability Model structures

来源：评论

学校读者我要写书评

暂无评论

A Linked Data-Driven Solution to User Modeling in a Multi-Application Environment

A Linked Data-Driven Solution to User Modeling in a Multi-Ap...

引用

2011 2nd IEEE International Conference on Software engineering and Service science(2011年第二届 IEEE 软件工程与服务科学国际会议 ICSESS 2011)

作者： Na Ye Yinliang Zhao Xia Zhao Enjie Liu Gordon Clapworthy School of Electronic and Information Engineering Xi'an Jiao Tong University Xi'an China School of I School of Electronic and Information Engineering Xi'an Jiao Tong UniversityXi'an China School of Information and Control Engineering Xi'an University of Architecture & Technology Xi'an C Gordon Clapworthy Department of Computer Science and Technology University of Bedfordshire Luton UK Department of Computer Science and Technology University of Bedfordshire Luton UK

Abstract - The User Model plays a significant role in many personalized applications. Separated user modeling results in the fragments of the user model being distributed on the Web, but user modeling in a Multi-Application Environment (MAE) is increasingly required to provide a more complete user model view and more value-added user information to all relevant applications. In this paper, a Linked Data-driven user modeling approach is proposed to create links among the user model fragments of the same user who registers in different applications and, from these, construct a virtually global user model. Through these links, user information in one application can be acquired by another. An extendible Core User Model (CUM) is presented and used to describe both the common properties and the domain-specific features of the user. The advantages and disadvantages of this approach are analyzed by comparison with other user modeling methods in MAEs. The proposed solution appears to be more feasible and to offer increased flexibility.

关键词： Linked Data Multi-Application Environment User Model Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Home-Based Mobile Cardio-Pulmonary Rehabilitation Consultant System

Home-Based Mobile Cardio-Pulmonary Rehabilitation Consultant...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： Hsu-En Lee Wen-Chih Wang Shao-Wei Lu Bo-Yuan Wu Li-Wei Ko Department of Computer Science and Brain Research Center National Chiao Tung University Institute of electrical Control Engineering and Brain Research Center National Chiao Tung University Brain Research Center and Department of Biological Science and Technology National Chiao Tung University

ISBN: (纸本)9781424441211

Cardiovascular diseases are the most popular cause of death in the world recently. For postoperatives, cardiac rehabilitation is still asked to maintain at home (phase II) to improve cardiac function. However, only one third of outpatients do the exercise regularly, reflecting the difficulty for home-based healthcare: lacking of monitoring and motivation. Hence, a cardio-pulmonary rehabilitation system was proposed in this research to improve rehabilitation efficiency for better prognosis. The proposed system was built on mobile phone and receiving electrocardiograph (ECG) signal from a wireless ECG holter via Bluetooth connection. Apart from heart rate (HR) monitor, an ECG derived respiration (EDR) technique is also included to provide respiration rate (RR). Both HR and RR are the most important vital signs during exercise but only used one physiological signal recorder in this system. In clinical test, there were 15 subjects affording Bruce Task (treadmill) to simulate rehabilitation procedure. Correlation between this system and commercial product (Custo-Med) was up to 98% in HR and 81% in RR. Considering the prevention of sudden heart attack, an arrhythmia detection expert system and healthcare server at the backend were also integrated to this system for comprehensive cardio-pulmonary monitoring whenever and wherever doing the exercise.

关键词： Electrocardiography Heart Rate electrochemical grinding Exercise Clinical Trial Rehabilitation Lake Restoration Mobile phones Cardiovascular Diseases Outpatients Cause of Death Consultant Vital Signs

来源：评论

学校读者我要写书评

暂无评论

Sliding mode simulation and robustaness controller

Sliding mode simulation and robustaness controller

引用

International Conference on engineering and Industries (ICEI)

作者： Ali Amer Ahmed R. B Ahmad Saadi A. Alobaidi Abid Yahya L. A. Hassnawi Z. G. Ali Hazim H. Tahir School of Computer and Communication Engineering University Malaysia Perlis Malaysia Head of Computer Techniques Eng. Dept. Dijlah University College Baghdad Iraq Mechatronics Department Control and Mechatronics Research Ministry of Science and Technology Baghdad Iraq

Thailand has exported longan to international market more than four decades, and China is the main international market. After Thailand and China agreed the ASEAN framework under Free Trade Agreement (FTA) since 2003, the average volume and value of longan export per year during 2004-2010, grow up to 200,000 tons and 2,737 million Baht respectively. And the average of growth rate per year of volume and value is 18%, 15%. Therefore, the objectives of the research aim to investigate the supply chain performance, collaborative supply chain of exported longan and impact factors under Thailand-China FTA. The results are based upon empirical studies, a grower and an exporter. The questionnaires developed by Q-sort technique, have been intensively employed in order to collect data. As a significant result; this paper finds exporters have high level out of eight factors, it illustrates that good competence in business for this part of supply chain as well as are well-packed and much stronger than the grower. Nevertheless, the results from regression analysis also confirm the relationship of factors in all four models. From these experimental results, both international business and agriculture business have to be emphasized in order to manage longan export.

关键词： Equations Mathematical model Switches DC motors Trajectory Dynamics

来源：评论

学校读者我要写书评

暂无评论

A Generalized Fractional-Order Iterative Learning control

A Generalized Fractional-Order Iterative Learning Control

引用

IEEE Conference on Decision and control

作者： Yan Li YangQuan Chen Hyo-Sung Ahn School of Control Science and Engineering Shandong University Jinan 250061 Shandong Province PR China Electrical and Computer Engineering Department Utah State University Logan UT 84341 USA Department of Mechatronics Gwangju Institute of Science and Technology (GIST) 1 Oryong-dong Buk-gu Gwangju Korea

ISBN: (纸本)9781612848006

In this paper, we discuss in time domain the convergence of the iterative process for fractional-order nonlinear systems. A linear adaptive generalized fractional-order iterative learning control scheme is derived, which guarantees the convergence of the algorithm without the knowledge of the system order. The implementation of generalized fractional-order iterative learning controllers can be achieved by using the idea of fractional-order element networks. Most of the classical fractional-order iterative learning control methods fall into the scheme of this paper. A number of numerical simulations are illustrated to validate the concepts.

关键词： Iterative learning control Fractional calculus Nonlinear systems Convergence Adaptiveness

来源：评论

学校读者我要写书评

暂无评论

A motion-information-based vision-tracking system with a stereo camera on mobile robots

A motion-information-based vision-tracking system with a ste...

引用

IEEE Conference on Robotics, Automation and Mechatronics

作者： Wook Bahn Jaehong Park Chang-hun Lee Tae-il Kim Teajae Lee Muhammad Muneeb Shaikh Kwang-soo Kim Dong-il Cho Automation and Systems Research Institute (ASRI) and School of Electrical Engineering and Computer Science Seoul National University Seoul South Korea Department of Control and Instrumentation Engineering Hanbat National University Daejeon South Korea ASRI/Inter-university Semiconductor Research Center (ISRC) and School of Electrical Engineering and Computer Science Seoul National University Seoul South Korea

This paper presents a vision-tracking system for a mobile robot, using robot motion and stereo vision data. The mobile robot has an actuator module which pans and tilts an integrated stereo camera. The proposed system controls the actuator to maintain the line of sight of the stereo camera towards a stationary target by using the robot motion data. The robot motion data are obtained from a gyroscope and encoders of the mobile robot. The stereo vision data from the camera is used to compensate for errors in the motion measurements, and to prevent a long term error accumulation. This vision-based compensation is used only when the robot stops or moves slowly, because the long vision processing times can cause the loop time to overrun. The proposed system is experimentally evaluated while the robot moves on a trajectory.

关键词： Cameras Mobile robots Robot vision systems Robot kinematics Vectors Stereo vision

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：