A Fault Model Centered Modeling Framework for Self-healing Computing Systems
|
|
- Marion Thompson
- 5 years ago
- Views:
Transcription
1 A Fault Model Centered Modeling Framework or Sel-healing Computing Systems Wei Lu 1, Yian Zhu 1, Chunyan Ma 1, and Longmei Zhang 2 1 Department o Sotware and Microelectronics, Northwestern Polytechnical University, Xi an, , China 2 Department o Electronics Inormation, Northwestern Polytechnical University, Xi an, , China {luweinpu,zhuya,machunyan}@nwpu.edu.cn, longmei.zhang@gmail.com Abstract. As the computing systems become more and more complex, new technology and approach are desired to construct the system, so as to make them more reliable or sel-healable. A modeling ramework to generating selhealing system is proposed in this paper. The model ramework consists o unction model, ault model, sel-healing model, model composition mechanism or integration o the unction model and the sel-healing model, as well as a code generation platorm that supports automated generation o sel-healing enabled sotware systems. The ramework has the advantages o the ollowing aspects: 1) The unctional s o target system and the sel-healing s or the target system can be modeled respectively under the ramework; 2) The unctional models and the sel-healing models can be coupled through ault model; 3) The sel-healability o the target system can be analyzed at he model level; 4) The modeling ramework is platormindependent. Keywords: computing systems, model, sel-healing, ramework. 1 Introduction Large scale computing and inormation systems are a vital and integral part o today s society. Many modern IT systems are to such a degree critical or essential inrastructure, and sometimes or human lie, that no downtime is actually acceptable. As the development o computer and network, typical present-day computing systems are more and more complex so that they are becoming increasingly diicult to execute robustly. Computing systems have reached a level o complexity where the human eort required to get the systems up and running and keeping them operational is getting out o hand. When computer systems operate abnormally, detecting and resolving the problem requires much time and eort, even some time it is impossible. An increasingly signiicant requisite or computing systems is the ability to handle resource variability, ever-changing user needs and system aults. This new requisite poses new challenges or computing systems designers and developers. Sel-healing approach attempt to enable computing systems to automatically discover, diagnose, H. Deng et al. (Eds.): AICI 2011, Part II, LNAI 7003, pp , Springer-Verlag Berlin Heidelberg 2011
2 62 W. Lu et al. and repair (or at least mitigate) aults without human intervention, thus it is a potential approach to resolve the problem. In recent years, research o sel-healing has been given a considerable attention to construct target system reliable. Several approaches have been proposed to develop sel-healing system, including -based, Architecture-based, and log-based approaches. These approaches have been used to developed sotware systems so as to make the systems more reliable or sel-healable or some aults. As more and more researchers and engineers attempt to use sel-healing approaches to develop computing systems in area such as deep-space exploring and environment monitoring where manual repairing is not easible or diicult when anomalies occur, how to model a sel-healing system and how to evaluate the sel-healability o the system we have constructed become the important issues need to be resolved. This paper proposed a modeling ramework to generating the ability o selhealing. This remainder o the paper is organized as ollows: Section 2 is devoted to an in-depth analysis o related works. Section 3 describes requirements or selhealing system. In Section 4, we describe our modeling ramework or sel-healing system. Finally, Section 5 presents our conclusions and uture works. 2 Related Works Currently, the architecture o sel-healing systems and the technologies or implementing a sel-healing system have been researched rom diverse views and some engineers have been trying to make use o the sel-healing mechanism to resolve special problems they encountered in various ield [1]. Jerey O.Kephart et. al. view sel-healing as the most important characteristic o an autonomic computing system. They depict the process o sel-healing as the system to detect, diagnose, and repair localized problems resulting rom bugs or ailures in sotware and hardware[2]. To achieve autonomic computing, they has suggested a reerence model which sometime called the MAPE-K(Monitor, Analyze, Plan, Execute, Knowledge) model[3]. This model is being reerenced by more and more researchers to achieve a sel-healing system. SHADOWS (Sel-healing Approach to Designing Complex Sotware Systems)[4] was a three-year EU IST STREP project started in Jun 2006 which aimed at developing technologies that augment large sotware systems with a sort o immune response against contingencies that can occur at design-time or runtime. The project proposes an automatic or semi-automatic detection and repair o possibly problematic behavior in its early design and development stages[5]. Emil Vassev proposed an Autonomic System Speciication Language (ASSL) or describing autonomic systems[6]. The Autonomic System Speciication Language (ASSL) is a declarative speciication language or autonomic system with well deined semantics including modern programming language concepts and constructs like inheritance, modularity, type system and high abstract expressiveness. This language addresses the problem o ormal speciication and code generation o autonomic systems within a ramework. Emil Vassev presented concrete results on the use o ASSL to speciy a sel-healing behavior model or NASA swarm-based exploration missions and to generate an application skeleton o the same.
3 A Fault Model Centered Modeling Framework or Sel-healing Computing Systems 63 Other researchers devote to design sel-healing mechanisms or speciic issues in their respective areas and implement speciic systems with sel-healing characteristics. Most o the current researches in sel-healing areas are directed at the system architecture and implementing technologies or speciic sel-healing mechanisms. But or a general system, how to model it so as to make the system with some sel-healing characteristics and how to evaluate the sel-healability o the system are two important problems reserved to be resolved. 3 Requirements or Sel-healing Systems At present, there is not an accurate or strict deinition that is consensus-based or selhealing system or or sel-healability o a system. Most o the depictions about selhealing system or sel-healability appeared in relative literatures and reports are conceptive and qualitative. Ghosh et al deine sel-healing as the property that enables a system to perceive that it is not operating correctly and, without (or with) human intervention, make the necessary adjustments to restore itsel to normalcy[1]. Huebscher et. al. view selhealing as a property o an autonomic computing system and depict it as the capability o a system to detect, diagnose problems and to ix the problems i possible[7]. Gorla et. al. indicate that designing or sel-healing should aim to make the system support our main phases as ailure prediction or detection, ault diagnosis or localization, ault isolation or ailure recovery, and validation[8]. Furthermore, they proposed some guidelines or enhancing sel-healing capabilities o sotware systems during the design phase. Laster et. al. think that Sel-Healing denotes the system ability to examine ind, diagnose and react to system malunctions. They describe the process o sel-healing as a closed loop cycle composed o our stages which are monitoring, error detecting and diagnosing, error analyzing and repair operation selecting, repair operation executing[9]. According to literatures and reports delivered in public, or a system to be selhealing, it must be able to detect the aults occurrences, identiy their causes, diagnose or localize the aults, isolate or repair the aults, and validate the repairs. We can divide the process o sel-healing into two phases mainly. The irst phase is the aults detection. The second phase is the system response. Dierent views have been proposed about respective tasks in every phase. We think that system monitor and aults diagnose should be the main tasks in aults detection phase and aults repair should be the main task in system response phase. But there is no a consensus-based view about the method and process or aults repair up to the present. Through the discussion about the requirements or sel-healing above, we can summarize that a sel-healing system should be composed o two parts which are unction part and sel-healing part. The unction part comprise unction s which realize the system s unctional requirements and the sel-healing part comprise sel-healing s which ulill the sel-healing process such as monitoring, diagnosing and repairing etc. So the structure o sel-healing system can be depicted as an integrator composed o the unction s and the sel-healing s. We can illustrate the structure o sel-healing system using igure 1.
4 64 W. Lu et al. Eector Eector Monitor Diagnosor Eector Repairor Eector Fig. 1. The structure o sel-healing system In igure 1, the unction part and the sel-healing part are weaved tightly together through sensors and eectors. s, oten called probes or gauges, collect inormation about the unction and the environment in which the unction run. Eectors carry out changes to the unction. According to the structure o sel-healing system in igure 1, two problems should be resolved beore we can achieve a sel-healing system. The irst problem we should encounter in system design phase is how to model the system especially the selhealing part so that make it with sel-healing characteristics. The second problem we should encounter in system implementation phase is how to manage the degree o coupling between the unction s and the sel-healing s. The problem about how to manage the degree o coupling between unction s and sel-healing s is out o this paper. We will discuss the irst problem primarily in remainder o this paper. 4 The Modeling Framework I we want to model or implement a sel-healing system directly based on its structure depicted in igure 1, we will soon all into chaos because we have to consider the selhealing part when we ocus on the unction part. How many sensors and eectors will be needed and where to deploy them are all problems that we should resolve beore we can implement the sel-healing part. All the issues about sel-healing part will distract us rom designing unction part so we will soon ind that the system are becoming more and more complex as more and more sel-healing s tangled with the unction s. Even we implement the system inally through our iterative hard work, how to evaluate the sel-healability or sel-healing degree o the system will be a crucial problem we have to consider. We think that the unction part and the sel-healing part o the system should be modeled respectively. When the model o sel-healing part was separated rom the unction model, the sensors and eectors will be removed rom the unction model so we can ix our attention on the unction part. But when we inish the unction model, how to set the sensors and eectors and redeploy them to the system or in other words how to joint the sel-healing model to the unction model so as to provide the system
5 A Fault Model Centered Modeling Framework or Sel-healing Computing Systems 65 with some sel-healing characteristic will be the key problem should be resolved. We propose a modeling ramework to resolve the problem so as to acilitate the development o sel-healing sotware systems. A ault model was used as the ligaments in our ramework to keep the associations between the unction model and the sel-healing model. In literature [10], we indicated that the sel-healability o a computing system should be relative to the ault model o the system. We view the deinition o selhealability o a computing system we proposed in literature [10] as the theoretical basis or the modeling ramework. The ramework consists o a unction model, a ault model, a sel-healing model, a model composition mechanism or integration o the unction model and the selhealing model, as well as a code generation platorm that supports automated generation o sel-healing enabled sotware systems. Figure 2 illustrates a conceptual architecture o the ramework. Fault Model Monitor Diagnosor model Model composition Eector Repairor Eector Healing policy Sel-healing model Code generation Sel-healing sotware system Code generation Program composition Fig. 2. Sel-healing system modeling ramework The aim o this ramework is to integrate various existing sotware techniques with Model Driven Architecture (MDA) approaches, with the intent to provide a united platorm to enable sel-healing sotware systems to be engineered and implemented rom model speciications. Many technologies, methods and support tools have been proposed or unction modeling so we will only discuss the other part in the ramework. 4.1 Fault Model We deine the basic ault noted as symbol as the minimal event unit that result in system abnormity. We note the set o all the possible basic aults as symbol Σ, so
6 66 W. Lu et al. Σ = { 1, 2, n}. We can divide the according to their types. We deine each subset o Σ to some mutually exclusive subsets Σ as a macro-ault noted as F. The macro-aults can also be classiied according to their types. We can go on the classiying until we achieve a tree structure about the aults. Figure 3 illustrates the tree structure o aults model. All lea nodes in the tree are basic aults and other nodes are macro-aults. Once we have constructed a tree structure o the system aults, the objective o sel-healing modeling is how to support the ault model that is how to diagnose and repair every ault in the aults model. Furthermore, we can analyze the sel-healability o the system ater the sel-healing model being inished through the aults model. We have discussed the relationship between sel-healability and aults model in literature[10]. F 0 F 11 F 13 1 F 0 F Fig. 3. The tree-based ault model 4.2 Sel-healing Model The sel-healing model or sotware system can be constructed based on the ault model. A sotware ault (basic ault or macro-ault) can be detected by the diagnostician through the inormation collected by one or more monitors and repaired by the repairer through one or more eectors. Similarly, preventive eectors can be taken when the occurrence o aults is predicted. The sel-healability o the system can by analyzed through the degree o the aults model supported by the sel-healing model. 4.3 Model Composition A sel-healing model is described as a set o abstract constructs that are instantiated when it is associated with the base system models. In this way, the sel-healing eature is kept separate rom the base unctionality o the sotware system. The decomposition o the base unctionality and the sel-healing eature improves modularity and re-usability o the sel-healing modules. The main advantage o this approach is that it allows developing and maintaining the sel-healing models independently rom the base model. Furthermore, sel-healing models can be applied to all levels in the sotware system hierarchy. Besides, according to dierent
7 A Fault Model Centered Modeling Framework or Sel-healing Computing Systems 67 requirements or systems to be sel-healing, we can construct dierent sel-healing models to support the ault model in dierent degrees. Deploying a sel-healing model to the unction model is done by model composition techniques. Typically, model composition involves merging two or more models to obtain a single integrated model. Aspect-Oriented Modeling is a promising research area that supports model composition. Sel-healing models can be speciied as crosscutting aspects that are embedded in the base models. Model weaving is another approach or model composition, wherein the relationships between the models are captured in a weaving model. A weaving model is one that speciies dierent kinds o mappings between model elements. By adopting this approach, a separate weaving model is created that explicitly speciies the links between base models and sel-healing models. All three kinds o models (i.e., base, sel-healing and weaving models) will be ed to a weaver engine and composed into a single integrated model. 4.4 Code Generation and Program Composition The sel-healing models are speciied in a platorm-independent manner. To support a complete sel-healing application, a amily o code generators needs to be employed or transorming platorm-independent models into platorm-speciic code, each describing how the sel-healing eatures are implemented on a dierent platorm. The base and sel-healing models are translated into platorm-speciic implementations by their own code generators, respectively. The base code is then augmented with the sel-healing instrumentation by using program composition techniques. As a result, a complete sel-healing enabled sotware system is constructed and directly mapped to the representation o the composed sel-healing enabled sotware model, upon which model-based analysis can be perormed or system veriication and validation. 5 Conclusions and Future Works In this paper we show a generic ramework or modeling sel-healing sotware systems. A tree-based ault model is used in the ramework to keep the association between unction model and sel-healing model o the system. We can model the selhealing part o the system based on the ault model so the unction part and the selhealing part o the system can be modeled respectively under the ramework. Furthermore, we can analyze the sel-healability o the system through how the selhealing model can support the ault model when we implement the system. The ramework can also be used to analyze the sel-healability o legacy systems. Under our modeling ramework, Sel-healing is achieved by transorming the sel-healing models into platorm-speciic implementation, which is then composed with the base module to orm an integrated sotware system that provides ailure resolutions to mitigate the eect o sotware aults. With the progress o AOM, we expect that the sel-healing code ramework can be build automatically through the sel-healing model.
8 68 W. Lu et al. There are still a ew open tasks that should be done. Currently we are ocusing on developing the method to modeling the system aults based on tree structure. Model composition is another important technology we are investigating all along. Acknowledgment. This work is partially supported by Aviation Science Fund #2010ZD53047 to Lu Wei. Reerences [1] Ghosh, D., Sharman, R., Raghav Rao, H., Upadhyaya, S.: Sel-healing systems survey and synthesis. Decision Support Systems 42, (2007) [2] Kephart, J.O., Chess, D.M.: The vision o autonomic computing. Computer 36, (2003) [3] IBM, An architectural blueprint or autonomic computing, IBM (2003) [4] Shehory, O.: SHADOWS: Sel-healing complex sotware systems. In: 23rd IEEE/ACM International Conerence on Automated Sotware Engineering - Workshops, ASE Workshops 2008, pp (2008) [5] Jung, G., Margaria, T., Wagner, C., Bakera, M.: Formalizing a Methodology or Designand Runtime Sel-Healing. In: 2010 Seventh IEEE International Conerence and Workshops on Engineering o Autonomic and Autonomous Systems (EASe), pp (2010) [6] Vassev, E., Paquet, J.: ASSL - Autonomic System Speciication Language. In: 31st IEEE Sotware Engineering Workshop, SEW 2007, pp (2007) [7] Huebscher, M.C., McCann, J.A.: A survey o autonomic computing degrees, models, and applications. ACM Comput. Surv. 40, 1 28 (2008) [8] Gorla, A.: Towards design or sel-healing. In: Fourth International Workshop on Sotware quality assurance: in conjunction with the 6th ESEC/FSE Joint Meeting, Dubrovnik, Croatia, pp (2007) [9] Laster, S.S., Olatunji, A.O.: Autonomic Computing: Towards a Sel-Healing System. In: Proceedings o the Spring 2007 American Society or Engineering Education Illinois- Indiana Section Conerence (2007) [10] Lu, W., Zhu, Y., Zhang, L.: Further exploring understanding o sel-healability o computing system using discrete-event model. Xibei Gongye Daxue Xuebao/Journal o Northwestern Polytechnical University 28, (2010)
Intelligent knowledge-based system for the automated screwing process control
Intelligent knowledge-based system or the automated screwing process control YULIYA LEBEDYNSKA yuliya.lebedynska@tu-cottbus.de ULRICH BERGER Chair o automation Brandenburg University o Technology Cottbus
More informationAutomated Planning for Feature Model Configuration based on Functional and Non-Functional Requirements
Automated Planning or Feature Model Coniguration based on Functional and Non-Functional Requirements Samaneh Soltani 1, Mohsen Asadi 1, Dragan Gašević 2, Marek Hatala 1, Ebrahim Bagheri 2 1 Simon Fraser
More informationA Proposed Approach for Solving Rough Bi-Level. Programming Problems by Genetic Algorithm
Int J Contemp Math Sciences, Vol 6, 0, no 0, 45 465 A Proposed Approach or Solving Rough Bi-Level Programming Problems by Genetic Algorithm M S Osman Department o Basic Science, Higher Technological Institute
More information10. SOPC Builder Component Development Walkthrough
10. SOPC Builder Component Development Walkthrough QII54007-9.0.0 Introduction This chapter describes the parts o a custom SOPC Builder component and guides you through the process o creating an example
More informationA Classification System and Analysis for Aspect-Oriented Programs
A Classiication System and Analysis or Aspect-Oriented Programs Martin Rinard, Alexandru Sălcianu, and Suhabe Bugrara Massachusetts Institute o Technology Cambridge, MA 02139 ABSTRACT We present a new
More information2. Design Planning with the Quartus II Software
November 2013 QII51016-13.1.0 2. Design Planning with the Quartus II Sotware QII51016-13.1.0 This chapter discusses key FPGA design planning considerations, provides recommendations, and describes various
More informationMATRIX ALGORITHM OF SOLVING GRAPH CUTTING PROBLEM
UDC 681.3.06 MATRIX ALGORITHM OF SOLVING GRAPH CUTTING PROBLEM V.K. Pogrebnoy TPU Institute «Cybernetic centre» E-mail: vk@ad.cctpu.edu.ru Matrix algorithm o solving graph cutting problem has been suggested.
More informationResearch Article Synthesis of Test Scenarios Using UML Sequence Diagrams
International Scholarly Research Network ISRN Sotware Engineering Volume 2012, Article ID 324054, 22 pages doi:10.5402/2012/324054 Research Article Synthesis o Test Scenarios Using UML Sequence Diagrams
More informationFormalizing Cardinality-based Feature Models and their Staged Configuration
Formalizing Cardinality-based Feature Models and their Staged Coniguration Krzyszto Czarnecki, Simon Helsen, and Ulrich Eisenecker 2 University o Waterloo, Canada 2 University o Applied Sciences Kaiserslautern,
More information9.8 Graphing Rational Functions
9. Graphing Rational Functions Lets begin with a deinition. Deinition: Rational Function A rational unction is a unction o the orm P where P and Q are polynomials. Q An eample o a simple rational unction
More informationRoad Sign Analysis Using Multisensory Data
Road Sign Analysis Using Multisensory Data R.J. López-Sastre, S. Lauente-Arroyo, P. Gil-Jiménez, P. Siegmann, and S. Maldonado-Bascón University o Alcalá, Department o Signal Theory and Communications
More information9. Reviewing Printed Circuit Board Schematics with the Quartus II Software
November 2012 QII52019-12.1.0 9. Reviewing Printed Circuit Board Schematics with the Quartus II Sotware QII52019-12.1.0 This chapter provides guidelines or reviewing printed circuit board (PCB) schematics
More informationAutomated Modelization of Dynamic Systems
Automated Modelization o Dynamic Systems Ivan Perl, Aleksandr Penskoi ITMO University Saint-Petersburg, Russia ivan.perl, aleksandr.penskoi@corp.imo.ru Abstract Nowadays, dierent kinds o modelling settled
More informationAd-hoc Workflow: Problems and Solutions
Ad-hoc Worklow: Problems and Solutions M. Voorhoeve and W. van der Aalst Dept. o Mathematics and Computing Science Eindhoven University o Technology Eindhoven, The Netherlands, 5600MB Abstract The paper
More informationClassifier Evasion: Models and Open Problems
. In Privacy and Security Issues in Data Mining and Machine Learning, eds. C. Dimitrakakis, et al. Springer, July 2011, pp. 92-98. Classiier Evasion: Models and Open Problems Blaine Nelson 1, Benjamin
More informationAC : DEVELOPMENT OF A ROBOTIC PLATFORM FOR TEACH- ING MODEL-BASED DESIGN TECHNIQUES IN DYNAMICS AND CON- TROL PROGRAM
AC 011-714: DEVELOPMENT OF A ROBOTIC PLATFORM FOR TEACH- ING MODEL-BASED DESIGN TECHNIQUES IN DYNAMICS AND CON- TROL PROGRAM Bingen Yang, University o Southern Caliornia Dr. Bingen Yang is Proessor o Aerospace
More informationCounting Interface Automata and their Application in Static Analysis of Actor Models
Counting Interace Automata and their Application in Static Analysis o Actor Models Ernesto Wandeler Jörn W. Janneck Edward A. Lee Lothar Thiele Abstract We present an interace theory based approach to
More informationUsing VCS with the Quartus II Software
Using VCS with the Quartus II Sotware December 2002, ver. 1.0 Application Note 239 Introduction As the design complexity o FPGAs continues to rise, veriication engineers are inding it increasingly diicult
More informationA Requirement Specification Language for Configuration Dynamics of Multiagent Systems
A Requirement Speciication Language or Coniguration Dynamics o Multiagent Systems Mehdi Dastani, Catholijn M. Jonker, Jan Treur* Vrije Universiteit Amsterdam, Department o Artiicial Intelligence, De Boelelaan
More informationModeling and Analysis of Workflow Based on TLA
JOURNAL OF COMPUTERS, VOL. 4, NO. 1, JANUARY 2009 27 Modeling and Analysis o Worklow Based on TLA CHEN Shu Wu Han University Computer Science Department, Wu Han China Email: Chenshu181@yahoo.com.cn WU
More information3D Hand and Fingers Reconstruction from Monocular View
3D Hand and Fingers Reconstruction rom Monocular View 1. Research Team Project Leader: Graduate Students: Pro. Isaac Cohen, Computer Science Sung Uk Lee 2. Statement o Project Goals The needs or an accurate
More informationAn Approach for Performance Evaluation of Batch-sequential and Parallel Architectural Styles
An Approach or Perormance Evaluation o Batch-sequential and Parallel Architectural Styles Golnaz Aghaee Ghazvini MSc student, Young Research Club, Njaabad Branch, Esahan, Iran Aghaee.golnaz@sco.iaun.ac.ir
More information2. Getting Started with the Graphical User Interface
February 2011 NII52017-10.1.0 2. Getting Started with the Graphical User Interace NII52017-10.1.0 The Nios II Sotware Build Tools (SBT) or Eclipse is a set o plugins based on the popular Eclipse ramework
More informationFractal Art: Fractal Image and Music Generator
Proceedings o the 7th WSEAS Int. Con. on Signal Processing, Computational Geometry & Artiicial Vision, Athens, Greece, August 4-6, 007 159 Fractal Art: Fractal Image and Music Generator RAZVAN TANASIE
More informationA MULTI-LEVEL IMAGE DESCRIPTION MODEL SCHEME BASED ON DIGITAL TOPOLOGY
In: Stilla U et al (Eds) PIA7. International Archives o Photogrammetry, Remote Sensing and Spatial Inormation Sciences, 36 (3/W49B) A MULTI-LEVEL IMAGE DESCRIPTION MODEL SCHEME BASED ON DIGITAL TOPOLOG
More informationSIMULATION OPTIMIZER AND OPTIMIZATION METHODS TESTING ON DISCRETE EVENT SIMULATIONS MODELS AND TESTING FUNCTIONS
SIMULATION OPTIMIZER AND OPTIMIZATION METHODS TESTING ON DISCRETE EVENT SIMULATIONS MODELS AND TESTING UNCTIONS Pavel Raska (a), Zdenek Ulrych (b), Petr Horesi (c) (a) Department o Industrial Engineering
More informationResearch on Image Splicing Based on Weighted POISSON Fusion
Research on Image Splicing Based on Weighted POISSO Fusion Dan Li, Ling Yuan*, Song Hu, Zeqi Wang School o Computer Science & Technology HuaZhong University o Science & Technology Wuhan, 430074, China
More informationAUTOMATING THE DESIGN OF SOUND SYNTHESIS TECHNIQUES USING EVOLUTIONARY METHODS. Ricardo A. Garcia *
AUTOMATING THE DESIGN OF SOUND SYNTHESIS TECHNIQUES USING EVOLUTIONARY METHODS Ricardo A. Garcia * MIT Media Lab Machine Listening Group 20 Ames St., E5-49, Cambridge, MA 0239 rago@media.mit.edu ABSTRACT
More informationA Cylindrical Surface Model to Rectify the Bound Document Image
A Cylindrical Surace Model to Rectiy the Bound Document Image Huaigu Cao, Xiaoqing Ding, Changsong Liu Department o Electronic Engineering, Tsinghua University State Key Laboratory o Intelligent Technology
More informationModeling and Calibration of the Galvanometric Laser Scanning Three- Dimensional Measurement System
Nanomanuacturing and Metrology (8) :8 9 https://doi.org/./s48-8-- (45689().,-volV)(45689().,-volV) ORIGINAL ARTICLES Modeling and Calibration o the Galvanometric Laser Scanning Three- Dimensional Measurement
More informationConnecting Definition and Use? Tiger Semantic Analysis. Symbol Tables. Symbol Tables (cont d)
Tiger source program Tiger Semantic Analysis lexical analyzer report all lexical errors token get next token parser construct variable deinitions to their uses report all syntactic errors absyn checks
More informationThe Graph of an Equation Graph the following by using a table of values and plotting points.
Calculus Preparation - Section 1 Graphs and Models Success in math as well as Calculus is to use a multiple perspective -- graphical, analytical, and numerical. Thanks to Rene Descartes we can represent
More informationMotion based 3D Target Tracking with Interacting Multiple Linear Dynamic Models
Motion based 3D Target Tracking with Interacting Multiple Linear Dynamic Models Zhen Jia and Arjuna Balasuriya School o EEE, Nanyang Technological University, Singapore jiazhen@pmail.ntu.edu.sg, earjuna@ntu.edu.sg
More informationCS485/685 Computer Vision Spring 2012 Dr. George Bebis Programming Assignment 2 Due Date: 3/27/2012
CS8/68 Computer Vision Spring 0 Dr. George Bebis Programming Assignment Due Date: /7/0 In this assignment, you will implement an algorithm or normalizing ace image using SVD. Face normalization is a required
More informationProceedings of HotOS IX: The 9th Workshop on Hot Topics in Operating Systems
USENIX Association Proceedings o HotOS IX: The 9th Workshop on Hot Topics in Operating Systems Lihue, Hawaii, USA May 18 21, 2003 THE ADVANCED COMPUTING SYSTEMS ASSOCIATION 2003 by The USENIX Association
More informationMeasuring the Vulnerability of Interconnection. Networks in Embedded Systems. University of Massachusetts, Amherst, MA 01003
Measuring the Vulnerability o Interconnection Networks in Embedded Systems V. Lakamraju, Z. Koren, I. Koren, and C. M. Krishna Department o Electrical and Computer Engineering University o Massachusetts,
More information2. Recommended Design Flow
2. Recommended Design Flow This chapter describes the Altera-recommended design low or successully implementing external memory interaces in Altera devices. Altera recommends that you create an example
More informationClassifier Evasion: Models and Open Problems
Classiier Evasion: Models and Open Problems Blaine Nelson 1, Benjamin I. P. Rubinstein 2, Ling Huang 3, Anthony D. Joseph 1,3, and J. D. Tygar 1 1 UC Berkeley 2 Microsot Research 3 Intel Labs Berkeley
More informationNeighbourhood Operations
Neighbourhood Operations Neighbourhood operations simply operate on a larger neighbourhood o piels than point operations Origin Neighbourhoods are mostly a rectangle around a central piel Any size rectangle
More informationA new approach for ranking trapezoidal vague numbers by using SAW method
Science Road Publishing Corporation Trends in Advanced Science and Engineering ISSN: 225-6557 TASE 2() 57-64, 20 Journal homepage: http://www.sciroad.com/ntase.html A new approach or ranking trapezoidal
More informationPassive Distance Learning for Robot Navigation
Passive Distance Learning or Robot Navigation Sven Koenig Reid G. Simmons School o Computer Science Carnegie Mellon University Pittsburgh, PA 1213-3890 skoenig@cs.cmu.edu reids@cs.cmu.edu Abstract Autonomous
More informationAn Efficient Configuration Methodology for Time-Division Multiplexed Single Resources
An Eicient Coniguration Methodology or Time-Division Multiplexed Single Resources Benny Akesson 1, Anna Minaeva 1, Přemysl Šůcha 1, Andrew Nelson 2 and Zdeněk Hanzálek 1 1 Czech Technical University in
More informationLearning Implied Global Constraints
Learning Implied Global Constraints Christian Bessiere LIRMM-CNRS U. Montpellier, France bessiere@lirmm.r Remi Coletta LRD Montpellier, France coletta@l-rd.r Thierry Petit LINA-CNRS École des Mines de
More informationIntelligent Optimization Methods for High-Dimensional Data Classification for Support Vector Machines
Intelligent Inormation Management, 200, 2, ***-*** doi:0.4236/iim.200.26043 Published Online June 200 (http://www.scirp.org/journal/iim) Intelligent Optimization Methods or High-Dimensional Data Classiication
More informationMULTI-MODAL DIAGNOSTICS FOR VEHICLE FAULT DETECTION. Matthew L. Schwall and J. Christian Gerdes
Proceedings o IMECE2: 2 ASME International Mechanical Engineering Congress and Exposition November 6, 2, New York, NY IMECE2/DSCB-6 MULTI-MODAL DIAGNOSTICS FOR VEHICLE FAULT DETECTION Matthew L. Schwall
More informationImproving Machining Accuracy with Robot Deformation Compensation
he 29 IEEE/RSJ International Conerence on Intelligent Robots and Systems October 11-15, 29 St. Louis, USA Improving Machining Accuracy with Robot Deormation Compensation Jianjun Wang, Hui Zhang, and homas
More informationAN 608: HST Jitter and BER Estimator Tool for Stratix IV GX and GT Devices
AN 608: HST Jitter and BER Estimator Tool or Stratix IV GX and GT Devices July 2010 AN-608-1.0 The high-speed communication link design toolkit (HST) jitter and bit error rate (BER) estimator tool is a
More informationClustering Analysis for Object Formation in Software Modeling
Clustering Analysis or Object Formation in Sotware Modeling Dusan Sormaz, Danyu You, and Arkopaul Sarkar Department o Industrial and Systems Engineering, Ohio Uniersity, Athens, OH, USA Institute or Corrosion
More informationSection III. Advanced Programming Topics
Section III. Advanced Programming Topics This section provides inormation about several advanced embedded programming topics. It includes the ollowing chapters: Chapter 8, Exception Handling Chapter 9,
More informationSelf-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture
Architecting Self-Managing Distributed Systems Workshop ASDS@ECSAW 15 Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture Flávia C. Delicato Federal University of Rio de Janeiro
More informationSOFTWARE ARCHITECTURE & DESIGN INTRODUCTION
SOFTWARE ARCHITECTURE & DESIGN INTRODUCTION http://www.tutorialspoint.com/software_architecture_design/introduction.htm Copyright tutorialspoint.com The architecture of a system describes its major components,
More informationA Review of Evaluation of Optimal Binarization Technique for Character Segmentation in Historical Manuscripts
010 Third International Conerence on Knowledge Discovery and Data Mining A Review o Evaluation o Optimal Binarization Technique or Character Segmentation in Historical Manuscripts Chun Che Fung and Rapeeporn
More informationFirst Video Streaming Experiments on a Time Driven Priority Network
First Video Streaming Experiments on a Driven Priority Network Mario Baldi and Guido Marchetto Department o Control and Computer Engineering Politecnico di Torino (Technical University o Torino) Abstract
More informationClassification Method for Colored Natural Textures Using Gabor Filtering
Classiication Method or Colored Natural Textures Using Gabor Filtering Leena Lepistö 1, Iivari Kunttu 1, Jorma Autio 2, and Ari Visa 1, 1 Tampere University o Technology Institute o Signal Processing P.
More informationDesign and Research of Novel Industry Robot Wrist Force Multidimensional Sensor
Sensors & Transducers 214 by ISA Publishing, S. L. http://www.sensorsportal.com Design and Research o Novel Industry Robot Wrist orce Multidimensional Sensor 1 Yuan Chuanlai, 2 Zhang Yueyi, 1 Xiao Shenping,
More informationAdmissible Model Matching Fault Tolerant Control based on LPV Fault Representation
Admissible Model Matching Fault Tolerant Control based on LPV Fault Representation Saúl Montes de Oca Vicenç Puig Didier Theilliol Sebastian Tornil-Sin Advanced Control Systems Group, Technical University
More informationSection II. Nios II Software Development
Section II. Nios II Sotware Development This section o the Embedded Design Handbook describes how to most eectively use the Altera tools or embedded system sotware development, and recommends design styles
More informationIn astroinformatics, the processing and analyzing. Scaling Astroinformatics: Python + Automatic Parallelization COVER FEATURE
Scaling Astroinormatics: Python + Automatic Parallelization Stean C. Müller, ETH Zürich and University o Applied Sciences Northwestern Switzerland Gustavo Alonso, ETH Zürich André Csillaghy, University
More informationGeneralized Reliability-Oriented Energy Management for Real-time Embedded Applications
Generalized Reliability-Oriented Energy Management or Real-time Embedded Applications ABSTRACT Baoxian Zhao, Hakan Aydin epartment o Computer Science George Mason University Fairax, VA 22030 bzhao@gmu.edu,
More informationThe λ-calculus. 1 Background on Computability. 2 Programming Paradigms and Functional Programming. 1.1 Alan Turing. 1.
The λ-calculus 1 Background on Computability The history o computability stretches back a long ways, but we ll start here with German mathematician David Hilbert in the 1920s. Hilbert proposed a grand
More informationPATH PLANNING OF UNMANNED AERIAL VEHICLE USING DUBINS GEOMETRY WITH AN OBSTACLE
Proceeding o International Conerence On Research, Implementation And Education O Mathematics And Sciences 2015, Yogyakarta State University, 17-19 May 2015 PATH PLANNING OF UNMANNED AERIAL VEHICLE USING
More informationComposite functions. [Type the document subtitle] Composite functions, working them out.
Composite unctions [Type the document subtitle] Composite unctions, workin them out. luxvis 11/19/01 Composite Functions What are they? In the real world, it is not uncommon or the output o one thin to
More informationJoint Congestion Control and Scheduling in Wireless Networks with Network Coding
Title Joint Congestion Control and Scheduling in Wireless Networks with Network Coding Authors Hou, R; Wong Lui, KS; Li, J Citation IEEE Transactions on Vehicular Technology, 2014, v. 63 n. 7, p. 3304-3317
More informationCertificate Translation for Optimizing Compilers
Certiicate Translation or Optimizing Compilers Gilles Barthe IMDEA Sotware and Benjamin Grégoire and César Kunz and Tamara Rezk INRIA Sophia Antipolis - Méditerranée Proo Carrying Code provides trust in
More informationResource-Definition Policies for Autonomic Computing
2009 Fifth International Conference on Autonomic and Autonomous Systems Resource-Definition Policies for Autonomic Computing Radu Calinescu Computing Laboratory, University of Oxford, UK Email: Radu.Calinescu@comlab.ox.ac.uk
More informationKANGAL REPORT
Individual Penalty Based Constraint handling Using a Hybrid Bi-Objective and Penalty Function Approach Rituparna Datta Kalyanmoy Deb Mechanical Engineering IIT Kanpur, India KANGAL REPORT 2013005 Abstract
More informationA Research on Moving Human Body Detection Based on the Depth Images of Kinect
Sensors & Transducers 2014 by IFSA Publishing, S. L. http://www.sensorsportal.com A Research on Moving Human Body Detection Based on the Depth Images o Kinect * Xi an Zhu, Jiaqi Huo Institute o Inormation
More information1.2 Related Work. Panoramic Camera PTZ Dome Camera
3rd International Conerence on Multimedia Technology ICMT 2013) A SPATIAL CALIBRATION METHOD BASED ON MASTER-SLAVE CAMERA Hao Shi1, Yu Liu, Shiming Lai, Maojun Zhang, Wei Wang Abstract. Recently the Master-Slave
More informationLagrangian relaxations for multiple network alignment
Noname manuscript No. (will be inserted by the editor) Lagrangian relaxations or multiple network alignment Eric Malmi Sanjay Chawla Aristides Gionis Received: date / Accepted: date Abstract We propose
More informationStudy and Analysis of Edge Detection and Implementation of Fuzzy Set. Theory Based Edge Detection Technique in Digital Images
Study and Analysis o Edge Detection and Implementation o Fuzzy Set Theory Based Edge Detection Technique in Digital Images Anju K S Assistant Proessor, Department o Computer Science Baselios Mathews II
More informationA novel algorithm for multi-node load forecasting based on big data of distribution network
International Conerence on Advanced Electronic Science and Technology (AEST 206) A novel algorithm or multi-node load orecasting based on big data o distribution network Guangsong Hou, Ke Xu, Shoubin Yin,
More informationProposal of an ODX Data Exchange System Applied to Automotive Diagnosis
Proposal o an ODX Data Exchange System Applied to Automotive Diagnosis A. Cremmel *,**, A. Azarian *,**, A. Siadat ** (IEEE Member) * SIEMENS AG A&D AS AP SE 3 IC, Siemensallee 84, 76187Karlsruhe, GERMANY
More informationData & Knowledge Engineering
Data & Knowledge Engineering 73 (2012) 1 22 Contents lists available at SciVerse ScienceDirect Data & Knowledge Engineering journal homepage: www.elsevier.com/locate/datak OCL-Lite: Finite reasoning on
More informationITU - Telecommunication Standardization Sector. G.fast: Far-end crosstalk in twisted pair cabling; measurements and modelling ABSTRACT
ITU - Telecommunication Standardization Sector STUDY GROUP 15 Temporary Document 11RV-22 Original: English Richmond, VA. - 3-1 Nov. 211 Question: 4/15 SOURCE 1 : TNO TITLE: G.ast: Far-end crosstalk in
More informationReducing the Bandwidth of a Sparse Matrix with Tabu Search
Reducing the Bandwidth o a Sparse Matrix with Tabu Search Raael Martí a, Manuel Laguna b, Fred Glover b and Vicente Campos a a b Dpto. de Estadística e Investigación Operativa, Facultad de Matemáticas,
More information13. Power Optimization
13. Power Optimization May 2013 QII52016-13.0.0 QII52016-13.0.0 The Quartus II sotware oers power-driven compilation to ully optimize device power consumption. Power-driven compilation ocuses on reducing
More informationLow-Complexity Sub-band Digital Predistortion for Spurious Emission Suppression in Noncontiguous Spectrum Access
1 Low-Complexity Sub-band Digital Predistortion or Spurious Emission Suppression in Noncontiguous Spectrum Access Mahmoud Abdelaziz, Student Member, IEEE, Lauri Anttila, Member, IEEE, Chance Tarver, Student
More informationPerformance Assessment of the Hybrid Archive-based Micro Genetic Algorithm (AMGA) on the CEC09 Test Problems
Perormance Assessment o the Hybrid Archive-based Micro Genetic Algorithm (AMGA) on the CEC9 Test Problems Santosh Tiwari, Georges Fadel, Patrick Koch, and Kalyanmoy Deb 3 Department o Mechanical Engineering,
More informationMAPI Computer Vision. Multiple View Geometry
MAPI Computer Vision Multiple View Geometry Geometry o Multiple Views 2- and 3- view geometry p p Kpˆ [ K R t]p Geometry o Multiple Views 2- and 3- view geometry Epipolar Geometry The epipolar geometry
More informationAutomatic Video Segmentation for Czech TV Broadcast Transcription
Automatic Video Segmentation or Czech TV Broadcast Transcription Jose Chaloupka Laboratory o Computer Speech Processing, Institute o Inormation Technology and Electronics Technical University o Liberec
More informationMobile Robot Static Path Planning Based on Genetic Simulated Annealing Algorithm
Mobile Robot Static Path Planning Based on Genetic Simulated Annealing Algorithm Wang Yan-ping 1, Wubing 2 1. School o Electric and Electronic Engineering, Shandong University o Technology, Zibo 255049,
More informationTraffic-Aware Placement of NFV Middleboxes
Traic-Aware Placement o NFV Middleboxes Wenrui Ma, Carlos Medina, and Deng Pan School o Computing and Inormation Sciences Florida International University, Miami, FL wma6@iu.edu, cmedi45@iu.edu, pand@iu.edu
More informationOn the Double-Faced Nature of P2P Traffic
On the Double-Faced Nature o P2P Traic Raaele Bolla, Marco Canini, Riccardo Rapuzzi, Michele Sciuto DIST - Department o Communication, Computer and System Sciences, University o Genoa Via Opera Pia 13,
More informationObject Tracking with Dynamic Feature Graph
Object Tracking with Dynamic Feature Graph Feng Tang and Hai Tao Department o Computer Engineering, University o Caliornia, Santa Cruz {tang,tao}@soe.ucsc.edu Abstract Two major problems or model-based
More informationSemantic-Driven Selection of Printer Color Rendering Intents
Semantic-Driven Selection o Printer Color Rendering Intents Kristyn Falkenstern 1,2, Albrecht Lindner 3, Sabine Süsstrunk 3, and Nicolas Bonnier 1. 1 Océ Print Logic Technologies S.A. (France). 2 Institut
More informationFusion of Heterogeneous Sensors for the Guidance of an Autonomous Vehicle
Fusion o Heterogeneous Sensors or the Guidance o an Autonomous Vehicle Jan C. Becer Institute o Control Engineering echnical University Braunschweig Hans-Sommer-Str. 66 3816 Braunschweig, Germany jan.becer@tu-bs.de
More informationDesign and Realization of user Behaviors Recommendation System Based on Association rules under Cloud Environment
Research Journal o Applied Sciences, Engineering and Technology 6(9): 1669-1673, 2013 ISSN: 2040-7459; e-issn: 2040-7467 Maxwell Scientiic Organization, 2013 Submitted: January 19, 2013 Accepted: March
More informationROBUST FACE DETECTION UNDER CHALLENGES OF ROTATION, POSE AND OCCLUSION
ROBUST FACE DETECTION UNDER CHALLENGES OF ROTATION, POSE AND OCCLUSION Phuong-Trinh Pham-Ngoc, Quang-Linh Huynh Department o Biomedical Engineering, Faculty o Applied Science, Hochiminh University o Technology,
More informationA Robust Elastic and Partial Matching Metric for Face Recognition
A Robust Elastic and Partial Matching Metric or Face Recognition Gang Hua Amir Akbarzadeh Microsot Corporate One Microsot Way, Redmond, WA 9852 {ganghua, amir}@microsot.com Abstract We present a robust
More informationSecure the Clones * Static Enforcement of Policies for Secure Object Copying Companion Report. Thomas Jensen, Florent Kirchner, and David Pichardie
Secure the Clones * Static Enorcement o Policies or Secure Object Copying Companion Report Thomas Jensen, Florent Kirchner, and David Pichardie INRIA Rennes Bretagne Atlantique, France irstname.lastname@inria.r
More informationLogic Debugging of Arithmetic Circuits
Logic Debugging o Arithmetic Circuits Samaneh Ghandali, Cunxi Yu, Duo Liu, Walter Brown, Maciej Ciesielski University o Massachusetts, Amherst, USA {samaneh, ycunxi, duo, webrown, ciesiel}@umass.edu Abstract
More informationTHE FINANCIAL CALCULATOR
Starter Kit CHAPTER 3 Stalla Seminars THE FINANCIAL CALCULATOR In accordance with the AIMR calculator policy in eect at the time o this writing, CFA candidates are permitted to use one o two approved calculators
More informationApplication of Six Sigma Robust Optimization in Sheet Metal Forming
Application o Six Sigma Robust Optimization in Sheet Metal Forming Y. Q. Li, Z. S. Cui, X. Y. Ruan, D. J. Zhang National Die and Mold CAD Engineering Research Center, Shanghai Jiao Tong University, Shanghai,
More informationDesign and implementation of enterprise systems in fine-grained concurrent computation
Available online at www.sciencedirect.com Procedia Technology 5 (2012 ) 344 353 CENTERIS 2012 - Conerence on ENTERprise Inormation Systems / HCIST 2012 - International Conerence on Health and Social Care
More information13. Power Management in Stratix IV Devices
February 2011 SIV51013-3.2 13. Power Management in Stratix IV Devices SIV51013-3.2 This chapter describes power management in Stratix IV devices. Stratix IV devices oer programmable power technology options
More informationA Novel Accurate Genetic Algorithm for Multivariable Systems
World Applied Sciences Journal 5 (): 137-14, 008 ISSN 1818-495 IDOSI Publications, 008 A Novel Accurate Genetic Algorithm or Multivariable Systems Abdorreza Alavi Gharahbagh and Vahid Abolghasemi Department
More informationProceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007)
Electronic Communications o the EASST Volume X (2007) Proceedings o the Sixth International Workshop on Graph Transormation and Visual Modeling Techniques (GT-VMT 2007) Visual Programming with Recursion
More informationTrust Management Issues for Ad Hoc and Self-organized Networks
Trust Management Issues or Ad Hoc and Sel-organized Networks Vassileios Tsetsos, Giannis F. Marias, and Sarantis Paskalis Pervasive Computing Research Group, Dept. o Inormatics and Telecommunications,
More informationCompressed Sensing Image Reconstruction Based on Discrete Shearlet Transform
Sensors & Transducers 04 by IFSA Publishing, S. L. http://www.sensorsportal.com Compressed Sensing Image Reconstruction Based on Discrete Shearlet Transorm Shanshan Peng School o Inormation Science and
More informationSensor Optimization Selection Model Based on Testability Constraint
Chinese Journal o Aeronautics 25 (202) 262-268 Contents lists available at ScienceDirect Chinese Journal o Aeronautics ournal homepage: www.elsevier.com/locate/ca Sensor Optimization Selection Model Based
More information