Integration Testing - Looking for a Solution to Testing Concurrent Components and Systems
|
|
- Tracy Benjamin Norman
- 5 years ago
- Views:
Transcription
1 Integration Teting - Looking for a Solution to Teting Concurrent Component and Sytem Integration Teting 23. TAV 1 Andrej Pietchker, PhD Siemen AG, CT SE 1 andrej.pietchker@iemen.com ph: +49 (89) Preentation Overview Motivation Light-Weight Approach to Paive Teting Model-baed Approach to Paive Teting Concluion Integration Teting 23. TAV 2 1
2 Motivation Integration Teting 23. TAV 3 Fault Diagnoi in Ditributed Sytem Fault diagnoi conit of the tak Reproduce the failure oberved, e.g., during teting Examine the fault Hypotheize about the error Ditributed, concurrent ytem complicate matter Nondeterminitic behavior Reproducibility of failure difficult to achieve Error Error Fault Fault Integration Teting 23. TAV 4 Failure Failure 2
3 Paive Teting Tracing to upport fault diagnoi Well-proven mean for analyzing complex ytem Collect event from the running application Uually large amount of data collected Automatic offline analyi of trace Support of filtering, viualization, and detail-on-demand Flexible and eay uage of tool Paive Teting Active Teting: Verification by mean of interaction with SUT Integration Teting 23. TAV 5 Light-Weight Approach to Paive Teting Integration Teting 23. TAV 6 3
4 Information Seeking Mantra Paive teting approach applie concept of Viualization Trace data and analyi reult are made acceible to the uer Different output upported, e.g. in SVG or HTML Filtering Reduce the ize and information contained in a trace Filter define operation over trace, e.g. election, pruning Detail-on-Demand Not all information hould be preent at all time Diplay further information when cloer inpection i required Integration Teting 23. TAV 7 Structure of a Standardized Trace Format Trace contain the following event type Regitration and unregitration event of Device Procee and/or thread Object Communication event Send and receive of meage Local event Variable aignment Aertion Event tructure defined in XML chema Integration Teting 23. TAV 8 4
5 Trace Tranformation Trace preent a XML-file (converted from other format) Output of a filter i another trace in XML format Filter can be combined Support reue of filter Filter are not necearily commutative: f g g f Viualization component applied if needed Integration Teting 23. TAV 9 Example: Overview Automotive application Driver information and navigation ytem Embedded component-baed oftware development project Sytem wa deigned with tracing already in mind! Sytem failure Sytem lowed down unexpectedly when running on target hardware Tak: Analyze the caue of the low-down! Original trace contained more than 1 million event Analyi tep Identify thread with a large running time Viualize the communication of thee thread Analyi reult Slow-down caued by permanent polling of a device that wa not operational Integration Teting 23. TAV 10 5
6 Example: Performance Analyi in HTML Integration Teting 23. TAV 11 Example: Graphical Trace Viualization in SVG Integration Teting 23. TAV 12 6
7 More Example Integration Teting 23. TAV 13 Taking Concurrency into Account Integration Teting 23. TAV 14 7
8 Model-baed Approach to Paive Teting Integration Teting 23. TAV 15 Log, Trace, and Model pr1 n1 = 3 n1 = 4 n1 = 5 n2=2 n1=5 m1 m2 Zeit rm3 n1=5 n1=5 rm3 rm2 n2=2 rm2 n2=2 m3 pr2 n2 = 6 n2 = 4 Log pr1: n1=3 Trace pr2: n2=6 pr2: nd m1 to pr1 pr2: n2=4 pr1: rcv m1 from pr2 pr2: nd m3 to pr1 pr1: n1=4 pr1: nd m2 to pr2 pr1: rcv m3 from pr2 pr2: rcv m2 from pr1 pr1: n1=5 pr2: n2=2 Integration Teting 23. TAV 16 n2 = 2 m3 m2 rm2 m2 n2=4 m3 m3 n1=4 n2=4 m2 rm1 rm1 n2=4 m2 n1=3 n2=4 m2 n2=4 n1=4 n1=4 n1=3 rm1 m1 n2=6 n1=3 n1=3 m1 rm3 n2=6 Model 8
9 Model-baed Analyi Overview Trace Uer-defined Propertie (a Pattern) Recontruction of ytem behavior Simulation Reult OK? Integration Teting 23. TAV 17 Example: Sliding Window Protocol A connection-oriented protocol (ued e.g. in TCP) Allow data to be ent in one direction between a pair of protocol entitie, ubject to a maximum number of unacknowledged meage (window) If thi window become full, the protocol i blocked until an acknowledgement i received for the earliet outtanding meage. At thi point the tranmitter i clear to end more meage. Integration Teting 23. TAV 18 9
10 bl ock B lo c k 1 e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T Vo id, T W in d o wa c k, T W in d o w N a c k e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T Vo id, T W in d o wa c k, T W in d o w N a c k a 2 ( 1, 1 ) a 2 a 4 6 a 4 6 ( 1, 1 ) a 2 a 5 0 a 2 a 7 6 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 5 0 ( 1, 1 ) a2 a 5 8 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w Ac k a 7 6 ( 1, 1 ) a 2 a 7 2 T C o n n e c t, T Co n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o wa c k a 5 8 ( 1, 1 ) a 2 a 5 2 T C o n n e c t, T Co n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o wa c k a 7 2 ( 1, 1 ) a 2 a 6 4 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T Vo id, T W in d o w A c k a 5 2 ( 1, 1 ) a 2 a 6 2 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 6 4 ( 1, 1 ) a 2 a 6 8 T C o n n e c t, T C o n n e c t Ac k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 6 2 ( 1, 1 ) a 2 a 5 4 T C o n n e c t, T C o n n e c t Ac k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 6 8 ( 1, 1 ) a 2 a 6 0 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a5 4 ( 1, 1 ) a 2 a 6 6 a 6 0 ( 1, 1 ) a 2 a 4 4 a 6 6 ( 1, 1 ) a 2 a 2 8 a 4 4 ( 1, 1 ) a 2 a 5 6 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 2 8 ( 1, 1 ) a 2 a 4 2 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 5 6 ( 1, 1 ) a 2 a 2 6 T Co n n e c t, T Co n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w Ac k a 4 2 ( 1, 1 ) a 2 a 3 0 T Co n n e c t, T Co n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w Ac k a 2 6 ( 1, 1 ) a 2 a 4 0 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T Vo id, T W in d o wa c k a 3 0 ( 1, 1 ) a 2 a 7 4 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T Vo id, T W in d o w A c k a 4 0 ( 1, 1 ) a 2 a 3 2 a 2 a 3 8 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k, T W in d o w N a c k a 7 4 ( 1, 1 ) a 3 2 ( 1, 1 ) a 2 a 3 6 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 3 8 ( 1, 1 ) a 2 a 3 4 T C o n n e c t, T C o n n e c t A c k, T T e t, T T e t A c k, T V o id, T W in d o w A c k a 3 6 ( 1, 1 ) TConnect, TConnect Ack, TTet, TTet Ack, TVoid, TW indo a 3 4 ( 1, 1 ) T C o n n e c t, T C o n n e c t A c k, T T e t, T Architectural View of the Sytem 1 centralized component communicating with all other component (tar-form communication) Integration Teting 23. TAV 19 Paive Teting Workflow Exemplified Start: Formalize ytem property The liding window property i not violated. Rephrae property a pattern over trace Let SWS be the maximum ender window ize. Let LAR be the equence number of the lat acknowledgment received. Let LFS be the equence number of the lat frame ent. The ender maintain the invariant: LFS - LAR + 1 <= SWS. Simulation of trace and pattern uing a model checker Interpretation of reult Integration Teting 23. TAV 20 10
11 Main Part of the Analyi Pattern Integration Teting 23. TAV 21 Trace Analyi Execution Procee a2 and a40 are analyzed Integration Teting 23. TAV 22 1 error found during the verification proce 11
12 A Detected Error Scenario error-trace int_1_a2 PROCESS / ytem1/ block1/a2 (1) int_1_a40 PROCESS / ytem1/ block1/ a40(1) TConnect TConnect TWindowAck TWindowAck TVoid TVoid TVoid TVoid TVoid Integration Teting 23. TAV 23 Error trace report a 4th unacknowledged TVoid meage although window ize i et to 3 only. Analyi of Other Sytem Propertie Sytem architecture Analyi of initialization phae (thread or object view) Analyi of creation and termination of thread or object Deadlock analyi Race analyi Identification of object ued by more than one thread Identification of meage intended for a ingle recipient (race) Race are the main caue for nondeterminitic ytem behavior Performance analyi Analyi of communication, delay, uage time Integration Teting 23. TAV 24 12
13 Concluion Integration Teting 23. TAV 25 Summary (1) Input for Paive Teting A trace file with all the neceary information Deired or undeired ytem propertie Fully automated analyi Tool exit! Analyi reult Indicator for fault analyi Support during regreion teting Univeral analyi of ytem propertie Non-determinim Performance bottle-neck Hint for redeign Paive Teting uable for Ditributed ytem, epecially for ytem with many device Poorly documented ytem Sytem containing Component of the helve (COTS) Integration Teting 23. TAV 26 13
14 Summary (2) XML-baed approach to trace analyi Offer quick and cheap olution to upport fault diagnoi Enable an interactive way to extract and viualize information gathered during teting Ue tandardized XML technologie Benefit from the large variety of freely available XML tool Scale with the trace ize Model-baed approach to trace analyi Can be integrated into XML-baed approach (filter concept) Take concurrency into account Find non-reproducible fault Integration Teting 23. TAV 27 14
S_LOOP: SINGLE-LOOP FEEDBACK CONTROL SYSTEM ANALYSIS
S_LOOP: SINGLE-LOOP FEEDBACK CONTROL SYSTEM ANALYSIS by Michelle Gretzinger, Daniel Zyngier and Thoma Marlin INTRODUCTION One of the challenge to the engineer learning proce control i relating theoretical
More informationEE 4443/5329. LAB 3: Control of Industrial Systems. Simulation and Hardware Control (PID Design) The Inverted Pendulum. (ECP Systems-Model: 505)
EE 4443/5329 LAB 3: Control of Indutrial Sytem Simulation and Hardware Control (PID Deign) The Inverted Pendulum (ECP Sytem-Model: 505) Compiled by: Nitin Swamy Email: nwamy@lakehore.uta.edu Email: okuljaca@lakehore.uta.edu
More informationReliability Analysis of Embedded System with Different Modes of Failure Emphasizing Reboot Delay
International Journal of Applied Science and Engineering 3., 4: 449-47 Reliability Analyi of Embedded Sytem with Different Mode of Failure Emphaizing Reboot Delay Deepak Kumar* and S. B. Singh Department
More informationSMALL-SIGNAL STABILITY ASSESSMENT OF THE EUROPEAN POWER SYSTEM BASED ON ADVANCED NEURAL NETWORK METHOD
SMALL-SIGNAL STABILITY ASSESSMENT OF THE EUROPEAN POWER SYSTEM BASED ON ADVANCED NEURAL NETWORK METHOD S.P. Teeuwen, I. Erlich U. Bachmann Univerity of Duiburg, Germany Department of Electrical Power Sytem
More informationINTEGRATION OF A PHENOMENOLOGICAL RADAR SENSOR MODELL IN IPG CARMAKER FOR SIMULATION OF ACC AND AEB SYSTEMS
INTEGRATION OF A PHENOMENOLOGICAL RADAR SENSOR MODELL IN IPG CARMAKER FOR SIMULATION OF ACC AND AEB SYSTEMS Dr. A. Eichberger*, S. Bernteiner *, Z. Magoi *, D. Lindvai-Soo **, * Intitute of Automotive
More informationLecture #9 Continuous time filter
Lecture #9 Continuou time filter Oliver Faut December 5, 2006 Content Review. Motivation......................................... 2 2 Filter pecification 2 2. Low pa..........................................
More informationDigital Control System
Digital Control Sytem - A D D A Micro ADC DAC Proceor Correction Element Proce Clock Meaurement A: Analog D: Digital Continuou Controller and Digital Control Rt - c Plant yt Continuou Controller Digital
More informationA PLC BASED MIMO PID CONTROLLER FOR MULTIVARIABLE INDUSTRIAL PROCESSES
ABCM Sympoium Serie in Mechatronic - Vol. 3 - pp.87-96 Copyright c 8 by ABCM A PLC BASE MIMO PI CONOLLE FO MULIVAIABLE INUSIAL POCESSES Joé Maria Galvez, jmgalvez@ufmg.br epartment of Mechanical Engineering
More informationAdvanced D-Partitioning Analysis and its Comparison with the Kharitonov s Theorem Assessment
Journal of Multidiciplinary Engineering Science and Technology (JMEST) ISSN: 59- Vol. Iue, January - 5 Advanced D-Partitioning Analyi and it Comparion with the haritonov Theorem Aement amen M. Yanev Profeor,
More informationControl of Delayed Integrating Processes Using Two Feedback Controllers R MS Approach
Proceeding of the 7th WSEAS International Conference on SYSTEM SCIENCE and SIMULATION in ENGINEERING (ICOSSSE '8) Control of Delayed Integrating Procee Uing Two Feedback Controller R MS Approach LIBOR
More informationState Space: Observer Design Lecture 11
State Space: Oberver Deign Lecture Advanced Control Sytem Dr Eyad Radwan Dr Eyad Radwan/ACS/ State Space-L Controller deign relie upon acce to the tate variable for feedback through adjutable gain. Thi
More informationGain and Phase Margins Based Delay Dependent Stability Analysis of Two- Area LFC System with Communication Delays
Gain and Phae Margin Baed Delay Dependent Stability Analyi of Two- Area LFC Sytem with Communication Delay Şahin Sönmez and Saffet Ayaun Department of Electrical Engineering, Niğde Ömer Halidemir Univerity,
More informationStatistics and Data Analysis
Simulation of Propenity Scoring Method Dee H. Wu, Ph.D, David M. Thompon, Ph.D., David Bard, Ph.D. Univerity of Oklahoma Health Science Center, Oklahoma City, OK ABSTRACT In certain clinical trial or obervational
More informationEvolutionary Algorithms Based Fixed Order Robust Controller Design and Robustness Performance Analysis
Proceeding of 01 4th International Conference on Machine Learning and Computing IPCSIT vol. 5 (01) (01) IACSIT Pre, Singapore Evolutionary Algorithm Baed Fixed Order Robut Controller Deign and Robutne
More informationPARAMETERS OF DISPERSION FOR ON-TIME PERFORMANCE OF POSTAL ITEMS WITHIN TRANSIT TIMES MEASUREMENT SYSTEM FOR POSTAL SERVICES
PARAMETERS OF DISPERSION FOR ON-TIME PERFORMANCE OF POSTAL ITEMS WITHIN TRANSIT TIMES MEASUREMENT SYSTEM FOR POSTAL SERVICES Daniel Salava Kateřina Pojkarová Libor Švadlenka Abtract The paper i focued
More informationDeparture Time and Route Choices with Bottleneck Congestion: User Equilibrium under Risk and Ambiguity
Departure Time and Route Choice with Bottleneck Congetion: Uer Equilibrium under Rik and Ambiguity Yang Liu, Yuanyuan Li and Lu Hu Department of Indutrial Sytem Engineering and Management National Univerity
More informationLecture 10 Filtering: Applied Concepts
Lecture Filtering: Applied Concept In the previou two lecture, you have learned about finite-impule-repone (FIR) and infinite-impule-repone (IIR) filter. In thee lecture, we introduced the concept of filtering
More informationAnalysis of Step Response, Impulse and Ramp Response in the Continuous Stirred Tank Reactor System
ISSN: 454-50 Volume 0 - Iue 05 May 07 PP. 7-78 Analyi of Step Repone, Impule and Ramp Repone in the ontinuou Stirred Tank Reactor Sytem * Zohreh Khohraftar, Pirouz Derakhhi, (Department of hemitry, Science
More informationExtending MFM Function Ontology for Representing Separation and Conversion in Process Plant
Downloaded from orbit.dtu.dk on: Oct 05, 2018 Extending MFM Function Ontology for Repreenting Separation and Converion in Proce Plant Zhang, Xinxin; Lind, Morten; Jørgenen, Sten Bay; Wu, Jing; Karnati,
More informationEstimating floor acceleration in nonlinear multi-story moment-resisting frames
Etimating floor acceleration in nonlinear multi-tory moment-reiting frame R. Karami Mohammadi Aitant Profeor, Civil Engineering Department, K.N.Tooi Univerity M. Mohammadi M.Sc. Student, Civil Engineering
More informationCHAPTER 4 DESIGN OF STATE FEEDBACK CONTROLLERS AND STATE OBSERVERS USING REDUCED ORDER MODEL
98 CHAPTER DESIGN OF STATE FEEDBACK CONTROLLERS AND STATE OBSERVERS USING REDUCED ORDER MODEL INTRODUCTION The deign of ytem uing tate pace model for the deign i called a modern control deign and it i
More informationSuggested Answers To Exercises. estimates variability in a sampling distribution of random means. About 68% of means fall
Beyond Significance Teting ( nd Edition), Rex B. Kline Suggeted Anwer To Exercie Chapter. The tatitic meaure variability among core at the cae level. In a normal ditribution, about 68% of the core fall
More informationA Method for Assessing Customer Harmonic Emission Level Based on the Iterative Algorithm for Least Square Estimation *
Engineering, 203, 5, 6-3 http://dx.doi.org/0.4236/eng.203.59b002 Publihed Online September 203 (http://www.cirp.org/journal/eng) A Method for Aeing Cutomer Harmonic Emiion Level Baed on the Iterative Algorithm
More informationUSING NONLINEAR CONTROL ALGORITHMS TO IMPROVE THE QUALITY OF SHAKING TABLE TESTS
October 12-17, 28, Beijing, China USING NONLINEAR CONTR ALGORITHMS TO IMPROVE THE QUALITY OF SHAKING TABLE TESTS T.Y. Yang 1 and A. Schellenberg 2 1 Pot Doctoral Scholar, Dept. of Civil and Env. Eng.,
More informationWhite Rose Research Online URL for this paper: Version: Accepted Version
Thi i a repoitory copy of Identification of nonlinear ytem with non-peritent excitation uing an iterative forward orthogonal leat quare regreion algorithm. White Roe Reearch Online URL for thi paper: http://eprint.whiteroe.ac.uk/107314/
More informationIII.9. THE HYSTERESIS CYCLE OF FERROELECTRIC SUBSTANCES
III.9. THE HYSTERESIS CYCLE OF FERROELECTRIC SBSTANCES. Work purpoe The analyi of the behaviour of a ferroelectric ubtance placed in an eternal electric field; the dependence of the electrical polariation
More informationA Simplified Methodology for the Synthesis of Adaptive Flight Control Systems
A Simplified Methodology for the Synthei of Adaptive Flight Control Sytem J.ROUSHANIAN, F.NADJAFI Department of Mechanical Engineering KNT Univerity of Technology 3Mirdamad St. Tehran IRAN Abtract- A implified
More informationProblem Set 8 Solutions
Deign and Analyi of Algorithm April 29, 2015 Maachuett Intitute of Technology 6.046J/18.410J Prof. Erik Demaine, Srini Devada, and Nancy Lynch Problem Set 8 Solution Problem Set 8 Solution Thi problem
More informationCISE302: Linear Control Systems
Term 8 CISE: Linear Control Sytem Dr. Samir Al-Amer Chapter 7: Root locu CISE_ch 7 Al-Amer8 ١ Learning Objective Undertand the concept of root locu and it role in control ytem deign Be able to ketch root
More informationConvective Heat Transfer
Convective Heat Tranfer Example 1. Melt Spinning of Polymer fiber 2. Heat tranfer in a Condener 3. Temperature control of a Re-entry vehicle Fiber pinning The fiber pinning proce preent a unique engineering
More informationAn estimation approach for autotuning of event-based PI control systems
Acta de la XXXIX Jornada de Automática, Badajoz, 5-7 de Septiembre de 08 An etimation approach for autotuning of event-baed PI control ytem Joé Sánchez Moreno, María Guinaldo Loada, Sebatián Dormido Departamento
More informationMODELING OF NEGATIVE INFLUENCES AT THE SIGNAL TRANSMISSION IN THE OPTICAL MEDIUM. Rastislav Róka, Filip Čertík
MODELING OF NEGATIVE INFLUENCES AT THE SIGNAL TRANSMISSION IN THE OPTICAL MEDIUM Ratilav Róka, Filip Čertík Intitute of Telecommunication, FEEIT, Slovak Univerity of Technology in Bratilava E-mail: ratilav.roka@tuba.k,
More informationLaplace Transformation
Univerity of Technology Electromechanical Department Energy Branch Advance Mathematic Laplace Tranformation nd Cla Lecture 6 Page of 7 Laplace Tranformation Definition Suppoe that f(t) i a piecewie continuou
More informationZ a>2 s 1n = X L - m. X L = m + Z a>2 s 1n X L = The decision rule for this one-tail test is
M09_BERE8380_12_OM_C09.QD 2/21/11 3:44 PM Page 1 9.6 The Power of a Tet 9.6 The Power of a Tet 1 Section 9.1 defined Type I and Type II error and their aociated rik. Recall that a repreent the probability
More informationControl Systems Analysis and Design by the Root-Locus Method
6 Control Sytem Analyi and Deign by the Root-Locu Method 6 1 INTRODUCTION The baic characteritic of the tranient repone of a cloed-loop ytem i cloely related to the location of the cloed-loop pole. If
More informationImprovement of Transient Stability of Power System by Thyristor Controlled Phase Shifter Transformer
American Journal of Applied Science 7 (11): 1495-1499, 010 ISSN 1546-939 010 Science Publication Improvement of Tranient Stability of Power Sytem by Thyritor Controlled Phae Shifter Tranformer Prechanon
More informationSimple Observer Based Synchronization of Lorenz System with Parametric Uncertainty
IOSR Journal of Electrical and Electronic Engineering (IOSR-JEEE) ISSN: 78-676Volume, Iue 6 (Nov. - Dec. 0), PP 4-0 Simple Oberver Baed Synchronization of Lorenz Sytem with Parametric Uncertainty Manih
More informationRoot Locus Diagram. Root loci: The portion of root locus when k assume positive values: that is 0
Objective Root Locu Diagram Upon completion of thi chapter you will be able to: Plot the Root Locu for a given Tranfer Function by varying gain of the ytem, Analye the tability of the ytem from the root
More informationTechnical Appendix: Auxiliary Results and Proofs
A Technical Appendix: Auxiliary Reult and Proof Lemma A. The following propertie hold for q (j) = F r [c + ( ( )) ] de- ned in Lemma. (i) q (j) >, 8 (; ]; (ii) R q (j)d = ( ) q (j) + R q (j)d ; (iii) R
More informationμ + = σ = D 4 σ = D 3 σ = σ = All units in parts (a) and (b) are in V. (1) x chart: Center = μ = 0.75 UCL =
Our online Tutor are available 4*7 to provide Help with Proce control ytem Homework/Aignment or a long term Graduate/Undergraduate Proce control ytem Project. Our Tutor being experienced and proficient
More informationProperties of Z-transform Transform 1 Linearity a
Midterm 3 (Fall 6 of EEG:. Thi midterm conit of eight ingle-ided page. The firt three page contain variou table followed by FOUR eam quetion and one etra workheet. You can tear out any page but make ure
More information[Saxena, 2(9): September, 2013] ISSN: Impact Factor: INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY
[Saena, (9): September, 0] ISSN: 77-9655 Impact Factor:.85 IJESRT INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY Contant Stre Accelerated Life Teting Uing Rayleigh Geometric Proce
More informationANALYTICAL BEARING MODEL FOR ANALYSIS OF INNER LOAD DISTRIBUTION AND ESTIMATION OF OPERATIONAL LUBRICATION REGIME
58 th ICMD 017 6-8 September 017, Prague, Czech Republic ANALYTICAL BEARING MODEL FOR ANALYSIS OF INNER LOAD DISTRIBUTION AND ESTIMATION OF OPERATIONAL LUBRICATION REGIME Jakub CHMELAŘ 1, Votěch DYNYBYL
More informationGeneral Topology of a single stage microwave amplifier
General Topology of a ingle tage microwave amplifier Tak of MATCH network (in and out): To preent at the active device uitable impedance Z and Z S Deign Step The deign of a mall ignal microwave amplifier
More informationReal-Time Identification of Sliding Friction Using LabVIEW FPGA
Real-Time Identification of Sliding Friction Uing LabVIEW FPGA M. Laine Mear, Jeannie S. Falcon, IEEE, and Thoma R. Kurfe, IEEE Abtract Friction i preent in all mechanical ytem, and can greatly affect
More informationBogoliubov Transformation in Classical Mechanics
Bogoliubov Tranformation in Claical Mechanic Canonical Tranformation Suppoe we have a et of complex canonical variable, {a j }, and would like to conider another et of variable, {b }, b b ({a j }). How
More informationInnovational Approach to the Mathematics Teaching at the Technical Universities
Innovational Approach to the Mathematic Teaching at the Technical Univeritie Alena Vagaká Technical Univerity in Košice, Faculty of Manufacturing Technologie with the eat in Prešov, Department of Mathematic,
More informationOptimization model in Input output analysis and computable general. equilibrium by using multiple criteria non-linear programming.
Optimization model in Input output analyi and computable general equilibrium by uing multiple criteria non-linear programming Jing He * Intitute of ytem cience, cademy of Mathematic and ytem cience Chinee
More informationComparing Means: t-tests for Two Independent Samples
Comparing ean: t-tet for Two Independent Sample Independent-eaure Deign t-tet for Two Independent Sample Allow reearcher to evaluate the mean difference between two population uing data from two eparate
More informationChapter 2 Sampling and Quantization. In order to investigate sampling and quantization, the difference between analog
Chapter Sampling and Quantization.1 Analog and Digital Signal In order to invetigate ampling and quantization, the difference between analog and digital ignal mut be undertood. Analog ignal conit of continuou
More informationReal-Time Models for Hardware-in-the-Loop-Simulation of Hydraulic Drive and Control Systems
Fakultät Machinenween Intitut für Fluidtechnik Real-Time Model for Hardware-in-the-Loop-Simulation of Hydraulic Drive and Control Sytem Speaker: Oliver Koch Date: 23 April 214 Outline 1 Introduction 2
More informationReal-time identification of sliding friction using LabVIEW FPGA
Clemon Univerity TigerPrint Publication Automotive Engineering 6-26 Real-time identification of liding friction uing LabVIEW FPGA Laine Mear Clemon Univerity, mear@clemon.edu Jeannie S. Falcon IEEE Thoma
More informationLOW ORDER MIMO CONTROLLER DESIGN FOR AN ENGINE DISTURBANCE REJECTION PROBLEM. P.Dickinson, A.T.Shenton
LOW ORDER MIMO CONTROLLER DESIGN FOR AN ENGINE DISTURBANCE REJECTION PROBLEM P.Dickinon, A.T.Shenton Department of Engineering, The Univerity of Liverpool, Liverpool L69 3GH, UK Abtract: Thi paper compare
More information7.2 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 281
72 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 28 and i 2 Show how Euler formula (page 33) can then be ued to deduce the reult a ( a) 2 b 2 {e at co bt} {e at in bt} b ( a) 2 b 2 5 Under what condition
More informationLecture 4 Topic 3: General linear models (GLMs), the fundamentals of the analysis of variance (ANOVA), and completely randomized designs (CRDs)
Lecture 4 Topic 3: General linear model (GLM), the fundamental of the analyi of variance (ANOVA), and completely randomized deign (CRD) The general linear model One population: An obervation i explained
More informationBehavioral thermal modeling for quad-core microprocessors
Behavioral thermal modeling for quad-core microproceor Duo Li and Sheldon X.-D. Tan Department of Electrical Engineering Univerity of California, Riveride, CA Murli Tirumala Intel Corporation Outline Introduction
More informationExperimental Determination of Particle Sedimentation Velocity in Opaque Drilling Fluids
AADE-14-FTCE-59 Experimental Determination of Sedimentation Velocity in Opaque Drilling Fluid Luila Abib Saidler and Bruno Venturini Loureiro, UCL; André Leibohn Martin, PETROBRAS Copyright 2014, AADE
More informationThe use of connected masks for reconstructing the single particle image from X-ray diffraction data
Mathematical Biology and Bioinformatic 2015. V. 10. Suppl. P. t1 t19. doi: 10.17537/2015.10.t1 The tranlation of original article Lunin V.Y., Lunina N.L., Petrova T.E. Matematichekaya biologiya i bioinformatika.
More informationLearning Multiplicative Interactions
CSC2535 2011 Lecture 6a Learning Multiplicative Interaction Geoffrey Hinton Two different meaning of multiplicative If we take two denity model and multiply together their probability ditribution at each
More informationChapter 10. Closed-Loop Control Systems
hapter 0 loed-loop ontrol Sytem ontrol Diagram of a Typical ontrol Loop Actuator Sytem F F 2 T T 2 ontroller T Senor Sytem T TT omponent and Signal of a Typical ontrol Loop F F 2 T Air 3-5 pig 4-20 ma
More informationFollow The Leader Architecture
ECE 6(ESS) Follow The Leader Architecture 6 th Order Elliptic andpa Filter A numerical example Objective To deign a 6th order bandpa elliptic filter uing the Follow-the-Leader (FLF) architecture. The pecification
More informationThe Study of the Kinematic Parameters of a Vehicle Using the Accelerometer of a Smartphone
The Study of the Kinematic Parameter of a Vehicle Uing the Accelerometer of a Smartphone Marin Oprea Faculty of Phyic, Univerity of Bucharet, Bucharet-Magurele, Romania E-mail: opreamarin007@yahoo.com
More informationFast explicit formulae for genus 2 hyperelliptic curves using projective coordinates
Fat explicit formulae for genu hyperelliptic curve uing projective coordinate Thoma Wollinger Ecrypt embedded ecurity GmbH twollinger@ecryptde Abtract Thi contribution propoe a modification of method of
More informationinto a discrete time function. Recall that the table of Laplace/z-transforms is constructed by (i) selecting to get
Lecture 25 Introduction to Some Matlab c2d Code in Relation to Sampled Sytem here are many way to convert a continuou time function, { h( t) ; t [0, )} into a dicrete time function { h ( k) ; k {0,,, }}
More informationSimulation Study on the Shock Properties of the Double-Degree-of-Freedom Cushioning Packaging System
Proceeding of the 7th IAPRI World Conference on Packaging Simulation Study on the Shock Propertie of the Double-Degree-of-Freedom Cuhioning Packaging Sytem Xia Zhu, Qiaoqiao Yan, Xiaoling Yao, Junbin Chen,
More informationState-space feedback 5 Tutorial examples and use of MATLAB
State-pace feedback 5 Tutorial example and ue of MTLB J Roiter Introduction The previou video howed how tate feedback can place pole preciely a long a the ytem u fully controllable. x u x Kx Bu Thi video
More informationDynamic Simulation of a Three-Phase Induction Motor Using Matlab Simulink
Dynamic Simulation of a ThreePhae Induction Motor Uing Matlab Simulink Adel Aktaibi & Daw Ghanim, graduate tudent member, IEEE, M. A. Rahman, life fellow, IEEE, Faculty of Engineering and Applied Science,
More informationSocial Studies 201 Notes for November 14, 2003
1 Social Studie 201 Note for November 14, 2003 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationRELIABILITY OF REPAIRABLE k out of n: F SYSTEM HAVING DISCRETE REPAIR AND FAILURE TIMES DISTRIBUTIONS
www.arpapre.com/volume/vol29iue1/ijrras_29_1_01.pdf RELIABILITY OF REPAIRABLE k out of n: F SYSTEM HAVING DISCRETE REPAIR AND FAILURE TIMES DISTRIBUTIONS Sevcan Demir Atalay 1,* & Özge Elmataş Gültekin
More informationJul 4, 2005 turbo_code_primer Revision 0.0. Turbo Code Primer
Jul 4, 5 turbo_code_primer Reviion. Turbo Code Primer. Introduction Thi document give a quick tutorial on MAP baed turbo coder. Section develop the background theory. Section work through a imple numerical
More informationImproving Power System Transient Stability with Static Synchronous Series Compensator
American Journal of Applied Science 8 (1): 77-81, 2011 ISSN 1546-9239 2010 Science Pulication Improving Power Sytem Tranient Staility with Static Synchronou Serie Compenator Prechanon Kumkratug Diviion
More informationDistinct Random Sampling from a Distributed Stream
Ditinct Random Sampling from a Ditributed Stream Yung-Yu Chung and Srikanta Tirthapura 2215 Coover Hall, Iowa State Univerity, Ame, IA, USA {ychung,nt}@iatate.edu Abtract We conider continuou maintenance
More informationPerformance Measures for BSkSP-3 with BMChSP-1 as a reference plan
International Journal of Advanced Scientific and Technical Reearch Iue 7 volume 4 July-Aug 2017 Available online on http://www.rpublication.com/ijt/index.html ISSN 2249-9954 Performance Meaure for BSkSP-3
More informationCHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS
CHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.1 INTRODUCTION 8.2 REDUCED ORDER MODEL DESIGN FOR LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.3
More informationIEOR 3106: Fall 2013, Professor Whitt Topics for Discussion: Tuesday, November 19 Alternating Renewal Processes and The Renewal Equation
IEOR 316: Fall 213, Profeor Whitt Topic for Dicuion: Tueday, November 19 Alternating Renewal Procee and The Renewal Equation 1 Alternating Renewal Procee An alternating renewal proce alternate between
More informationCDMA Signature Sequences with Low Peak-to-Average-Power Ratio via Alternating Projection
CDMA Signature Sequence with Low Peak-to-Average-Power Ratio via Alternating Projection Joel A Tropp Int for Comp Engr and Sci (ICES) The Univerity of Texa at Autin 1 Univerity Station C0200 Autin, TX
More information"HIP Modeling Methodology Based on the Inherent Process Anisotropy
"HIP Modeling Methodology Baed on the Inherent Proce Aniotropy Victor Samarov, Vaily Golovehkin, Charle Barre, ( LNT PM, Syneretch P/M, Inc., 65 Monarch treet, Garden Grove CA, USA, 984) Abtract The net
More informationCHEAP CONTROL PERFORMANCE LIMITATIONS OF INPUT CONSTRAINED LINEAR SYSTEMS
Copyright 22 IFAC 5th Triennial World Congre, Barcelona, Spain CHEAP CONTROL PERFORMANCE LIMITATIONS OF INPUT CONSTRAINED LINEAR SYSTEMS Tritan Pérez Graham C. Goodwin Maria M. Serón Department of Electrical
More informationA Constraint Propagation Algorithm for Determining the Stability Margin. The paper addresses the stability margin assessment for linear systems
A Contraint Propagation Algorithm for Determining the Stability Margin of Linear Parameter Circuit and Sytem Lubomir Kolev and Simona Filipova-Petrakieva Abtract The paper addree the tability margin aement
More informationLecture 8: Period Finding: Simon s Problem over Z N
Quantum Computation (CMU 8-859BB, Fall 205) Lecture 8: Period Finding: Simon Problem over Z October 5, 205 Lecturer: John Wright Scribe: icola Rech Problem A mentioned previouly, period finding i a rephraing
More informationApplication of Gradient Projection for Sparse Reconstruction to Compressed Sensing for Image Reconstruction of Electrical Capacitance Tomography
Journal of Electrical and Electronic Engineering 08; 6(): 46-5 http://www.ciencepublihinggroup.com/j/jeee doi: 0.648/j.jeee.08060. ISS: 39-63 (Print); ISS: 39-605 (Online) Application of Gradient Projection
More informationTheoretical Computer Science. Optimal algorithms for online scheduling with bounded rearrangement at the end
Theoretical Computer Science 4 (0) 669 678 Content lit available at SciVere ScienceDirect Theoretical Computer Science journal homepage: www.elevier.com/locate/tc Optimal algorithm for online cheduling
More information3.1 The Revised Simplex Algorithm. 3 Computational considerations. Thus, we work with the following tableau. Basic observations = CARRY. ... m.
3 Computational conideration In what follow, we analyze the complexity of the Simplex algorithm more in detail For thi purpoe, we focu on the update proce in each iteration of thi procedure Clearly, ince,
More informationEarth Potential Rise (EPR) Computation for a Fault on Transmission Mains Pole
ACN: 32586675 ABN: 8632586675 NATIONAL ELECTRICAL ENGINEERING CONULTANCY Earth otential Rie (ER) Computation for a Fault on Tranmiion Main ole repared by: M. Naereddine ACN: 32586675 ABN: 8632586675 Abtract
More informationRecent progress in fire-structure analysis
EJSE Special Iue: Selected Key Note paper from MDCMS 1 1t International Conference on Modern Deign, Contruction and Maintenance of Structure - Hanoi, Vietnam, December 2007 Recent progre in fire-tructure
More informationAcceptance sampling uses sampling procedure to determine whether to
DOI: 0.545/mji.203.20 Bayeian Repetitive Deferred Sampling Plan Indexed Through Relative Slope K.K. Sureh, S. Umamahewari and K. Pradeepa Veerakumari Department of Statitic, Bharathiar Univerity, Coimbatore,
More informationClustering Methods without Given Number of Clusters
Clutering Method without Given Number of Cluter Peng Xu, Fei Liu Introduction A we now, mean method i a very effective algorithm of clutering. It mot powerful feature i the calability and implicity. However,
More informationQuantifying And Specifying The Dynamic Response Of Flowmeters
White Paper Quantifying And Specifying The Dynamic Repone Of Flowmeter DP Flow ABSTRACT The dynamic repone characteritic of flowmeter are often incompletely or incorrectly pecified. Thi i often the reult
More informationAssessment of Performance for Single Loop Control Systems
Aement of Performance for Single Loop Control Sytem Hiao-Ping Huang and Jyh-Cheng Jeng Department of Chemical Engineering National Taiwan Univerity Taipei 1617, Taiwan Abtract Aement of performance in
More informationA Compensated Acoustic Actuator for Systems with Strong Dynamic Pressure Coupling
A Compenated Acoutic Actuator for Sytem with Strong Dynamic Preure Coupling Submitted to ASME Journal of Vibration and Acoutic July.997 Charle Birdong and Clark J. Radcliffe Department of Mechanical Engineering
More informationTHE IDENTIFICATION OF THE OPERATING REGIMES OF THE CONTROLLERS BY THE HELP OF THE PHASE TRAJECTORY
Mariu M. B LA Aurel Vlaicu Univerity of Arad, Engineering Faculty Bd. Revolu iei nr. 77, 3030, Arad, Romania, E-mail: mariu.bala@ieee.org THE IDENTIFICATION OF THE OPERATING REGIMES OF THE CONTROLLERS
More informationDiagnostic Models of an Intelligent Tutor System for Teaching Skills to Solve Algebraic Equations
Diagnotic Model of an Intelligent Tutor Sytem for Teaching Skill to Solve lgebraic Equation Kulik, Chukhray, M Chukhray National eropace Univerity Kharkov, Ukraine btract In thi paper one olution for teaching
More informationTRANSITION PROBABILITY MATRIX OF BRIDGE MEMBERS DAMAGE RATING
TRANSITION PROBABILITY MATRIX OF BRIDGE MEMBERS DAMAGE RATING Hirohi Sato and Ryoji Hagiwara 2 Abtract Bridge member damage characteritic were tudied uing the inpection record. Damage can be claified into
More informationPreemptive scheduling on a small number of hierarchical machines
Available online at www.ciencedirect.com Information and Computation 06 (008) 60 619 www.elevier.com/locate/ic Preemptive cheduling on a mall number of hierarchical machine György Dóa a, Leah Eptein b,
More informationUNITS FOR THERMOMECHANICS
UNITS FOR THERMOMECHANICS 1. Conitent Unit. Every calculation require a conitent et of unit. Hitorically, one et of unit wa ued for mechanic and an apparently unrelated et of unit wa ued for heat. For
More informationAn Image-encoded Mach-Zehnder Joint Transform Correlator for Polychromatic Pattern Recognition with Multi-level Quantized Reference Functions
Proceeding of the International MultiConference of Engineer and Computer Scientit 008 Vol I IMECS 008, 19-1 March, 008, Hong Kong An Image-encoded Mach-Zehnder Joint Tranform Correlator for Polychromatic
More informationDimensional Analysis A Tool for Guiding Mathematical Calculations
Dimenional Analyi A Tool for Guiding Mathematical Calculation Dougla A. Kerr Iue 1 February 6, 2010 ABSTRACT AND INTRODUCTION In converting quantitie from one unit to another, we may know the applicable
More informationReinforcement Learning
Reinforcement Learning Yihay Manour Google Inc. & Tel-Aviv Univerity Outline Goal of Reinforcement Learning Mathematical Model (MDP) Planning Learning Current Reearch iue 2 Goal of Reinforcement Learning
More informationSampling and the Discrete Fourier Transform
Sampling and the Dicrete Fourier Tranform Sampling Method Sampling i mot commonly done with two device, the ample-and-hold (S/H) and the analog-to-digital-converter (ADC) The S/H acquire a CT ignal at
More informationStratified Analysis of Probabilities of Causation
Stratified Analyi of Probabilitie of Cauation Manabu Kuroki Sytem Innovation Dept. Oaka Univerity Toyonaka, Oaka, Japan mkuroki@igmath.e.oaka-u.ac.jp Zhihong Cai Biotatitic Dept. Kyoto Univerity Sakyo-ku,
More information