Two Analytical Methods for Detection and Elimination of the Static Hazard in Combinational Logic Circuits


 Daisy Peters
 1 years ago
 Views:
Transcription
1 Crcuts and Systems,, 4, Publshed Onlne November (http//wwwscrporg/journal/cs) http//ddoorg/46/cs476 Two Analytcal Methods for Detecton and Elmnaton of the Statc Hazard n Combnatonal Logc Crcuts Mha Grgore Tms, Aleandru Valach, Aleandru Barleanu, Andre Stan Automatc Control and Computer Engneerng Faculty, Techncal Unversty GhAsach, Ias, Romana Emal Receved August 8, ; revsed September 8, ; accepted September 6, Copyrght Mha Grgore Tms et al Ths s an open access artcle dstrbuted under the Creatve Commons Attrbuton Lcense, whch permts unrestrcted use, dstrbuton, and reproducton n any medum, provded the orgnal work s properly cted ABSTRACT In ths paper, the authors contnue the researches descrbed n [], that conssts n a comparatve study of two methods to elmnate the statc hazard from logcal functons, by usng the form of Product of Sums (POS), statc hazard In the frst method, t used the consensus theorem to determne the cover term that s equal wth the product of the two resdual mplcants, and n the second method t resolved a Boolean equaton system The authors observed that n the second method the dgtal hazard can be earler detected If the Boolean equaton system s ncompatble (doesn t have solutons), the consdered logcal functon doesn t have the statc hazard regardng the coupled varable Usng the logcal computatons, ths method permts to determne the needed transtons to elmnate the dgtal hazard Keywords Combnatonal Crcuts; Statc Hazard; Logc Desgn; Boolean Functons Introducton Under certan condtons, on the output of the logcal sgnals may occur unwanted transtons These transtons are known as gltches The logc gltch s a knd of unwanted nose presentng nthe output sgnal that can ntate an uncontrollable process In the net level there s an nput sgnal [] We can dstngush three types of nose that s ntroduced n CLC (Combnatonal Logc Crcuts), called hazards (Statc, Dynamc and Functon Hazards) In the followng we consder only the statc hazard problem n combnatonal logc systems, called statc hazard Statc hazard, also called SOP (Sum of Products) hazard a gltch that occurs n otherwse steadystate output sgnal from SOP logc; Statc hazard, also called POS (Product of Sums) hazard a gltch that occurs n otherwse steadystate output sgnal from POS logc Statc Hazards n TwoLevel Combnatonal Logc Crcuts (Consensus Method []) We wll ntally defne Coupled varable; a varable nput s complemented wthn a term of functon and uncomplemented n another term of the same functon Coupled term; one of two terms contanng only one coupled varable Resdue; the part of a coupled term that remans after removng the coupled varable Hazard cover (or consensus term) The RPI (Redundant Prme Implcant) requred to elmnate the statc hazards AND the resdues of coupled pterm to obtan the SOP hazard cover, OR the resdues of coupled sterm to obtan the POS hazard cover POS eample any logc functon can be descrbed as y e e e y n, n,,,,,, e y,,,,,,, n n Sometmes, the same functon can be descrbes as Usng the () form, we can say e ac e bc () y a b c () ()
2 M G TIMIS ET AL 467 Usng the algorthm descrbed n [], f cab, the epresson from (), () doesn t present statc hazard n relaton wth the nput, and f a = b =, then results c = The condton to have statc hazard n relaton wth the nput, s when a = b = and c = The consensus method [4] conssts of determnaton of coupled terms, then by removng the coupled varables we obtan resdual values That meanng the () equaton can be wrtten lke y a b c ab () It can be observed that the epresson of the functon s multpled by the sum of resdual values, the new epresson presents statc hazard n relaton wth the nput We proposed as eample the 4 nputs logc functon y y 4,,,, R,,6,7,9,,4,7,9,,5,7,8,5,,6,, 4, 9, R Usng the QuneMcCluskey mnmzaton method we obtan the equaton from (5) and also the resdual values determned by nput y a b (4) (5) a b The epresson of no statc hazard n relaton wth nput y Method of Resolvng of Boolean Equatons [5] In ths paragraph we apply the consensus method [5] and the method of solvng some specfc Boolean equatons If y abc, by resolvng the net system equatons t can be determned the vectors nput values whch presents statc hazard a b (7) c If the (7) system has no soluton, the functon doesn t presents statc hazard n relaton wth Therefore, the epresson of the functon becomes (6) 4 4 a b c 4 Therefore, mposes the reducton of the system to 4 or 4 So, the soluton s 4 (8) So, the functon wll have hazard at commutaton So, n the POS relaton wll be added the multpled prme mplcant 4 The functon wll have the same epresson lke n (7) Statc Hazards n TwoLevel Combnatonal Logc Crcuts We wll consder two analytcal methods to detect and elmnate ths type of hazard (A) Consensus method [] We wll ntally defne Coupled varable; a varable nput s complemented wthn a term of functon and uncomplemented n another term of the same functon Coupled term; one of two terms contanng only one coupled varable Resdue; the part of a coupled term that remans after removng the coupled varable Hazard cover (or consensus term) The RPI (Redundant Prme Implcant) requred to elmnate the statc hazards AND the resdues of coupled pterm to obtan the SOP hazard cover, OR the resdues of coupled sterm to obtan the POS hazard cover Eample Lets consder the logc functon f R,,5,7 a) SOP eample wll be determned the prme mplcants usng VetchKarnaugh or QuneMcCluskey methods, as A B C One of the mnmal equatons s (8),, 7 (9) 5, 7
3 468 M G TIMIS ET AL y AC () we have coupled varable coupled terms, resdues, consensus term Therefore, the logc epresson that has no statc hazard n relaton to varable s y () b) POS eample wll be determned the prme mplcants usng VetchKarnaugh or QuneMc Cluskey methods, as a b c One of the mnmal equatons s,, 4 4,6 () y () we have coupled varable coupled terms, resdues, consensus term The equaton () shows no statc hazard Eample Let s consder the functon of four varables y f R,,,5,6,7,8,9,,4 SOP hazard wll be determned the prme mplcants usng QuneMcCluskey method, as A B C D E F G H, 5,6 5, 7 6,7,4,,8, 9,,8,, 6,,4 (4) Applyng the Patrck method [6], gong from prme mplcants table wll be determned all SOP solutons Let s consder the logcal p varables attached to the prme mplcants as follows p A, f p, the A prme mplcant s present n the logcal functon epresson, otherwse p (A prme mplcant s not present n the logcal functon epresson), etc Therefore, consderng the correspondence p B, p C, p D, p4 E, p5 F, p6 G, p H, n the table llustrated n Table s shown the 7 p Table The SOP coverage table dec equv p p p p p 4 p 5 p 6 p 7 Patrck coverage It wrtes the coverage equaton p5 p6 p p5 p p6 p7 p pp p p7p p p p p p p p p p (5) Smplfcatons are made by usng the laws of Boolean algebra the redundance law, the dentty law and the dstrbutve law p5 p p6 p7 p p p7 p4 p7p pp p or p5p7 p p p6p7 p4 p p p or p5p7 p p4 p p4 p6 p p p or p p p p p p p p p p p p (6) A verson of the optmal soluton corresponds to p p p trplet, e 5 7 y f,,, F H C The cost of ths functon n SOP mplementaton s (7) C y C C C (It was consdered the varables,, avalable at nput) It can verfy that any other coverage has a hgher cost For eample, the coverage p5 p7 p p whch corresponds to y F H AD (8)
4 M G TIMIS ET AL 469 has the cost C y 4 4 The Statc Hazard Elmnaton (B) The consensus method We apply the same method as n [7], only that t has a strong computng nature Any logc functon can be wrtten as y e e (), e y n, n,,,,,, e y,,,,,,, n n Obvously, f y a b c (), then e ac, e bc If we add the term e e to relaton (), the functon presents no hazard towards In terms of the consensus method, the term that covers the statc hazard s e e ac bc ca b (9), therefore for the form () wll be e e, and for the form (), ab Consderng the second eample, we wll have hazard n relaton to the nput y F H C (), e, e, e e F D By addng F D term to relaton (4), t obtans y F H CF D () hazard n relaton to the nput e e e e G, () () Therefore, the epresson of the functon becomes y F H CDG (4) hazard n relaton to the nput e e Therefore, e e H A The epresson of the functon becomes y F H CDG A t hazard n relaton to the nput e t, t e t (5) (6) e e t t t (7) so that remans the same epresson (), whch has no hazards n relaton to From the relaton (), t sees that the epresson of the functon wthout SOP hazards contans all prme mplcants wthout B and E (C) The method of solvng of some Boolean equatons [8] A logc functon can be wrtten as y a b c (8) a c f,,,,,,, n n n n bc f,,,,,,, Accordng to a theorem from [8], a logc functon epressed as SOP, presents a statc hazard n the stuaton, a stuaton deducted by solvng the followng system of logcal equatons a b (9) c We return to the same functon, (4) y F H C hazard n relaton to the nput y (),
5 47 M G TIMIS ET AL The functon wll present SOP hazard, f () Therefore,,,, whch mposes a hazard at commutaton, whch mposes the addng of the prme mplcant D 6,7 to functon The functon becomes y F H CD hazard n relaton to the nput a b or c () () Therefore, we wll have hazards n the followng cases, 8, The prevous commutatons are equvalent to the mplcant G,,8, The functon becomes y F H CDG (4) hazard n relaton to the nput a b and c, We wll have the soluton The correspondng commutaton s (5) (5),5 Therefore, the term A, 5 s added to the functon And therefore y F H CDG A (6) hazard n relaton to the nput y (7) a b (8) c Because one of the terms ab, s zero, we have no hazards n relaton to that varable 5 Conclusons The contrbuton of the authors conssts n that by analyss of two methods of detecton/elmnaton of the statc hazard, nsstng of the POS method for the logc functon whch wasn t analyzed n [] The boolean equaton [,], presents some advantages nstead the consensus methods, the most mportant to determne the transactons whch causes statc hazard It concludes that the classcal method of the 7s, the method of solvng some specfc Boolean equatons [4], presents some advantages compared to consensus method [5], whch has a strong heurstc nature In the frst method t used the consensus theorem to determne the cover term that s equal wth the product of the two resdual mplcants [6], and n the second method t resolved a Boolean equaton system [7] The authors observed that n the second method the dgtal hazard can be earler detected If the Boolean equaton system s ncompatble (doesn t have solutons), the consdered logcal functon doesn t have the statc hazard regardng the coupled varable Usng the logcal computatons, ths method permts to determne the needed transtons to elmnate the dgtal hazard From the both methods, we can observe that statc hazard can be removed by addng the prme mplcants step by step The same method wth the same conclusons was appled to the statc hazard (POS), usng the dualty theorem [8,9] The authors observed that n the second method the dgtal hazard can be earler detected If the Boolean equaton system s ncompatble (doesn t have solutons), the consdered logcal functon doesn t have the statc hazard regardng the coupled varable Usng the logcal com
6 M G TIMIS ET AL 47 putatons, ths method permts to determne the needed transtons to elmnate the dgtal hazard REFERENCES [] The Comparatve Study of Two Analytcal Methods for Detecton and Elmnaton of the Statc Hazard n Combnatonal Logc Crcuts, 5th Internatonal Conference on System Theory, Control and Computng (ITCC), Snaa, 46 Octomber, pp 4 [] R F Tnder, Engneerng Dgtal Desgn, Academc Press, Waltham, [] Ch Roth, Fundamentals of Logc Desgn, West Publshng Company, Eagan, 999 [4] J P Perrn, M Denouette and E Dacln, Systems Lo gques, Tome Dunord, Pars, 997 [5] E T Rngkjob, A Method for Detecton and Elmnaton of Statc Hazards n Factored Combnatonal Swtchng Crcuts, Syracuse Unversty, New York, [6] J A McCormck, Detecton and Elmnaton of Statc Hazards n Multlevel XORSOP/EQVPOS Functons, Washngton State Unversty, Pullman, [7] K Raj, Dgtal Systems Prncples and Desgn, Pearson Educaton Inda, Upper Saddle Rver, [8] Al Valach, R Slon, V Onofre and Fl Hoza, Analyss, Synthess and Verfcaton of Dgtal Logc Systems, Ed NordEst, Ias, 99 [9] O Ursaru and C Aghon, Multlevel Inverters wth Imbrcated Swtchng Cells, PWM and DPWMControlled, Electroncs and Electrcal Engneerng, Kaunas,
Linear Circuits Analysis. Superposition, Thevenin /Norton Equivalent circuits
Lnear Crcuts Analyss. Superposton, Theenn /Norton Equalent crcuts So far we hae explored tmendependent (resste) elements that are also lnear. A tmendependent elements s one for whch we can plot an / cure.
More informationMaitra Cascade Minimization
Matra Cascade Mnmzaton Voudours Dmtros Dr. apakonstantnou George Natonal Techncal Unversty o Athens Basc Dentons Comple Matra Term [] Constant 0 Boolean uncton Lteral M Matra Term a lteral G Arbtrary varable
More informationExtending Probabilistic Dynamic Epistemic Logic
Extendng Probablstc Dynamc Epstemc Logc Joshua Sack May 29, 2008 Probablty Space Defnton A probablty space s a tuple (S, A, µ), where 1 S s a set called the sample space. 2 A P(S) s a σalgebra: a set
More informationInstitute of Informatics, Faculty of Business and Management, Brno University of Technology,Czech Republic
Lagrange Multplers as Quanttatve Indcators n Economcs Ivan Mezník Insttute of Informatcs, Faculty of Busness and Management, Brno Unversty of TechnologCzech Republc Abstract The quanttatve role of Lagrange
More informationImplementation of Boolean Functions through Multiplexers with the Help of Shannon Expansion Theorem
Internatonal Journal o Computer pplcatons (975 8887) Volume 62 No.6, January 23 Implementaton o Boolean Functons through Multplexers wth the Help o Shannon Expanson Theorem Saurabh Rawat Graphc Era Unversty.
More informationComparison of Control Strategies for Shunt Active Power Filter under Different Load Conditions
Comparson of Control Strateges for Shunt Actve Power Flter under Dfferent Load Condtons Sanjay C. Patel 1, Tushar A. Patel 2 Lecturer, Electrcal Department, Government Polytechnc, alsad, Gujarat, Inda
More informationbenefit is 2, paid if the policyholder dies within the year, and probability of death within the year is ).
REVIEW OF RISK MANAGEMENT CONCEPTS LOSS DISTRIBUTIONS AND INSURANCE Loss and nsurance: When someone s subject to the rsk of ncurrng a fnancal loss, the loss s generally modeled usng a random varable or
More informationThe University of Texas at Austin. Austin, Texas 78712. December 1987. Abstract. programs in which operations of dierent processes mayoverlap.
Atomc Semantcs of Nonatomc Programs James H. Anderson Mohamed G. Gouda Department of Computer Scences The Unversty of Texas at Austn Austn, Texas 78712 December 1987 Abstract We argue that t s possble,
More information8.5 UNITARY AND HERMITIAN MATRICES. The conjugate transpose of a complex matrix A, denoted by A*, is given by
6 CHAPTER 8 COMPLEX VECTOR SPACES 5. Fnd the kernel of the lnear transformaton gven n Exercse 5. In Exercses 55 and 56, fnd the mage of v, for the ndcated composton, where and are gven by the followng
More informationThe OC Curve of Attribute Acceptance Plans
The OC Curve of Attrbute Acceptance Plans The Operatng Characterstc (OC) curve descrbes the probablty of acceptng a lot as a functon of the lot s qualty. Fgure 1 shows a typcal OC Curve. 10 8 6 4 1 3 4
More information1. Fundamentals of probability theory 2. Emergence of communication traffic 3. Stochastic & Markovian Processes (SP & MP)
6.3 /  Communcaton Networks II (Görg) SS20  www.comnets.unbremen.de Communcaton Networks II Contents. Fundamentals of probablty theory 2. Emergence of communcaton traffc 3. Stochastc & Markovan Processes
More informationWhat is Candidate Sampling
What s Canddate Samplng Say we have a multclass or mult label problem where each tranng example ( x, T ) conssts of a context x a small (mult)set of target classes T out of a large unverse L of possble
More information"Research Note" APPLICATION OF CHARGE SIMULATION METHOD TO ELECTRIC FIELD CALCULATION IN THE POWER CABLES *
Iranan Journal of Scence & Technology, Transacton B, Engneerng, ol. 30, No. B6, 789794 rnted n The Islamc Republc of Iran, 006 Shraz Unversty "Research Note" ALICATION OF CHARGE SIMULATION METHOD TO ELECTRIC
More information+ + +   This circuit than can be reduced to a planar circuit
MeshCurrent Method The meshcurrent s analog of the nodeoltage method. We sole for a new set of arables, mesh currents, that automatcally satsfy KCLs. As such, meshcurrent method reduces crcut soluton to
More information6. EIGENVALUES AND EIGENVECTORS 3 = 3 2
EIGENVALUES AND EIGENVECTORS The Characterstc Polynomal If A s a square matrx and v s a nonzero vector such that Av v we say that v s an egenvector of A and s the correspondng egenvalue Av v Example :
More informationv a 1 b 1 i, a 2 b 2 i,..., a n b n i.
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 455 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces we have studed thus far n the text are real vector spaces snce the scalars are
More informationAnalysis and Modeling of Buck Converter in DiscontinuousOutputInductorCurrent Mode Operation *
Energy and Power Engneerng, 3, 5, 85856 do:.436/ee.3.54b63 Publshed Onlne July 3 (htt://www.scr.org/journal/ee) Analyss and Modelng of Buck Converter n DscontnuousOututInductorCurrent Mode Oeraton
More informationLogical Development Of Vogel s Approximation Method (LDVAM): An Approach To Find Basic Feasible Solution Of Transportation Problem
INTERNATIONAL JOURNAL OF SCIENTIFIC & TECHNOLOGY RESEARCH VOLUME, ISSUE, FEBRUARY ISSN 77866 Logcal Development Of Vogel s Approxmaton Method (LD An Approach To Fnd Basc Feasble Soluton Of Transportaton
More informationgreatest common divisor
4. GCD 1 The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no
More informationLaddered Multilevel DC/AC Inverters used in Solar Panel Energy Systems
Proceedngs of the nd Internatonal Conference on Computer Scence and Electroncs Engneerng (ICCSEE 03) Laddered Multlevel DC/AC Inverters used n Solar Panel Energy Systems Fang Ln Luo, Senor Member IEEE
More informationCan Auto Liability Insurance Purchases Signal Risk Attitude?
Internatonal Journal of Busness and Economcs, 2011, Vol. 10, No. 2, 159164 Can Auto Lablty Insurance Purchases Sgnal Rsk Atttude? ChuShu L Department of Internatonal Busness, Asa Unversty, Tawan ShengChang
More informationModule 2 LOSSLESS IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module LOSSLESS IMAGE COMPRESSION SYSTEMS Lesson 3 Lossless Compresson: Huffman Codng Instructonal Objectves At the end of ths lesson, the students should be able to:. Defne and measure source entropy..
More informationA hybrid global optimization algorithm based on parallel chaos optimization and outlook algorithm
Avalable onlne www.ocpr.com Journal of Chemcal and Pharmaceutcal Research, 2014, 6(7):18841889 Research Artcle ISSN : 09757384 CODEN(USA) : JCPRC5 A hybrd global optmzaton algorthm based on parallel
More informationGRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 NORM
GRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 NORM BARRIOT JeanPerre, SARRAILH Mchel BGI/CNES 18.av.E.Beln 31401 TOULOUSE Cedex 4 (France) Emal: jeanperre.barrot@cnes.fr 1/Introducton The
More informationCommunication Networks II Contents
8 / 1  Communcaton Networs II (Görg)  www.comnets.unbremen.de Communcaton Networs II Contents 1 Fundamentals of probablty theory 2 Traffc n communcaton networs 3 Stochastc & Marovan Processes (SP
More informationQuantization Effects in Digital Filters
Quantzaton Effects n Dgtal Flters Dstrbuton of Truncaton Errors In two's complement representaton an exact number would have nfntely many bts (n general). When we lmt the number of bts to some fnte value
More informationThe descriptive complexity of the family of Banach spaces with the πproperty
Arab. J. Math. (2015) 4:35 39 DOI 10.1007/s4006501401163 Araban Journal of Mathematcs Ghadeer Ghawadrah The descrptve complexty of the famly of Banach spaces wth the πproperty Receved: 25 March 2014
More informationA Secure PasswordAuthenticated Key Agreement Using Smart Cards
A Secure PasswordAuthentcated Key Agreement Usng Smart Cards Ka Chan 1, WenChung Kuo 2 and JnChou Cheng 3 1 Department of Computer and Informaton Scence, R.O.C. Mltary Academy, Kaohsung 83059, Tawan,
More informationOn the Optimal Control of a Cascade of HydroElectric Power Stations
On the Optmal Control of a Cascade of HydroElectrc Power Statons M.C.M. Guedes a, A.F. Rbero a, G.V. Smrnov b and S. Vlela c a Department of Mathematcs, School of Scences, Unversty of Porto, Portugal;
More informationFuzzy Set Approach To Asymmetrical Load Balancing In Distribution Networks
Fuzzy Set Approach To Asymmetrcal Load Balancng n Dstrbuton Networks Goran Majstrovc Energy nsttute Hrvoje Por Zagreb, Croata goran.majstrovc@ehp.hr Slavko Krajcar Faculty of electrcal engneerng and computng
More informationFeature selection for intrusion detection. Slobodan Petrović NISlab, Gjøvik University College
Feature selecton for ntruson detecton Slobodan Petrovć NISlab, Gjøvk Unversty College Contents The feature selecton problem Intruson detecton Traffc features relevant for IDS The CFS measure The mrmr measure
More informationActivity Scheduling for CostTime Investment Optimization in Project Management
PROJECT MANAGEMENT 4 th Internatonal Conference on Industral Engneerng and Industral Management XIV Congreso de Ingenería de Organzacón Donosta San Sebastán, September 8 th 10 th 010 Actvty Schedulng
More informationInterleaved Power Factor Correction (IPFC)
Interleaved Power Factor Correcton (IPFC) 2009 Mcrochp Technology Incorporated. All Rghts Reserved. Interleaved Power Factor Correcton Slde 1 Welcome to the Interleaved Power Factor Correcton Reference
More informationThe circuit shown on Figure 1 is called the common emitter amplifier circuit. The important subsystems of this circuit are:
polar Juncton Transstor rcuts Voltage and Power Amplfer rcuts ommon mtter Amplfer The crcut shown on Fgure 1 s called the common emtter amplfer crcut. The mportant subsystems of ths crcut are: 1. The basng
More informationRecurrence. 1 Definitions and main statements
Recurrence 1 Defntons and man statements Let X n, n = 0, 1, 2,... be a MC wth the state space S = (1, 2,...), transton probabltes p j = P {X n+1 = j X n = }, and the transton matrx P = (p j ),j S def.
More information2.4 Bivariate distributions
page 28 2.4 Bvarate dstrbutons 2.4.1 Defntons Let X and Y be dscrete r.v.s defned on the same probablty space (S, F, P). Instead of treatng them separately, t s often necessary to thnk of them actng together
More informationLuby s Alg. for Maximal Independent Sets using Pairwise Independence
Lecture Notes for Randomzed Algorthms Luby s Alg. for Maxmal Independent Sets usng Parwse Independence Last Updated by Erc Vgoda on February, 006 8. Maxmal Independent Sets For a graph G = (V, E), an ndependent
More informationAn Alternative Way to Measure Private Equity Performance
An Alternatve Way to Measure Prvate Equty Performance Peter Todd Parlux Investment Technology LLC Summary Internal Rate of Return (IRR) s probably the most common way to measure the performance of prvate
More informationSCALAR A physical quantity that is completely characterized by a real number (or by its numerical value) is called a scalar. In other words, a scalar
SCALAR A phscal quantt that s completel charactered b a real number (or b ts numercal value) s called a scalar. In other words, a scalar possesses onl a magntude. Mass, denst, volume, temperature, tme,
More informationQUANTUM MECHANICS, BRAS AND KETS
PH575 SPRING QUANTUM MECHANICS, BRAS AND KETS The followng summares the man relatons and defntons from quantum mechancs that we wll be usng. State of a phscal sstem: The state of a phscal sstem s represented
More informationTraffic State Estimation in the Traffic Management Center of Berlin
Traffc State Estmaton n the Traffc Management Center of Berln Authors: Peter Vortsch, PTV AG, Stumpfstrasse, D763 Karlsruhe, Germany phone ++49/72/965/35, emal peter.vortsch@ptv.de Peter Möhl, PTV AG,
More informationHow Sets of Coherent Probabilities May Serve as Models for Degrees of Incoherence
1 st Internatonal Symposum on Imprecse Probabltes and Ther Applcatons, Ghent, Belgum, 29 June 2 July 1999 How Sets of Coherent Probabltes May Serve as Models for Degrees of Incoherence Mar J. Schervsh
More informationSupport Vector Machines
Support Vector Machnes Max Wellng Department of Computer Scence Unversty of Toronto 10 Kng s College Road Toronto, M5S 3G5 Canada wellng@cs.toronto.edu Abstract Ths s a note to explan support vector machnes.
More informationResearch Article Enhanced TwoStep Method via Relaxed Order of αsatisfactory Degrees for Fuzzy Multiobjective Optimization
Hndaw Publshng Corporaton Mathematcal Problems n Engneerng Artcle ID 867836 pages http://dxdoorg/055/204/867836 Research Artcle Enhanced TwoStep Method va Relaxed Order of αsatsfactory Degrees for Fuzzy
More informationMultiplePeriod Attribution: Residuals and Compounding
MultplePerod Attrbuton: Resduals and Compoundng Our revewer gave these authors full marks for dealng wth an ssue that performance measurers and vendors often regard as propretary nformaton. In 1994, Dens
More informationAn Analysis of Central Processor Scheduling in Multiprogrammed Computer Systems
STANCS73355 I SUSE73013 An Analyss of Central Processor Schedulng n Multprogrammed Computer Systems (Dgest Edton) by Thomas G. Prce October 1972 Techncal Report No. 57 Reproducton n whole or n part
More informationGrid Resource Selection Optimization with Guarantee Quality of Service by GAPSO
Australan Journal of Basc and Appled Scences, 5(11): 21392145, 2011 ISSN 19918178 Grd Resource Selecton Optmzaton wth Guarantee Qualty of Servce by GAPSO 1 Hossen Shrgah and 2 Nameh Danesh 1 Islamc Azad
More information1 Approximation Algorithms
CME 305: Dscrete Mathematcs and Algorthms 1 Approxmaton Algorthms In lght of the apparent ntractablty of the problems we beleve not to le n P, t makes sense to pursue deas other than complete solutons
More informationWe are now ready to answer the question: What are the possible cardinalities for finite fields?
Chapter 3 Fnte felds We have seen, n the prevous chapters, some examples of fnte felds. For example, the resdue class rng Z/pZ (when p s a prme) forms a feld wth p elements whch may be dentfed wth the
More informationFormula of Total Probability, Bayes Rule, and Applications
1 Formula of Total Probablty, Bayes Rule, and Applcatons Recall that for any event A, the par of events A and A has an ntersecton that s empty, whereas the unon A A represents the total populaton of nterest.
More informationNew bounds in BalogSzemerédiGowers theorem
New bounds n BalogSzemerédGowers theorem By Tomasz Schoen Abstract We prove, n partcular, that every fnte subset A of an abelan group wth the addtve energy κ A 3 contans a set A such that A κ A and A
More informationImplementation of Deutsch's Algorithm Using Mathcad
Implementaton of Deutsch's Algorthm Usng Mathcad Frank Roux The followng s a Mathcad mplementaton of Davd Deutsch's quantum computer prototype as presented on pages  n "Machnes, Logc and Quantum Physcs"
More informationTime Domain simulation of PD Propagation in XLPE Cables Considering Frequency Dependent Parameters
Internatonal Journal of Smart Grd and Clean Energy Tme Doman smulaton of PD Propagaton n XLPE Cables Consderng Frequency Dependent Parameters We Zhang a, Jan He b, Ln Tan b, Xuejun Lv b, HongJe L a *
More informationThe covariance is the two variable analog to the variance. The formula for the covariance between two variables is
Regresson Lectures So far we have talked only about statstcs that descrbe one varable. What we are gong to be dscussng for much of the remander of the course s relatonshps between two or more varables.
More informationThe Development of Web Log Mining Based on ImproveKMeans Clustering Analysis
The Development of Web Log Mnng Based on ImproveKMeans Clusterng Analyss TngZhong Wang * College of Informaton Technology, Luoyang Normal Unversty, Luoyang, 471022, Chna wangtngzhong2@sna.cn Abstract.
More informationMultiplication Algorithms for Radix2 RNCodings and Two s Complement Numbers
Multplcaton Algorthms for Radx RNCodngs and Two s Complement Numbers JeanLuc Beuchat Projet Arénare, LIP, ENS Lyon 46, Allée d Itale F 69364 Lyon Cedex 07 jeanluc.beuchat@enslyon.fr JeanMchel Muller
More informationForecasting the Demand of Emergency Supplies: Based on the CBR Theory and BP Neural Network
700 Proceedngs of the 8th Internatonal Conference on Innovaton & Management Forecastng the Demand of Emergency Supples: Based on the CBR Theory and BP Neural Network Fu Deqang, Lu Yun, L Changbng School
More informationRobust Design of Public Storage Warehouses. Yeming (Yale) Gong EMLYON Business School
Robust Desgn of Publc Storage Warehouses Yemng (Yale) Gong EMLYON Busness School Rene de Koster Rotterdam school of management, Erasmus Unversty Abstract We apply robust optmzaton and revenue management
More informationControl Charts with Supplementary Runs Rules for Monitoring Bivariate Processes
Control Charts wth Supplementary Runs Rules for Montorng varate Processes Marcela. G. Machado *, ntono F.. Costa * * Producton Department, Sao Paulo State Unversty, Campus of Guaratnguetá, 564 Guaratnguetá,
More informationANALYZING THE RELATIONSHIPS BETWEEN QUALITY, TIME, AND COST IN PROJECT MANAGEMENT DECISION MAKING
ANALYZING THE RELATIONSHIPS BETWEEN QUALITY, TIME, AND COST IN PROJECT MANAGEMENT DECISION MAKING Matthew J. Lberatore, Department of Management and Operatons, Vllanova Unversty, Vllanova, PA 19085, 6105194390,
More informationSingle and multiple stage classifiers implementing logistic discrimination
Sngle and multple stage classfers mplementng logstc dscrmnaton Hélo Radke Bttencourt 1 Dens Alter de Olvera Moraes 2 Vctor Haertel 2 1 Pontfíca Unversdade Católca do Ro Grande do Sul  PUCRS Av. Ipranga,
More informationUNILATERALLY INJECTIONLOCKED GUNN OSCILLATOR PAIR ACTING AS A MICROWAVE ACTIVE NOTCH FILTER
Internatonal Journal of Electroncs and Communcaton Engneerng & Technology (IJECET) Volume 7, Issue, MarchAprl 016, pp. 5, Artcle ID: IJECET_07_0_004 Aalable onlne at http://www.aeme.com/ijecet/ssues.asp?jtype=ijecet&vtype=7&itype=
More informationIT09  Identity Management Policy
IT09  Identty Management Polcy Introducton 1 The Unersty needs to manage dentty accounts for all users of the Unersty s electronc systems and ensure that users hae an approprate leel of access to these
More informationOpen Access A Load Balancing Strategy with Bandwidth Constraint in Cloud Computing. Jing Deng 1,*, Ping Guo 2, Qi Li 3, Haizhu Chen 1
Send Orders for Reprnts to reprnts@benthamscence.ae The Open Cybernetcs & Systemcs Journal, 2014, 8, 115121 115 Open Access A Load Balancng Strategy wth Bandwdth Constrant n Cloud Computng Jng Deng 1,*,
More informationSPECIALIZED DAY TRADING  A NEW VIEW ON AN OLD GAME
August 7  August 12, 2006 n BadenBaden, Germany SPECIALIZED DAY TRADING  A NEW VIEW ON AN OLD GAME Vladmr Šmovć 1, and Vladmr Šmovć 2, PhD 1 Faculty of Electrcal Engneerng and Computng, Unska 3, 10000
More informationwhere the coordinates are related to those in the old frame as follows.
Chapter 2  Cartesan Vectors and Tensors: Ther Algebra Defnton of a vector Examples of vectors Scalar multplcaton Addton of vectors coplanar vectors Unt vectors A bass of noncoplanar vectors Scalar product
More informationSensor placement for leak detection and location in water distribution networks
Sensor placement for leak detecton and locaton n water dstrbuton networks ABSTRACT R. Sarrate*, J. Blesa, F. Near, J. Quevedo Automatc Control Department, Unverstat Poltècnca de Catalunya, Rambla de Sant
More informationA Study on Secure Data Storage Strategy in Cloud Computing
Journal of Convergence Informaton Technology Volume 5, Number 7, Setember 00 A Study on Secure Data Storage Strategy n Cloud Comutng Danwe Chen, Yanjun He, Frst Author College of Comuter Technology, Nanjng
More informationData Broadcast on a MultiSystem Heterogeneous Overlayed Wireless Network *
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 24, 819840 (2008) Data Broadcast on a MultSystem Heterogeneous Overlayed Wreless Network * Department of Computer Scence Natonal Chao Tung Unversty Hsnchu,
More informationMAPP. MERIS level 3 cloud and water vapour products. Issue: 1. Revision: 0. Date: 9.12.1998. Function Name Organisation Signature Date
Ttel: Project: Doc. No.: MERIS level 3 cloud and water vapour products MAPP MAPPATBDClWVL3 Issue: 1 Revson: 0 Date: 9.12.1998 Functon Name Organsaton Sgnature Date Author: Bennartz FUB Preusker FUB Schüller
More informationNONCONSTANT SUM REDANDBLACK GAMES WITH BETDEPENDENT WIN PROBABILITY FUNCTION LAURA PONTIGGIA, University of the Sciences in Philadelphia
To appear n Journal o Appled Probablty June 2007 OCOSTAT SUM REDADBLACK GAMES WITH BETDEPEDET WI PROBABILITY FUCTIO LAURA POTIGGIA, Unversty o the Scences n Phladelpha Abstract In ths paper we nvestgate
More informationPeriod and Deadline Selection for Schedulability in RealTime Systems
Perod and Deadlne Selecton for Schedulablty n RealTme Systems Thdapat Chantem, Xaofeng Wang, M.D. Lemmon, and X. Sharon Hu Department of Computer Scence and Engneerng, Department of Electrcal Engneerng
More informationMooring Pattern Optimization using Genetic Algorithms
6th World Congresses of Structural and Multdscplnary Optmzaton Ro de Janero, 30 May  03 June 005, Brazl Moorng Pattern Optmzaton usng Genetc Algorthms Alonso J. Juvnao Carbono, Ivan F. M. Menezes Luz
More informationx f(x) 1 0.25 1 0.75 x 1 0 1 1 0.04 0.01 0.20 1 0.12 0.03 0.60
BIVARIATE DISTRIBUTIONS Let be a varable that assumes the values { 1,,..., n }. Then, a functon that epresses the relatve frequenc of these values s called a unvarate frequenc functon. It must be true
More informationCalculation of Sampling Weights
Perre Foy Statstcs Canada 4 Calculaton of Samplng Weghts 4.1 OVERVIEW The basc sample desgn used n TIMSS Populatons 1 and 2 was a twostage stratfed cluster desgn. 1 The frst stage conssted of a sample
More informationThe Analysis of Outliers in Statistical Data
THALES Project No. xxxx The Analyss of Outlers n Statstcal Data Research Team Chrysses Caron, Assocate Professor (P.I.) Vaslk Karot, Doctoral canddate Polychrons Economou, Chrstna Perrakou, Postgraduate
More informationProject Networks With MixedTime Constraints
Project Networs Wth MxedTme Constrants L Caccetta and B Wattananon Western Australan Centre of Excellence n Industral Optmsaton (WACEIO) Curtn Unversty of Technology GPO Box U1987 Perth Western Australa
More informationPOLYSA: A Polynomial Algorithm for Nonbinary Constraint Satisfaction Problems with and
POLYSA: A Polynomal Algorthm for Nonbnary Constrant Satsfacton Problems wth and Mguel A. Saldo, Federco Barber Dpto. Sstemas Informátcos y Computacón Unversdad Poltécnca de Valenca, Camno de Vera s/n
More informationResource Scheduling in Desktop Grid by GridJQA
The 3rd Internatonal Conference on Grd and Pervasve Computng  Worshops esource Schedulng n Destop Grd by GrdJQA L. Mohammad Khanl M. Analou Assstant professor Assstant professor C.S. Dept.Tabrz Unversty
More informationAn Enhanced SuperResolution System with Improved Image Registration, Automatic Image Selection, and Image Enhancement
An Enhanced SuperResoluton System wth Improved Image Regstraton, Automatc Image Selecton, and Image Enhancement YuChuan Kuo ( ), ChenYu Chen ( ), and ChouShann Fuh ( ) Department of Computer Scence
More informationWhen Network Effect Meets Congestion Effect: Leveraging Social Services for Wireless Services
When Network Effect Meets Congeston Effect: Leveragng Socal Servces for Wreless Servces aowen Gong School of Electrcal, Computer and Energy Engeerng Arzona State Unversty Tempe, AZ 8587, USA xgong9@asuedu
More informationA DYNAMIC CRASHING METHOD FOR PROJECT MANAGEMENT USING SIMULATIONBASED OPTIMIZATION. Michael E. Kuhl Radhamés A. TolentinoPeña
Proceedngs of the 2008 Wnter Smulaton Conference S. J. Mason, R. R. Hll, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler eds. A DYNAMIC CRASHING METHOD FOR PROJECT MANAGEMENT USING SIMULATIONBASED OPTIMIZATION
More informationINVESTIGATION OF VEHICULAR USERS FAIRNESS IN CDMAHDR NETWORKS
21 22 September 2007, BULGARIA 119 Proceedngs of the Internatonal Conference on Informaton Technologes (InfoTech2007) 21 st 22 nd September 2007, Bulgara vol. 2 INVESTIGATION OF VEHICULAR USERS FAIRNESS
More informationUsing Mixture Covariance Matrices to Improve Face and Facial Expression Recognitions
Usng Mxture Covarance Matrces to Improve Face and Facal Expresson Recogntons Carlos E. homaz, Duncan F. Glles and Raul Q. Fetosa 2 Imperal College of Scence echnology and Medcne, Department of Computng,
More informationFrequency Selective IQ Phase and IQ Amplitude Imbalance Adjustments for OFDM Direct Conversion Transmitters
Frequency Selectve IQ Phase and IQ Ampltude Imbalance Adjustments for OFDM Drect Converson ransmtters Edmund Coersmeer, Ernst Zelnsk Noka, Meesmannstrasse 103, 44807 Bochum, Germany edmund.coersmeer@noka.com,
More informationAn alternate pointwise scheme for Electric Field Integral Equations
An alternate pontwse scheme for Electrc Feld Integral Equatons Gabrele Rosat, Juan R. Mosg Laboratory of Electromagnetcs and Acoustcs (LEMA) Ecole Polytechnque Fédérale de Lausanne (EPFL), CH05 Lausanne,
More informationA Design Method of Highavailability and Lowopticalloss Optical Aggregation Network Architecture
A Desgn Method of Hghavalablty and Lowoptcalloss Optcal Aggregaton Network Archtecture Takehro Sato, Kuntaka Ashzawa, Kazumasa Tokuhash, Dasuke Ish, Satoru Okamoto and Naoak Yamanaka Dept. of Informaton
More informationStatistical Approach for Offline Handwritten Signature Verification
Journal of Computer Scence 4 (3): 181185, 2008 ISSN 15493636 2008 Scence Publcatons Statstcal Approach for Offlne Handwrtten Sgnature Verfcaton 2 Debnath Bhattacharyya, 1 Samr Kumar Bandyopadhyay, 2
More informationSimple Interest Loans (Section 5.1) :
Chapter 5 Fnance The frst part of ths revew wll explan the dfferent nterest and nvestment equatons you learned n secton 5.1 through 5.4 of your textbook and go through several examples. The second part
More informationSection 5.4 Annuities, Present Value, and Amortization
Secton 5.4 Annutes, Present Value, and Amortzaton Present Value In Secton 5.2, we saw that the present value of A dollars at nterest rate per perod for n perods s the amount that must be deposted today
More informationThe Application of Fractional Brownian Motion in Option Pricing
Vol. 0, No. (05), pp. 738 http://dx.do.org/0.457/jmue.05.0..6 The Applcaton of Fractonal Brownan Moton n Opton Prcng Qngxn Zhou School of Basc Scence,arbn Unversty of Commerce,arbn zhouqngxn98@6.com
More informationVERIFICATION OF BUSINESS RULES USING LOGIC PROGRAMMING MEANS
Sesson 3. Formalzaton and Smulaton of Busness Systems VERIFICATION OF BUSINESS RULES USING LOGIC PROGRAMMING MEANS Henrkas Pranevcus, Regna Msevcene Kaunas Unversty of Technology, Department of Busness
More informationChapter 4 ECONOMIC DISPATCH AND UNIT COMMITMENT
Chapter 4 ECOOMIC DISATCH AD UIT COMMITMET ITRODUCTIO A power system has several power plants. Each power plant has several generatng unts. At any pont of tme, the total load n the system s met by the
More informationOnLine Fault Detection in Wind Turbine Transmission System using Adaptive Filter and Robust Statistical Features
OnLne Fault Detecton n Wnd Turbne Transmsson System usng Adaptve Flter and Robust Statstcal Features Ruoyu L Remote Dagnostcs Center SKF USA Inc. 3443 N. Sam Houston Pkwy., Houston TX 77086 Emal: ruoyu.l@skf.com
More informationSection 5.3 Annuities, Future Value, and Sinking Funds
Secton 5.3 Annutes, Future Value, and Snkng Funds Ordnary Annutes A sequence of equal payments made at equal perods of tme s called an annuty. The tme between payments s the payment perod, and the tme
More informationCourse outline. Financial Time Series Analysis. Overview. Data analysis. Predictive signal. Trading strategy
Fnancal Tme Seres Analyss Patrck McSharry patrck@mcsharry.net www.mcsharry.net Trnty Term 2014 Mathematcal Insttute Unversty of Oxford Course outlne 1. Data analyss, probablty, correlatons, vsualsaton
More informationRESEARCH ON DUALSHAKER SINE VIBRATION CONTROL. Yaoqi FENG 1, Hanping QIU 1. China Academy of Space Technology (CAST) yaoqi.feng@yahoo.
ICSV4 Carns Australa 9 July, 007 RESEARCH ON DUALSHAKER SINE VIBRATION CONTROL Yaoq FENG, Hanpng QIU Dynamc Test Laboratory, BISEE Chna Academy of Space Technology (CAST) yaoq.feng@yahoo.com Abstract
More informationJ. Parallel Distrib. Comput.
J. Parallel Dstrb. Comput. 71 (2011) 62 76 Contents lsts avalable at ScenceDrect J. Parallel Dstrb. Comput. journal homepage: www.elsever.com/locate/jpdc Optmzng server placement n dstrbuted systems n
More informationStudy on CET4 Marks in China s Graded English Teaching
Study on CET4 Marks n Chna s Graded Englsh Teachng CHE We College of Foregn Studes, Shandong Insttute of Busness and Technology, P.R.Chna, 264005 Abstract: Ths paper deploys Logt model, and decomposes
More informationA Hierarchical Reliability Model of ServiceBased Software System
2009 33rd Annual IEEE Internatonal Computer Software and Applcatons Conference A Herarchcal Relablty Model of ServceBased Software System Lun Wang, Xaoyng Ba, Lzhu Zhou Department of Computer Scence and
More information