Reliability Analysis in HPC clusters


 Neil Fletcher
 4 years ago
 Views:
Transcription
1 Reliability Aalysis i HPC clusters Narasimha Raju, Gottumukkala, Yuda Liu, Chokchai Box Leagsuksu 1, Raja Nassar, Stephe Scott 2 College of Egieerig & Sciece, Louisiaa ech Uiversity Oak Ridge Natioal Lab 2 {rg003,yli010, box, Abstract Resource failures ad dow times have become a growig cocer for largescale computatioal platforms, as they ted to have a adverse affect o the performace of the computatio system,. Reliabilityaware resource allocatio ad checkpoitig algorithms have bee ivestigated to miimize the performace loss due to uexpected failures. he effectiveess of a reliabilityaware policy relies o the accuracy of reliability predictio. he reliability of a group of odes is evaluated as a combiatio of idividual ode iformatio uder a assumptio that each ode reliability is idepedet. I this paper, we describe the reliability aalysis based o time betwee failures for a system/group of odes. Various reliability models are compared for differet cases i order to fid a optimal reliability model. he reliability models ad aalysis techiques were evaluated based o actual failure data of 512 odes durig their four year operatioal period Itroductio Icreasig demad for computig power i scietific ad egieerig applicatios has spurred deploymet of (HPC) high performace computig systems that deliver terascale performace. Curret ad future HPC systems that are capable of ruig largescale parallel applicatios, may spa hudreds of thousads of odes. I fact, top500.org reports the curret highest processor cout to be 131K odes [ 9]. For parallel programs, the failure probability icreases sigificatly with the icrease i umber of odes. Igorig failures or system reliability ca have severe effect o the performace of the HPC cluster, ad quality of service. A reliability moitorig ad aalysis framework [ 4] provides uptodate reliability of selected compoets. A resource 1 Research supported by the Departmet of Eergy Grat o: DE FG0205ER Research supported by the Mathematics, Iformatio ad Computatioal Scieces Office, Office of Advaced Scietific Computig Research, Office of Sciece, U. S. Departmet of Eergy, uder cotract No. DEAC0500OR22725 with UBattelle, LLC. maager ca use the reliability iformatio of odes to schedule a parallel job o a set of odes to miimize job completio time. A checkpoit algorithm ca also use the iformatio that may eable to schedule a checkpoit based o the failure probability of selected odes [ 10] i order to miimize the performace loss. he reliability of a set of odes costitutes the idividual ode failure iformatio. System reliability is the reliability of oe or more odes ad/or compoets that are required for successful ruig of a parallel applicatio. I this paper, we aalyze the system reliability by cosiderig the failure evets of the system comprisig k odes. Based o the reliability moitorig ad aalysis framework from our prior work [ 4] we preset a approach to calculate the system reliability of k odes from failure evet logs of idividual odes. We also compare various reliability models based o our approach of calculatig system reliability. he rest of the paper is orgaized as follows. Sectio 2 discusses the related work i reliability modelig ad failure predictio for HPC. Sectio 3 briefly describes various categories of failure evets. Sectio 4 presets the time to failure reliability models, ad proposed algorithm for combiig time to failure data of k odes. Sectio 5 etails the results of comparig reliability models whe differet umbers of odes are selected, ad fially sectio 6 presets the coclusio ad future work. 2. Related Work Failures i largescale HPC systems have adverse impact both o the performace ad quality of service. here have bee efforts to predict failures based o historical data, ad failureaware schedulig algorithms [ 1] [ 7][ 8]. Failure predictio based o idividual evets
2 Figure 1: Descriptio of Failures i a HPC platform is still a ogoig research, ad may ot be possible to predict the exact type ad time of failure. While curret failure predictio techiques are ot suitable to be applied as a alterative to eable fault tolerace mechaism, the failure probability ca be used to develop reliabilityaware schemes [ 10][ 8][ 5] like checkpoitig to miimize performace loss. Our reliability aalysis is based o widely used statistical reliability models. 3. Failures i large scale HPC systems For a parallel program ruig o a set of k odes, if ay compoet i a ode, or a compoet commo to the set of odes (e.g. etwork hub) fails, the program [ 6], a 512 Node cluster from LLNL. Each ode is a 16 SMP (Symmetric multi processor), ad so there are totally 8192 processors. he failures ad dow times of each Node were collected over a 4 year 3 moth time period from 7/15/2000 to 10/1/2004, (total of hours). he raw failure log cosists of the date ad time of failure evet, dow time, type ad a very brief descriptio of failures. Some of the failures, which we thik do ot affect the job, were filtered out. For example, some failures were oly repaired after a log time, ad did ot affect the job rutime. 4. ime to Failure distributio he failure data cosists of failure times, ad dow times of the odes. he time betwee failures is assumed to be a radom variable which follows a certai distributio. he actual failure times are obtaied by subtractig the dow times (see Figure 1). hat is, suppose a ode fails at times, f1, f2, f3, we fit the distributio of time betwee failures (itervals) i.e f2f1, ruig o all the k odes is affected. Figure 1 shows examples of hardware ad software failures that affect a sigle ode, a group of odes ad all the odes. I the failure trace, the failure evets that affect more tha oe ode are recorded as failure evets for those odes that were impacted. Whe failure evets of each of k odes are combied, commo failures are treated as oe to avoid duplicatio whe aalyzig the system of odes. Failure Data For our aalysis, we use failure data of ASC White machie f3f2, f4f3, ad obtai F(t) the cumulative failure times for idividual odes. We obtai idividual ode reliabilities R 1, R2... RN from R = 1 F(t) 4.1 ime betwee Failures for a system of k odes Parallel applicatios are allocated a set of k odes for executio. Each ode has a idividual failure distributio. I our model, the system fails, whe at least oe ode fails. hus, we are iterested i the miimum time till failure whe k odes are combied. he time till failure of idividual odes are combied to obtai the time to failure distributio of k odes whe the first failure occurs. he algorithm for combiig time betwee failures from idividual odes is described i figure 4. We compare three differet distributios i our reliability models amely Expoetial, Weibull ad Logormal. Figure 4 shows the CDF s (Cumulative Distributio Fuctio) of the reliability models.
3 Algorithm for calculatig the time betwee failure for a system of k odes Figure 2 ime betwee failures obtaied from failure logs by removig dowtimes, ad calculatig the differece betwee times., 1 where... = U s 2 1 k2 2 k ode2....odek aretheset of failuretimeso ode1,... U = { = { BF = { s s 1 2 k = {, k i+ 1 k1,..., k i= 1 = { s, s s }, i = 1,2,3... m i k2, hetimebetwee failure(bf) of thek odessystemis: i k3,...},...},...} measthestart timeof secodfailureo odek For a systemof k ode,thefailuretimeset F is 21 = 11 U 12, 22, s s,... s } 2, 3 m Figure 3. ime betwee failures of a system of k odes 5. Compariso Results We calculate the reliability of k odes by aalyzig the time betwee failures of the system comprisig the k odes. he time betwee failures is calculated usig the algorithm give i sectio 4. Differet failure distributio for expoetial, weibull ad logormal are the compared with empirical failure distributio. We assume that parallel programs are usually allocated to 2 processors. We show the time to failure distributios for k = 4, 64, 128 ad 256. We compare the goodess of fit whe odes are selected radomly, ad whe odes are selected i order i able 1. Kolmogorov Smirov (KS) goodess of fit test is used to compare the distributios. he KS goodess of fit test gives the maximum distace betwee the empirical ad theoretical distributio. A pvalue equal or less tha 0.05 idicates that the distributio does ot fit the data. able 2 shows the goodess of fit for two cases, whe odes are selected radomly, ad whe odes are selected accordig to ode umber. I both cases of our experimet, weibull is observed to be a better model for reliability of a system of k odes as compared to expoetial ad logormal fit. Distributio Expoetial Weibull CDF F( t) = 1 e λ e failure rate λt m ( t / c) F( t) = 1 e c  characteristic life, m shape parameter Distributio Log Normal CDF t l 50 F ( t) = Φ σ σ  shape parameter 50  medial life at 50% failure poit
4 K = 8 Nodes K = 16 Nodes K = 32 Nodes K = 64 Nodes K = 128 Nodes K = 256 Nodes Figure 4. Compariso of empirical ad Weibull CDFs whe k=4, 64,128 ad 256 odes are selected.
5 able 1: Compariso of Failure distributios usig the KolmogorovSmirov Goodess of Fit est Compariso of KolmogorovSmirov GoodessofFit est of various umber of odes (selected i order) No of pvalue pvalue pvalue Nodes K Expoetial Weibull Logormal Compariso of KolmogorovSmirov GoodessofFit est of various umber of odes (selected Radomly) Expoetial Weibull Logormal No of pvalue pvalue pvalue Nodes Coclusio ad Future work Failures ad dowtimes are a growig cocer for large scale HPC systems. he system performace ad quality of service ca be adversely affected due to resource outages. Curret checkpoit based fault tolerace ca have a sigificat overhead. I additio, failure predictio based o prior evets is still i iitial stages of research. hus, we believe that reliabilityaware approach such as a resource maager ca exploit the reliability iformatio to better allocate a particular job so that the job completio time is miimized. I additio, the reliabilityaware checkpoitig algorithms ca schedule a checkpoit at itervals based o reliability of resources to miimize checkpoit overhead. hese services require reliability iformatio whe a parallel applicatio is allocated to a sigled ode or a group of odes. I this paper, we described a approach to evaluate the reliability of a sigle ode, ad the a system of k odes. Reliability is estimated based o the time betwee failures data obtaied from the failure history of odes. Usig the actual failure trace obtaied from promiet HPC platform, we studied ad compared appropriateess of differet distributios, Expoetial, Weibull ad Logormal for various cases systems of k odes. Our results idicate that Weibull distributio results i the better reliability model i most of the cases for the give data. I the future, we pla to ivestigate the performace improvemet i resource maagemet ad checkpoit iterval selectio with differet reliability predictio techiques. 7. Refereces: [ 1] A. J. Olier, R. Sahoo, J. E. Moreira, M. Gupta, ad A. Sivasubramaiam. Faultaware Job Schedulig for BlueGee/L Systems. I Proceedigs of the Iteratioal Parallel ad Distributed Processig Symposium (IPDPS), [ 2] Egelma ad G. A. Geist. "SuperScalable Algorithms for Computig o 100,00 Processors". Proceedigs of Iteratioal Coferece o Computatioal Sciece (ICCS), Atlata, GA, USA, May [ 3] Elmootazbellah N. Elozahy, James S. Plak. "Checkpoitig for PetaScale Systems: A Look ito the Future of Practical RollbackRecovery," IEEE rasactios o Depedable ad Secure Computig, vol. 01, o. 2, pp , AprilJue, [ 4] H. Sog, C. Leagsuksu, N. R. Gottumukkala, S. L. Scott, ad A. Yoo. Nearrealtime availability moitorig ad modelig for HPC/HEC rutime system. I Proceedigs of Los Alamos Computer Sciece Istitute (LACSI) Symposium 2005, Sata Fe, NM, USA, October 1113, [ 5] James S. Plak ad Michael G. homaso, ``he Average Availability of Parallel Checkpoitig Systems ad Its Importace i Selectig Rutime Parameters,'' 29th Iteratioal Symposium o Fault olerat Computig, Madiso, WI, Jue, 1999, pp
6 [ 6] Lawrece Livermore Natioal Laboratory race Logs: url: [ 7] R. K. Sahoo, A. J. Olier, I. Rish, M. Gupta, J. E. Moreira, S. Ma, R. Vilalta, ad A. Sivasubramaiam. Critical evet predictio for proactive maagemet i largescale computer clusters. I Proceedigs of the ACM SIGKDD, Itl. Cof. o Kowledge Discovery Data Miig, pages , August [ 8] Schroeder, B. ad Gibso, G. A A largescale study of failures i highperformace computig systems. I Proceedigs of the iteratioal Coferece o Depedable Systems ad Networks, Jue [ 9] op 500 Super Computig Sites List, July 2006, : url: [ 10] Y. Liu ad C. B. Leagsuksu. "Reliabilityaware Checkpoit/Restart Scheme: A Performability radeoff". Submitted to IEEE Cluster Computig (Cluster), Bosto, MA, USA, September [ 11] Yiglug Liag, Yayog Zhag, Aad Sivasubramaiam, Morris Jette, Ramedra Sahoo, "BlueGee/L Failure Aalysis ad Predictio Models," ds, pp , Iteratioal Coferece o Depedable Systems ad Networks (DSN'06), 2006.
Modified Line Search Method for Global Optimization
Modified Lie Search Method for Global Optimizatio Cria Grosa ad Ajith Abraham Ceter of Excellece for Quatifiable Quality of Service Norwegia Uiversity of Sciece ad Techology Trodheim, Norway {cria, ajith}@q2s.tu.o
More informationAnalyzing Longitudinal Data from Complex Surveys Using SUDAAN
Aalyzig Logitudial Data from Complex Surveys Usig SUDAAN Darryl Creel Statistics ad Epidemiology, RTI Iteratioal, 312 Trotter Farm Drive, Rockville, MD, 20850 Abstract SUDAAN: Software for the Statistical
More informationEvaluating Model for B2C E commerce Enterprise Development Based on DEA
, pp.180184 http://dx.doi.org/10.14257/astl.2014.53.39 Evaluatig Model for B2C E commerce Eterprise Developmet Based o DEA Weli Geg, Jig Ta Computer ad iformatio egieerig Istitute, Harbi Uiversity of
More informationA probabilistic proof of a binomial identity
A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two
More informationVladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT
Keywords: project maagemet, resource allocatio, etwork plaig Vladimir N Burkov, Dmitri A Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT The paper deals with the problems of resource allocatio betwee
More informationOutput Analysis (2, Chapters 10 &11 Law)
B. Maddah ENMG 6 Simulatio 05/0/07 Output Aalysis (, Chapters 10 &11 Law) Comparig alterative system cofiguratio Sice the output of a simulatio is radom, the comparig differet systems via simulatio should
More informationResearch Article Sign Data Derivative Recovery
Iteratioal Scholarly Research Network ISRN Applied Mathematics Volume 0, Article ID 63070, 7 pages doi:0.540/0/63070 Research Article Sig Data Derivative Recovery L. M. Housto, G. A. Glass, ad A. D. Dymikov
More informationDomain 1: Designing a SQL Server Instance and a Database Solution
Maual SQL Server 2008 Desig, Optimize ad Maitai (70450) 18004186789 Domai 1: Desigig a SQL Server Istace ad a Database Solutio Desigig for CPU, Memory ad Storage Capacity Requiremets Whe desigig a
More informationData Analysis and Statistical Behaviors of Stock Market Fluctuations
44 JOURNAL OF COMPUTERS, VOL. 3, NO. 0, OCTOBER 2008 Data Aalysis ad Statistical Behaviors of Stock Market Fluctuatios Ju Wag Departmet of Mathematics, Beijig Jiaotog Uiversity, Beijig 00044, Chia Email:
More informationCOMPARISON OF THE EFFICIENCY OF SCONTROL CHART AND EWMAS 2 CONTROL CHART FOR THE CHANGES IN A PROCESS
COMPARISON OF THE EFFICIENCY OF SCONTROL CHART AND EWMAS CONTROL CHART FOR THE CHANGES IN A PROCESS Supraee Lisawadi Departmet of Mathematics ad Statistics, Faculty of Sciece ad Techoology, Thammasat
More informationOptimization of Large Data in Cloud computing using Replication Methods
Optimizatio of Large Data i Cloud computig usig Replicatio Methods Vijaya KumarC, Dr. G.A. Ramachadhra Computer Sciece ad Techology, Sri Krishadevaraya Uiversity Aatapuramu, AdhraPradesh, Idia AbstractCloud
More informationSPC on Ungrouped Data: Power Law Process Model
Iteratioal Joural of Software Egieerig. ISSN 09743162 Volume 5, 1 (2014), pp. 716 Iteratioal Research Publicatio House http://www.irphouse.com SPC o Ugrouped Data: Power Law Process Model DR. R. Satya
More informationConfidence Intervals for One Mean
Chapter 420 Cofidece Itervals for Oe Mea Itroductio This routie calculates the sample size ecessary to achieve a specified distace from the mea to the cofidece limit(s) at a stated cofidece level for a
More informationLogLogistic Software Reliability Growth Model
LogLogistic Software Reliability Growth Model Swapa S. Gokhale ad Kishor S. Trivedi 2y Bours College of Egg. CACC, Dept. of ECE Uiversity of Califoria Duke Uiversity Riverside, CA 9252 Durham, NC 277829
More informationClustering Algorithm Analysis of Web Users with Dissimilarity and SOM Neural Networks
JONAL OF SOFTWARE, VOL. 7, NO., NOVEMBER 533 Clusterig Algorithm Aalysis of Web Users with Dissimilarity ad SOM Neal Networks Xiao Qiag School of Ecoomics ad maagemet, Lazhou Jiaotog Uiversity, Lazhou;
More informationInstallment Joint Life Insurance Actuarial Models with the Stochastic Interest Rate
Iteratioal Coferece o Maagemet Sciece ad Maagemet Iovatio (MSMI 4) Istallmet Joit Life Isurace ctuarial Models with the Stochastic Iterest Rate NiaNia JI a,*, Yue LI, DogHui WNG College of Sciece, Harbi
More informationSupply Chain Management
Supply Chai Maagemet LOA Uiversity October 9, 205 Distributio D Distributio Authorized to Departmet of Defese ad U.S. DoD Cotractors Oly Aim High Fly  Fight  Wi Who am I? Dr. William A Cuigham PhD Ecoomics
More informationProject Deliverables. CS 361, Lecture 28. Outline. Project Deliverables. Administrative. Project Comments
Project Deliverables CS 361, Lecture 28 Jared Saia Uiversity of New Mexico Each Group should tur i oe group project cosistig of: About 612 pages of text (ca be loger with appedix) 612 figures (please
More informationVirtual Machine Scheduling Management on Cloud Computing Using Artificial Bee Colony
, March 1214, 2014, Hog Kog Virtual Machie Schedulig Maagemet o Cloud Computig Usig Artificial Bee Coloy B. Kruekaew ad W. Kimpa Abstract Resource schedulig maagemet desig o Cloud computig is a importat
More informationMODELING SERVER USAGE FOR ONLINE TICKET SALES
Proceedigs of the 2011 Witer Simulatio Coferece S. Jai, R.R. Creasey, J. Himmelspach, K.P. White, ad M. Fu, eds. MODELING SERVER USAGE FOR ONLINE TICKET SALES Christie S.M. Currie Uiversity of Southampto
More informationAutomatic Tuning for FOREX Trading System Using Fuzzy Time Series
utomatic Tuig for FOREX Tradig System Usig Fuzzy Time Series Kraimo Maeesilp ad Pitihate Soorasa bstract Efficiecy of the automatic currecy tradig system is time depedet due to usig fixed parameters which
More informationCapacity of Wireless Networks with Heterogeneous Traffic
Capacity of Wireless Networks with Heterogeeous Traffic Migyue Ji, Zheg Wag, Hamid R. Sadjadpour, J.J. GarciaLuaAceves Departmet of Electrical Egieerig ad Computer Egieerig Uiversity of Califoria, Sata
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
More information(VCP310) 18004186789
Maual VMware Lesso 1: Uderstadig the VMware Product Lie I this lesso, you will first lear what virtualizatio is. Next, you ll explore the products offered by VMware that provide virtualizatio services.
More informationChapter 6: Variance, the law of large numbers and the MonteCarlo method
Chapter 6: Variace, the law of large umbers ad the MoteCarlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value
More informationMTOMTS Production Systems in Supply Chains
NSF GRANT #0092854 NSF PROGRAM NAME: MES/OR MTOMTS Productio Systems i Supply Chais Philip M. Kamisky Uiversity of Califoria, Berkeley Our Kaya Uiversity of Califoria, Berkeley Abstract: Icreasig cost
More informationChair for Network Architectures and Services Institute of Informatics TU München Prof. Carle. Network Security. Chapter 2 Basics
Chair for Network Architectures ad Services Istitute of Iformatics TU Müche Prof. Carle Network Security Chapter 2 Basics 2.4 Radom Number Geeratio for Cryptographic Protocols Motivatio It is crucial to
More informationCOMPUSOFT, An international journal of advanced computer technology, 3 (3), March2014 (VolumeIII, IssueIII)
COMPUSOFT, A iteratioal joural of advaced computer techology, 3 (3), March2014 (VolumeIII, IssueIII) ISSN:23200790 Adaptive Workload Maagemet for Efficiet Eergy Utilizatio o Cloud M.Prabakara 1, M.
More informationExtracting Similar and Opposite News Websites Based on Sentiment Analysis
202 Iteratioal Coferece o Idustrial ad Itelliget Iformatio (ICIII 202) IPCSIT vol.3 (202) (202) IACSIT Press, Sigapore Extractig Similar ad Opposite ews Websites Based o Setimet Aalysis Jiawei Zhag, Yukiko
More informationCHAPTER 7: Central Limit Theorem: CLT for Averages (Means)
CHAPTER 7: Cetral Limit Theorem: CLT for Averages (Meas) X = the umber obtaied whe rollig oe six sided die oce. If we roll a six sided die oce, the mea of the probability distributio is X P(X = x) Simulatio:
More informationRecovery time guaranteed heuristic routing for improving computation complexity in survivable WDM networks
Computer Commuicatios 30 (2007) 1331 1336 wwwelseviercom/locate/comcom Recovery time guarateed heuristic routig for improvig computatio complexity i survivable WDM etworks Lei Guo * College of Iformatio
More informationComparative Analysis of Round Robin VM Load Balancing With Modified Round Robin VM Load Balancing Algorithms in Cloud Computing
Iteratioal Joural of Egieerig, Maagemet & Scieces (IJEMS) Comparative Aalysis of Roud Robi Balacig With Modified Roud Robi Balacig s i Cloud Computig Areeba Samee, D.K Budhwat Abstract Cloud computig is
More informationMalicious Node Detection in Wireless Sensor Networks using Weighted Trust Evaluation
Malicious Node Detectio i Wireless Sesor Networks usig Weighted Trust Evaluatio Idris M. Atakli, Hogbig Hu, Yu Che* SUNY Bighamto Bighamto, NY 1392, USA {iatakli1, hhu1, yche}@bighamto.edu WeiShi Ku Aubur
More information0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5
Sectio 13 KolmogorovSmirov test. Suppose that we have a i.i.d. sample X 1,..., X with some ukow distributio P ad we would like to test the hypothesis that P is equal to a particular distributio P 0, i.e.
More informationHow to read A Mutual Fund shareholder report
Ivestor BulletI How to read A Mutual Fud shareholder report The SEC s Office of Ivestor Educatio ad Advocacy is issuig this Ivestor Bulleti to educate idividual ivestors about mutual fud shareholder reports.
More informationTrading the randomness  Designing an optimal trading strategy under a drifted random walk price model
Tradig the radomess  Desigig a optimal tradig strategy uder a drifted radom walk price model Yuao Wu Math 20 Project Paper Professor Zachary Hamaker Abstract: I this paper the author iteds to explore
More informationADAPTIVE NETWORKS SAFETY CONTROL ON FUZZY LOGIC
8 th Iteratioal Coferece o DEVELOPMENT AND APPLICATION SYSTEMS S u c e a v a, R o m a i a, M a y 25 27, 2 6 ADAPTIVE NETWORKS SAFETY CONTROL ON FUZZY LOGIC Vadim MUKHIN 1, Elea PAVLENKO 2 Natioal Techical
More informationMatrix Model of Trust Management in P2P Networks
Matrix Model of Trust Maagemet i P2P Networks Miroslav Novotý, Filip Zavoral Faculty of Mathematics ad Physics Charles Uiversity Prague, Czech Republic miroslav.ovoty@mff.cui.cz Abstract The trust maagemet
More informationThe analysis of the Cournot oligopoly model considering the subjective motive in the strategy selection
The aalysis of the Courot oligopoly model cosiderig the subjective motive i the strategy selectio Shigehito Furuyama Teruhisa Nakai Departmet of Systems Maagemet Egieerig Faculty of Egieerig Kasai Uiversity
More informationSPC for Software Reliability: Imperfect Software Debugging Model
IJCSI Iteratioal Joural of Computer Sciece Issues, Vol. 8, Issue 3, o., May 0 ISS (Olie: 694084 www.ijcsi.org 9 SPC for Software Reliability: Imperfect Software Debuggig Model Dr. Satya Prasad Ravi,.Supriya
More informationApplication and research of fuzzy clustering analysis algorithm under microlecture English teaching mode
SHS Web of Cofereces 25, shscof/20162501018 Applicatio ad research of fuzzy clusterig aalysis algorithm uder microlecture Eglish teachig mode Yig Shi, Wei Dog, Chuyi Lou & Ya Dig Qihuagdao Istitute of
More informationC.Yaashuwanth Department of Electrical and Electronics Engineering, Anna University Chennai, Chennai 600 025, India..
(IJCSIS) Iteratioal Joural of Computer Sciece ad Iformatio Security, A New Schedulig Algorithms for Real Time Tasks C.Yaashuwath Departmet of Electrical ad Electroics Egieerig, Aa Uiversity Cheai, Cheai
More informationEUROCONTROL PRISMIL. EUROCONTROL civilmilitary performance monitoring system
EUROCONTROL PRISMIL EUROCONTROL civilmilitary performace moitorig system Itroductio What is PRISMIL? PRISMIL is a olie civilmilitary performace moitorig system which facilitates the combied performace
More informationSubject CT5 Contingencies Core Technical Syllabus
Subject CT5 Cotigecies Core Techical Syllabus for the 2015 exams 1 Jue 2014 Aim The aim of the Cotigecies subject is to provide a groudig i the mathematical techiques which ca be used to model ad value
More informationChapter 5 Unit 1. IET 350 Engineering Economics. Learning Objectives Chapter 5. Learning Objectives Unit 1. Annual Amount and Gradient Functions
Chapter 5 Uit Aual Amout ad Gradiet Fuctios IET 350 Egieerig Ecoomics Learig Objectives Chapter 5 Upo completio of this chapter you should uderstad: Calculatig future values from aual amouts. Calculatig
More information1 Computing the Standard Deviation of Sample Means
Computig the Stadard Deviatio of Sample Meas Quality cotrol charts are based o sample meas ot o idividual values withi a sample. A sample is a group of items, which are cosidered all together for our aalysis.
More informationCONTROL CHART BASED ON A MULTIPLICATIVEBINOMIAL DISTRIBUTION
www.arpapress.com/volumes/vol8issue2/ijrras_8_2_04.pdf CONTROL CHART BASED ON A MULTIPLICATIVEBINOMIAL DISTRIBUTION Elsayed A. E. Habib Departmet of Statistics ad Mathematics, Faculty of Commerce, Beha
More informationA Method for Trust Quantificationin Cloud Computing Environments
A Method for rust Quatificatioi Cloud Computig Eviromets Xiaohui Li,3, Jigsha He 2*,Bi Zhao 2, Jig Fag 2, Yixua Zhag 2, Hogxig Liag 4 College of Computer Sciece ad echology, Beiig Uiversity of echology
More informationMaximum Likelihood Estimators.
Lecture 2 Maximum Likelihood Estimators. Matlab example. As a motivatio, let us look at oe Matlab example. Let us geerate a radom sample of size 00 from beta distributio Beta(5, 2). We will lear the defiitio
More informationINVESTMENT PERFORMANCE COUNCIL (IPC) Guidance Statement on Calculation Methodology
Adoptio Date: 4 March 2004 Effective Date: 1 Jue 2004 Retroactive Applicatio: No Public Commet Period: Aug Nov 2002 INVESTMENT PERFORMANCE COUNCIL (IPC) Preface Guidace Statemet o Calculatio Methodology
More informationAn Optimization Approach for Utilizing Cloud Services for Mobile Devices in Cloud Environment
INFORMATICA, 2015, Vol. 26, No. 1, 89 110 89 2015 Vilius Uiversity DOI: http://dx.doi.org/10.15388/iformatica.2015.40 A Optimizatio Approach for Utilizig Cloud Services for Mobile Devices i Cloud Eviromet
More informationI. Chisquared Distributions
1 M 358K Supplemet to Chapter 23: CHISQUARED DISTRIBUTIONS, TDISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad tdistributios, we first eed to look at aother family of distributios, the chisquared distributios.
More informationVEHICLE TRACKING USING KALMAN FILTER AND FEATURES
Sigal & Image Processig : A Iteratioal Joural (SIPIJ) Vol.2, No.2, Jue 2011 VEHICLE TRACKING USING KALMAN FILTER AND FEATURES Amir Salarpour 1 ad Arezoo Salarpour 2 ad Mahmoud Fathi 2 ad MirHossei Dezfoulia
More informationPROCEEDINGS OF THE YEREVAN STATE UNIVERSITY AN ALTERNATIVE MODEL FOR BONUSMALUS SYSTEM
PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical ad Mathematical Scieces 2015, 1, p. 15 19 M a t h e m a t i c s AN ALTERNATIVE MODEL FOR BONUSMALUS SYSTEM A. G. GULYAN Chair of Actuarial Mathematics
More informationLesson 15 ANOVA (analysis of variance)
Outlie Variability betwee group variability withi group variability total variability Fratio Computatio sums of squares (betwee/withi/total degrees of freedom (betwee/withi/total mea square (betwee/withi
More information1. Introduction. Scheduling Theory
. Itroductio. Itroductio As a idepedet brach of Operatioal Research, Schedulig Theory appeared i the begiig of the 50s. I additio to computer systems ad maufacturig, schedulig theory ca be applied to may
More informationAn Efficient Polynomial Approximation of the Normal Distribution Function & Its Inverse Function
A Efficiet Polyomial Approximatio of the Normal Distributio Fuctio & Its Iverse Fuctio Wisto A. Richards, 1 Robi Atoie, * 1 Asho Sahai, ad 3 M. Raghuadh Acharya 1 Departmet of Mathematics & Computer Sciece;
More informationDetermining the sample size
Determiig the sample size Oe of the most commo questios ay statisticia gets asked is How large a sample size do I eed? Researchers are ofte surprised to fid out that the aswer depeds o a umber of factors
More informationSystems Design Project: Indoor Location of Wireless Devices
Systems Desig Project: Idoor Locatio of Wireless Devices Prepared By: Bria Murphy Seior Systems Sciece ad Egieerig Washigto Uiversity i St. Louis Phoe: (805) 6985295 Email: bcm1@cec.wustl.edu Supervised
More informationChatpun Khamyat Department of Industrial Engineering, Kasetsart University, Bangkok, Thailand ocpky@hotmail.com
SOLVING THE OIL DELIVERY TRUCKS ROUTING PROBLEM WITH MODIFY MULTITRAVELING SALESMAN PROBLEM APPROACH CASE STUDY: THE SME'S OIL LOGISTIC COMPANY IN BANGKOK THAILAND Chatpu Khamyat Departmet of Idustrial
More informationDDoS attacks defence strategies based on nonparametric CUSUM algorithm
Abstract DDoS attacks defece strategies based o oparametric CUSUM algorithm Chaghog Ya 1*, Qi Dog 2, Hog Wag 3 1 School of Iformatio Egieerig, Yacheg Istitute of Techology, No.9 XiWag Aveue Road, Yacheg,
More informationDAME  Microsoft Excel addin for solving multicriteria decision problems with scenarios Radomir Perzina 1, Jaroslav Ramik 2
Itroductio DAME  Microsoft Excel addi for solvig multicriteria decisio problems with scearios Radomir Perzia, Jaroslav Ramik 2 Abstract. The mai goal of every ecoomic aget is to make a good decisio,
More informationLECTURE 13: Crossvalidation
LECTURE 3: Crossvalidatio Resampli methods Cross Validatio Bootstrap Bias ad variace estimatio with the Bootstrap Threeway data partitioi Itroductio to Patter Aalysis Ricardo GutierrezOsua Texas A&M
More informationStudy on the application of the software phaselocked loop in tracking and filtering of pulse signal
Advaced Sciece ad Techology Letters, pp.3135 http://dx.doi.org/10.14257/astl.2014.78.06 Study o the applicatio of the software phaselocked loop i trackig ad filterig of pulse sigal Sog Wei Xia 1 (College
More informationInference on Proportion. Chapter 8 Tests of Statistical Hypotheses. Sampling Distribution of Sample Proportion. Confidence Interval
Chapter 8 Tests of Statistical Hypotheses 8. Tests about Proportios HT  Iferece o Proportio Parameter: Populatio Proportio p (or π) (Percetage of people has o health isurace) x Statistic: Sample Proportio
More informationAnnuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.
Auities Uder Radom Rates of Iterest II By Abraham Zas Techio I.I.T. Haifa ISRAEL ad Haifa Uiversity Haifa ISRAEL Departmet of Mathematics, Techio  Israel Istitute of Techology, 3000, Haifa, Israel I memory
More informationW. Sandmann, O. Bober University of Bamberg, Germany
STOCHASTIC MODELS FOR INTERMITTENT DEMANDS FORECASTING AND STOCK CONTROL W. Sadma, O. Bober Uiversity of Bamberg, Germay Correspodig author: W. Sadma Uiversity of Bamberg, Dep. Iformatio Systems ad Applied
More informationAccurate and Efficient Traffic Monitoring Using Adaptive Nonlinear Sampling Method
Accurate ad Efficiet Traffic Moitorig Usig Adaptive Noliear Samplig Method Chegche Hu, Sheg Wag, Jia Tia, Bi Liu Tsighua Uiversity Beijig, Chia, {hucc,wags,tiaj}@mails.tsighua.edu.c liub@tsighua.edu.c
More informationThe Stable Marriage Problem
The Stable Marriage Problem William Hut Lae Departmet of Computer Sciece ad Electrical Egieerig, West Virgiia Uiversity, Morgatow, WV William.Hut@mail.wvu.edu 1 Itroductio Imagie you are a matchmaker,
More informationActuarial Models for Valuation of Critical Illness Insurance Products
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES Volume 9, 015 Actuarial Models for Valuatio of Critical Illess Isurace Products P. Jidrová, V. Pacáková Abstract Critical illess
More informationInstitute of Actuaries of India Subject CT1 Financial Mathematics
Istitute of Actuaries of Idia Subject CT1 Fiacial Mathematics For 2014 Examiatios Subject CT1 Fiacial Mathematics Core Techical Aim The aim of the Fiacial Mathematics subject is to provide a groudig i
More informationBaan Service Master Data Management
Baa Service Master Data Maagemet Module Procedure UP069A US Documetiformatio Documet Documet code : UP069A US Documet group : User Documetatio Documet title : Master Data Maagemet Applicatio/Package :
More informationOptimal Adaptive Bandwidth Monitoring for QoS Based Retrieval
1 Optimal Adaptive Badwidth Moitorig for QoS Based Retrieval Yizhe Yu, Iree Cheg ad Aup Basu (Seior Member) Departmet of Computig Sciece Uiversity of Alberta Edmoto, AB, T6G E8, CAADA {yizhe, aup, li}@cs.ualberta.ca
More informationTraffic Modeling and Prediction using ARIMA/GARCH model
Traffic Modelig ad Predictio usig ARIMA/GARCH model Preseted by Zhili Su, Bo Zhou, Uiversity of Surrey, UK COST 285 Symposium 89 September 2005 Muich, Germay Outlie Motivatio ARIMA/GARCH model Parameter
More informationLecture 2: Karger s Min Cut Algorithm
priceto uiv. F 3 cos 5: Advaced Algorithm Desig Lecture : Karger s Mi Cut Algorithm Lecturer: Sajeev Arora Scribe:Sajeev Today s topic is simple but gorgeous: Karger s mi cut algorithm ad its extesio.
More informationStatistical inference: example 1. Inferential Statistics
Statistical iferece: example 1 Iferetial Statistics POPULATION SAMPLE A clothig store chai regularly buys from a supplier large quatities of a certai piece of clothig. Each item ca be classified either
More informationProf. Dr. Liggesmeyer, 2. Fault Tree Analysis (DIN 25424, IEC 61025) Reliability Block Diagrams (IEC 61078)
(icherheit ud Zuverlässigkeit eigebetteter ysteme) afety ad Reliability Aalysis Models: Overview Classificatio of afety / Reliability Aalysis Techiques Focused Property afety, Reliability, Availability...
More informationIncremental calculation of weighted mean and variance
Icremetal calculatio of weighted mea ad variace Toy Fich faf@cam.ac.uk dot@dotat.at Uiversity of Cambridge Computig Service February 009 Abstract I these otes I eplai how to derive formulae for umerically
More informationStatistical and Fuzzy Approach for Database Security
tatistical ad Fuzzy Approach for Database ecurity Gag Lu, Jukai Yi chool of Iformatio ciece ad Techology Beijig iversity of Chemical Techology Beijig 100029, Chia sizheg@126.com Kevi Lü Bruel iversity,
More informationLOCATIONAL MARGINAL PRICING FRAMEWORK IN SECURED DISPATCH SCHEDULING UNDER CONTINGENCY CONDITION
IJRET: Iteratioal Joural of Research i Egieerig ad Techology eissn: 23191163 pissn: 23217308 LOCATIONAL MARGINAL PRICING FRAMEWORK IN SECURED DISPATCH SCHEDULING UNDER CONTINGENCY CONDITION R.Maiamda
More informationPSYCHOLOGICAL STATISTICS
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc. Cousellig Psychology (0 Adm.) IV SEMESTER COMPLEMENTARY COURSE PSYCHOLOGICAL STATISTICS QUESTION BANK. Iferetial statistics is the brach of statistics
More informationA Software Reliability Growth Model for ThreeTier Client Server System
2 Iteratioal Joural of Computer Applicatios (975 8887) A Software Reliability Growth Model for ThreeTier Cliet Server System Pradeep Kumar Iformatio Techology Departmet ABES Egieerig College, Ghaziabad
More information*The most important feature of MRP as compared with ordinary inventory control analysis is its time phasing feature.
Itegrated Productio ad Ivetory Cotrol System MRP ad MRP II Framework of Maufacturig System Ivetory cotrol, productio schedulig, capacity plaig ad fiacial ad busiess decisios i a productio system are iterrelated.
More informationCHAPTER 3 THE TIME VALUE OF MONEY
CHAPTER 3 THE TIME VALUE OF MONEY OVERVIEW A dollar i the had today is worth more tha a dollar to be received i the future because, if you had it ow, you could ivest that dollar ad ear iterest. Of all
More informationOn Formula to Compute Primes. and the n th Prime
Applied Mathematical cieces, Vol., 0, o., 3535 O Formula to Compute Primes ad the th Prime Issam Kaddoura Lebaese Iteratioal Uiversity Faculty of Arts ad cieces, Lebao issam.kaddoura@liu.edu.lb amih AbdulNabi
More informationRanking Irregularities When Evaluating Alternatives by Using Some ELECTRE Methods
Please use the followig referece regardig this paper: Wag, X., ad E. Triataphyllou, Rakig Irregularities Whe Evaluatig Alteratives by Usig Some ELECTRE Methods, Omega, Vol. 36, No. 1, pp. 4563, February
More informationImproving Dependability using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multitasking Embedded Systems
Improvig Depedability usig Shared Supplemetary Memory ad Opportuistic Micro Rejuveatio i Multitaskig Embedded Systems Viaitheertha Sudaram * Sadip HomChaudhuri Sachi Garg Chadra Kitala Saurabh Bagchi
More informationVolatility of rates of return on the example of wheat futures. Sławomir Juszczyk. Rafał Balina
Overcomig the Crisis: Ecoomic ad Fiacial Developmets i Asia ad Europe Edited by Štefa Bojec, Josef C. Brada, ad Masaaki Kuboiwa http://www.hippocampus.si/isbn/9789616832328/cotets.pdf Volatility of
More informationA Faster ClauseShortening Algorithm for SAT with No Restriction on Clause Length
Joural o Satisfiability, Boolea Modelig ad Computatio 1 2005) 4960 A Faster ClauseShorteig Algorithm for SAT with No Restrictio o Clause Legth Evgey Datsi Alexader Wolpert Departmet of Computer Sciece
More informationZTEST / ZSTATISTIC: used to test hypotheses about. µ when the population standard deviation is unknown
ZTEST / ZSTATISTIC: used to test hypotheses about µ whe the populatio stadard deviatio is kow ad populatio distributio is ormal or sample size is large TTEST / TSTATISTIC: used to test hypotheses about
More informationSimulationbased Analysis of Surface Jobsite Logistics in Mechanized Tunneling
Simulatiobased Aalysis of Surface Jobsite Logistics i Mechaized Tuelig Markus Scheffer 1,a, Tobias Rahm 1,b ad Markus Köig 1,c 1 Chair of Computig i Egieerig, Faculty of Civil ad Evirometal Egieerig,
More informationAsymptotic Growth of Functions
CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll
More informationChapter XIV: Fundamentals of Probability and Statistics *
Objectives Chapter XIV: Fudametals o Probability ad Statistics * Preset udametal cocepts o probability ad statistics Review measures o cetral tedecy ad dispersio Aalyze methods ad applicatios o descriptive
More informationSTUDENTS PARTICIPATION IN ONLINE LEARNING IN BUSINESS COURSES AT UNIVERSITAS TERBUKA, INDONESIA. Maya Maria, Universitas Terbuka, Indonesia
STUDENTS PARTICIPATION IN ONLINE LEARNING IN BUSINESS COURSES AT UNIVERSITAS TERBUKA, INDONESIA Maya Maria, Uiversitas Terbuka, Idoesia Coauthor: Amiuddi Zuhairi, Uiversitas Terbuka, Idoesia Kuria Edah
More informationResearch Article Allocating Freight Empty Cars in Railway Networks with Dynamic Demands
Discrete Dyamics i Nature ad Society, Article ID 349341, 12 pages http://dx.doi.org/10.1155/2014/349341 Research Article Allocatig Freight Empty Cars i Railway Networks with Dyamic Demads Ce Zhao, Lixig
More informationAgency Relationship Optimizer
Decideware Developmet Agecy Relatioship Optimizer The Leadig Software Solutio for ClietAgecy Relatioship Maagemet supplier performace experts scorecards.deploymet.service decide ware Sa Fracisco Sydey
More informationDecomposition of Gini and the generalized entropy inequality measures. Abstract
Decompositio of Gii ad the geeralized etropy iequality measures Stéphae Mussard LAMETA Uiversity of Motpellier I Fraçoise Seyte LAMETA Uiversity of Motpellier I Michel Terraza LAMETA Uiversity of Motpellier
More informationOptimize your Network. In the Courier, Express and Parcel market ADDING CREDIBILITY
Optimize your Network I the Courier, Express ad Parcel market ADDING CREDIBILITY Meetig today s challeges ad tomorrow s demads Aswers to your key etwork challeges ORTEC kows the highly competitive Courier,
More informationPlugin martingales for testing exchangeability online
Plugi martigales for testig exchageability olie Valetia Fedorova, Alex Gammerma, Ilia Nouretdiov, ad Vladimir Vovk Computer Learig Research Cetre Royal Holloway, Uiversity of Lodo, UK {valetia,ilia,alex,vovk}@cs.rhul.ac.uk
More informationDetecting Voice Mail Fraud. Detecting Voice Mail Fraud  1
Detectig Voice Mail Fraud Detectig Voice Mail Fraud  1 Issue 2 Detectig Voice Mail Fraud Detectig Voice Mail Fraud Several reportig mechaisms ca assist you i determiig voice mail fraud. Call Detail Recordig
More information