A System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems

Size: px
Start display at page:

Download "A System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems"

Transcription

1 International Journal of Performability Engineering Vol., No. 3, May 05, pp RAMS Conultant Printed in India A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem M. S. Rao and Vallayil N. A. Naikan GMR Intitute of Technology, Rajam, INDIA Reliability Engineering Centre, Indian Intitute of Technology, Kharagpur, INDIA Received on April, 04, revied on Augut 04, 04 Abtract: In thi paper, a novel Markov ytem dynamic MSD imulation frame work for the availability modeling of a repairable ytem i developed. The propoed method combine the Markov approach with ytem dynamic imulation approach for availability modeling. Thi approach will have the advantage of both Markov a well a Sytem dynamic methodologie. Initially, the propoed framework i illutrated for a two component active redundant ytem with repair with contant failure and repair rate. There after, tranient availability modeling with time varying failure and repair rate i performed for the ame ytem. It i worth mentioning here that finding the teady tate condition and tranient availability modeling are extremely difficult or impoible uing traditional approache. The reult of MSD imulation are compared with that obtained by traditional Markov method for validation. Thi ha hown that MSD imulation i a good alternative to the traditional mathematically intenive method. Keyword: MSD imulation, tranient availability modeling, Markov approach, repairable ytem, ytem dynamic.. Introduction Tranient availability modeling i an important proce ued to evaluate and improve the effectivene of any indutrial plant, where mot of the machine are repairable ytem. The complexity of the modern engineering ytem beide the need for realitic conideration when modeling their availability render analytical method very difficult to be ued. There i extenive literature on availability characteritic of repairable ytem with two or three component under varying aumption on the failure and repair []-[6]. In thee paper, author ued either Laplace tranform method or Lagrange method to olve Chapman Kolmogorov differential equation aociated with a particular problem. It ha been oberved that thee method involve complex computation and it i very difficult to compute availability of the ytem by thee method. Among everal available method, Markov method i widely ued for reliability/availability modeling. Markov chain model provide accurate long run availability and failure characterization calculation and can ometime be olved analytically, but are hard to formulate and involve high computational effort particularly a the number of tate grow large. The olution procedure of thee model i alo mathematically intenive. The exiting literature how that if the failure time and/or the repair time ditribution are not exponential, the analytical expreion for the availability become difficult. Simulation ha been ued a a powerful tool for modeling and analyi of ytem availability. It i ued to repreent the dynamic behavior of ytem in the mot realitic ene. Therefore, a imulation technique i required for etimating the availability [7-8]. Many reearcher have been earching for alternate methodologie for more practical and realitic availability modeling. The preent work propoe a hybrid approach *Correponding author riniva.m@gmrit.org 03

2 04 M. S. Rao and Vallayil N. A. Naikan called a Markov Sytem Dynamic MSD approach for availability modeling. The propoed methodology i illutrated for a two component active redundant ytem with repair. However thi methodology can be extended eaily for more complex multi tate ytem. The ret of thi paper i organized a follow. Section propoe a Markov ytem dynamic approach for availability modeling of a two component active redundant ytem with repair with contant failure and repair rate. Section 3 preent the reult obtained from availability modeling with contant failure and repair rate. Section4 decribe the tranient availability modeling uing propoed approach. Finally, Section5 conclude the paper.. Propoed Model In order to model the availability of redundant ytem with repair, the required aumption hould be mentioned. The detail of the ytem under tudy and it availability modeling aumption are tated with an illutrated example. Two eparate approache are contructed to model the availability of the ytem,. The firt one i the Markov approach and the econd one i the propoed MSD approach. Conequently, to mitigate the limitation of the Markov approach [9], the MSD model ha imulated and compared the reult with contant failure and repair rate for availability modeling. Thereafter, tranient availability modeling i performed on the ame ytem, conidering time varying failure and repair rate.. Conventional Markov Approach A two unit active redundant ytem i conidered to decribe the approach. A per the conventional Markov approach, the following aumption are ued to analyze the ytem under conideration and for the contruction of it tate tranition diagram. The two component active redundant ytem can be repaired only after both unit have failed. Only one unit can be repaired at a time. The unit have contant failure and repair rate. The tate tranition diagram for Markov analyi i hown in Figure. In thi diagram, tate indicate that both the unit are in the operating mode, tate indicate that the redundant unit i in operating mode and the active unit in the failed tate, the tate 3 repreent a failure of the redundant unit and tate 4 indicate that both unit are failed and thereafter ent for the repair. After the contruction of tate tranition diagram, the remaining tage of traditional Markov analyi conit of computation of the tate probabilitie by olving the reultant Chapman Kolmogorov differential equation. Thi i highly mathematically intenive exercie the intereted reader can refer [3] for thi olution for availability modeling of the ytem. After the rigorou mathematical treatment uch a by taking Laplace tranform both ide to the reultant Chapman Kolmogorov differential equation and thereafter olving by ue of Cramer rule, the following final equation are obtained which can be ued to compute the tate probabilitie.

3 A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem 05 [ ] [ ] _ = p [ ] [ ] _ = p [ ] [ ] 3 _ = p 3 [ ] [ ] 4 _ = p 4 By taking the invere Laplace tranform of the above equation,,,, 4 3 t P and t P t P t P value can be calculated. But, tranforming back to the time domain by taking invere Laplace tranform both ide to the above equation i very difficult and tediou a decribed by the everal author [-6]. Due to thi difficulty, they performed teady tate olution for thi type of ytem auming that the teady tate i reached at time infinity. Generally, the teady tate availability analyi of ytem i evaluated by auming time equal to infinity in thee Kolmogorov ytem of differential equation. However, thi analyi doe not give the exact time at which a ytem reache it teady tate. In many practical ituation we require to find the time at which our ytem reache teady tate condition for planning maintenance activitie. The propoed MSD method i capable of finding thi teady tate point and calculate the time dependent availability At very eaily. Thi approach i dicued in the following ection. Figure : Sytem State Tranition Diagram

4 06 M. S. Rao and Vallayil N. A. Naikan. MSD Approach The origin of the propoed approach: Simulation ha been ued a an approximation tool to remedy the limitation of analytical Markov chain. It ha been proved by the author [9]-[0] that the tationary, continuou time Markov model are algebraically equivalent to linear ytem dynamic model. The intereted reader can refer the quoted reference. From thi, a ytem dynamic repreentation of Markov model open up the poibility of numerical olution and of avoiding the tedium of analytical olution. The approach of ytem dynamic wa created and developed in the late 950 by a group of reearcher led by Forreter at the Maachuett Intitute of Technology MIT, Cambridge, MA []. It i a methodology which build on information feedback theory, which provide ymbol for mapping ytem in term of diagram and equation, and a programming language for conducting computer imulation. Another advantage of ytem dynamic modeling i that it i eay to experiment with alternative value of parameter. Finally, the teady tate olution for thee problem can be obtained eaily by the inpection of the flow diagram []-[3]. The preent work propoe MSD approach for availability modeling of a two component active redundant ytem with repair a decribed in the following ection..3 Availability Modeling of Redundant Sytem with Repair uing MSD Approach The propoed modeling and analyi methodology [9-0] conit the following tage. Stage : Contruct a State Tranition Diagram In thi tage, the tate tranition diagram of the conidered ytem a per the Markov approach given in ection. i taken a input for the propoed MSD imulation modeling. Thi propoed modeling ha performed in the following tage. Stage : Data Collection. The propoed MSD methodology tart after identification of the ytem tate a per the tate tranition diagram. Conider a two component active redundant ytem that can be repaired only after both unit have failed. Only one unit can then be repaired at a time. The unit have contant failure rate of per month and 4 per month repectively. The mean repair time to complete both repair MTTR i of 0 day /3 month. It i important to mention here that the failure and repair rate of the ytem need to be etablihed from the failure and maintenance data by parameter etimation technique a uual. Now it i required to olve for the ytem availability. Thi illutrative example i a imilar to the ytem under tudy i.e., a two component active redundant ytem with repair. The data regarding the contant failure and repair rate of thi illutrative example ha been ued in the propoed MSD imulation model. Stage 3: Building the Comprehenive MSD Simulation Model. The next tage in the modeling proce i to convert the tate tranition diagram of the ytem in to the rate and level diagram. The tate tranition diagram Figure of the two component active redundant ytem with repair i now converted into a comprehenive MSD model. Thi i preented in Figure.

5 A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem 07 Figure : A Comprehenive Markov Sytem Dynamic Model In the availability model depicted in Figure, the four tate of the two component active redundant ytem with repair are indicated with level variable P, P, P 3, P 4 and the tate tranition rate are indicated with rate variable R, R 3, R 34, R 4, R 4 with the correponding tranition rate,,, indicate failure rate of the firt and econd unit repectively and indicate repair rate. The initial value of ytem availability a indicated at the level variable P i aumed a unity. The effect of failure rate i to decreae the ytem availability and that of repair rate i to increae the ame. The tate probabilitie can be computed for all the four tate by running thi model over a period of time and oberving the tate variable. The rate variable are influenced by the repective auxiliary variable, i.e., failure rate and repair rate of the primary unit and the redundant unit along the entire miion or operating time. In thi example, it can be een that the ytem i available for operation when it i in any of the tate,, or 3. The tate 4 i the ytem down tate. That mean the um of tate probabilitie P, P, P 3 give the value of ytem availability at any time. Stage 4: MSD Simulation: The next tage of MSD approach i to imulate the comprehenive MSD model of the ytem which i developed in the previou tage. Thi imulation give the required tate probabilitie of the ytem for it availability modeling. The following algorithm explain the propoed Markov Sytem dynamic imulation tep. Propoed Algorithm: Step: The value of tranition rate,, and the time interval dt are taken a input. Alo the total time T i taken a input, i.e., the time for which the ytem ha to be imulated. It i important to note that maller the value of dt, more accurate will be the computed value of the tate probabilitie. Step: Initially et P equal to one. Step3: Set P i equal to zero for i=, 3, 4. Step4: A conditional loop i formed with the condition, t<t.

6 08 M. S. Rao and Vallayil N. A. Naikan Step5: In each execution of the loop, the time i increaed by dt, i.e., t =t dt. So, the loop will continue till time T with each tep taken at time difference dt. Step6: A aumed P initially ha probability unity, and the ytem fail when it become zero. Run a conditional loop a long a the condition i.e., the probability of P >0 i atified. Step7: Within the loop all the rate variable are calculated. The probabilitie of the tate are calculated firt and the outflow rate are calculated according to the logic a follow. P t = P t-dt R 4 -R -R 3 * dt P t = P t-dt R --R 4 * dt P 3 t = P 3 t-dt R 3 -R 34 * dt P 4 t = P 4 t-dt R 34 R 4 -R 4 * dt Step8: Then all the required value are diplayed and the required graph can be drawn by uing thee value to tudy the dynamic behavior. Stage 5: The Model Experimentation By implementing thi algorithm, the model experimentation i performed. The ytem ha been imulated by imultaneouly conidering all the four tate. The imulation reult clearly indicate that the probability of operating tate of the ytem decreae and reache it teady tate with increae in time due to primary and redundant unit failure. And alo the ytem will be in operating tate if one of it unit i in operating tate. The ytem reache it failed tate when both of it unit fail. And the um of P, P, and P 3 tate probabilitie will give the ytem availability. 3. Reult obtained from Availability Modeling with Contant Failure and Repair Rate So far in the literature, teady tate availability modeling of ytem i evaluated by auming time equal to infinity in the Kolmogorov ytem of differential equation. However, thi analyi doe not give the exact time at which a ytem reache it teady tate. In many practical ituation we require to find the time at which our ytem reache teady tate condition for planning maintenance activitie. The propoed MSD method in thi work i capable of finding thi teady tate point very eaily. The propoed approach for the illutrative example how thi teady tate point, interval and teady tate availabilitie along with the dynamic behavior of the ytem. The reult obtained are preented in Table which clearly indicate that the imulated reult very cloely match with computed value. It i found that the ytem reache it teady tate at.45 month and it teady tate availability i It i clear from the reult that the propoed Markov ytem dynamic MSD modeling frame work can be ued a an alternative approach to analyze the availability of maintainable ytem. Moreover, the MSD model developed in thi paper can alo be ued when the failure and repair rate are time varying function.

7 A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem 09 Table: Sytem Availability by MSD and Markov Approach with Contant Failure and Repair Rate Time month Availability by MSD Approach A 0 Availability by Markov Approach A m Tranient Availability Modeling with Time Varying Failure and Repair Rate The MSD model a hown in the Figure ha been imulated by auming a hypothetical cae in which the time to failure i following Weibull ditribution with parameter β =., θ = 00, β = 3.9, θ = 90 and time to repair are following Weibull ditribution with parameter β 3 =.9, θ3 = 50 a the input. The imulation i continued till the ytem reache a teady tate. The reult of imulation are preented in Table which how the time dependent probabilitie of the ytem at different tate. It i found that the ytem tranient availability declining from to 0 within 0 to day with the above time varying failure and repair rate a input value. It i found that the ytem reache it teady tate at day and it teady tate availability i In conventional method it i extremely difficult to obtain uch time dependent tate probabilitie and to find out when the ytem reache it teady tate, when the failure and repair rate are time varying function. Table : Sytem State Probability and Tranient Availability with Time Varying Failure and Repair Rate Tranient Time State Probability availability from day P t P t P 3 t P 4 t MSD approach * * Steady tate availability

8 0 M. S. Rao and Vallayil N. A. Naikan By conidering thi type of failure and repair rate, the enitivity analyi for the ytem availability can be eaily performed by uing thi MSD approach. It i worth mentioning here that the MSD modeling will be much eaier compared to the traditional approache to tudy the availability of complex ytem. Switchover from conventional method to MSD imulation eem to be the mot promiing availability modeling trategy 5. Concluion In thi paper, a hybrid approach called a Markov Sytem Dynamic MSD approach ha been propoed for availability modeling. The propoed framework i illutrated for a two component active redundant ytem with repair. The imulation reult obtained when compared with that by the traditional Markov analyi for contant failure and repair rate clearly validate the MSD approach a an alternative approach for availability modeling. The procedure for the development of the MSD approach for thi ytem i explained and the model i run to oberve all of it tate. It i alo hown that the MSD approach clearly indicate the time at which the ytem reache it teady tate. Moreover, tranient availability modeling with time varying failure and repair rate i performed in thi paper. It i worth mentioning here that finding the teady tate condition and tranient availability modeling are extremely difficult or impoible uing traditional approache. However, the propoed MSD approach can calculate the point, interval availabilitie with time varying failure and repair rate or for any uer defined ditribution. Reference [] Liu, L. M., and D. H. Shi. Availability Analyi of a Two-Unit Serie Sytem with a Priority Shut off Rule. Naval Reearch Logitic, 996; 437: [] Mathew, A. G., S. M. Rizwan, M. C. Majumder, K. P. Ramachandran, and G. Taneja. Reliability Analyi of an Identical Two-Unit Parallel CC Plant Sytem Operative with Full Intalled Capacity. International Journal of Performability Engineering, 0; 7: [3] Birolini, A. Quality and Reliability of Technical Sytem, Theory, Practice, Management. Springer Verlag, Berlin, 997. [4] Gupta, P., A.K. Lal, R.K. Sharma, and J. Singh. Numerical Analyi of Reliability and Availability of the Serial Procee in Butter Oil Proceing Plant. International Journal of Quality & Reliability Management, 005; 3: [5] Menni, E., and P. Agapio. Availability Aement of Dieel Generator Sytem of a Ship: A Cae Study. International Journal of Performability Engineering, 03; 95: [6] Vaneeta, J., S. Dharmaraja, and S.K. Trivedi. Markov Modeling Approach for Survivability Analyi of Cellular Network. International Journal of Performability Engineering, 0; 75: [7] Upadhya, K. S., and N. K. Srinivaan. A Simulation Model for Availability under Battlefield Condition. Simulation, 000; 74 6: [8] Liandro, M., and E. S. Quiroga. A Simulation Approach to the Optimization of Railway Infratructure Maintenance Strategie. International Journal of Performability Engineering, 0; 76: [9] Srinivaa Rao, M., and V.N.A. Naikan. A Managerial Tool for Reliability Analyi Uing a Novel Markov Sytem Dynamic MSD Approach. International Journal of Management Science and Engineering Management, 009; 43: [0] Srinivaa Rao, M., and V. N. A. Naikan. A Novel Markov Sytem Dynamic Framework for Reliability Analyi of Sytem. International Journal of Economic Quality and Control, 009; 4: 0-6.

9 A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem [] Forreter, J. W. Indutrial Dynamic. MIT Pre, Cambridge MA, 96. [] Dumolo, R. N. Application of Sytem Engineering to Railway Project. International Journal of Performability Engineering, 007; 3: [3] Burge, T.F. Modeling Quality Cot Dynamic. International Journal of Quality & Reliability Management, 996; 33: 8-6. M. Srinivaa Rao i Profeor in Mechanical Engineering department at GMR Intitute of Technology, Rajam, India. He took hi Doctorate degree in Reliability engineering from Reliability engineering centre at Indian Intitute of Technology, Kharagpur, India. He received hi B.E in Mechanical Engineering and M.E in Indutrial Engineering from Andhra Univerity, Viakhapatnam, India. He ha publihed hi reearch work in many international journal and preented paper in conference. Hi current reearch interet include reliability and availability analyi and modeling of ytem uing imulation methodologie. V.N.A. Naikan, i currently Profeor and Head of the Reliability Engineering at the Indian Intitute of Technology Kharagpur, India. He did hi M.Tech. and Ph.D. degree from thi centre. He graduated in mechanical engineering with econd rank from the Univerity of Kerala. Before joining the Reliability Engineering Centre, he alo worked with Indian Space Reearch Organization, Chinee Univerity of Hong Kong, Indian Intitute of Management, Ahmedabad and Union Carbide India Limited in variou capacitie. He ha publihed more than 00 reearch paper in international journal and conference, a book on Reliability Engineering and Life Teting and a chapter on SPC in the Handbook on Performability Engineering, Ed. Krihna B. Mira publihed by Springer 008. He i the aitant editor-in-chief of the International Journal of Performability Engineering, adviory and editorial board member of everal other journal. He had been the technical chair of everal international conference. He ha guided about 00 tudent for their B.Tech., M.Tech., and Ph.D. thee. He i a FIE and member of profeional ocietie including, IEEE, IEI, SREI, Sytem ociety of India, etc. He ha been doing conultancy and reearch project for organization like ISRO, BARC, BHEL, Defence Force, and Minitry of Textile. He ha been alo a viiting profeor at CALCE, Univerity of Maryland, USA.

ES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK

ES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK ES05 Analyi and Deign of Engineering Sytem: Lab : An Introductory Tutorial: Getting Started with SIMULINK What i SIMULINK? SIMULINK i a oftware package for modeling, imulating, and analyzing dynamic ytem.

More information

SLA Adaptation for Service Overlay Networks

SLA Adaptation for Service Overlay Networks SLA Adaptation for Service Overlay Network Con Tran 1, Zbigniew Dziong 1, and Michal Pióro 2 1 Department of Electrical Engineering, École de Technologie Supérieure, Univerity of Quebec, Montréal, Canada

More information

A Multi-objective Genetic Algorithm for Reliability Optimization Problem

A Multi-objective Genetic Algorithm for Reliability Optimization Problem International Journal of Performability Engineering, Vol. 5, No. 3, April 2009, pp. 227-234. RAMS Conultant Printed in India A Multi-objective Genetic Algorithm for Reliability Optimization Problem AMAR

More information

Distributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router

Distributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router Ditributed Packet Proceing Architecture with Reconfigurable Hardware Accelerator for 100Gbp Forwarding Performance on Virtualized Edge Router Satohi Nihiyama, Hitohi Kaneko, and Ichiro Kudo Abtract To

More information

Universität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart.

Universität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart. Univerität Augburg à ÊÇÅÍÆ ËÀǼ Approximating Optimal Viual Senor Placement E. Hörter, R. Lienhart Report 2006-01 Januar 2006 Intitut für Informatik D-86135 Augburg Copyright c E. Hörter, R. Lienhart Intitut

More information

A Practical Model for Minimizing Waiting Time in a Transit Network

A Practical Model for Minimizing Waiting Time in a Transit Network A Practical Model for Minimizing Waiting Time in a Tranit Network Leila Dianat, MASc, Department of Civil Engineering, Sharif Univerity of Technology, Tehran, Iran Youef Shafahi, Ph.D. Aociate Profeor,

More information

DAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications

DAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications DAROS: Ditributed Uer-Server Aignment And Replication For Online Social Networking Application Thuan Duong-Ba School of EECS Oregon State Univerity Corvalli, OR 97330, USA Email: duongba@eec.oregontate.edu

More information

Hassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem,

Hassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem, COMPETITIVE PROBABIISTIC SEF-ORGANIZING MAPS FOR ROUTING PROBEMS Haan Ghaziri AUB, OSB Beirut, ebanon ghaziri@aub.edu.lb Abtract In thi paper, we have applied the concept of the elf-organizing map (SOM)

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each type of circuit will be implemented in two

More information

AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROBLEM

AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROBLEM RAC Univerity Journal, Vol IV, No, 7, pp 87-9 AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROLEM Mozzem Hoain Department of Mathematic Ghior Govt

More information

Modeling the Effect of Mobile Handoffs on TCP and TFRC Throughput

Modeling the Effect of Mobile Handoffs on TCP and TFRC Throughput Modeling the Effect of Mobile Handoff on TCP and TFRC Throughput Antonio Argyriou and Vijay Madietti School of Electrical and Computer Engineering Georgia Intitute of Technology Atlanta, Georgia 3332 25,

More information

AUTOMATIC TEST CASE GENERATION USING UML MODELS

AUTOMATIC TEST CASE GENERATION USING UML MODELS Volume-2, Iue-6, June-2014 AUTOMATIC TEST CASE GENERATION USING UML MODELS 1 SAGARKUMAR P. JAIN, 2 KHUSHBOO S. LALWANI, 3 NIKITA K. MAHAJAN, 4 BHAGYASHREE J. GADEKAR 1,2,3,4 Department of Computer Engineering,

More information

On successive packing approach to multidimensional (M-D) interleaving

On successive packing approach to multidimensional (M-D) interleaving On ucceive packing approach to multidimenional (M-D) interleaving Xi Min Zhang Yun Q. hi ankar Bau Abtract We propoe an interleaving cheme for multidimenional (M-D) interleaving. To achieved by uing a

More information

Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz

Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz Operational emantic Page Operational emantic Cla note for a lecture given by Mooly agiv Tel Aviv Univerity 4/5/7 By Roy Ganor and Uri Juhaz Reference emantic with Application, H. Nielon and F. Nielon,

More information

Keywords Cloud Computing, Service Level Agreements (SLA), CloudSim, Monitoring & Controlling SLA Agent, JADE

Keywords Cloud Computing, Service Level Agreements (SLA), CloudSim, Monitoring & Controlling SLA Agent, JADE Volume 5, Iue 8, Augut 2015 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Verification of Agent

More information

Performance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks

Performance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks Performance of a Robut Filter-baed Approach for Contour Detection in Wirele Senor Network Hadi Alati, William A. Armtrong, Jr., and Ai Naipuri Department of Electrical and Computer Engineering The Univerity

More information

Kinematics Programming for Cooperating Robotic Systems

Kinematics Programming for Cooperating Robotic Systems Kinematic Programming for Cooperating Robotic Sytem Critiane P. Tonetto, Carlo R. Rocha, Henrique Sima, Altamir Dia Federal Univerity of Santa Catarina, Mechanical Engineering Department, P.O. Box 476,

More information

See chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM

See chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM Goal programming Objective of the topic: Indentify indutrial baed ituation where two or more objective function are required. Write a multi objective function model dla a goal LP Ue weighting um and preemptive

More information

The Association of System Performance Professionals

The Association of System Performance Professionals The Aociation of Sytem Performance Profeional The Computer Meaurement Group, commonly called CMG, i a not for profit, worldwide organization of data proceing profeional committed to the meaurement and

More information

An Intro to LP and the Simplex Algorithm. Primal Simplex

An Intro to LP and the Simplex Algorithm. Primal Simplex An Intro to LP and the Simplex Algorithm Primal Simplex Linear programming i contrained minimization of a linear objective over a olution pace defined by linear contraint: min cx Ax b l x u A i an m n

More information

Planning of scooping position and approach path for loading operation by wheel loader

Planning of scooping position and approach path for loading operation by wheel loader 22 nd International Sympoium on Automation and Robotic in Contruction ISARC 25 - September 11-14, 25, Ferrara (Italy) 1 Planning of cooping poition and approach path for loading operation by wheel loader

More information

A Hybrid Deployable Dynamic Traffic Assignment Framework for Robust Online Route Guidance

A Hybrid Deployable Dynamic Traffic Assignment Framework for Robust Online Route Guidance A Hybrid Deployable Dynamic Traffic Aignment Framework for Robut Online Route Guidance Sriniva Peeta School of Civil Engineering, Purdue Univerity Chao Zhou Sabre, Inc. Sriniva Peeta School of Civil Engineering

More information

Lecture 14: Minimum Spanning Tree I

Lecture 14: Minimum Spanning Tree I COMPSCI 0: Deign and Analyi of Algorithm October 4, 07 Lecture 4: Minimum Spanning Tree I Lecturer: Rong Ge Scribe: Fred Zhang Overview Thi lecture we finih our dicuion of the hortet path problem and introduce

More information

A Novel Grey-RSS Navigation System Design for Mobile Robots

A Novel Grey-RSS Navigation System Design for Mobile Robots A vel Grey-RSS Navigation Sytem Deign for Mobile Robot Albert Wen-Long Yao*,, Hin-Te Liao, and Shiou-De Chen Department of Mechanical and Automation Engineering, National Kaohiung Firt Univerity of Science

More information

Chapter 13 Non Sampling Errors

Chapter 13 Non Sampling Errors Chapter 13 Non Sampling Error It i a general aumption in the ampling theory that the true value of each unit in the population can be obtained and tabulated without any error. In practice, thi aumption

More information

Compressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit

Compressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit Senor & randucer, Vol. 8, Iue 0, October 204, pp. 34-40 Senor & randucer 204 by IFSA Publihing, S. L. http://www.enorportal.com Compreed Sening Image Proceing Baed on Stagewie Orthogonal Matching Puruit

More information

Minimum congestion spanning trees in bipartite and random graphs

Minimum congestion spanning trees in bipartite and random graphs Minimum congetion panning tree in bipartite and random graph M.I. Otrovkii Department of Mathematic and Computer Science St. John Univerity 8000 Utopia Parkway Queen, NY 11439, USA e-mail: otrovm@tjohn.edu

More information

Modelling the impact of cyber attacks on the traffic control centre of an urban automobile transport system by means of enhanced cybersecurity

Modelling the impact of cyber attacks on the traffic control centre of an urban automobile transport system by means of enhanced cybersecurity Modelling the impact of cyber attack on the traffic control centre of an urban automobile tranport ytem by mean of enhanced cyberecurity Yoana Ivanova 1,* 1 Bulgarian Academy of Science, Intitute of ICT,

More information

3-D Visualization of a Gene Regulatory Network: Stochastic Search for Layouts

3-D Visualization of a Gene Regulatory Network: Stochastic Search for Layouts 3-D Viualization of a Gene Regulatory Network: Stochatic Search for Layout Naoki Hooyama Department of Electronic Engineering, Univerity of Tokyo, Japan hooyama@iba.k.u-tokyo.ac.jp Abtract- In recent year,

More information

3D SMAP Algorithm. April 11, 2012

3D SMAP Algorithm. April 11, 2012 3D SMAP Algorithm April 11, 2012 Baed on the original SMAP paper [1]. Thi report extend the tructure of MSRF into 3D. The prior ditribution i modified to atify the MRF property. In addition, an iterative

More information

1 The secretary problem

1 The secretary problem Thi i new material: if you ee error, pleae email jtyu at tanford dot edu 1 The ecretary problem We will tart by analyzing the expected runtime of an algorithm, a you will be expected to do on your homework.

More information

UC Berkeley International Conference on GIScience Short Paper Proceedings

UC Berkeley International Conference on GIScience Short Paper Proceedings UC Berkeley International Conference on GIScience Short Paper Proceeding Title A novel method for probabilitic coverage etimation of enor network baed on 3D vector repreentation in complex urban environment

More information

p done CPU p user p drivdone 1-p drivdone

p done CPU p user p drivdone 1-p drivdone Approximate Analytical Performance Evaluation of a UNIX Baed Multiproceor Operating Sytem Stefan Greiner Duke Univerity Dept. of Electrical Engineering Durham, NC 2770-029, USA Box 9029 greiner@ee.duke.edu

More information

3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES

3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES MAKARA, TEKNOLOGI, VOL. 9, NO., APRIL 5: 3-35 3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES Mochammad Zulianyah Informatic Engineering, Faculty of Engineering, ARS International Univerity,

More information

Keywords: Defect detection, linear phased array transducer, parameter optimization, phased array ultrasonic B-mode imaging testing.

Keywords: Defect detection, linear phased array transducer, parameter optimization, phased array ultrasonic B-mode imaging testing. Send Order for Reprint to reprint@benthamcience.ae 488 The Open Automation and Control Sytem Journal, 2014, 6, 488-492 Open Acce Parameter Optimization of Linear Phaed Array Tranducer for Defect Detection

More information

/06/$ IEEE 364

/06/$ IEEE 364 006 IEEE International ympoium on ignal Proceing and Information Technology oie Variance Etimation In ignal Proceing David Makovoz IPAC, California Intitute of Technology, MC-0, Paadena, CA, 95 davidm@ipac.caltech.edu;

More information

An Approach to a Test Oracle for XML Query Testing

An Approach to a Test Oracle for XML Query Testing An Approach to a Tet Oracle for XML Query Teting Dae S. Kim-Park, Claudio de la Riva, Javier Tuya Univerity of Oviedo Computing Department Campu of Vieque, /n, 33204 (SPAIN) kim_park@li.uniovi.e, claudio@uniovi.e,

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier a a The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each b c circuit will be decribed in Verilog

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in Verilog and implemented

More information

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks Maneuverable Relay to Improve Energy Efficiency in Senor Network Stephan Eidenbenz, Luka Kroc, Jame P. Smith CCS-5, MS M997; Lo Alamo National Laboratory; Lo Alamo, NM 87545. Email: {eidenben, kroc, jpmith}@lanl.gov

More information

Analysis of the results of analytical and simulation With the network model and dynamic priority Unchecked Buffer

Analysis of the results of analytical and simulation With the network model and dynamic priority Unchecked Buffer International Reearch Journal of Applied and Baic Science 218 Available online at www.irjab.com ISSN 2251-838X / Vol, 12 (1): 49-53 Science Explorer Publication Analyi of the reult of analytical and imulation

More information

How to Select Measurement Points in Access Point Localization

How to Select Measurement Points in Access Point Localization Proceeding of the International MultiConference of Engineer and Computer Scientit 205 Vol II, IMECS 205, March 8-20, 205, Hong Kong How to Select Meaurement Point in Acce Point Localization Xiaoling Yang,

More information

The Comparison of Neighbourhood Set and Degrees of an Interval Graph G Using an Algorithm

The Comparison of Neighbourhood Set and Degrees of an Interval Graph G Using an Algorithm The Comparion of Neighbourhood Set and Degree of an Interval Graph G Uing an Algorithm Dr.A.Sudhakaraiah, K.Narayana Aitant Profeor, Department of Mathematic, S.V. Univerity, Andhra Pradeh, India Reearch

More information

Increasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment

Increasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment Int. J. Communication, Network and Sytem Science, 0, 5, 90-97 http://dx.doi.org/0.436/ijcn.0.50 Publihed Online February 0 (http://www.scirp.org/journal/ijcn) Increaing Throughput and Reducing Delay in

More information

Delaunay Triangulation: Incremental Construction

Delaunay Triangulation: Incremental Construction Chapter 6 Delaunay Triangulation: Incremental Contruction In the lat lecture, we have learned about the Lawon ip algorithm that compute a Delaunay triangulation of a given n-point et P R 2 with O(n 2 )

More information

Aalborg Universitet. Published in: Proceedings of the Working Conference on Advanced Visual Interfaces

Aalborg Universitet. Published in: Proceedings of the Working Conference on Advanced Visual Interfaces Aalborg Univeritet Software-Baed Adjutment of Mobile Autotereocopic Graphic Uing Static Parallax Barrier Paprocki, Martin Marko; Krog, Kim Srirat; Kritofferen, Morten Bak; Krau, Martin Publihed in: Proceeding

More information

Mirror shape recovery from image curves and intrinsic parameters: Rotationally symmetric and conic mirrors. Abstract. 2. Mirror shape recovery

Mirror shape recovery from image curves and intrinsic parameters: Rotationally symmetric and conic mirrors. Abstract. 2. Mirror shape recovery Mirror hape recovery from image curve and intrinic parameter: Rotationally ymmetric and conic mirror Nuno Gonçalve and Helder Araújo Λ Intitute of Sytem and Robotic Univerity of Coimbra Pinhal de Marroco

More information

Image authentication and tamper detection using fragile watermarking in spatial domain

Image authentication and tamper detection using fragile watermarking in spatial domain International Journal of Advanced Reearch in Computer Engineering & Technology (IJARCET) Volume 6, Iue 7, July 2017, ISSN: 2278 1323 Image authentication and tamper detection uing fragile watermarking

More information

Tracking High Speed Skater by Using Multiple Model

Tracking High Speed Skater by Using Multiple Model Vol. 2, No. 26 Tracing High Speed Sater by Uing Multiple Model Guojun Liu & Xianglong Tang School of Computer Science & Engineering Harbin Intitute of Technology Harbin 5000, China E-mail: hitliu@hit.edu.cn

More information

Key Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing.

Key Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing. Volume 3, Iue 11, November 2013 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Tak Aignment in

More information

A Load Balancing Model based on Load-aware for Distributed Controllers. Fengjun Shang, Wenjuan Gong

A Load Balancing Model based on Load-aware for Distributed Controllers. Fengjun Shang, Wenjuan Gong 4th International Conference on Machinery, Material and Computing Technology (ICMMCT 2016) A Load Balancing Model baed on Load-aware for Ditributed Controller Fengjun Shang, Wenjuan Gong College of Compute

More information

How to. write a paper. The basics writing a solid paper Different communities/different standards Common errors

How to. write a paper. The basics writing a solid paper Different communities/different standards Common errors How to write a paper The baic writing a olid paper Different communitie/different tandard Common error Reource Raibert eay My grammar point Article on a v. the Bug in writing Clarity Goal Conciene Calling

More information

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking Refining SIRAP with a Dedicated Reource Ceiling for Self-Blocking Mori Behnam, Thoma Nolte Mälardalen Real-Time Reearch Centre P.O. Box 883, SE-721 23 Väterå, Sweden {mori.behnam,thoma.nolte}@mdh.e ABSTRACT

More information

Motion Control (wheeled robots)

Motion Control (wheeled robots) 3 Motion Control (wheeled robot) Requirement for Motion Control Kinematic / dynamic model of the robot Model of the interaction between the wheel and the ground Definition of required motion -> peed control,

More information

Edits in Xylia Validity Preserving Editing of XML Documents

Edits in Xylia Validity Preserving Editing of XML Documents dit in Xylia Validity Preerving diting of XML Document Pouria Shaker, Theodore S. Norvell, and Denni K. Peter Faculty of ngineering and Applied Science, Memorial Univerity of Newfoundland, St. John, NFLD,

More information

Application of Social Relation Graphs for Early Detection of Transient Spammers

Application of Social Relation Graphs for Early Detection of Transient Spammers Radolaw rendel and Henryk Krawczyk Application of Social Relation raph for Early Detection of Tranient Spammer RADOSLAW RENDEL and HENRYK KRAWCZYK Electronic, Telecommunication and Informatic Department

More information

Computer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder

Computer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder Computer Arithmetic Homework 3 2016 2017 Solution 1 An adder for graphic In a normal ripple carry addition of two poitive number, the carry i the ignal for a reult exceeding the maximum. We ue thi ignal

More information

REVERSE KINEMATIC ANALYSIS OF THE SPATIAL SIX AXIS ROBOTIC MANIPULATOR WITH CONSECUTIVE JOINT AXES PARALLEL

REVERSE KINEMATIC ANALYSIS OF THE SPATIAL SIX AXIS ROBOTIC MANIPULATOR WITH CONSECUTIVE JOINT AXES PARALLEL Proceeding of the ASME 007 International Deign Engineering Technical Conference & Computer and Information in Engineering Conference IDETC/CIE 007 September 4-7, 007 La Vega, Nevada, USA DETC007-34433

More information

Modeling of underwater vehicle s dynamics

Modeling of underwater vehicle s dynamics Proceeding of the 11th WEA International Conference on YTEM, Agio Nikolao, Crete Iland, Greece, July 23-25, 2007 44 Modeling of underwater vehicle dynamic ANDRZEJ ZAK Department of Radiolocation and Hydrolocation

More information

np vp cost = 0 cost = c np vp cost = c I replacing term cost = c+c n cost = c * Error detection Error correction pron det pron det n gi

np vp cost = 0 cost = c np vp cost = c I replacing term cost = c+c n cost = c * Error detection Error correction pron det pron det n gi Spoken Language Paring with Robutne and ncrementality Yohihide Kato, Shigeki Matubara, Katuhiko Toyama and Yauyohi nagaki y Graduate School of Engineering, Nagoya Univerity y Faculty of Language and Culture,

More information

IMPROVED JPEG DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION. Tak-Shing Wong, Charles A. Bouman, and Ilya Pollak

IMPROVED JPEG DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION. Tak-Shing Wong, Charles A. Bouman, and Ilya Pollak IMPROVED DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION Tak-Shing Wong, Charle A. Bouman, and Ilya Pollak School of Electrical and Computer Engineering Purdue Univerity ABSTRACT We propoe

More information

ANALYSIS OF PILE DRIVING IN VERTICAL AND HORIZONTAL DIRECTIONS USING A HYBRID MODEL

ANALYSIS OF PILE DRIVING IN VERTICAL AND HORIZONTAL DIRECTIONS USING A HYBRID MODEL ANALYSIS OF PILE DRIVING IN VERTICAL AND HORIZONTAL DIRECTIONS USING A HYBRID MODEL TATSUNORI MATSUMOTO i) PASTSAKORN KITIYODOM ii) EIJI KOJIMA iii) HIROMICHI KUMAGAI iv) SATOSHI NISHIMOTO v) and KOUICHI

More information

Cutting Stock by Iterated Matching. Andreas Fritsch, Oliver Vornberger. University of Osnabruck. D Osnabruck.

Cutting Stock by Iterated Matching. Andreas Fritsch, Oliver Vornberger. University of Osnabruck. D Osnabruck. Cutting Stock by Iterated Matching Andrea Fritch, Oliver Vornberger Univerity of Onabruck Dept of Math/Computer Science D-4909 Onabruck andy@informatikuni-onabrueckde Abtract The combinatorial optimization

More information

Performance Evaluation of search engines via user efforts measures

Performance Evaluation of search engines via user efforts measures IJCSI International Journal of Computer Science Iue, Vol. 9, Iue 4, No, July 01 www.ijcsi.org 437 Performance Evaluation of earch engine via uer effort meaure Raeh Kumar Goutam 1 and Sanay K. Dwivedi 1

More information

Building a Compact On-line MRF Recognizer for Large Character Set using Structured Dictionary Representation and Vector Quantization Technique

Building a Compact On-line MRF Recognizer for Large Character Set using Structured Dictionary Representation and Vector Quantization Technique 202 International Conference on Frontier in Handwriting Recognition Building a Compact On-line MRF Recognizer for Large Character Set uing Structured Dictionary Repreentation and Vector Quantization Technique

More information

SECTOR BASED MULTICAST ROUTING ALGORITHM FOR MOBILE AD-HOC NETWORKS

SECTOR BASED MULTICAST ROUTING ALGORITHM FOR MOBILE AD-HOC NETWORKS SECTOR BASED MULTICAST ROUTING ALGORITHM OR MOBILE AD-HOC NETWORKS Murali Paramewaran 1 and Chittaranjan Hota 2 1 Department of Computer Science & Information Sytem, BITS-Pilani, Pilani, India 2 Department

More information

Service and Network Management Interworking in Future Wireless Systems

Service and Network Management Interworking in Future Wireless Systems Service and Network Management Interworking in Future Wirele Sytem V. Tountopoulo V. Stavroulaki P. Demeticha N. Mitrou and M. Theologou National Technical Univerity of Athen Department of Electrical Engineering

More information

Analysis of Surface Wave Propagation Based on the Thin Layered Element Method

Analysis of Surface Wave Propagation Based on the Thin Layered Element Method ABSTACT : Analyi of Surface Wave Propagation Baed on the Thin ayered Element Method H. AKAGAWA 1 and S. AKAI 1 Engineer, Technical Centre, Oyo Corporation, Ibaraki, Japan Profeor, Graduate School of Engineering,

More information

Focused Video Estimation from Defocused Video Sequences

Focused Video Estimation from Defocused Video Sequences Focued Video Etimation from Defocued Video Sequence Junlan Yang a, Dan Schonfeld a and Magdi Mohamed b a Multimedia Communication Lab, ECE Dept., Univerity of Illinoi, Chicago, IL b Phyical Realization

More information

Stochastic Search and Graph Techniques for MCM Path Planning Christine D. Piatko, Christopher P. Diehl, Paul McNamee, Cheryl Resch and I-Jeng Wang

Stochastic Search and Graph Techniques for MCM Path Planning Christine D. Piatko, Christopher P. Diehl, Paul McNamee, Cheryl Resch and I-Jeng Wang Stochatic Search and Graph Technique for MCM Path Planning Chritine D. Piatko, Chritopher P. Diehl, Paul McNamee, Cheryl Rech and I-Jeng Wang The John Hopkin Univerity Applied Phyic Laboratory, Laurel,

More information

LinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage

LinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage Proceeding of the World Congre on Engineering 2007 Vol I LinkGuide: Toward a Better Collection of Hyperlink in a Webite Homepage A. Ammari and V. Zharkova chool of Informatic, Univerity of Bradford anammari@bradford.ac.uk,

More information

Multi-Target Tracking In Clutter

Multi-Target Tracking In Clutter Multi-Target Tracking In Clutter John N. Sander-Reed, Mary Jo Duncan, W.B. Boucher, W. Michael Dimmler, Shawn O Keefe ABSTRACT A high frame rate (0 Hz), multi-target, video tracker ha been developed and

More information

xy-monotone path existence queries in a rectilinear environment

xy-monotone path existence queries in a rectilinear environment CCCG 2012, Charlottetown, P.E.I., Augut 8 10, 2012 xy-monotone path exitence querie in a rectilinear environment Gregory Bint Anil Mahehwari Michiel Smid Abtract Given a planar environment coniting of

More information

ISSN: (Online) Volume 3, Issue 4, April 2015 International Journal of Advance Research in Computer Science and Management Studies

ISSN: (Online) Volume 3, Issue 4, April 2015 International Journal of Advance Research in Computer Science and Management Studies ISSN: 2321-7782 (Online) Volume 3, Iue 4, April 2015 International Journal Advance Reearch in Computer Science and Management Studie Reearch Article / Survey Paper / Cae Study Available online at: www.ijarcm.com

More information

Growing Networks Through Random Walks Without Restarts

Growing Networks Through Random Walks Without Restarts Growing Network Through Random Walk Without Retart Bernardo Amorim, Daniel Figueiredo, Giulio Iacobelli, Giovanni Neglia To cite thi verion: Bernardo Amorim, Daniel Figueiredo, Giulio Iacobelli, Giovanni

More information

Data Mining with Linguistic Thresholds

Data Mining with Linguistic Thresholds Int. J. Contemp. Math. Science, Vol. 7, 22, no. 35, 7-725 Data Mining with Linguitic Threhold Tzung-Pei Hong Department of Electrical Engineering National Univerity of Kaohiung Kaohiung, Taiwan, R.O.C.

More information

On combining Learning Vector Quantization and the Bayesian classifiers for natural textured images

On combining Learning Vector Quantization and the Bayesian classifiers for natural textured images On combining Learning Vector Quantization and the Bayeian claifier for natural textured image María Guiarro Dept. Ingeniería del Software e Inteligencia Artificial Facultad Informática Univeridad Complutene

More information

Variable Resolution Discretization in the Joint Space

Variable Resolution Discretization in the Joint Space Variable Reolution Dicretization in the Joint Space Chritopher K. Monon, David Wingate, and Kevin D. Seppi {c,wingated,keppi}@c.byu.edu Computer Science, Brigham Young Univerity Todd S. Peteron peterto@uvc.edu

More information

Parallel Approaches for Intervals Analysis of Variable Statistics in Large and Sparse Linear Equations with RHS Ranges

Parallel Approaches for Intervals Analysis of Variable Statistics in Large and Sparse Linear Equations with RHS Ranges American Journal of Applied Science 4 (5): 300-306, 2007 ISSN 1546-9239 2007 Science Publication Correponding Author: Parallel Approache for Interval Analyi of Variable Statitic in Large and Spare Linear

More information

Diverse: Application-Layer Service Differentiation in Peer-to-Peer Communications

Diverse: Application-Layer Service Differentiation in Peer-to-Peer Communications Divere: Application-Layer Service Differentiation in Peer-to-Peer Communication Chuan Wu, Student Member, IEEE, Baochun Li, Senior Member, IEEE Department of Electrical and Computer Engineering Univerity

More information

Integrated Single-arm Assembly and Manipulation Planning using Dynamic Regrasp Graphs

Integrated Single-arm Assembly and Manipulation Planning using Dynamic Regrasp Graphs Proceeding of The 2016 IEEE International Conference on Real-time Computing and Robotic June 6-9, 2016, Angkor Wat, Cambodia Integrated Single-arm Aembly and Manipulation Planning uing Dynamic Regrap Graph

More information

The norm Package. November 15, Title Analysis of multivariate normal datasets with missing values

The norm Package. November 15, Title Analysis of multivariate normal datasets with missing values The norm Package November 15, 2003 Verion 1.0-9 Date 2002/05/06 Title Analyi of multivariate normal dataet with miing value Author Ported to R by Alvaro A. Novo . Original by Joeph

More information

Stress-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling

Stress-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling Stre-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling Menter F.R. ANSYS Germany GmbH Introduction It i oberved in many CFD imulation that RANS model how inherent technology limitation

More information

A Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds *

A Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds * Advance in Linear Algebra & Matrix Theory, 2012, 2, 20-24 http://dx.doi.org/10.4236/alamt.2012.22003 Publihed Online June 2012 (http://www.scirp.org/journal/alamt) A Linear Interpolation-Baed Algorithm

More information

Integration of Digital Test Tools to the Internet-Based Environment MOSCITO

Integration of Digital Test Tools to the Internet-Based Environment MOSCITO Integration of Digital Tet Tool to the Internet-Baed Environment MOSCITO Abtract Current paper decribe a new environment MOSCITO for providing acce to tool over the internet. The environment i built according

More information

[N309] Feedforward Active Noise Control Systems with Online Secondary Path Modeling. Muhammad Tahir Akhtar, Masahide Abe, and Masayuki Kawamata

[N309] Feedforward Active Noise Control Systems with Online Secondary Path Modeling. Muhammad Tahir Akhtar, Masahide Abe, and Masayuki Kawamata he 32nd International Congre and Expoition on Noie Control Engineering Jeju International Convention Center, Seogwipo, Korea, Augut 25-28, 2003 [N309] Feedforward Active Noie Control Sytem with Online

More information

Karen L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract

Karen L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract Mot Graph are Edge-Cordial Karen L. Collin Dept. of Mathematic Weleyan Univerity Middletown, CT 6457 and Mark Hovey Dept. of Mathematic MIT Cambridge, MA 239 Abtract We extend the definition of edge-cordial

More information

New Structural Decomposition Techniques for Constraint Satisfaction Problems

New Structural Decomposition Techniques for Constraint Satisfaction Problems New Structural Decompoition Technique for Contraint Satifaction Problem Yaling Zheng and Berthe Y. Choueiry Contraint Sytem Laboratory Univerity of Nebraka-Lincoln Email: yzheng choueiry@ce.unl.edu Abtract.

More information

Routing Definition 4.1

Routing Definition 4.1 4 Routing So far, we have only looked at network without dealing with the iue of how to end information in them from one node to another The problem of ending information in a network i known a routing

More information

w w w. a j e r. o r g Page 98 Montreal, Canada) Corresponding Author: Essa Abrahim Abdulgader Saleem

w w w. a j e r. o r g Page 98 Montreal, Canada) Corresponding Author: Essa Abrahim Abdulgader Saleem American Journal of Engineering Reearch (AJER) e-issn: 2320-0847 p-issn : 2320-0936 Volume-6, Iue-10, pp-98-107 www.ajer.org Reearch Paper Open Acce Multi-objective optimization of multi-tate reliability

More information

Trainable Context Model for Multiscale Segmentation

Trainable Context Model for Multiscale Segmentation Trainable Context Model for Multicale Segmentation Hui Cheng and Charle A. Bouman School of Electrical and Computer Engineering Purdue Univerity Wet Lafayette, IN 47907-1285 {hui, bouman}@ ecn.purdue.edu

More information

Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compensation

Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compensation Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compenation A. J. Healey Profeor and Director Center for AUV Reearch Naval Potgraduate School Monterey, CA 93953 healey@me.np.navy.mil

More information

else end while End References

else end while End References 621-630. [RM89] [SK76] Roenfeld, A. and Melter, R. A., Digital geometry, The Mathematical Intelligencer, vol. 11, No. 3, 1989, pp. 69-72. Sklanky, J. and Kibler, D. F., A theory of nonuniformly digitized

More information

Chapter S:II (continued)

Chapter S:II (continued) Chapter S:II (continued) II. Baic Search Algorithm Sytematic Search Graph Theory Baic State Space Search Depth-Firt Search Backtracking Breadth-Firt Search Uniform-Cot Search AND-OR Graph Baic Depth-Firt

More information

CERIAS Tech Report EFFICIENT PARALLEL ALGORITHMS FOR PLANAR st-graphs. by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daescu

CERIAS Tech Report EFFICIENT PARALLEL ALGORITHMS FOR PLANAR st-graphs. by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daescu CERIAS Tech Report 2003-15 EFFICIENT PARALLEL ALGORITHMS FOR PLANAR t-graphs by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daecu Center for Education and Reearch in Information Aurance and Security,

More information

A New Approach to Pipeline FFT Processor

A New Approach to Pipeline FFT Processor A ew Approach to Pipeline FFT Proceor Shouheng He and Mat Torkelon Department of Applied Electronic, Lund Univerity S- Lund, SWEDE email: he@tde.lth.e; torkel@tde.lth.e Abtract A new VLSI architecture

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each circuit will be decribed in VHL and implemented

More information

Development of an atmospheric climate model with self-adapting grid and physics

Development of an atmospheric climate model with self-adapting grid and physics Intitute of Phyic Publihing Journal of Phyic: Conference Serie 16 (2005) 353 357 doi:10.1088/1742-6596/16/1/049 SciDAC 2005 Development of an atmopheric climate model with elf-adapting grid and phyic Joyce

More information

Brief Announcement: Distributed 3/2-Approximation of the Diameter

Brief Announcement: Distributed 3/2-Approximation of the Diameter Brief Announcement: Ditributed /2-Approximation of the Diameter Preliminary verion of a brief announcement to appear at DISC 14 Stephan Holzer MIT holzer@mit.edu David Peleg Weizmann Intitute david.peleg@weizmann.ac.il

More information

An Improved Implementation of Elliptic Curve Digital Signature by Using Sparse Elements

An Improved Implementation of Elliptic Curve Digital Signature by Using Sparse Elements The International Arab Journal of Information Technology, Vol. 1, No., July 004 0 An Improved Implementation of Elliptic Curve Digital Signature by Uing Spare Element Eam Al-Daoud Computer Science Department,

More information