Quality Assurance in Software Development
|
|
- Adrian Quinn
- 8 years ago
- Views:
Transcription
1 Insiue for Sofware Technology Qualiy Assurance in Sofware Developmen Qualiässicherung in der Sofwareenwicklung A.o.Univ.-Prof. Dipl.-Ing. Dr. Bernhard Aichernig Insiu für Sofwareechnologie (IST) TU Graz Summer Term / 19
2 Insiue for Sofware Technology Agenda Muaion Tesing Model-based Muaion Tesing Tes-Case Generaion wih ioco checking 2 / 19
3 Insiue for Sofware Technology Binary search bug in Java Some Bugs Hide for a Long Time! JDK 1.5 library (2006) ou of boundary access of large arrays due o ineger overflow 9 years undeeced 1 public saic 2 in binarysearch ( in [] a, in key ) 3 { 4 in low = 0; 5 in high = a. lengh - 1; 6 7 while ( low <= high ) { 8 in mid = ( low + high ) / 2; 9 in midval = a[ mid ]; if ( midval < key ) 12 low = mid + 1; 13 else if ( midval > key ) 14 high = mid - 1; 15 else 16 reurn mid ; // key found 17 } 18 reurn -( low + 1); // key no found 19 } Beware of bugs in he above code; I have only proved i correc, no ried i. [Knuh77] 3 / 19
4 Insiue for Sofware Technology Binary search bug in Java Some Bugs Hide for a Long Time! JDK 1.5 library (2006) ou of boundary access of large arrays due o ineger overflow 9 years undeeced Algorihm was proven correc! Programming Pearls [Benley86, Benley00] assuming infinie inegers :( 1 public saic 2 in binarysearch ( in [] a, in key ) 3 { 4 in low = 0; 5 in high = a. lengh - 1; 6 7 while ( low <= high ) { 8 in mid = ( low + high ) / 2; 9 in midval = a[ mid ]; if ( midval < key ) 12 low = mid + 1; 13 else if ( midval > key ) 14 high = mid - 1; 15 else 16 reurn mid ; // key found 17 } 18 reurn -( low + 1); // key no found 19 } Beware of bugs in he above code; I have only proved i correc, no ried i. [Knuh77] 3 / 19
5 Insiue for Sofware Technology Binary search bug in Java Some Bugs Hide for a Long Time! JDK 1.5 library (2006) ou of boundary access of large arrays due o ineger overflow 9 years undeeced Algorihm was proven correc! Programming Pearls [Benley86, Benley00] assuming infinie inegers :( 1 public saic 2 in binarysearch ( in [] a, in key ) 3 { 4 in low = 0; 5 in high = a. lengh - 1; 6 7 while ( low <= high ) { 8 in mid = ( low + high ) / 2; 9 in midval = a[ mid ]; if ( midval < key ) 12 low = mid + 1; 13 else if ( midval > key ) 14 high = mid - 1; 15 else 16 reurn mid ; // key found 17 } 18 reurn -( low + 1); // key no found 19 } Beware of bugs in he above code; I have only proved i correc, no ried i. [Knuh77] 3 / 19
6 Insiue for Sofware Technology Binary search bug in Java Some Bugs Hide for a Long Time! JDK 1.5 library (2006) ou of boundary access of large arrays due o ineger overflow 9 years undeeced Algorihm was proven correc! Programming Pearls [Benley86, Benley00] assuming infinie inegers :( 1 public saic 2 in binarysearch ( in [] a, in key ) 3 { 4 in low = 0; 5 in high = a. lengh - 1; 6 7 while ( low <= high ) { 8 in mid = ( low + high ) >>> 1; 9 in midval = a[ mid ]; if ( midval < key ) 12 low = mid + 1; 13 else if ( midval > key ) 14 high = mid - 1; 15 else 16 reurn mid ; // key found 17 } 18 reurn -( low + 1); // key no found 19 } Beware of bugs in he above code; I have only proved i correc, no ried i. [Knuh77] 3 / 19
7 Insiue for Sofware Technology Observaions Verificaion failed (wrong assumpion) Esablished esing sraegies failed: saemen coverage branch coverage fails muliple condiion coverage MC/DC: sandard in avionics [DO-178B/ED109] Long array needed: in[] a = new in[ineger.max_value/2+2] Lesson Concenrae on possible fauls, no on srucure. Generae es cases covering hese fauls Muaion Tesing [Lipon71, Hamle77, DeMillo e al.78] 4 / 19
8 Insiue for Sofware Technology Observaions Verificaion failed (wrong assumpion) Esablished esing sraegies failed: saemen coverage branch coverage fails muliple condiion coverage MC/DC: sandard in avionics [DO-178B/ED109] Long array needed: in[] a = new in[ineger.max_value/2+2] Lesson Concenrae on possible fauls, no on srucure. Generae es cases covering hese fauls Muaion Tesing [Lipon71, Hamle77, DeMillo e al.78] 4 / 19
9 Insiue for Sofware Technology Wha Is Muaion Tesing? Originally: Technique o verify he qualiy of es cases There is a pressing need o address he, currenly unresolved, problem of es case generaion. [Jia&Harman11] 5 / 19
10 Insiue for Sofware Technology Wha Is Muaion Tesing? Originally: Technique o verify he qualiy of es cases There is a pressing need o address he, currenly unresolved, problem of es case generaion. [Jia&Harman11] 5 / 19
11 Insiue for Sofware Technology How Does I Work? Sep 1: Creae muans Muaion Process Source Code Muan Muaion Operaor 6 / 19
12 Insiue for Sofware Technology Example: Scala Program Kind of riangles: equilaeral isosceles scalene Creae muans muaion operaor == >= creaes 5 muans 1 objec riangle { 2 3 def riype (a : In, b : In, c: In ) = 4 (a,b,c) mach { 5 case _ if (a <= c-b) => " no riangle " 6 case _ if (a <= b-c) => " no riangle " 7 case _ if (b <= a-c) => " no riangle " 8 case _ if (a == b && b == c) => 9 " equilaeral " 10 case _ if (a == b) => " isosceles " 11 case _ if (b == c) => " isosceles " 12 case _ if (a == c) => " isosceles " 13 case _ => " scalene " 14 } 15 } Source code in Scala 7 / 19
13 Insiue for Sofware Technology Example: Scala Program Kind of riangles: equilaeral isosceles scalene Creae muans muaion operaor == >= creaes 5 muans 1 objec riangle { 2 3 def riype (a : In, b : In, c: In ) = 4 (a,b,c) mach { 5 case _ if (a <= c-b) => " no riangle " 6 case _ if (a <= b-c) => " no riangle " 7 case _ if (b <= a-c) => " no riangle " 8 case _ if (a >= b && b == c) => 9 " equilaeral " 10 case _ if (a == b) => " isosceles " 11 case _ if (b == c) => " isosceles " 12 case _ if (a == c) => " isosceles " 13 case _ => " scalene " 14 } 15 } Muan 7 / 19
14 Insiue for Sofware Technology Example: UML Model Car Alarm Sysem even-based conrollable evens observable evens Muae he model muaion operaor ClosedAndUnlocked 20 Open Unlock OpenAndUnlocked Close Lock AlarmSysem_SaeMachine Lock ClosedAndLocked OpenAndLocked Close Unlock Open Unlock Alarm Acivae Alarms /enry Deacivae Alarms /exi FlashAndSound 30 / Deacivae Sound Flash 17 muans Unlock Armed Show Armed /enry Show Unarmed /exi Close SilenAndOpen Open 300 Sae machine model in UML 8 / 19
15 Insiue for Sofware Technology Example: UML Model Car Alarm Sysem even-based conrollable evens observable evens Muae he model muaion operaor 17 muans Muaed UML model 8 / 19
16 Insiue for Sofware Technology How Does I Work? Sep 2: Try o kill muans A es case kills a muan if is run shows differen behaviour. 9 / 19
17 Insiue for Sofware Technology Example: Scala Program Muan survives pah coverage (MC/DC): riype(0,1,1) riype(1,0,1) riype(1,1,0) riype(1,1,1) riype(2,3,3) riype(3,2,3) riype(3,3,2) riype(2,3,4) Muan killed by riype(3,2,2) 1 objec riangle { 2 3 def riype (a : In, b : In, c: In ) = 4 (a,b,c) mach { 5 case _ if (a <= c-b) => " no riangle " 6 case _ if (a <= b-c) => " no riangle " 7 case _ if (b <= a-c) => " no riangle " 8 case _ if (a >= b && b == c) => 9 " equilaeral " 10 case _ if (a == b) => " isosceles " 11 case _ if (b == c) => " isosceles " 12 case _ if (a == c) => " isosceles " 13 case _ => " scalene " 14 } 15 } Muan 10 / 19
18 Insiue for Sofware Technology Example: Scala Program Muan survives pah coverage (MC/DC): riype(0,1,1) riype(1,0,1) riype(1,1,0) riype(1,1,1) riype(2,3,3) riype(3,2,3) riype(3,3,2) riype(2,3,4) Muan killed by riype(3,2,2) 1 objec riangle { 2 3 def riype (a : In, b : In, c: In ) = 4 (a,b,c) mach { 5 case _ if (a <= c-b) => " no riangle " 6 case _ if (a <= b-c) => " no riangle " 7 case _ if (b <= a-c) => " no riangle " 8 case _ if (a >= b && b == c) => 9 " equilaeral " 10 case _ if (a == b) => " isosceles " 11 case _ if (b == c) => " isosceles " 12 case _ if (a == c) => " isosceles " 13 case _ => " scalene " 14 } 15 } Muan 10 / 19
19 Insiue for Sofware Technology Example: UML Model Muan survives Killed by Lock(); Close(); Afer(20); funcion coverage sae coverage ransiion coverage Muaed UML model 11 / 19
20 Insiue for Sofware Technology Example: UML Model Muan survives Killed by Lock(); Close(); Afer(20); funcion coverage sae coverage ransiion coverage Muaed UML model 11 / 19
21 Insiue for Sofware Technology From Analysis o Synhesis Sae of ar: Analysis of es cases How many muans killed by es cases? muaion score = #killed muans #muans Problem: equivalen muans Soluion: review of surviving muans Research: Synhesis of es cases Find es cases ha maximise muaion score. Idea: Check equivalence beween original and muan Use couner-example as es case. Problem: equivalence checking is hard (undecidable in general) Soluion: generae from models (absracion) model-based muaion esing 12 / 19
22 Insiue for Sofware Technology From Analysis o Synhesis Sae of ar: Analysis of es cases How many muans killed by es cases? muaion score = #killed muans #muans Problem: equivalen muans Soluion: review of surviving muans Research: Synhesis of es cases Find es cases ha maximise muaion score. Idea: Check equivalence beween original and muan Use couner-example as es case. Problem: equivalence checking is hard (undecidable in general) Soluion: generae from models (absracion) model-based muaion esing 12 / 19
23 Insiue for Sofware Technology From Analysis o Synhesis Sae of ar: Analysis of es cases How many muans killed by es cases? muaion score = #killed muans #muans Problem: equivalen muans Soluion: review of surviving muans Research: Synhesis of es cases Find es cases ha maximise muaion score. Idea: Check equivalence beween original and muan Use couner-example as es case. Problem: equivalence checking is hard (undecidable in general) Soluion: generae from models (absracion) model-based muaion esing 12 / 19
24 Insiue for Sofware Technology From Analysis o Synhesis Sae of ar: Analysis of es cases How many muans killed by es cases? muaion score = #killed muans #muans Problem: equivalen muans Soluion: review of surviving muans Research: Synhesis of es cases Find es cases ha maximise muaion score. Idea: Check equivalence beween original and muan Use couner-example as es case. Problem: equivalence checking is hard (undecidable in general) Soluion: generae from models (absracion) model-based muaion esing 12 / 19
25 Insiue for Sofware Technology Model-Based Tesing Tes Case Generaor SUT Tes Driver 13 / 19
26 Insiue for Sofware Technology Model-Based Tesing Model Tes Case Generaor SUT Tes Driver 13 / 19
27 Insiue for Sofware Technology Model-Based Tesing Model Tes Case Generaor Absrac Tes Case SUT Tes Driver 13 / 19
28 Insiue for Sofware Technology Model-Based Tesing Model Tes Case Generaor Absrac Tes Case SUT Tes Driver pass / fail 13 / 19
29 Insiue for Sofware Technology Model-Based Tesing Model if conforms Tes Case Generaor Absrac Tes Case SUT Tes Driver hen pass 13 / 19
30 Insiue for Sofware Technology Model-Based Tesing Model if conforms Tes Case Generaor Absrac Tes Case SUT Tes Driver hen pass/fail 13 / 19
31 Insiue for Sofware Technology Model-Based Muaion Tesing Model Muaion Tool Tes Case Generaor Absrac Tes Case SUT Tes Driver 13 / 19
32 Insiue for Sofware Technology Model-Based Muaion Tesing Model Muaion Tool Model Muan Tes Case Generaor Absrac Tes Case SUT Tes Driver 13 / 19
33 Insiue for Sofware Technology Model-Based Muaion Tesing Model Muaion Tool Model Muan if conforms Tes Case Generaor Absrac Tes Case SUT Tes Driver hen pass/fail 13 / 19
34 Insiue for Sofware Technology Model-Based Muaion Tesing Model Muaion Tool Model Muan if conforms Tes Case Generaor Absrac Tes Case if conforms SUT Tes Driver hen fail 13 / 19
35 Insiue for Sofware Technology Model-Based Muaion Tesing hen conforms Model Muaion Tool Model Muan if conforms Tes Case Generaor Absrac Tes Case if conforms SUT Tes Driver hen fail 13 / 19
36 Insiue for Sofware Technology Reacive Sysems Reac o he environmen Do no erminae Servers and Conrollers Evens: conrollable and observable communicaion evens Tes cases: sequences of evens Unlock AlarmSysem_SaeMachine Unlock OpenAndUnlocked Open Close Lock Unlock ClosedAndUnlocked OpenAndLocked Unlock Lock Close Open ClosedAndLocked 20 Close Armed SilenAndOpen Show Armed /enry Show Unarmed /exi Open Alarm Acivae Alarms /enry Deacivae Alarms /exi FlashAndSound 30 / Deacivae Sound Flash obs pass obs AlarmArmed_SeOff 11 cr Unlock 16 obs AlarmArmed_SeOn 15 cr Close 14 obs OpicalAlarm_SeOff 13 obs AcousicAlarm_SeOff 12 obs afer(270) 10 obs AcousicAlarm_SeOff 9 obs afer(30) 8 obs AcousicAlarm_SeOn 7 obs OpicalAlarm_SeOn 6 obs AlarmArmed_SeOff 5 cr Open 4 obs AlarmArmed_SeOn 3 obs afer(20) 2 cr Lock 1 Adapive es cases: rees branching a non-deerminisic observaions cr Close 0 14 / 19
37 Insiue for Sofware Technology Semanics Operaional semanics e.g. Labelled Transiion Sysems Inpu-oupu conformance (ioco) [Tremans96] 10 cr Unlock 11 obs AcousicAlarm_SeOff cr Unlock 2 obs afer (c_waiime: 30 ) 8 obs afer (c_waiime: 270 ) obs AcousicAlarm_SeOn 7 SUT ioco Model = df 15 obs OpicalAlarm_SeOn 4 σ races(model) : ou(sut afer σ) ou(model afer σ) obs AcousicAlarm_SeOff obs AlarmArmed_SeOff 14 cr Open 13 obs AcousicAlarm_SeOff 1 ou... oupus + quiescence afer... reachable saes afer race obs AlarmArmed_SeOn cr Unlock 12 5 obs afer (c_waiime: 20 ) obs AlarmArmed_SeOff 16 cr Lock cr Close cr Open cr Unlock obs OpicalAlarm_SeOff cr Close cr Close cr Open obs OpicalAlarm_SeOff 0 cr Lock cr Unlock cr Unlock 3 15 / 19
38 Insiue for Sofware Technology Semanics Operaional semanics e.g. Labelled Transiion Sysems Inpu-oupu conformance (ioco) [Tremans96] 10 cr Unlock 11 obs AcousicAlarm_SeOff cr Unlock 2 obs afer (c_waiime: 30 ) 8 obs afer (c_waiime: 270 ) obs AcousicAlarm_SeOn 7 SUT ioco Model = df 15 obs OpicalAlarm_SeOn 4 σ races(model) : ou(sut afer σ) ou(model afer σ) obs AcousicAlarm_SeOff obs AlarmArmed_SeOff 14 cr Open 13 obs AcousicAlarm_SeOff 1 ou... oupus + quiescence afer... reachable saes afer race obs AlarmArmed_SeOn cr Unlock 12 5 obs afer (c_waiime: 20 ) obs AlarmArmed_SeOff 16 cr Lock cr Close cr Open cr Unlock obs OpicalAlarm_SeOff cr Close cr Close cr Open obs OpicalAlarm_SeOff 0 cr Lock cr Unlock cr Unlock 3 15 / 19
39 Insiue for Sofware Technology Semanics Operaional semanics e.g. Labelled Transiion Sysems Inpu-oupu conformance (ioco) [Tremans96] Model:!soundOn!flashOn!soundOn!flashOn SUT ioco Model = df σ races(model) : ou(sut afer σ) ou(model afer σ) SUT:!flashOn!soundOn ou... oupus + quiescence afer... reachable saes afer race?unlock SUT ioco Model 15 / 19
40 Insiue for Sofware Technology Explici Conformance Checking Model and Muan LTS Deerminisaion Model:!soundOn!flashOn!soundOn!flashOn Muan:!soundOff!flashOn?unlock Build synchronous produc modulo ioco If muan has addiional!oupu: fail sink sae?inpu: pass sink sae Model ioco Muan:!soundOn!flashOn?unlock!soundOn pass!soundoff pass pass fail Exrac es case covering fail sae 16 / 19
41 Insiue for Sofware Technology Explici Conformance Checking Model and Muan LTS Deerminisaion Model:!soundOn!flashOn!soundOn!flashOn Muan:!soundOff!flashOn?unlock Build synchronous produc modulo ioco If muan has addiional!oupu: fail sink sae?inpu: pass sink sae Model ioco Muan:!soundOn!flashOn?unlock!soundOn pass!soundoff pass pass fail Exrac es case covering fail sae 16 / 19
42 Insiue for Sofware Technology Explici Conformance Checking Model and Muan LTS Deerminisaion Model:!soundOn!flashOn!soundOn!flashOn Muan:!soundOff!flashOn?unlock Build synchronous produc modulo ioco If muan has addiional!oupu: fail sink sae?inpu: pass sink sae Model ioco Muan:!soundOn!flashOn?unlock!soundOn pass!soundoff pass pass fail Exrac es case covering fail sae 16 / 19
43 Insiue for Sofware Technology Applicaions of Explici Conformance Checking HTTP Server (LOTOS) SIP Server (LOTOS) Conrollers (UML) Hybrid Sysems (Acion Sysem) Scalabiliy: absracions for daa-inensive models Bernhard K. Aichernig and Corrales Delgado. From Fauls via Tes Purposes o Tes Cases: On he Faul-Based Tesing of Concurren Sysems, FASE Marin Weiglhofer, Bernhard K. Aichernig, and Franz Woawa. Faul-based conformance esing in pracice. Inernaional Journal of Sofware and Informaics, 3(2-3): , Chinese Academy of Science. Bernhard K. Aichernig, Harald Brandl, Elisabeh Jöbsl, and Willibald Krenn. Efficien muaion killers in acion, ICST Harald Brandl, Marin Weiglhofer, and Bernhard K. Aichernig. Auomaed conformance verificaion of hybrid sysems, QSIC / 19
44 Insiue for Sofware Technology Applicaions of Explici Conformance Checking HTTP Server (LOTOS) SIP Server (LOTOS) Conrollers (UML) Hybrid Sysems (Acion Sysem) Scalabiliy: absracions for daa-inensive models Bernhard K. Aichernig and Corrales Delgado. From Fauls via Tes Purposes o Tes Cases: On he Faul-Based Tesing of Concurren Sysems, FASE Marin Weiglhofer, Bernhard K. Aichernig, and Franz Woawa. Faul-based conformance esing in pracice. Inernaional Journal of Sofware and Informaics, 3(2-3): , Chinese Academy of Science. Bernhard K. Aichernig, Harald Brandl, Elisabeh Jöbsl, and Willibald Krenn. Efficien muaion killers in acion, ICST Harald Brandl, Marin Weiglhofer, and Bernhard K. Aichernig. Auomaed conformance verificaion of hybrid sysems, QSIC / 19
45 Insiue for Sofware Technology Applicaions of Explici Conformance Checking HTTP Server (LOTOS) SIP Server (LOTOS) Conrollers (UML) Hybrid Sysems (Acion Sysem) Scalabiliy: absracions for daa-inensive models Bernhard K. Aichernig and Corrales Delgado. From Fauls via Tes Purposes o Tes Cases: On he Faul-Based Tesing of Concurren Sysems, FASE Marin Weiglhofer, Bernhard K. Aichernig, and Franz Woawa. Faul-based conformance esing in pracice. Inernaional Journal of Sofware and Informaics, 3(2-3): , Chinese Academy of Science. Bernhard K. Aichernig, Harald Brandl, Elisabeh Jöbsl, and Willibald Krenn. Efficien muaion killers in acion, ICST Harald Brandl, Marin Weiglhofer, and Bernhard K. Aichernig. Auomaed conformance verificaion of hybrid sysems, QSIC / 19
46 Insiue for Sofware Technology Applicaions of Explici Conformance Checking HTTP Server (LOTOS) SIP Server (LOTOS) Conrollers (UML) Hybrid Sysems (Acion Sysem) Scalabiliy: absracions for daa-inensive models Bernhard K. Aichernig and Corrales Delgado. From Fauls via Tes Purposes o Tes Cases: On he Faul-Based Tesing of Concurren Sysems, FASE Marin Weiglhofer, Bernhard K. Aichernig, and Franz Woawa. Faul-based conformance esing in pracice. Inernaional Journal of Sofware and Informaics, 3(2-3): , Chinese Academy of Science. Bernhard K. Aichernig, Harald Brandl, Elisabeh Jöbsl, and Willibald Krenn. Efficien muaion killers in acion, ICST Harald Brandl, Marin Weiglhofer, and Bernhard K. Aichernig. Auomaed conformance verificaion of hybrid sysems, QSIC / 19
47 Insiue for Sofware Technology Applicaions of Explici Conformance Checking HTTP Server (LOTOS) SIP Server (LOTOS) Conrollers (UML) Hybrid Sysems (Acion Sysem) Scalabiliy: absracions for daa-inensive models Bernhard K. Aichernig and Corrales Delgado. From Fauls via Tes Purposes o Tes Cases: On he Faul-Based Tesing of Concurren Sysems, FASE Marin Weiglhofer, Bernhard K. Aichernig, and Franz Woawa. Faul-based conformance esing in pracice. Inernaional Journal of Sofware and Informaics, 3(2-3): , Chinese Academy of Science. Bernhard K. Aichernig, Harald Brandl, Elisabeh Jöbsl, and Willibald Krenn. Efficien muaion killers in acion, ICST Harald Brandl, Marin Weiglhofer, and Bernhard K. Aichernig. Auomaed conformance verificaion of hybrid sysems, QSIC / 19
48 Insiue for Sofware Technology Agile Developmen 6$1*7+")& 345%8&!"#$%& 345%$4$(+&,$-+&.*-$-& '$($)*+$&&,$-+&.*-$-& /$)012&,$-+&.*-$-& Model-driven developmen Model-based es case generaion Formal verificaion Tes-driven developmen 18 / 19
49 Insiue for Sofware Technology Summary Model-based Tesing + Muaion Tesing Tes case generaion via ioco check Indusrial applicaions in EU projecs MOGENTES, MBAT, CRYSTAL Tesing canno show he absence of bugs [Dijksra72]. Tesing can show he absence of specific bugs [Aichernig12]. 19 / 19
50 Insiue for Sofware Technology Summary Model-based Tesing + Muaion Tesing Tes case generaion via ioco check Indusrial applicaions in EU projecs MOGENTES, MBAT, CRYSTAL Tesing canno show he absence of bugs [Dijksra72]. Tesing can show he absence of specific bugs [Aichernig12]. 19 / 19
51 Insiue for Sofware Technology Summary Model-based Tesing + Muaion Tesing Tes case generaion via ioco check Indusrial applicaions in EU projecs MOGENTES, MBAT, CRYSTAL Tesing canno show he absence of bugs [Dijksra72]. Tesing can show he absence of specific bugs [Aichernig12]. 19 / 19
How To Understand The Rules Of The Game Of Chess
Insiue for Sofware Technology Qualiy Assurance in Sofware Developmen Qualiässicherung in der Sofwareenwicklung A.o.Univ.-Prof. Dipl.-Ing. Dr. Bernhard Aichernig Insiue for Sofware Technology Graz Universiy
More informationThe Journey. Roadmaps. 2 Architecture. 3 Innovation. Smart City
The Journe 1 Roadmaps 2 Archiecure 3 Innovaion Uili Mobili Living Enr Poins o a Grid Journe Sraeg COMM projec Evoluion no Revoluion IT Concerns Daa Mgm Inegraion Archiecure Analics Regulaor Analics Disribued
More informationSkySails Tethered Kites for Ship Propulsion and Power Generation: Modeling and System Identification. Michael Erhard, SkySails GmbH, Hamburg, Germany
SkySails Tehered Kies for Ship Propulsion and Power Generaion: Modeling and Sysem Idenificaion Michael Erhard, SkySails GmbH, Hamburg, Germany Conens Inroducion SkySails Marine and Power Simple Model Sensors
More informationA Component-Based Navigation-Guidance-Control Architecture for Mobile Robots
A Componen-Based Navigaion-Guidance-Conrol Archiecure for Mobile Robos Nicolas Gobillo Charles Lesire David Doose Onera - The French Aerospace Lab, Toulouse, France firsname.lasname a onera.fr Absrac In
More informationMultiprocessor Systems-on-Chips
Par of: Muliprocessor Sysems-on-Chips Edied by: Ahmed Amine Jerraya and Wayne Wolf Morgan Kaufmann Publishers, 2005 2 Modeling Shared Resources Conex swiching implies overhead. On a processing elemen,
More informationFair Stateless Model Checking
Fair Saeless Model Checking Madanlal Musuvahi Shaz Qadeer Microsof Research {madanm,qadeer@microsof.com Absrac Saeless model checking is a useful sae-space exploraion echnique for sysemaically esing complex
More informationPerformance Center Overview. Performance Center Overview 1
Performance Cener Overview Performance Cener Overview 1 ODJFS Performance Cener ce Cener New Performance Cener Model Performance Cener Projec Meeings Performance Cener Execuive Meeings Performance Cener
More informationTask is a schedulable entity, i.e., a thread
Real-Time Scheduling Sysem Model Task is a schedulable eniy, i.e., a hread Time consrains of periodic ask T: - s: saring poin - e: processing ime of T - d: deadline of T - p: period of T Periodic ask T
More informationTest Input Generation with Java PathFinder
Tes Inpu Generaion wih Java PahFinder Willem Visser RIACS/USRA NASA Ames Research Cener Moffe Field, CA 94035, USA wvisser@email.arc.nasa.gov Corina S. Păsăreanu Kesrel Technology NASA Ames Research Cener
More informationLongevity 11 Lyon 7-9 September 2015
Longeviy 11 Lyon 7-9 Sepember 2015 RISK SHARING IN LIFE INSURANCE AND PENSIONS wihin and across generaions Ragnar Norberg ISFA Universié Lyon 1/London School of Economics Email: ragnar.norberg@univ-lyon1.fr
More informationThe Complete VoIP Telecom Service Provider
The Complee VoIP Telecom Service Provider 1 Overview Company Overview SIP Trunking Produc Overview Technical Specificaions Pricing Why SIP Trunking? Benefis over radiional elecom Ideal cusomer 2 Company
More informationStochastic Volatility Option Pricing ASAP
Cambridge-Kaiserslauern, Financial Mahemaics Workshop 2009 Fraunhofer ITWM, Kaiserslauern 05.05.2009 Sochasic Volailiy Opion Pricing ASAP Dr. Ulrich Nögel, Parner u.noegel@devne.de Disincive Financial
More informationData Migration Model and Algorithm between Heterogeneous Databases based on Web Service
JOURNAL OF NETWORKS, VOL. 9, NO. 11, NOVEMBER 2014 3127 Daa Migraion Model and Algorihm beween Heerogeneous Daabases based on Web Service Guowei Wang and Zongpu Jia School of Compuer Science and Technology,
More informationPremium Income of Indian Life Insurance Industry
Premium Income of Indian Life Insurance Indusry A Toal Facor Produciviy Approach Ram Praap Sinha* Subsequen o he passage of he Insurance Regulaory and Developmen Auhoriy (IRDA) Ac, 1999, he life insurance
More informationESIGN Rendering Service
Markeing maerials on demand wihou phoo shoos or se-up Wih he ESIGN Rendering Service, we produce new, prinready markeing maerials for you in a cos-efficien and imely manner for he design of brochures,
More informationFeasibility of Quantum Genetic Algorithm in Optimizing Construction Scheduling
Feasibiliy of Quanum Geneic Algorihm in Opimizing Consrucion Scheduling Maser Thesis Baihui Song JUNE 2013 Commiee members: Prof.dr.ir. M.J.C.M. Herogh Dr. M. Blaauboer Dr. ir. H.K.M. van de Ruienbeek
More informationApplying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding
Applying Algorihm Animaion Techniques for Program Tracing, Debugging, and Undersanding Sougaa Mukherjea,.John T. Sasko Graphics, Visualizaion and Usabiliy Cener, College of Compuing Georgia nsiue of Technology
More informationEcodesign Requirements for Electric Motors Towards a System-Approach. Demonstrating the benefits of motor starters for fixed speed applications
Ecodesign Requiremens for Elecric Moors Towards a Sysem-Approach Demonsraing he benefis of moor sarers for fixed speed applicaions A message from he CAPIEL Presidens Philippe Sauer CAPIEL Presiden Karlheinz
More informationThe Transport Equation
The Transpor Equaion Consider a fluid, flowing wih velociy, V, in a hin sraigh ube whose cross secion will be denoed by A. Suppose he fluid conains a conaminan whose concenraion a posiion a ime will be
More informationAutomatic measurement and detection of GSM interferences
Auomaic measuremen and deecion of GSM inerferences Poor speech qualiy and dropped calls in GSM neworks may be caused by inerferences as a resul of high raffic load. The radio nework analyzers from Rohde
More informationDiscounting in LTL. 1 Introduction. Shaull Almagor 1, Udi Boker 2, and Orna Kupferman 1
Discouning in LTL Shaull Almagor 1, Udi Boker 2, and Orna Kupferman 1 1 The Hebrew Universiy, Jerusalem, Israel. 2 The Inerdisciplinary Cener, Herzliya, Israel. Absrac. In recen years, here is growing
More informationTime Series Analysis Using SAS R Part I The Augmented Dickey-Fuller (ADF) Test
ABSTRACT Time Series Analysis Using SAS R Par I The Augmened Dickey-Fuller (ADF) Tes By Ismail E. Mohamed The purpose of his series of aricles is o discuss SAS programming echniques specifically designed
More informationOPERATION MANUAL. Indoor unit for air to water heat pump system and options EKHBRD011ABV1 EKHBRD014ABV1 EKHBRD016ABV1
OPERAION MANUAL Indoor uni for air o waer hea pump sysem and opions EKHBRD011ABV1 EKHBRD014ABV1 EKHBRD016ABV1 EKHBRD011ABY1 EKHBRD014ABY1 EKHBRD016ABY1 EKHBRD011ACV1 EKHBRD014ACV1 EKHBRD016ACV1 EKHBRD011ACY1
More informationCourse Outline. Course Coordinator: Dr. Tanu Sharma Assistant Professor Dept. of humanities and Social Sciences Email:tanu.sharma@juit.ac.
Course Name : HUMAN RESOURCE MANAGEMENT Course Code: 10B1WPD75 Course Credi: (-0-0) Semeser: VII Course Type: Elecive (All B. Tech. sudens) Deparmen: Humaniies and Social Sciences Course Coordinaor: Dr.
More informationBaumer FWL120 NeuroCheck Edition Art. No: OD106434
High Sensiive Digial Monochrome (b/w) Line Scan Camera Sysem: IEEE1394a Baumer FWL120 NeuroCheck Ediion Ar. No: OD106434 IEEE1394a (FireWire TM ) Progressive Scan CCD Camera 2048 Pixels Ousanding Image
More informationSingle-machine Scheduling with Periodic Maintenance and both Preemptive and. Non-preemptive jobs in Remanufacturing System 1
Absrac number: 05-0407 Single-machine Scheduling wih Periodic Mainenance and boh Preempive and Non-preempive jobs in Remanufacuring Sysem Liu Biyu hen Weida (School of Economics and Managemen Souheas Universiy
More informationThe Application of Multi Shifts and Break Windows in Employees Scheduling
The Applicaion of Muli Shifs and Brea Windows in Employees Scheduling Evy Herowai Indusrial Engineering Deparmen, Universiy of Surabaya, Indonesia Absrac. One mehod for increasing company s performance
More informationPolicyCore. Putting Innovation and Customer Service at the Core of Your Policy Administration and Underwriting
PolicyCore Puing Innovaion and Cusomer Service a he Core of Your Policy Adminisraion and Underwriing As new echnologies emerge and cusomer expecaions escalae, P&C insurers are seeing opporuniies o grow
More informationWATER MIST FIRE PROTECTION RELIABILITY ANALYSIS
WATER MIST FIRE PROTECTION RELIABILITY ANALYSIS Shuzhen Xu Research Risk and Reliabiliy Area FM Global Norwood, Massachuses 262, USA David Fuller Engineering Sandards FM Global Norwood, Massachuses 262,
More informationChapter 13. Network Flow III Applications. 13.1 Edge disjoint paths. 13.1.1 Edge-disjoint paths in a directed graphs
Chaper 13 Nework Flow III Applicaion CS 573: Algorihm, Fall 014 Ocober 9, 014 13.1 Edge dijoin pah 13.1.1 Edge-dijoin pah in a direced graph 13.1.1.1 Edge dijoin pah queiong: graph (dir/undir)., : verice.
More information5 dagen. werken 20 jaar. per week. Peter Marijnissen. favoriete bezigheden. werkervaring. ondernemend. Eindhoven. betrokken. uur per week beschikbaar
Peer Marijnissen man 40 uur per week beschikbaar 5 dagen per week werken 20 jaar werkervaring 0 65 ik ben ondernemend mijn bese eigenschap is berokken di maak mij uniek A Duch engineer raised in Los Angeles,
More informationFORECASTING NETWORK TRAFFIC: A COMPARISON OF NEURAL NETWORKS AND LINEAR MODELS
Session 2. Saisical Mehods and Their Applicaions Proceedings of he 9h Inernaional Conference Reliabiliy and Saisics in Transporaion and Communicaion (RelSa 09), 21 24 Ocober 2009, Riga, Lavia, p. 170-177.
More informationChapter 8: Regression with Lagged Explanatory Variables
Chaper 8: Regression wih Lagged Explanaory Variables Time series daa: Y for =1,..,T End goal: Regression model relaing a dependen variable o explanaory variables. Wih ime series new issues arise: 1. One
More informationThe Belief Roadmap: Efficient Planning in Belief Space by Factoring the Covariance
1 The Belief Roadmap: Efficien Planning in Belief Space by Facoring he Covariance Samuel Prenice and Nicholas Roy Absrac When a mobile agen does no known is posiion perfecly, incorporaing he prediced uncerainy
More informationA Bayesian Approach for Personalized Booth Recommendation
2011 Inernaional Conference on Social Science and Humaniy IPED vol. (2011) (2011) IACSI Press, Singapore A Bayesian Approach for Personalized Booh ecommendaion Ki Mok Ha 2bcreaor@khu.ac.kr Il Young Choi
More information1 A B C D E F G H I J K L M N O P Q R S { U V W X Y Z 1 A B C D E F G H I J K L M N O P Q R S { U V W X Y Z
o ffix uden abel ere uden ame chool ame isric ame/ ender emale ale onh ay ear ae of irh an eb ar pr ay un ul ug ep c ov ec as ame irs ame lace he uden abel ere ae uden denifier chool se nly rined in he
More informationTOOL OUTSOURCING RISK RESEARCH BASED ON BP NEURAL NETWORK
Inernaional Journal of Innovaive Managemen, Informaion & Producion ISME Inernaionalc2011 ISSN 2185-5439 Volume 2, Number 1, June 2011 PP. 57-67 TOOL OUTSOURCING RISK RESEARCH BASED ON BP NEURAL NETWORK
More informationImproving Technical Trading Systems By Using A New MATLAB based Genetic Algorithm Procedure
4h WSEAS In. Conf. on NON-LINEAR ANALYSIS, NON-LINEAR SYSTEMS and CHAOS, Sofia, Bulgaria, Ocober 27-29, 2005 (pp29-34) Improving Technical Trading Sysems By Using A New MATLAB based Geneic Algorihm Procedure
More informationCapacity Planning and Performance Benchmark Reference Guide v. 1.8
Environmenal Sysems Research Insiue, Inc., 380 New York S., Redlands, CA 92373-8100 USA TEL 909-793-2853 FAX 909-307-3014 Capaciy Planning and Performance Benchmark Reference Guide v. 1.8 Prepared by:
More informationEcological Scheduling Decision Support System Based on RIA and Cloud Computing on the YaLong River Cascade Project
2012 4h Inernaional Conference on Signal Processing Sysems (ICSPS 2012) IPCSIT vol. 58 (2012) (2012) IACSIT Press, Singapore DOI: 10.7763/IPCSIT.2012.V58.31 Ecological Scheduling Decision Suppor Sysem
More informationJournal Of Business & Economics Research September 2005 Volume 3, Number 9
Opion Pricing And Mone Carlo Simulaions George M. Jabbour, (Email: jabbour@gwu.edu), George Washingon Universiy Yi-Kang Liu, (yikang@gwu.edu), George Washingon Universiy ABSTRACT The advanage of Mone Carlo
More informationAn Approach for Project Scheduling Using PERT/CPM and Petri Nets (PNs) Tools
Inernaional Journal of Modern Engineering Research (IJMER) Vol., Issue. 5, Se - Oc. 2-2-2 ISSN: 229-5 n roach for Projec Scheduling Using PERT/CPM and Peri Nes (PNs) Tools mer. M. oushaala (Dearmen of
More informationDETERMINISTIC INVENTORY MODEL FOR ITEMS WITH TIME VARYING DEMAND, WEIBULL DISTRIBUTION DETERIORATION AND SHORTAGES KUN-SHAN WU
Yugoslav Journal of Operaions Research 2 (22), Number, 6-7 DEERMINISIC INVENORY MODEL FOR IEMS WIH IME VARYING DEMAND, WEIBULL DISRIBUION DEERIORAION AND SHORAGES KUN-SHAN WU Deparmen of Bussines Adminisraion
More informationGenetic Algorithm Based Optimal Testing Effort Allocation Problem for Modular Software
BIJIT - BVICAM s Inernaional Journal of Informaion Technology Bharai Vidyapeeh s Insiue of Compuer Applicaions and Managemen (BVICAM, ew Delhi Geneic Algorihm Based Opimal Tesing Effor Allocaion Problem
More informationTEMPORAL PATTERN IDENTIFICATION OF TIME SERIES DATA USING PATTERN WAVELETS AND GENETIC ALGORITHMS
TEMPORAL PATTERN IDENTIFICATION OF TIME SERIES DATA USING PATTERN WAVELETS AND GENETIC ALGORITHMS RICHARD J. POVINELLI AND XIN FENG Deparmen of Elecrical and Compuer Engineering Marquee Universiy, P.O.
More informationDistributed Echo Cancellation in Multimedia Conferencing System
Disribued Echo Cancellaion in Mulimedia Conferencing Sysem Balan Sinniah 1, Sureswaran Ramadass 2 1 KDU College Sdn.Bhd, A Paramoun Corporaion Company, 32, Jalan Anson, 10400 Penang, Malaysia. sbalan@kdupg.edu.my
More informationComputerized Repairable Inventory Management with. Reliability Growth and System Installations Increase
Because Technology Never Sops 1 Compuerized Repairable Invenory Managemen wih Reliabiliy Growh and Sysem Insallaions Increase Jin Tongdan, Ph.D. Teradyne, Inc., Boson When: May 8, 2006 Where: Texas A&M
More informationThe Complete VoIP Telecom Service Provider. Myth: SIP Trunks are Hard to Configure
The Complee VoIP Telecom Service Provider Myh: SIP Trunks are Hard o Configure 1 Overview Wha are we rying o avoid? Inerne Access Choices InGae (SIParaor vs Firewall) Cusomer Nework PBX Seup Conclusion
More informationRandom Walk in 1-D. 3 possible paths x vs n. -5 For our random walk, we assume the probabilities p,q do not depend on time (n) - stationary
Random Walk in -D Random walks appear in many cones: diffusion is a random walk process undersanding buffering, waiing imes, queuing more generally he heory of sochasic processes gambling choosing he bes
More informationA Note on Using the Svensson procedure to estimate the risk free rate in corporate valuation
A Noe on Using he Svensson procedure o esimae he risk free rae in corporae valuaion By Sven Arnold, Alexander Lahmann and Bernhard Schwezler Ocober 2011 1. The risk free ineres rae in corporae valuaion
More informationANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS
ANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS R. Caballero, E. Cerdá, M. M. Muñoz and L. Rey () Deparmen of Applied Economics (Mahemaics), Universiy of Málaga,
More informationVector Autoregressions (VARs): Operational Perspectives
Vecor Auoregressions (VARs): Operaional Perspecives Primary Source: Sock, James H., and Mark W. Wason, Vecor Auoregressions, Journal of Economic Perspecives, Vol. 15 No. 4 (Fall 2001), 101-115. Macroeconomericians
More informationNetwork Effects, Pricing Strategies, and Optimal Upgrade Time in Software Provision.
Nework Effecs, Pricing Sraegies, and Opimal Upgrade Time in Sofware Provision. Yi-Nung Yang* Deparmen of Economics Uah Sae Universiy Logan, UT 84322-353 April 3, 995 (curren version Feb, 996) JEL codes:
More informationInformation Systems for Business Integration: ERP Systems
Informaion Sysems for Business Inegraion: ERP Sysems (December 3, 2012) BUS3500 - Abdou Illia, Fall 2012 1 LEARNING GOALS Explain he difference beween horizonal and verical business inegraion. Describe
More informationClaimCore. Putting Customers at the Core of Your Claims Processes. Integrated Customer Database. R es y me. Ad j u d ic ati o n
ClaimCore for Benefis Overview Feaures & Benefis The Core Suie Technology Services/Educaion Conac Us ClaimCore Puing Cusomers a he Core of Your Claims Processes Handle growh wih a rules-based, cusomer-focused
More informationPrivate Cloud Computing for Enterprises: Meet the Demands of High Utilization and Rapid Change
Privae Cloud Compuing for Enerprises: Mee he Demands of High Uilizaion and Rapid Change Wha You Will Learn Enerprise daa ceners are faced wih a criical challenge: The number of applicaions and amoun of
More informationResearch and Development for Critical Infrastructure Protection. John Davis Commissioner
Research and Developmen for Criical Infrasrucure Proecion John Davis Commissioner R&D Issue for Criical Infrasrucure Proecion Wha should be done? Wha invesmen is needed? Who should do i? Wha is he proper
More informationCLOCK SKEW CAUSES CLOCK SKEW DUE TO THE DRIVER EROSION OF THE CLOCK PERIOD
DESIGNING WITH HIGH SPEED CLOCK DRIERS CONFERENCE PAPER CP-19 Inegraed Device Technology, Inc. By Sanley Hronik ABSTRACT Today s high speed sysems are encounering problems wih clocking ha were no consideraions
More informationSurprise and Curiosity for Big Data Robotics
Sequenial Decision-Making wih Big Daa: Papers from he AAAI-14 Workshop Surprise and Curiosiy for Big Daa Roboics Adam Whie, Joseph Modayil, Richard S. Suon Reinforcemen Learning and Arificial Inelligence
More informationOptimal Control Formulation using Calculus of Variations
Lecure 5 Opimal Conrol Formulaion using Calculus o Variaions Dr. Radhakan Padhi Ass. Proessor Dep. o Aerospace Engineering Indian Insiue o Science - Bangalore opics Opimal Conrol Formulaion Objecive &
More informationAnalogue and Digital Signal Processing. First Term Third Year CS Engineering By Dr Mukhtiar Ali Unar
Analogue and Digial Signal Processing Firs Term Third Year CS Engineering By Dr Mukhiar Ali Unar Recommended Books Haykin S. and Van Veen B.; Signals and Sysems, John Wiley& Sons Inc. ISBN: 0-7-380-7 Ifeachor
More informationRC (Resistor-Capacitor) Circuits. AP Physics C
(Resisor-Capacior Circuis AP Physics C Circui Iniial Condiions An circui is one where you have a capacior and resisor in he same circui. Suppose we have he following circui: Iniially, he capacior is UNCHARGED
More informationQ-SAC: Toward QoS Optimized Service Automatic Composition *
Q-SAC: Toward QoS Opimized Service Auomaic Composiion * Hanhua Chen, Hai Jin, Xiaoming Ning, Zhipeng Lü Cluser and Grid Compuing Lab Huazhong Universiy of Science and Technology, Wuhan, 4374, China Email:
More informationAdvise on the development of a Learning Technologies Strategy at the Leopold-Franzens-Universität Innsbruck
Advise on he developmen of a Learning Technologies Sraegy a he Leopold-Franzens-Universiä Innsbruck Prof. Dr. Rob Koper Open Universiy of he Neherlands Educaional Technology Experise Cener Conex - Period
More informationA New Schedule Estimation Technique for Construction Projects
A New Schedule Esimaion Technique for Consrucion Projecs Roger D. H. Warburon Deparmen of Adminisraive Sciences, Meropolian College Boson, MA 02215 hp://people.bu.edu/rwarb DOI 10.5592/omcj.2014.3.1 Research
More informationCommunication Networks II Contents
3 / 1 -- Communicaion Neworks II (Görg) -- www.comnes.uni-bremen.de Communicaion Neworks II Conens 1 Fundamenals of probabiliy heory 2 Traffic in communicaion neworks 3 Sochasic & Markovian Processes (SP
More informationGUIDE GOVERNING SMI RISK CONTROL INDICES
GUIDE GOVERNING SMI RISK CONTROL IND ICES SIX Swiss Exchange Ld 04/2012 i C O N T E N T S 1. Index srucure... 1 1.1 Concep... 1 1.2 General principles... 1 1.3 Index Commission... 1 1.4 Review of index
More informationDifferential Equations. Solving for Impulse Response. Linear systems are often described using differential equations.
Differenial Equaions Linear sysems are ofen described using differenial equaions. For example: d 2 y d 2 + 5dy + 6y f() d where f() is he inpu o he sysem and y() is he oupu. We know how o solve for y given
More informationLINKING STRATEGIC OBJECTIVES TO OPERATIONS: TOWARDS A MORE EFFECTIVE SUPPLY CHAIN DECISION MAKING. Changrui Ren Jin Dong Hongwei Ding Wei Wang
Proceedings of he 2006 Winer Simulaion Conference L. F. Perrone, F. P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, and R. M. Fujimoo, eds. LINKING STRATEGIC OBJECTIVES TO OPERATIONS: TOWARDS A MORE EFFECTIVE
More informationTHE FIRM'S INVESTMENT DECISION UNDER CERTAINTY: CAPITAL BUDGETING AND RANKING OF NEW INVESTMENT PROJECTS
VII. THE FIRM'S INVESTMENT DECISION UNDER CERTAINTY: CAPITAL BUDGETING AND RANKING OF NEW INVESTMENT PROJECTS The mos imporan decisions for a firm's managemen are is invesmen decisions. While i is surely
More informationTHE CONTROL OF THE CHANT SYNTHESIZER IN OPENMUSIC: MODELLING CONTINUOUS ASPECTS IN SOUND SYNTHESIS
THE CONTROL OF THE CHANT SYNTHESIZER IN OPENMUSIC: MODELLING CONTINUOUS ASPECTS IN SOUND SYNTHESIS Jean Bresson STMS: IRCAM-CNRS-UPMC 1, place I. Sravisnky 75004 Paris, France Marco Sroppa Universiy of
More informationA Natural Feature-Based 3D Object Tracking Method for Wearable Augmented Reality
A Naural Feaure-Based 3D Objec Tracking Mehod for Wearable Augmened Realiy Takashi Okuma Columbia Universiy / AIST Email: okuma@cs.columbia.edu Takeshi Kuraa Universiy of Washingon / AIST Email: kuraa@ieee.org
More informationChapter 1.6 Financial Management
Chaper 1.6 Financial Managemen Par I: Objecive ype quesions and answers 1. Simple pay back period is equal o: a) Raio of Firs cos/ne yearly savings b) Raio of Annual gross cash flow/capial cos n c) = (1
More informationRIM AND MORTICE LOCKS
RIM AND MORTICE LOCKS Premium qualiy mechanical locking. True o he superior build principles adhered o for all Abloy locks, our rim and morice range provides robus, funcional securiy where a mechanical
More informationGeorgia State University CIS 8000 IT Project Management. Upon completion of the course, students should be able to:
Georgia Sae Universiy CIS 8000 IT Projec Course Descripion This course examines he defining characerisics of IT projecs, especially involving he developmen of sofware inensive sysems, and inroduces he
More informationPhoto Modules for PCM Remote Control Systems
Phoo Modules for PCM Remoe Conrol Sysems Available ypes for differen carrier frequencies Type fo Type fo TSOP173 3 khz TSOP1733 33 khz TSOP1736 36 khz TSOP1737 36.7 khz TSOP1738 38 khz TSOP174 4 khz TSOP1756
More informationA Parallel Motion Planner for Systems with Many Degrees of Freedom Pekka Isto
A Parallel Moion Planner for Sysems wih Many Degrees of Freedom Pekka Iso Laboraory of Informaion Processing Science Helsinki Universiy of Technology P.O. Box 9700, FIN-02015 HUT evp@cs.hu.fi Absrac During
More informationLEVENTE SZÁSZ An MRP-based integer programming model for capacity planning...3
LEVENTE SZÁSZ An MRP-based ineger programming model for capaciy planning...3 MELINDA ANTAL Reurn o schooling in Hungary before and afer he ransiion years...23 LEHEL GYÖRFY ANNAMÁRIA BENYOVSZKI ÁGNES NAGY
More informationImprovement of a TCP Incast Avoidance Method for Data Center Networks
Improvemen of a Incas Avoidance Mehod for Daa Cener Neworks Kazuoshi Kajia, Shigeyuki Osada, Yukinobu Fukushima and Tokumi Yokohira The Graduae School of Naural Science and Technology, Okayama Universiy
More informationTOOL MASTER Quadra. Tool presetting The professional and compact solution for your manufacturing
TOOL MASTER Quadra PWB ool preseers sand for maximum produciviy wih ulimae user-friendliness. The ooling qualiy and imely deecion of damaged ools boos produciviy and reduce he number of rejecs. You will
More informationSoftware Project Management tools: A Comparative Analysis
Sofware Projec Managemen ools: A Comparaive Analysis Mrs. Sonali Nemade Pad.Dr.D.Y.Pail A.C.S. College, Pimpri (India) sonali_namade@yahoo.co.in Mrs. Madhuri.A. Darekar Pad.Dr.D.Y.Pail A.C.S. College,
More information2.4 Network flows. Many direct and indirect applications telecommunication transportation (public, freight, railway, air, ) logistics
.4 Nework flow Problem involving he diribuion of a given produc (e.g., waer, ga, daa, ) from a e of producion locaion o a e of uer o a o opimize a given objecive funcion (e.g., amoun of produc, co,...).
More informationConstant Data Length Retrieval for Video Servers with Variable Bit Rate Streams
IEEE Inernaional Conference on Mulimedia Compuing & Sysems, June 17-3, 1996, in Hiroshima, Japan, p. 151-155 Consan Lengh Rerieval for Video Servers wih Variable Bi Rae Sreams Erns Biersack, Frédéric Thiesse,
More informationTime-Expanded Sampling (TES) For Ensemble-based Data Assimilation Applied To Conventional And Satellite Observations
27 h WAF/23 rd NWP, 29 June 3 July 2015, Chicago IL. 1 Time-Expanded Sampling (TES) For Ensemble-based Daa Assimilaion Applied To Convenional And Saellie Observaions Allen Zhao 1, Qin Xu 2, Yi Jin 1, Jusin
More informationCRISES AND THE FLEXIBLE PRICE MONETARY MODEL. Sarantis Kalyvitis
CRISES AND THE FLEXIBLE PRICE MONETARY MODEL Saranis Kalyviis Currency Crises In fixed exchange rae regimes, counries rarely abandon he regime volunarily. In mos cases, raders (or speculaors) exchange
More informationStrategic Optimization of a Transportation Distribution Network
Sraegic Opimizaion of a Transporaion Disribuion Nework K. John Sophabmixay, Sco J. Mason, Manuel D. Rossei Deparmen of Indusrial Engineering Universiy of Arkansas 4207 Bell Engineering Cener Fayeeville,
More informationMonte Carlo Observer for a Stochastic Model of Bioreactors
Mone Carlo Observer for a Sochasic Model of Bioreacors Marc Joannides, Irène Larramendy Valverde, and Vivien Rossi 2 Insiu de Mahémaiques e Modélisaion de Monpellier (I3M UMR 549 CNRS Place Eugène Baaillon
More informationReal-Time Scheduling via Reinforcement Learning
Real-Time Scheduling via Reinforcemen Learning Rober Glaubius, Terry Tidwell, Chrisopher Gill, and William D. Smar Deparmen of Compuer Science and Engineering Washingon Universiy in S. Louis {rlg1@cse,idwell@cse,cdgill@cse,wds@cse}.wusl.edu
More informationPart II Converter Dynamics and Control
Par II onverer Dynamics and onrol 7. A equivalen circui modeling 8. onverer ransfer funcions 9. onroller design 1. Inpu filer design 11. A and D equivalen circui modeling of he disconinuous conducion mode
More informationAnalysis of Pricing and Efficiency Control Strategy between Internet Retailer and Conventional Retailer
Recen Advances in Business Managemen and Markeing Analysis of Pricing and Efficiency Conrol Sraegy beween Inerne Reailer and Convenional Reailer HYUG RAE CHO 1, SUG MOO BAE and JOG HU PARK 3 Deparmen of
More informationTowards Intrusion Detection in Wireless Sensor Networks
Towards Inrusion Deecion in Wireless Sensor Neworks Kroniris Ioannis, Tassos Dimiriou and Felix C. Freiling Ahens Informaion Technology, 19002 Peania, Ahens, Greece Email: {ikro,dim}@ai.edu.gr Deparmen
More informationResearch on Inventory Sharing and Pricing Strategy of Multichannel Retailer with Channel Preference in Internet Environment
Vol. 7, No. 6 (04), pp. 365-374 hp://dx.doi.org/0.457/ijhi.04.7.6.3 Research on Invenory Sharing and Pricing Sraegy of Mulichannel Reailer wih Channel Preference in Inerne Environmen Hanzong Li College
More informationDC-DC Boost Converter with Constant Output Voltage for Grid Connected Photovoltaic Application System
DC-DC Boos Converer wih Consan Oupu Volage for Grid Conneced Phoovolaic Applicaion Sysem Pui-Weng Chan, Syafrudin Masri Universii Sains Malaysia E-mail: edmond_chan85@homail.com, syaf@eng.usm.my Absrac
More informationInternational Journal of Supply and Operations Management
Inernaional Journal of Supply and Operaions Managemen IJSOM May 05, Volume, Issue, pp 5-547 ISSN-Prin: 8-59 ISSN-Online: 8-55 wwwijsomcom An EPQ Model wih Increasing Demand and Demand Dependen Producion
More informationUser Manual. Software Revision >V10 RINS1705-1
User Manual INTERNAL SIREN WARNING The Enforcer 32-WE conrol panel conains a 100dBA siren, please be aware of his when in use Sofware Revision >V10 RINS1705-1 Conens Page A. Inroducion... 3 B. Operaing
More informationChapter 7. Response of First-Order RL and RC Circuits
Chaper 7. esponse of Firs-Order L and C Circuis 7.1. The Naural esponse of an L Circui 7.2. The Naural esponse of an C Circui 7.3. The ep esponse of L and C Circuis 7.4. A General oluion for ep and Naural
More informationLLC Resonant Converter Reference Design using the dspic DSC
LLC Resonan Converer Reference Design using he dspic DSC 2010 Microchip Technology Incorporaed. All Righs Reserved. LLC Resonan Converer Webinar Slide 1 Hello, and welcome o his web seminar on Microchip
More informationAn Online Learning-based Framework for Tracking
An Online Learning-based Framework for Tracking Kamalika Chaudhuri Compuer Science and Engineering Universiy of California, San Diego La Jolla, CA 9293 Yoav Freund Compuer Science and Engineering Universiy
More informationGene Regulatory Network Discovery from Time-Series Gene Expression Data A Computational Intelligence Approach
Gene Regulaory Nework Discovery from Time-Series Gene Expression Daa A Compuaional Inelligence Approach Nikola K. Kasabov 1, Zeke S. H. Chan 1, Vishal Jain 1, Igor Sidorov 2 and Dimier S. Dimirov 2 1 Knowledge
More informationSimulation and Realization of Linear Insects Different Movement Forms Radar Echo Model Based On Point Target
, pp.215-226 hp://dx.doi.org/10.14257/ijca.2014.7.1.18 Simulaion and Realizaion of Linear Insecs Differen Movemen Forms Radar Echo Model Based On Poin Targe Xuqiang Lang 1, Jialin Hou* 1 and Kai Tang 2
More information