PIECEWISE LINERIZATION OF LOGIC FUNCTIONS *
|
|
- Edward Fox
- 5 years ago
- Views:
Transcription
1 PIECEWISE LINERIZATION OF LOGIC FUNCTIONS * Ilya Levn, Osnat Keren, George Kolotov, Mar Karpovsy 3 Tel Avv Unversty, Ramat Avv, Tel Avv 69978, Israel, levn@computerorg Bar Ilan Unversty, Ramat Gan, Ramat Gan 59, Israel, ereno@engbuacl 3 Boston Unversty, 8 Sant Mary's Street, Boston, MA 5, marar@buedu ABSTRACT The paper deals wth a problem of lnearzaton of mult-output logc functons Specfcally, the case s dscussed, when the functons have a large number of varables and cannot be effcently lnearzed by usng nown technques For soluton of the problem a socalled pecewse lnearzaton s proposed The pecewse lnearzaton comprses decomposton of an ntal mult-output functon nto a networ of components, followed by ndependent lnearzaton of the components The decomposton s based on the theory of D -polynomals descrbed n the paper The resultng pecewse lnearzed networ s drectly mapable onto a specal type of a bnary graph called Parallel Mult Termnal BDD An effcent heurstc algorthm for the pecewse lnearzaton s provded The presented benchmars results demonstrate hgh effcency of the proposed method n comparson wth nown lnearzaton approaches The results also show that ntegratng lnearzaton technques wth the descrbed decomposton, thus obtanng the pecewse lnearzaton, are a very promsng both from practcal and from the theoretcal ponts of vew INTRODUCTION The use of the Lnear Decomposton as tool for optmzaton n logc synthess, partcularly, n Bnary Decson Dagrams (BDDs optmzaton s promsng drecton of research n the feld of logc desgn [] BDDs are a standard part of many CAD systems n logc desgn, sgnal processng, and other areas where effcent, n terms of space and tme, manpulaton of BDD representaton for a gven functon s usually estmated by the number of non-termnal nodes n the BDD The sze of a BDD s very senstve to the order of varables, rangng from the polynomal to the exponental complexty for the same functon for dfferent orders of varables Therefore, the maorty of approaches to the BDD sze reducton are related to development of effcent algorthms for reorderng of varables see for example, [], [3] Lnearly transformed BDDs are defned by allowng lnear combnatons of the varables [4] The nown lnearzaton technques use representaton of logc functons n a form of the truth table The present paper deals wth mult-output logc functons defned by ther mplcant table Moreover, we deal where the case when the mplcant table s sparse (contans a large number of don t cares, and the functon s defned by the correspondng mplcant table depends on the large number of varables In such a case the use of nown lnearzaton technques becomes neffcent or even napplcable due to the great sze of the correspondng truth table The combnaton of the lnearzaton and decomposton was used for mplementaton of planar BDDs [5] and for lnearzaton of functons defned n sum-ofproduct form [6] The present paper develops the dea of pecewse lnearzaton whch s a functonal decomposton followed by a lnearzaton procedure The paper proposes an algorthm for constructng the pecewse lnear mplementaton of an arbtrary logc functon defned by ts sum-of-products (SOP The theoretcal foundaton of our decomposton method s the algebra of D -polynomals [7] The result of the decomposton s a drect mappng of the logc functon onto a specal type of a bnary graph called Parallel Mult Termnal BDD (PMTBDD that conssts of the specfcally connected component MTBDD The decomposton approach descrbed n ths paper ams at practcal mplementatons of logc functons as specfc VLSI structures The man purposes of the proposed technque are to mnmze the sze of the resultng VLSI mplementaton by representng the ntal mult-output functon as a networ of component MTBDDs Specfcally, the above tas, named pecewse lnearzaton, can be stated as follows: Gven a mnmzed sum-of-product representaton of a multple-output logc functon, construct a networ of component MTBDDs of the mnmal sze by applyng lnearzaton of components The paper s organzed as follows Secton descrbes the general structure of PMTBDDs Secton 3 ntroduces the noton of D -polynomals Secton 4 descrbes the algorthm of decomposton, followed by the lnear transformaton of components Expermental results and the correspondng dscusson are provded n Secton 6 Conclusons are presented n Secton 5 * The wor was supported by BSF under Grant 59
2 PARALLEL MULTI TERMINAL BDDS The lnear decomposton of mult-output functons of large number of nput varables, defned by a large set of cubes of a hgh order, s a sgnfcantly hard problem due to ts complexty Decomposng of an ntal functon nto a networ of components followed by ther ndependent lnearzaton can assst n overcomng the problem of complexty for the above cases The proposed decomposton approach s based on a new concept of parallel mult-termnal bnary decson dagram (PMTBDD comprsng component MTBDDs The PMTBDD s constructed by combnng component MTBDDs usng the parallel and seres operatons: Seres connecton: replacng one termnal node of an MTBDD wth another MTBDD Parallel connecton: connectng roots of two or more MTBDDs Introducng the PMTBDD opens a way for handlng mult-output logc functons of a large number of varables, defned by ther SOP (mplcant table wth a large number of cubes of a hgh order 3 D -POLNOMIALS Ths secton ntroduces a noton of D -polynomal whch provdes a convenent mathematcal model for the manpulaton of MTBDD We show that the parallel and seres connectons of the MTBDD can be modeled as a product and substtuton of D - polynomals representng those MTBDDs 3 Representaton of Logc Functons Consder an n-nput, m-output completely specfed n m Boolean functon F : X Z, where X {,,* } and Z {, } Let F be ntally represented n mnmzed (prme and rredundant sum-of-product (SOP form, where each output Z s wrtten as a logcal sum (OR of product terms (mplcants: Z ( I( I ( denotes an ndex set of mplcants assocated wth the output Z Implcants can be shared between dfferent outputs Notce that s are functons of nput varables ( x, x,, x n We wll also refer to them as the -functons Let be the name assocated wth the output Z One can also thn of as an operator whch has to be performed when the correspondng output Z evaluates to wll denote a dummy output functon (or an empty operator whch does not produce any output Defnton D -polynomal s a polynomal defned over a set of operators D Z ( whle the coeffcents Z satsfyng the condtons: a Z (completeness, b Z Z, (orthogonalty Tang ( nto account, we have: ( ( I I( D + + where denotes th -mplcant of functon Z In ths wor we are nterested n a class of D - polynomals defned over a subset of varables whose coeffcents are mplcants of a logc functon Such D -polynomals are used to represent logc functons Coeffcents are defned explctly as the correspondng product terms of the functon, whle s defned mplctly as a complement of (to satsfy the completeness condton D -bnomal s a specal case of D -polynomal, wth exactly two dsont (orthogonal mplcants, D We dstngush between -functons belongng to dfferent D -polynomals by labelng them wth a super-scrpt ndex assocated wth the correspondng polynomal; wll ndcate that mplcant s assocated wth the D -polynomal D The same mplcant can be assocated wth dfferent polynomals, so that for arbtrary values of and Example The followng s a D -polynomal: D x + xx Here, x, xx and xx The correspondng MTBDD may be constructed n straghtforward way and can be acheved by repeatedly applyng the Shannon expanson to D Notce that the smplcty of the above transformaton s based of the followng specfc property of the D : for each applcaton of the Shannon expanson, at least one nput varable s present n all the mplcants Conceptually, a D -polynomal D can be nterpreted as follows If evaluates to, then D If all of the explct functons are equal to, then D whch means that no output s produced (or an empty operator s to be performed Let us defne a product of two D -polynomals Defnton Let D I(, and D I( The product of and D, denoted as D D s defned by: D D ( { }, l D
3 over each par of terms from D and D, ncludng the mplct terms and Here l s a logc product (AND of the correspondng - functons and s a combnaton of the respectve operators In other words: when evaluates to, both and are computed l concurrently Lemma An arbtrary D -polynomal always be represented as follows: where ( + Z, and D Z Z D can (3 Proof We wll demonstrate that the product of ( Z s equal to the D -polynomal wth the same coeffcents Frst, notce that by defnton all explct functons are parwse orthogonal, so that Z Z, for Furthermore, orthogonalty of the functons and the completeness condton that must be satsfed by each D -bnomal mply that Z,, for Hence Z Z Also, notce that the concatenaton { } means that both operators and need to be performed smultaneously Snce s a dummy operator, only has to be computed; Fnally, orthogonalty and completeness condtons of -functons mply that,, &,,, so that, Therefore, the subsequent multplcaton of the consecutve terms of expresson (3 yelds Z Z { } + Z { } + Z { } { } hence { } ( m ( m ( Z + Z ( Z m ( Z + Z + + Z mm ( Z + Z + + Zmm Z QED Theorem An arbtrary D -polynomal D can always be represented as a product of D -bnomals: D Z ( +, I ( (4 where, and After performng the multplcaton we have: D { } { } { } Proof Let D ( ( m + m ( m ( ( Based on ths, every logc functon Z of arbtrary D -polynomal D may be presented as a product of bnomals as follows: Z + ( ( ( + I I (5 Substtutng (5 nto (3 results n (4 QED An mportant concluson from ths theorem s that the product of D -polynomals can be always presented as a product of the correspondng termnal bnomals Subsequently, the termnal bnomals can be multpled to obtan hgher level D -polynomals Obvously, there are several ways to group termnal bnomals to form a D -polynomal Dfferent groupng of termnal bnomals yelds dfferent PMTBDD s, resultng n dfferent mplementatons of Boolean functons Ths fact forms the bass of our decomposton approach 3 Decomposton of D -polynomals We construct an MTBDD correspondng to a system of D -polynomals Dfferent groupngs of the termnal bnomals lead to dfferent mplementatons of the logc functon represented by ths system It defnes a way to decompose the logc functon by manpulatng the system of D -polynomals representng the functon The startng pont of our method s the specfcaton of a logc functon n the form of an mplcant table An ntal system of D -polynomals can be easly derved from the mplcant table by assocatng a sngle D -bnomal wth each product term of the table The functon can then be represented as a product of the D -bnomals Theorem A multple-output Boolean functon can always be mplemented as a product of D - polynomals Proof Represent the mplcant table of the logc functon as a product of D -bnomals and multply the orthogonal bnomals to create the consttuent D - polynomals Concluson: MTBDD correspondng to such an mplementaton can be realzed as a parallel connecton of subtrees correspondng to the ndvdual D -polynomals 4 PARALLEL DECOMPOSITION The am of the proposed parallel decomposton s creatng the PMTBDD for an arbtrary mult-output functon The proposed decomposton algorthm s based on partton of the set of product terms representng the ON-set of the functon nto a set of logc blocs It s followed by a herarchcal
4 decomposton of blocs nto a common header and a set of bloc fragments Ths s accomplshed by extractng a set of common factors (so-called prefxes from the subset of product terms of the orgnal mplcant table Defnton 4: A product term or a part of the product term, s called a prefx A set of all prefxes defnes a bloc header A subset of product terms wth a common prefx s called a bloc A set of all blocs s referred to as a bloc set Defnton 5: The set of terms ncludng the gven prefx precsely s called ts famly The remanng set of product terms, not ncluded n the bloc set, s called a remander Defnton 6: The set of all the rows of the mplcant table that do not belong to any of the famles s called the remander of the current stage A set of product terms obtaned by extractng a common prefx from all the members of the bloc wll form a bloc fragment or tal Defnton 7: The prefx s famly, after all the prefx s varables are set to don t care, s called ts tal Header s a fragment (subset of rows and columns of the mplcant table composed of the prefx varables The header s selected n such a way as to provde mnmzaton of the resultng PMTBDD We propose to select the header by tang nto account the followng underlyng prncple ncrease the percentage of non-don t care cells (densty of the correspondng fragment the mplcant table ensure the effcency lnearzaton of the correspondng bloc By constructon, the bloc header s a logc functon whose ON-set s a superset of the ON-sets of the logc functons assocated wth the ndvdual blocs It wll be mplemented as an MTBDD whose nternal nodes are assocated wth the prefx varables The termnal nodes of the tree represent the bloc fragments, each to be mplemented as a separate MTBDD The target of the proposed decomposton algorthm s to mnmze the total sze of the dagram The algorthm dvdes the ntal functon nto a bloc Bs and a remander R s The bloc s a sum of products of smpler sub-functons wth prefx terms The group of prefxes p the dense fragment s, chosen for the BDD mplementaton forms the header of the bloc and s, ndeed, mplemented as a MTBDD, wth the sub-functons playng the role of the termnals Each of the sub-functons and the remander functon R s can be repeatedly decomposed n the same way, untl no further decomposton s possble An mportant feature of the proposed method s ts ablty to beneft from any other optmzaton method the user may wsh to employ Sftng, K -Procedure, etc [8, ] These wll be appled to the component MTBDDs, and further reduce the total dagram s sze PMTBDD wth lnearzed blocs s denoted LPMTBDD 4 Decomposton Algorthm The followng algorthm detals the flow of a partcular teraton L Empty lst of pars {Prefx, Tal} Let R Set of prodct terms, vector of nteger outputs Let B Basc Prefx, T F ts famly, T T T F \B ts tal L [L, (B, T T ] T U R \ (T F U T R C {t: t R and t B } T R {t: t R\(C T F } C COMMON_PARTS(C Whle C >, Let S Secondary Prefx T F ts famly T T T F \S ts tal L [L, (S, T T ] T O {t: t C and t S } T NO {t: t C\T O } C T O T R T R T NO End Whle Classfy and enumerate the tals n L Construct the Bloc s BDD from L L T {l: l L, Tal(l s trval} L NT {l: l L\L T } If the remander s trval, L T [L T, Remander] Else L NT [L NT, Remander] End If For all the lst elements n L T Implement the tal End For For all the lst elements n L NT Recursvely call ths procedure End For The man part of a partcular teraton conssts of choosng the prefxes for the bloc The prefxes are chosen one by one Each tme a prefx s chosen, all the prefxes not orthogonal to t and belongng to dfferent Z -functons are moved to the remander Non-orthogonal prefxes belongng to the same functon as the prefx n the bloc are ncluded n the bloc Ths contnues untl no more sutable prefxes are present Thereafter the teraton proceeds to enumerate the tals and constructs the bloc s MTBDD The non-trval tals and remander serve as nputs to the next teratons The trval tals are mplemented mmedately as separate conuncton BDDs and do not requre addtonal teratons Example : The mlcant table used n the example s presented n Table Table : The mlcant table for Example # X X X X3 X4 F F F F3 3 4
5 BDD, LTBDD, PMTBDD and LPMTBDD for the example are presented n Fgures -4 correspondngly Fgure Straghtforward mplementaton of the MTBDD for the Example Fgure Lnearly Transformed MTBDD for the Example Fgure 3 PMTBDD correspondng to the Example Fgure 4 Lnearly Transformed PMTBDD for the Example Termnal nodes of MTBDDs n Fgures -4 are mared by decmal numbers of correspondng outputs A standard mplementaton of the exemplary MTBDD, as an ordered MTBDD, s presented n Fgure a Fgure b shows an mplementaton based on the proposed decomposton approach, n a form of PMTBDD The PMTBDD comprses two portons the bloc (left and the remander (rght The portons are assembled by the newly ntroduced parallel connecton of MTBDDs Notce that accordng to the product operaton ntroduced n Defnton, sets of termnal nodes n the PMTBDD and n the standard MTBDD are not the same It s the result of the concatenaton operaton between the orgnal termnal nodes The concatenaton s calculated as the OR functon between correspondng output vectors (see Defnton For example, termnal node 7 n the MTBDD (Fgure corresponds to two termnal nodes 3 and 6 n the PMTBDD (Fgure 3 Such cases reflect the non-dsont property, as n cubes and from Table The proposed approach, presented by Example, allows achevng sgnfcant mprovement: ndeed, the standard MTBDD has 7 non-termnal nodes (NTNs, after lnearzaton ths s reduced to NTNs (and XOR gates PMTBDD has 8 NTNs, lnearzaton further reduces t to 6 NTNs (and XOR gates 4 Choosng the Prefxes In ths secton the process of choosng the sutable bloc header of the teraton s dscussed The requrements for the frst (basc prefx and all other (secondary prefxes are gven and the crtera the choosng them are suggested The choce s performed by gradng all the potental canddates, computng a weghted average of the dfferent grades for each canddate, and then selectng the canddate wth the hghest grade The followng notatons are used: P the prefx under consderaton R the set of rows of the mplcant table For a selected prefx: T F the famly of the prefx T R the set of the terms that don t depend on any of the prefx s varables TU R\ ( TF TR the set of terms dependng on some of the prefx s varables It s called the undecded set, snce these terms are nether the prefx s famly nor ts remander T the set of terms orthogonal to the prefx T T M U the number of varables n the prefx N T F For any set A of terms: X A x : t A,t x " " In other words, ( { ( } ( A X s the set of varables n all the terms of A S ( A { x : t( x " " } In other words, ( A t A number of lterals n all the terms of A S s the
6 ( A sup, where S t s the row n the Sums S t { t A} matrx of the mplcant table correspondng tot In other words, ( A s the set of outputs correspondng to all the terms of A 4 Lst of Canddates The prefx can be ether a complete row of the Products matrx of the mplcant table, or a subset of lterals common to several terms A straghtforward procedure s proposed below for constructng the lst of the canddates from the lst of terms of the mplcant table Let x, y be varables wth values from {,, } The operator ψ ( x,y compares the two Boolean varables and returns the value of one of them f they are equal, don t care otherwse: ψ ( x,y xi( x y + " don' t care" I ( x y (5 The functon Common( T, T accepts the two terms T and T and apples ψ n a btwse manner to each of the varables n the set X ( T X ( T Fnally, the followng method summarzes the suggested procedure Constructng the Lst of Canddates INPUT: Lst of prodct terms OUTPUT: Lst of canddates Output Input Temp Output REPEAT Temp Empty set Apply Common( to every par of terms from Temp If the result s not empty, add t to Temp Output Output U Temp Temp Temp UNTIL Temp 4 Choosng the Basc Prefx The basc prefx s the foundaton of a bloc It s chosen so as to mae the bloc header the most sutable for a BDD mplementaton For ths, the basc prefx has to attract the secondary prefxes close to t and repel those far from t There are three man concerns to consder here: the nput varables, the output functons and the length of the prefx In addton, snce the secondary prefxes wll be chosen from the set T O, t s mperatve to measure the self-orthogonalty of T U The frst crteron answers the Inputs requrement: X ( TF X ( TR (6 X ( X ( TF \ X ( P X ( TR It counts the varables common to the tal and the remander correspondng to the prefx The rato has to be reduced as much as possble, n order to separate the bloc (wth ts tals from the remander Ths crteron has values n [, ] nterval, correspondng to the case when all the remander's varables are present n the tal and to the opposte The second crteron answers the Outputs requrement: ( TF ( TR (7 ( TF ( TR It counts the outputs common to the tal and the remander correspondng to the prefx The ratonale here s the same as for the Inputs requrement The thrd crteron, called Prefx Area, measures the percentage of the area covered by the prefx wthn ts famly MN P (8 S( TF The reasonng s smple: the longer the basc prefx, the longer the lst of canddates for the secondary prefxes The fnal crteron, called Orthogonalty answers the addtonal requrement Sb ( TO T (9 Sb ( TU It counts the number of lterals n the terms orthogonal to the prefx relatve to the number of lterals n all the canddates 43 Choosng the Secondary Prefx In selectng the basc prefx t s mportant to establsh a sold foundaton for the bloc For secondary prefxes the goal s dfferent, and the requrements change accordngly The prefxes already chosen nto the bloc have to be taen nto account In the followng equatons, the superscrpt ndces and + stand for current stuaton and after addng the consdered prefx, respectvely The frst crteron, called Addtonal Inputs, counts the number of varables common to the tal and to the remander of the consdered prefx, but only those not htherto present n the bloc + + X ( TF X ( TR X ( TF X ( TR ( β X X ( T \ X ( P X T ( ( F The second crteron, called Addtonal Outputs, counts the number of output functons common to the tal and to the remander of the consdered prefx Here, le n the prevous crteron, only the newly added outputs are consdered + + ( TF ( TR ( TF ( TR β ( + + ( TF ( TR The thrd crteron, called Addtonal Area, measures the addtonal area brought to the bloc and to the remander by selectng the consdered prefx + + S ( TF S ( TF S ( TR S ( TR β S ( + + S ( TF S ( TR Ths equaton can be rewrtten as follows: S ( T F S ( T R S ( TR S ( TF (3 βs S ( TF S ( TR S ( TR S ( TF Each of the two fractons s lmted to the nterval [, ], but the total value of β S s n the nterval [, ] In R
7 ths t dffers from all the other crtera and runs somewhat the elegance of the total, but does not bear any serous mpact on the results 44 Combnng the Crtera The four crtera and the three crtera for the basc prefx are combned n the followng weghted average ax X + a + ap P + at T (4 β b β + b β + b β X X S S When choosng the basc prefx, the canddate wth the hghest s taen Lewse, when choosng the secondary prefx, the canddate wth the hghest β s taen The coeffcents of the crtera have to be chosen so as to get the optmal result 5 EXPERIMENTS The experments demonstrate that the proposed decomposton, when successful, greatly reduces the sze of the BDD Its success strongly depends on the densty of the mplcant table Therefore, ts effectveness can be predcted qute relably by mang some prelmnary study of the mplcant table functons' representaton The goals of the conducted experments are as follows: Comparng the effectveness of the complete lnearzaton (performed wth K -Procedure and that of the Parallel decomposton Investgatng the relatve mportance of the coeffcents and formulatng the gudelnes concernng the weghts Durng the experments the mplcant table representatons of the standard combnatoral-crcut benchmars (LGSNTH93 were used The experments were lmted to the followng subset of benchmars: Number of terms the mplcant table s lmted by Ths lmtaton may seem somewhat severe, and, ndeed, the Parallel decomposton can be performed n certan cases for mplcant tables of over 5 terms In general, however, snce the search for common parts grows polynomally n the number of nput terms, t s suggested that ths value s ept below Number of nput varables lmted by 3 Ths s a necessary condton for runnng the Exhaustve K - Procedure n ts tabular form Number of output functons lmted by 3 Ths s the weaest of all requrements and s dctated by the treatment of the outputs as ntegers Both the Parallel decomposton and the K -Procedure based lnearzaton of resultng blocs were checed on standard combnatoral-crcut benchmars (LGSNTH93 For each benchmar, the szes of the followng dagrams were recorded and compared: orgnal BDD; LTBDD; PMTBDD; and LPMTBDD The results are shown n the Tables and 3 The frst lsts the benchmars for whch the Parallel decomposton s more effectve than the lnearzaton of the ntal mplcant table wthout decomposton The second shows the falures The columns n the tables are as follows For each benchmar, the number of the nput varables and the mplcant table densty are followed by the four columns of the results The two addtonal columns show the mprovement/degradaton ratos: from BDD to PMTBDD, wth and wthout the lnearzaton The ratos are gven n per cents Both tables are sorted by the ascendng the mplcant table densty Table Benchmars results, LPMTBDD < LTBDD Ttle X Denst y BDD LTBDD PBDD LTPBDD PBDD / BDD LTPBDD / LTBDD ALU B DK DK CON ALU DUKE ALU MISEX3C WIM F5M DK APLA INC MEAN RATIO Table 3 Benchmars results, LPMTBDD > LTBDD Ttle X Densty BDD LTBDD PBDD LTPBDD PBDD / BDD LTPBDD / LTBDD ADD RADD CLIP Z ROOT SQR SQN MLP SAO DIST BW RD MEAN RATIO The analyss of these results shows that the densty of the mplcant table s, ndeed, a relable ndcator of the success of the functon s Parallelzaton The successful cases ( PMTBDD < MTBDD and/or LTPBDD < LTBDD are mostly n the low-densty area (Densty up to 45% and the unsuccessful ones are mostly n the hgh-densty area (Densty at least 6% The mddle or gray area functons (Densty wthn 4-6% are dvded more or less evenly between the successes and the falures Moreover, there are several examples where the hgh-densty functons are successfully decomposed, and no examples where the method faled to wor on lowdensty functons The Parallel decomposton, on the other hand, reles upon extractng dense fragments from the gven mplcant table, and treatng the sparse remanders and tals separately Therefore, sparse mplcant table can be easly dealt wth by splttng them nto a networ of concurrently worng BDDs Wth dense mplcant tables, choosng sutable blocs s dffcult, and arbtrary choces lead to neffectve mplementatons Ths s summarzed n Table 4
8 Table 4 Analyss of the results Method PLA BDD Parallelzaton Densty Low Hgh Lots of don t cares Few don t cares Lots of replcatons Number of replcatons small BDD not compact BDD compact Several component Dense PLA dffcult to determne fragments Easy choce of separate fragments component dagrams Unsutable for PBDD Sutable for PBDD 6 CONCLUSIONS The paper descrbes a new method of a so-called pecewse lnearzaton of logc functons, whch comprses a decomposng the ntal mplcant table of a logcal functon nto a networ of component Mult Termnal BDDs, and b separate lnearzaton of these BDDs Two connectng operatons are used n the decomposton networ, e, seral and parallel connectons of the component BDDs A new mathematcal bass of the parallel connecton of the BDDs s formed by a newly ntroduced algebra of D - polynomals Ths new algebra, as well as a number of theoretcal statements proven n the paper are used as a theoretcal bacground of the proposed decomposton algorthm The decomposton algorthm s presented n detals Benchmar results demonstrate effcency of the proposed approach n comparson wth straghtforward mplementatons of MTBDDs (ncludng or not ncludng lnearzaton solutons wth lnearzaton and wthout lnearzaton The proposed pecewse lnearzaton opens a way for usng the lnearzaton technque to mplement logc functons havng a great number of varables 7 REFERENCES [] MGKarpovsy, RStancovc, J Aastola, "Reducton of Szes of Decson Dagrams by Autocorrelaton Functons", IEEE Trans on Computers, May, 3, pp59-67 [] M Futa, Kumoto, R K Brayton, BDD mnmzaton by truth table permutaton, Proc Int Symp on Crcuts and Systems, ISCAS 96, May -5, 996, Vol 4, [3] Rudell, R, Dynamc varable orderng for ordered bnary decson dagrams, Proc IEEE Conf Computer Aded Desgn, Santa Clara, CA, 993, 4-47 [4] W Gunther, R Drechsler, Lnear transformatons and exact mnmzaton of BDDs, Proc 8th Great lae Symp on VLSI, February 9-, 998, [5] Levn I, Stanovc R, Karpovsy M, Astola J, (5 "Constructon of Planar BDDs by Usng Lnearzaton and Decomposton" Proceedngs of Fourteenth Internatonal Worshop on Logc and Synthess, Lae Arrowhead, Calforna, pp 3-39 [6] Keren O, Levn I, "Lnearzaton of the Logc Functons Defned n SOP Form" Procs of the Wor n Progress Sesson, DSD 5, Porto (Portugal, September 5, E Grosspetsch, K Klocner (eds, SEA-Publcatons: SEA- SR-9, July 5 [7] Levn, I, Levt, V (998 "Controlware for Learnng wth Moble Robots Computer Scence Educaton", 8(3, 8-96 [8] Menel, C Somenz, F Theobald, T "Lnear Sftng of Decson Dagrams and ts Applcaton n Synthess" IEEE Transacton on Computer Aded Desgn of Integrated Crcuts and Systems, Vol 9; part 5, pages 5-533
LINEAR TRANSFORMATION OF BINARY DECISION DIAGRAMS TROUGH SPECTRAL DOMAIN
LINEAR TRANSFORMATION OF BINARY DECISION DIAGRAMS TROUGH SPECTRAL DOMAIN Mlena Stankovc, Suzana Stokovc 2 Faculty of Electronc Engneerng, Unversty of Ns, A Medvedeva 4, 8 Ns, SERBIA, mstankovc@elfaknacyu,
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationEEE 241: Linear Systems
EEE : Lnear Systems Summary #: Backpropagaton BACKPROPAGATION The perceptron rule as well as the Wdrow Hoff learnng were desgned to tran sngle layer networks. They suffer from the same dsadvantage: they
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More information= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
More informationTransfer Functions. Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: ( ) system
Transfer Functons Convenent representaton of a lnear, dynamc model. A transfer functon (TF) relates one nput and one output: x t X s y t system Y s The followng termnology s used: x y nput output forcng
More informationFormulas for the Determinant
page 224 224 CHAPTER 3 Determnants e t te t e 2t 38 A = e t 2te t e 2t e t te t 2e 2t 39 If 123 A = 345, 456 compute the matrx product A adj(a) What can you conclude about det(a)? For Problems 40 43, use
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationRepresentations of Elementary Functions Using Binary Moment Diagrams
Representatons of Elementary Functons Usng Bnary Moment Dagrams Tsutomu Sasao Department of Computer Scence and Electroncs, Kyushu Insttute of Technology Izua 82-852, Japan Shnobu Nagayama Department of
More informationModule 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:
More informationVQ widely used in coding speech, image, and video
at Scalar quantzers are specal cases of vector quantzers (VQ): they are constraned to look at one sample at a tme (memoryless) VQ does not have such constrant better RD perfomance expected Source codng
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationSpeeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem
H.K. Pathak et. al. / (IJCSE) Internatonal Journal on Computer Scence and Engneerng Speedng up Computaton of Scalar Multplcaton n Ellptc Curve Cryptosystem H. K. Pathak Manju Sangh S.o.S n Computer scence
More informationStructure and Drive Paul A. Jensen Copyright July 20, 2003
Structure and Drve Paul A. Jensen Copyrght July 20, 2003 A system s made up of several operatons wth flow passng between them. The structure of the system descrbes the flow paths from nputs to outputs.
More informationISSN: ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Volume 3, Issue 1, July 2013
ISSN: 2277-375 Constructon of Trend Free Run Orders for Orthogonal rrays Usng Codes bstract: Sometmes when the expermental runs are carred out n a tme order sequence, the response can depend on the run
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationDecision Diagrams Derivatives
Decson Dagrams Dervatves Logc Crcuts Desgn Semnars WS2010/2011, Lecture 3 Ing. Petr Fšer, Ph.D. Department of Dgtal Desgn Faculty of Informaton Technology Czech Techncal Unversty n Prague Evropský socální
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationTHE SUMMATION NOTATION Ʃ
Sngle Subscrpt otaton THE SUMMATIO OTATIO Ʃ Most of the calculatons we perform n statstcs are repettve operatons on lsts of numbers. For example, we compute the sum of a set of numbers, or the sum of the
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationCanonical transformations
Canoncal transformatons November 23, 2014 Recall that we have defned a symplectc transformaton to be any lnear transformaton M A B leavng the symplectc form nvarant, Ω AB M A CM B DΩ CD Coordnate transformatons,
More informationReport on Image warping
Report on Image warpng Xuan Ne, Dec. 20, 2004 Ths document summarzed the algorthms of our mage warpng soluton for further study, and there s a detaled descrpton about the mplementaton of these algorthms.
More informationAppendix B: Resampling Algorithms
407 Appendx B: Resamplng Algorthms A common problem of all partcle flters s the degeneracy of weghts, whch conssts of the unbounded ncrease of the varance of the mportance weghts ω [ ] of the partcles
More informationNUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the
More informationKernel Methods and SVMs Extension
Kernel Methods and SVMs Extenson The purpose of ths document s to revew materal covered n Machne Learnng 1 Supervsed Learnng regardng support vector machnes (SVMs). Ths document also provdes a general
More informationGrover s Algorithm + Quantum Zeno Effect + Vaidman
Grover s Algorthm + Quantum Zeno Effect + Vadman CS 294-2 Bomb 10/12/04 Fall 2004 Lecture 11 Grover s algorthm Recall that Grover s algorthm for searchng over a space of sze wors as follows: consder the
More informationCHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE
CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE Analytcal soluton s usually not possble when exctaton vares arbtrarly wth tme or f the system s nonlnear. Such problems can be solved by numercal tmesteppng
More informationGeneralized Linear Methods
Generalzed Lnear Methods 1 Introducton In the Ensemble Methods the general dea s that usng a combnaton of several weak learner one could make a better learner. More formally, assume that we have a set
More information7. Products and matrix elements
7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ
More informationFinding Dense Subgraphs in G(n, 1/2)
Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationLecture 10 Support Vector Machines II
Lecture 10 Support Vector Machnes II 22 February 2016 Taylor B. Arnold Yale Statstcs STAT 365/665 1/28 Notes: Problem 3 s posted and due ths upcomng Frday There was an early bug n the fake-test data; fxed
More informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More informationChapter 13: Multiple Regression
Chapter 13: Multple Regresson 13.1 Developng the multple-regresson Model The general model can be descrbed as: It smplfes for two ndependent varables: The sample ft parameter b 0, b 1, and b are used to
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationOn a direct solver for linear least squares problems
ISSN 2066-6594 Ann. Acad. Rom. Sc. Ser. Math. Appl. Vol. 8, No. 2/2016 On a drect solver for lnear least squares problems Constantn Popa Abstract The Null Space (NS) algorthm s a drect solver for lnear
More informationOutline and Reading. Dynamic Programming. Dynamic Programming revealed. Computing Fibonacci. The General Dynamic Programming Technique
Outlne and Readng Dynamc Programmng The General Technque ( 5.3.2) -1 Knapsac Problem ( 5.3.3) Matrx Chan-Product ( 5.3.1) Dynamc Programmng verson 1.4 1 Dynamc Programmng verson 1.4 2 Dynamc Programmng
More informationCHAPTER III Neural Networks as Associative Memory
CHAPTER III Neural Networs as Assocatve Memory Introducton One of the prmary functons of the bran s assocatve memory. We assocate the faces wth names, letters wth sounds, or we can recognze the people
More informationAppendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
More informationSimultaneous Optimization of Berth Allocation, Quay Crane Assignment and Quay Crane Scheduling Problems in Container Terminals
Smultaneous Optmzaton of Berth Allocaton, Quay Crane Assgnment and Quay Crane Schedulng Problems n Contaner Termnals Necat Aras, Yavuz Türkoğulları, Z. Caner Taşkın, Kuban Altınel Abstract In ths work,
More informationNotes on Frequency Estimation in Data Streams
Notes on Frequency Estmaton n Data Streams In (one of) the data streamng model(s), the data s a sequence of arrvals a 1, a 2,..., a m of the form a j = (, v) where s the dentty of the tem and belongs to
More informationMin Cut, Fast Cut, Polynomial Identities
Randomzed Algorthms, Summer 016 Mn Cut, Fast Cut, Polynomal Identtes Instructor: Thomas Kesselhem and Kurt Mehlhorn 1 Mn Cuts n Graphs Lecture (5 pages) Throughout ths secton, G = (V, E) s a mult-graph.
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationA PROBABILITY-DRIVEN SEARCH ALGORITHM FOR SOLVING MULTI-OBJECTIVE OPTIMIZATION PROBLEMS
HCMC Unversty of Pedagogy Thong Nguyen Huu et al. A PROBABILITY-DRIVEN SEARCH ALGORITHM FOR SOLVING MULTI-OBJECTIVE OPTIMIZATION PROBLEMS Thong Nguyen Huu and Hao Tran Van Department of mathematcs-nformaton,
More informationLecture Space-Bounded Derandomization
Notes on Complexty Theory Last updated: October, 2008 Jonathan Katz Lecture Space-Bounded Derandomzaton 1 Space-Bounded Derandomzaton We now dscuss derandomzaton of space-bounded algorthms. Here non-trval
More informationComparison of Regression Lines
STATGRAPHICS Rev. 9/13/2013 Comparson of Regresson Lnes Summary... 1 Data Input... 3 Analyss Summary... 4 Plot of Ftted Model... 6 Condtonal Sums of Squares... 6 Analyss Optons... 7 Forecasts... 8 Confdence
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationCOMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS
Avalable onlne at http://sck.org J. Math. Comput. Sc. 3 (3), No., 6-3 ISSN: 97-537 COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS
More informationOn the Multicriteria Integer Network Flow Problem
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 5, No 2 Sofa 2005 On the Multcrtera Integer Network Flow Problem Vassl Vasslev, Marana Nkolova, Maryana Vassleva Insttute of
More informationDynamic Programming. Preview. Dynamic Programming. Dynamic Programming. Dynamic Programming (Example: Fibonacci Sequence)
/24/27 Prevew Fbonacc Sequence Longest Common Subsequence Dynamc programmng s a method for solvng complex problems by breakng them down nto smpler sub-problems. It s applcable to problems exhbtng the propertes
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationLINEAR REGRESSION ANALYSIS. MODULE IX Lecture Multicollinearity
LINEAR REGRESSION ANALYSIS MODULE IX Lecture - 30 Multcollnearty Dr. Shalabh Department of Mathematcs and Statstcs Indan Insttute of Technology Kanpur 2 Remedes for multcollnearty Varous technques have
More informationPsychology 282 Lecture #24 Outline Regression Diagnostics: Outliers
Psychology 282 Lecture #24 Outlne Regresson Dagnostcs: Outlers In an earler lecture we studed the statstcal assumptons underlyng the regresson model, ncludng the followng ponts: Formal statement of assumptons.
More informationUsing T.O.M to Estimate Parameter of distributions that have not Single Exponential Family
IOSR Journal of Mathematcs IOSR-JM) ISSN: 2278-5728. Volume 3, Issue 3 Sep-Oct. 202), PP 44-48 www.osrjournals.org Usng T.O.M to Estmate Parameter of dstrbutons that have not Sngle Exponental Famly Jubran
More informationCalculation of time complexity (3%)
Problem 1. (30%) Calculaton of tme complexty (3%) Gven n ctes, usng exhaust search to see every result takes O(n!). Calculaton of tme needed to solve the problem (2%) 40 ctes:40! dfferent tours 40 add
More informationSociété de Calcul Mathématique SA
Socété de Calcul Mathématque SA Outls d'ade à la décson Tools for decson help Probablstc Studes: Normalzng the Hstograms Bernard Beauzamy December, 202 I. General constructon of the hstogram Any probablstc
More informationCSci 6974 and ECSE 6966 Math. Tech. for Vision, Graphics and Robotics Lecture 21, April 17, 2006 Estimating A Plane Homography
CSc 6974 and ECSE 6966 Math. Tech. for Vson, Graphcs and Robotcs Lecture 21, Aprl 17, 2006 Estmatng A Plane Homography Overvew We contnue wth a dscusson of the major ssues, usng estmaton of plane projectve
More informationTOPICS MULTIPLIERLESS FILTER DESIGN ELEMENTARY SCHOOL ALGORITHM MULTIPLICATION
1 2 MULTIPLIERLESS FILTER DESIGN Realzaton of flters wthout full-fledged multplers Some sldes based on support materal by W. Wolf for hs book Modern VLSI Desgn, 3 rd edton. Partly based on followng papers:
More informationOn the correction of the h-index for career length
1 On the correcton of the h-ndex for career length by L. Egghe Unverstet Hasselt (UHasselt), Campus Depenbeek, Agoralaan, B-3590 Depenbeek, Belgum 1 and Unverstet Antwerpen (UA), IBW, Stadscampus, Venusstraat
More informationSupport Vector Machines. Vibhav Gogate The University of Texas at dallas
Support Vector Machnes Vbhav Gogate he Unversty of exas at dallas What We have Learned So Far? 1. Decson rees. Naïve Bayes 3. Lnear Regresson 4. Logstc Regresson 5. Perceptron 6. Neural networks 7. K-Nearest
More informationA New Refinement of Jacobi Method for Solution of Linear System Equations AX=b
Int J Contemp Math Scences, Vol 3, 28, no 17, 819-827 A New Refnement of Jacob Method for Soluton of Lnear System Equatons AX=b F Naem Dafchah Department of Mathematcs, Faculty of Scences Unversty of Gulan,
More informationA new Approach for Solving Linear Ordinary Differential Equations
, ISSN 974-57X (Onlne), ISSN 974-5718 (Prnt), Vol. ; Issue No. 1; Year 14, Copyrght 13-14 by CESER PUBLICATIONS A new Approach for Solvng Lnear Ordnary Dfferental Equatons Fawz Abdelwahd Department of
More informationAsymptotics of the Solution of a Boundary Value. Problem for One-Characteristic Differential. Equation Degenerating into a Parabolic Equation
Nonl. Analyss and Dfferental Equatons, ol., 4, no., 5 - HIKARI Ltd, www.m-har.com http://dx.do.org/.988/nade.4.456 Asymptotcs of the Soluton of a Boundary alue Problem for One-Characterstc Dfferental Equaton
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationThe Minimum Universal Cost Flow in an Infeasible Flow Network
Journal of Scences, Islamc Republc of Iran 17(2): 175-180 (2006) Unversty of Tehran, ISSN 1016-1104 http://jscencesutacr The Mnmum Unversal Cost Flow n an Infeasble Flow Network H Saleh Fathabad * M Bagheran
More informationThe optimal delay of the second test is therefore approximately 210 hours earlier than =2.
THE IEC 61508 FORMULAS 223 The optmal delay of the second test s therefore approxmately 210 hours earler than =2. 8.4 The IEC 61508 Formulas IEC 61508-6 provdes approxmaton formulas for the PF for smple
More informationChapter 6. Supplemental Text Material
Chapter 6. Supplemental Text Materal S6-. actor Effect Estmates are Least Squares Estmates We have gven heurstc or ntutve explanatons of how the estmates of the factor effects are obtaned n the textboo.
More informationHMMT February 2016 February 20, 2016
HMMT February 016 February 0, 016 Combnatorcs 1. For postve ntegers n, let S n be the set of ntegers x such that n dstnct lnes, no three concurrent, can dvde a plane nto x regons (for example, S = {3,
More informationMessage modification, neutral bits and boomerangs
Message modfcaton, neutral bts and boomerangs From whch round should we start countng n SHA? Antone Joux DGA and Unversty of Versalles St-Quentn-en-Yvelnes France Jont work wth Thomas Peyrn 1 Dfferental
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
More informationVARIATION OF CONSTANT SUM CONSTRAINT FOR INTEGER MODEL WITH NON UNIFORM VARIABLES
VARIATION OF CONSTANT SUM CONSTRAINT FOR INTEGER MODEL WITH NON UNIFORM VARIABLES BÂRZĂ, Slvu Faculty of Mathematcs-Informatcs Spru Haret Unversty barza_slvu@yahoo.com Abstract Ths paper wants to contnue
More informationAn efficient algorithm for multivariate Maclaurin Newton transformation
Annales UMCS Informatca AI VIII, 2 2008) 5 14 DOI: 10.2478/v10065-008-0020-6 An effcent algorthm for multvarate Maclaurn Newton transformaton Joanna Kapusta Insttute of Mathematcs and Computer Scence,
More informationMMA and GCMMA two methods for nonlinear optimization
MMA and GCMMA two methods for nonlnear optmzaton Krster Svanberg Optmzaton and Systems Theory, KTH, Stockholm, Sweden. krlle@math.kth.se Ths note descrbes the algorthms used n the author s 2007 mplementatons
More informationWeek 5: Neural Networks
Week 5: Neural Networks Instructor: Sergey Levne Neural Networks Summary In the prevous lecture, we saw how we can construct neural networks by extendng logstc regresson. Neural networks consst of multple
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationLOW BIAS INTEGRATED PATH ESTIMATORS. James M. Calvin
Proceedngs of the 007 Wnter Smulaton Conference S G Henderson, B Bller, M-H Hseh, J Shortle, J D Tew, and R R Barton, eds LOW BIAS INTEGRATED PATH ESTIMATORS James M Calvn Department of Computer Scence
More informationFundamental loop-current method using virtual voltage sources technique for special cases
Fundamental loop-current method usng vrtual voltage sources technque for specal cases George E. Chatzaraks, 1 Marna D. Tortorel 1 and Anastasos D. Tzolas 1 Electrcal and Electroncs Engneerng Departments,
More informationLinear Approximation with Regularization and Moving Least Squares
Lnear Approxmaton wth Regularzaton and Movng Least Squares Igor Grešovn May 007 Revson 4.6 (Revson : March 004). 5 4 3 0.5 3 3.5 4 Contents: Lnear Fttng...4. Weghted Least Squares n Functon Approxmaton...
More informationLecture 2: Gram-Schmidt Vectors and the LLL Algorithm
NYU, Fall 2016 Lattces Mn Course Lecture 2: Gram-Schmdt Vectors and the LLL Algorthm Lecturer: Noah Stephens-Davdowtz 2.1 The Shortest Vector Problem In our last lecture, we consdered short solutons to
More informationCSC 411 / CSC D11 / CSC C11
18 Boostng s a general strategy for learnng classfers by combnng smpler ones. The dea of boostng s to take a weak classfer that s, any classfer that wll do at least slghtly better than chance and use t
More informationTime-Varying Systems and Computations Lecture 6
Tme-Varyng Systems and Computatons Lecture 6 Klaus Depold 14. Januar 2014 The Kalman Flter The Kalman estmaton flter attempts to estmate the actual state of an unknown dscrete dynamcal system, gven nosy
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationSome Comments on Accelerating Convergence of Iterative Sequences Using Direct Inversion of the Iterative Subspace (DIIS)
Some Comments on Acceleratng Convergence of Iteratve Sequences Usng Drect Inverson of the Iteratve Subspace (DIIS) C. Davd Sherrll School of Chemstry and Bochemstry Georga Insttute of Technology May 1998
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationNeural networks. Nuno Vasconcelos ECE Department, UCSD
Neural networs Nuno Vasconcelos ECE Department, UCSD Classfcaton a classfcaton problem has two types of varables e.g. X - vector of observatons (features) n the world Y - state (class) of the world x X
More information11 Tail Inequalities Markov s Inequality. Lecture 11: Tail Inequalities [Fa 13]
Algorthms Lecture 11: Tal Inequaltes [Fa 13] If you hold a cat by the tal you learn thngs you cannot learn any other way. Mark Twan 11 Tal Inequaltes The smple recursve structure of skp lsts made t relatvely
More informationLecture 4: November 17, Part 1 Single Buffer Management
Lecturer: Ad Rosén Algorthms for the anagement of Networs Fall 2003-2004 Lecture 4: November 7, 2003 Scrbe: Guy Grebla Part Sngle Buffer anagement In the prevous lecture we taled about the Combned Input
More informationSupplementary Notes for Chapter 9 Mixture Thermodynamics
Supplementary Notes for Chapter 9 Mxture Thermodynamcs Key ponts Nne major topcs of Chapter 9 are revewed below: 1. Notaton and operatonal equatons for mxtures 2. PVTN EOSs for mxtures 3. General effects
More informationLinear Regression Analysis: Terminology and Notation
ECON 35* -- Secton : Basc Concepts of Regresson Analyss (Page ) Lnear Regresson Analyss: Termnology and Notaton Consder the generc verson of the smple (two-varable) lnear regresson model. It s represented
More informationNumerical Heat and Mass Transfer
Master degree n Mechancal Engneerng Numercal Heat and Mass Transfer 06-Fnte-Dfference Method (One-dmensonal, steady state heat conducton) Fausto Arpno f.arpno@uncas.t Introducton Why we use models and
More informationComparison of the Population Variance Estimators. of 2-Parameter Exponential Distribution Based on. Multiple Criteria Decision Making Method
Appled Mathematcal Scences, Vol. 7, 0, no. 47, 07-0 HIARI Ltd, www.m-hkar.com Comparson of the Populaton Varance Estmators of -Parameter Exponental Dstrbuton Based on Multple Crtera Decson Makng Method
More informationThis column is a continuation of our previous column
Comparson of Goodness of Ft Statstcs for Lnear Regresson, Part II The authors contnue ther dscusson of the correlaton coeffcent n developng a calbraton for quanttatve analyss. Jerome Workman Jr. and Howard
More informationEPR Paradox and the Physical Meaning of an Experiment in Quantum Mechanics. Vesselin C. Noninski
EPR Paradox and the Physcal Meanng of an Experment n Quantum Mechancs Vesseln C Nonnsk vesselnnonnsk@verzonnet Abstract It s shown that there s one purely determnstc outcome when measurement s made on
More information4DVAR, according to the name, is a four-dimensional variational method.
4D-Varatonal Data Assmlaton (4D-Var) 4DVAR, accordng to the name, s a four-dmensonal varatonal method. 4D-Var s actually a drect generalzaton of 3D-Var to handle observatons that are dstrbuted n tme. The
More informationCHAPTER 14 GENERAL PERTURBATION THEORY
CHAPTER 4 GENERAL PERTURBATION THEORY 4 Introducton A partcle n orbt around a pont mass or a sphercally symmetrc mass dstrbuton s movng n a gravtatonal potental of the form GM / r In ths potental t moves
More informationE Tail Inequalities. E.1 Markov s Inequality. Non-Lecture E: Tail Inequalities
Algorthms Non-Lecture E: Tal Inequaltes If you hold a cat by the tal you learn thngs you cannot learn any other way. Mar Twan E Tal Inequaltes The smple recursve structure of sp lsts made t relatvely easy
More informationFor now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results.
Neural Networks : Dervaton compled by Alvn Wan from Professor Jtendra Malk s lecture Ths type of computaton s called deep learnng and s the most popular method for many problems, such as computer vson
More information