Optimization of Polynomial Expressions by using the Extended Dual Polarity
|
|
- Penelope Hall
- 5 years ago
- Views:
Transcription
1 Optzato of Polyoal Epressos by usg the Eteded Dual Polarty Draga Jakovć (a) Rador. takovć (a) Claudo Moraga (b) (a) Faculty of Electrocs Uversty of Nš erba ad Moteegro (b) Europea Cetre for oft Coputg Meres pa Faculty of Coputer cece Uversty of Dortud eray Abstract A ethod for optzato of polyoal epressos ters of fed polartes for dscrete fuctos s preseted. The ethod s based o the prcple of eteded dual polarty whch provdes a sple way of orderg polartes to obta a effectve way of fdg the optal polarty. The ethod stll ples ehaustve search but t s a optzed search whch ay be epressed very sple rules. Eperetal results llustrate the effectvty of the proposed ethod. Keywords wtchg fuctos Multple-valued fuctos Reed-Muller epressos Polyoal epressos Fed-polarty epressos. INTRODUCTION Polyoal epressos are a for of represetatos of dscrete fuctos that provdes for copact represetatos of large fuctos. Ther defto ad eplotato s derved fro the classcal egeerg approach cosstg of decoposto of cople systes to cobatos of subsystes that are spler or whose behavor s well docueted. I the case of polyoal epressos a gve fucto s decoposed to a lear cobato of soe sutably selected coplete sets of bass fuctos. I ths case dealg wth fucto values of a gve fucto f s replaced by dealg wth coeffcets for f assged to the bass fuctos. Reducg the uber of o-zero coeffcets usually deoted as optzato of the represetato for f reduces coplety of dealg wth f ad therefore t s aog the a goals theory ad practce of dscrete fuctos. I atteptg to derve polyoal epressos wth u uber of coeffcets a varety of dfferet polyoal epressos have bee defed the lterature ost of the for swtchg fuctos.e. bary valued fuctos of bary varables see for eaple [7] ad refereces gve there. However ay of these epressos are eteded or geeralzed to ultplevalued put bary-valued output (MVB) fuctos [956] ad ultple-valued put ultple-valued output (MV) fuctos [4686]. A bref revew of these etesos s dscussed [9] where related refereces are provded. Polyoal epressos for bary fuctos ad ther geeralzatos to MVB ad MV fuctos are defed ters of dfferet epaso rules wth respect to ther varables [8] whch ca be alteratvely terpreted as choosg dfferet sets of bass fuctos [9]. Wth soe of these classes of epressos a further optzato ca be perfored by usg lterals of dfferet polarty for varables whch leads to a
2 varety of fed- ad ed-polarty epressos [678]. Ths way of optzato of polyoal epressos ca be terpreted as reorderg ad sftg of bass fuctos ters of whch the represetatos are defed. It ca be appled uder a approprate defto of egato to both bt-level epressos wth whatever bary or MV dgts used ecodg values for varables ad word-level epressos whch case varables take teger values. The chef proble ths approach s that gve a fucto f we do ot kow how to select a pror the polarty of varables to get the optal polyoal epresso the uber of o-zero coeffcets cout. olutos are offered through heurstc algorths [5] or brute force search ethods yeldg to the so-called polarty atrces [8]. Recall that a polarty atr s a atr whose rows are coeffcets all possble fed polarty epressos for a gve fucto f. I the frst case the effcecy of the ethod s assured by reducg the search space at the prce of a creased uber of coeffcets. I the secod case advatage s take of the recursve structure of polarty atrces whch structure orgates the defto of the polarty for varables. Ths observato apples geerally whatever ay be the way of represetg ether bary MVB or MV fuctos ad sets of coeffcets ther polyoal epressos as tables or vectors arrays of cubes or relatg the to paths decso dagras etc. I ths paper we preset a ethod to detere the optal polyoal epressos of dscrete fuctos for dfferet polartes of varables. I the ethod dscussed t s assued that a fucto s represeted by a set of cubes whch are processed depedetly of each other. Therefore the coplety of the ethod s detered by the uber of cubes rather tha the uber of varables. Ths feature was the a otvato for selectg cubes as data structure to represet fuctos. However the preseted ethod ca be easly adapted a perfored over other data structures as vectors or decso dagras for stace. The presetato the paper s gve for MV fuctos as the ost geeral class of cosdered fuctos wth ost of eaples for quaterary fuctos. However all the algorths proposed ca be equally appled to MVB ad bary fuctos after specfyg the correspodg paraeters as wll be llustrated by the eaples provded below.. Backgroud work ad Motvato Besdes seekg for geeralty (up to soe etet) ad the fact that there are pheoea aturally descrbed by MVB ad MV fuctos aother reaso to study the optzato of polyoal epressos for MV fuctos s that these fuctos ca be effcetly eploted solvg optzato probles for bary swtchg fuctos that are prevalet owadays practce. oe of these applcatos are brefly dscussed [9]. For eaple a well-kow approach to represet a ultple-output Boolea fucto s to treat ts output part as a sgle ultple-valued varable ad covert t to a sgle-output characterstc fucto. uch a approach s used EPREO-MV [] ad MVI []. Other applcatos of ultple-valued logc clude desg of PLAs wth put decoders [4] optzato of fte state aches [] [8] testg [] ad verfcato [5]. Dfferet represetatos for ultple-valued put two-valued output fuctos are defed cludg a geeralzato of dsjuctve oral for or u-of-product (OP) epressos ad Kroecker ad Pseudo-Kroecker epressos for bary put bary output swtchg fuctos [67]. These epressos ca be uforly cosdered as lear cobatos of bass fuctos over F(). The bass fuctos used these epressos are epressble as products of ultple-valued (MV) lterals. Mzato of these epressos s crucal practcal applcatos [5].
3 It s docueted the recet lterature that AND-EXOR realzatos ay have soe advatages over AND- OR epressos such as easy testablty [] low cost for arthetc ad syetrc fuctos the uber of product ters sple algorths for detecto of syetrc varables [] Boolea atchg [] etc. Fed Polarty Reed-Muller epressos (FPRMs) are a portat class of AND-EXOR epressos. For a -varable Boolea fucto there are FPRMs. The FPRM wth the al uber of products s take as the optal FPRM. For soe classes of fuctos used practce the optal FPRMs requre fewer products tha su-of-product epressos [8]. Copared to bary swtchg fuctos ultple-valued fuctos (MV) offer ore copact represetato of the sae aout of forato at the prce of ore cople apulatos wth such epressos ad the coplety of ther hardware realzatos. alos feld (F) epressos ay be cosdered as a geeralzato of Reed-Muller (RM) epressos to the MV case [9]. Optzato of Fepressos ca be studed ad solved a way slar to that used for RM-epressos. As FPRM dfferet polarty F-epressos of MV fuctos ca be dstgushed due to possblty to select dfferet polartes for MV varables. We deote these epressos as Fed polarty F-epressos (FPF). As the bary case the selecto of polarty of varables correspods to partcular perutatos of the values of the varables (see dscussos below ad Table 4). The relatoshp betwee two FPRMs for the polartes that are dual (see Defto 5 below) the sese of bary logc copleets s used [] for costructo of a ethod for FPRM optzato. I [] the oto of eteded dual polarty has bee troduced ad a ethod for optzato of Kroecker epressos was costructed based o that. I ths paper the oto of dual polarty s eteded to dscrete fuctos defed as appgs f : L where ad L are o-epty sets. I ths case uary fuctos o wll play the role of geeralzed copleets. The choce L { } ad L {... q } bary ad MV logc fuctos dscussed detal ad used as eaples ths paper. cover the case of the We derve relatoshps betwee two fed polarty polyoal epressos for eteded dual polartes. Based o these relatoshps a ew ethod for optzato of polyoal epressos s proposed. The algorth starts fro a gve ot ecessarly zero polarty polyoal epresso of the gve fucto ad calculates all FPPEs usg a route whch each two eghbors polartes are eteded dual polartes. Ths route s called the eteded dual polarty route. It should be recalled that the proble of fdg the optal polarty for a polyoal epresso s NPcoplete.e. all algorths that solve the proble have a epoetal coplety wth respect to the uber of varables. The algorth proposed ths paper s a ehaustve-search algorth but coverso fro oe FPPE to aother oe s carred out by usg oe dgt checkg. Due to that ad the splcty of the related processg of cubes ths algorth s rather effectve as cofred by eperetal results. It s portat to otce that the algorth proposed epresses hgh possbltes for parallelzato sce cubes defg a fucto are processed separately fro each other. I ths case t s sutable for hardware realzatos. The proposed ethod s geeral the sese that all estg algorths eplotg dualty property optzato (of ay kd) of polyoal epressos lke fed polarty Reed-Muller epressos of Boolea fuctos [] Kroecker epressos [] polyoal epressos defed o F(4) [4] arthetc epressos [5 7] ca be derved fro the geeral ethod preseted here.
4 . BAIC DEFINITION As dcated above the presetato wll be gve for ultple-valued fuctos. Ths secto gves soe basc deftos ad otos fro the theory of fed polarty represetato of MV fuctos used as eaples the paper.. Polyoal epressos Defto : (Polyoal epressos (PE)) f :... q... q Each -varable q-valued fucto { } { } gve by the truth-vector T F [ f K f q ] ca be represeted by a polyoal epresso defed atr otato as where ad f ( K ) X ( ) T( ) F () q [ L ] X ( ) T( ) T() T () ( X() ) where deotes the Kroecker product ad the basc trasfor atr T() s defed as the verse of X() assug that the sybolc otato for colus of X() s replaced by the correspodg truthvectors. Addto ad ultplcato (ad hece epoetato) are defed the used algebrac structure. Mostly ths s the structure of vector spaces over F() or F(q) however t s possble to use also other algebrac structures as for stace these cosdered [4] [4] perttg defto of polarty of varables. As eaples of polyoal epressos Reed-Muller epressos Kroecker epressos alos feld epressos over F(4) ad arthetc epressos are defed the Apped. Here we gve a uerc eaple for fuctos F(4). Eaple : The F(4) epresso of a two-varable four-valued fucto f (gve) defed by the truthvector F [ ] T s gve by f ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) The coeffcets are eleets of the correspodg FPF spectru whch s therefore gve by []. The zero eleets the spectru correspod to the ssg ters the epaso. Notce that there are o-zero eleets the truth-vector ad 9 the above polyoal epaso for f. Recall that the operatos (addto () ad ultplcato ( )) are F(4) defed as follows:
5 Addto F(4) Multplcato F(4) The polarty of varables F(4) s defed as.. Optzato of polyoal epressos Optzato of polyoal epresso vewed as the deterato of a epresso wth the u uber of o-zero coeffcets (.e. the uber of ters) ca be doe by troducg dfferet polartes for the varables. The represetatos thus produced are so-called fed polarty polyoal epressos (FPPE) where each varable appears as ether the postve or the egatve lteral..e. as ucopleeted or copleeted but ot both at the sae te. Defto : (Copleet) For a q-valued varable there are q- copleets c gve as c c c... q. c s usually deoted as a varable wth a polarty c. (Wth ths otato the copleet used Eaple correspods to c ad ca be wrtte as ) Polarty vector P s troduced to deote the polarty of varables ad correspodgly the polarty of a represetato [5]. Defto : (Polarty vector) For a -varable q-valued fucto f the polarty vector P ( p... p ) p { L q } s a vector of legth whose eleets specfy the polarty of varables FPPE for a -varable fucto f.e. p j shows that to the -th varable the j-th copleet s assged ad wrtte as j. Fed polarty polyoal epressos (FPPEs) are uquely characterzed by specfyg decoposto rules assged to varables.e. by specfyg the polarty vectors. Defto 4: (Fed polarty epressos) Each -varable q-valued fucto f gve by the truth-vector followg FPPE f the polarty s p p L p ) ( T F [ f K f q ] ca be represeted by the
6 where p p f ( K ) X ( ) T ( ) F p q p p [ ( ) L ( ) ] p X ( ) p p T ( ) T (). Therefore FPPEs ca be gve by the vector of coeffcets usually deoted as spectru p p T () F. p defed as Eaple : The fed polarty F(4) (FPF) epresso of a two-varable four-valued fucto f dscussed Eaple for a polarty p () s gve by f ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) The correspodg FPF spectru s gve by [ ]. Notce that has 8 zero-coeffcets eawhle has oly 6.. EXTENDED DUAL POLARITY I zato of FPPE wth respect to the uber of o-zero coeffcets cout t appears coveet to eplot the oto of the dual polarty [] the eteded dual polarty ad the related dual polarty ad the eteded dual polarty vectors. The ter dual polarty s used the Boolea doa to deote two polarty vectors whch dffer oly oe bt. Defto 5: (Dual polarty) I the case of bary fuctos for a gve polarty p ( p K p p p K p ) ( p { }) the polarty p ( p p p p K p ) s the dual polarty. ' K Eaple : Dual polartes for the polarty p ( ) are the polartes () ad (). I the ultple-valued doa the ter dual polarty wll be called the eteded dual polarty []. Defto 6: (Eteded dual polarty) For a gve polarty p ( p K p p p K p ) ( p {... q }) the polarty p ( p' p' p' p' K p' ) s the eteded dual polarty ff p' p j ad p' p. ' K j j
7 Eaple 4: For four-valued fuctos the eteded dual polartes for the polarty p ( ) are the polartes () () () () () ad ().. Dual polarty route The uber of polarty vectors characterzg all possble FPPEs for a -varable q-valued fucto s q. It s possble to order these q polartes such that each two successve polartes are the eteded dual polartes. We deote ths order as the eteded dual polarty route. Traversg of a q-valued -desoal hypercube ca geerate oe of ay possble eteded dual polarty routes. Table gves the uber of dual polarty routes for dfferet values of q ad. Table : Nuber of dual polarty routes q No polartes No routes Eaple 5: Two dfferet dual polarty routes for q4 ad are gve by the sequeces of polarty vectors ()-()-()-()-()-()-()-()-()-()-()-()-()-()-()-() ad ()-()-()-()-()-()-()-()-()-()-()-()-()-()-()-(). These routes are show Fgure. Eaple 6: A eteded dual polarty route geerated by usg traversal of a four-valued three-desoal hypercube s gve by () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () (). A eteded dual polarty route ca be costructed by usg the recursve procedure route(level drecto) gve Fgure for the partcular case q 4. Eteso to a arbtrary q s straghtforward. Eteded dual polarty route wll be produced f the procedure s called wth arguets equal.e. as route(). 4. RELATIONHIP BETWEEN DUAL POLARITY EXPREION g h Deote by ad the vectors of coeffcets FPPEs for the polartes zero g ad h respectvely assug that g ad h are two dstct eteded dual polartes.
8 Therefore the spectru for zero polarty s T() F ad spectra for two dfferet polartes g ad h are g g T () F h h T () F where g ad h dffer the -th coordate g p p L p p p L p ce F ( T ) ) Further h h ( the relatoshp betwee ( ) ( p p L p p' p L p ) h. g ad h s gve by h h ( T ( ) ) ( ) g g g T ( ) F( ) T ( ). T g ( ) T j p j p j T j A T p () () T () B p where j p A T () ad B T j (). j j larly h p j T ( ) T () j p j T () T j p' A T () B p p' () () j j T T p j p j () () Fgure : Dual polarty routes.
9 Due to the Kroecker structure of the trasfor atr T h () ad the features of the Kroecker product h (assug cosstet desos) the verse trasfor atr ( ) Fally T g ( ) where I k s the detty atr of order q k. h p' ( T ( )) A ( T () ) B. T ( ) s gve as ( B ) h p p' ( T ( ) ) ( A ( T () ) B) A ( T () ) p p' AA ( T () )( T () ) BB p p' I ( T () )( T () ) I vod route(t level t drecto) { f( drecto ) { f(level o_varable) { -- out ew polarty vector h } else { h[level] ; route(level ); h[level] ; route(level ); h[level] ; route(level ); h[level] ; route(level ); } } else { f(level o_varable) { -- out ew polarty vector h } else { h[level] ; route(level ); h[level] ; route(level ); h[level] ; route(level ); h[level] ; route(level ); } } } Fgure : Procedure route().
10 The atr g s a cely structured sparse atr whch epresses a property that we wll eplot for the geerato of a processg rule for trasforg the coeffcets of oe polarty polyoal epresso to the coeffcets of aother eteded dual polarty polyoal epresso for the gve fucto.e. ( )( ) ( ) h p p g I T T I ' ) ( ) (. () The followg eaple llustrates coverso of coeffcets the polyoal epaso for a gve polarty to a requred dual polarty for the ost falar bary case. I the case of MV fuctos that would be the eteded dual polarty coeffcets as t wll be see further eaples below. For splcty of atr otato the eaple s gve for bary valued fuctos. Eaple 7: Let a Boolea fucto f be gve by the truth-vector [ ] T F. The fed polarty Reed-Muller (FPRM) epresso of f for the polarty p() s gve by the spectru [ ] T whle the FPRM epreso of f for the polarty p'() s gve by the spectru [ ] T. Polartes p ad p' are dual polartes sce they dffer oly the secod bt ad therefore I I where I ad I are the detty atrces of order ad 4 respectvely. Therefore [ ] [ ]. T
11 5. PROCEIN RULE A relatoshp betwee two eteded dual FPPEs gve by () wll be the startg pot for the dervato of a processg rule whch should be appled to all the ters FPPE for a gve polarty to detere the FPPE for aother eteded dual polarty. Let be a ter the FPPE of a fucto f for the polarty h h p p p p L p ). The value of the coeffcet the FPPE for f for the ter s (). ( L The process assues that o-zero ters of f are processed separately deterg FPPEs. ce processg eas ultplcato wth the rows of the trasfor atrces ad a row ay have several ozero etres a gve ter for a specfed polarty p ay produce few ew ters the FPPE of the fucto f for the eteded dual polarty g ( p L p p' p L p ) depedg o the values of p g ad p'. Thus geerates ew ters represetg coeffcets FPPE for f for the polarty g. h The value of the eteded dual FPPE o a ewly geerated ter s gve by v () where ν strogly depeds o the cosdered eteded dual polartes g ad h whch depedecy ca be coveetly p ' epressed atr otato by a atr ( )( ) p L T () T (). The rules to process ters FPPE for the polarty h to detere ew ters the FPPE for the polarty g ca be derved fro the atr L as stated the followg theore forulated for the geeral case of q-valued fuctos. Theore : Let a atr L relatg product ters FPPEs for the polartes h ad g be gve as l l L l q l q l l L l q l q L M M O M M. lq lq L lq q lq q lq lq L lq q lq q The processg rules to geerate ew ters FPPE for the polarty g fro ters FPPE for the polarty h are detered as follows: Recall that ; f k the geerate t t L q k L q ad use v l t k h as the scalg factor v () Proof: Rewrte the equato () the for p p' h h h ( I ( T ) )( T () ) I ) ( I L I ) R g L [ l j ] I ad ra q [ r j r j lu for The orders of the atrces Fro () R ] where w (. () αqr j αqr B B ur wr I are q ad r B q respectvely. B B β β α... r β... r A B
12 .e. ) ( ) ( q z z z z w z z z j z z z u z z z L L L L L (4) u w { q-} Cosder cotrbuto of a ter ) ( k L L h to g. The o-zero coeffcets the -th colu of the atr R are the eleets wth the decal de ) ( q t t d L L L. Ths eas that the ter fro h cotrbutes to ters g wth the decal de d. The value of cotrbuto to these ters h v accordg to (4) s gve as h k t h d h l r v. Ed of the Proof. Eaple 8: The cotrbuto of the ter () for the () polarty FPRM of fucto f gve Eaple (the truth vector s F[]) to for the () polarty FPRM s gve by () (see Fgure ). F cotrbuto of to Fgure : Ter cotrbuto Above cotrbutos of the ter are calculated by the followg:
13 L ; Therefore the ter ( ) wth value cotrbute to the ters ( ) ( ) ad ( ) wth values gve as tes the correspodg value fro the fourth colu atr L.e. * * ad * respectvely. Usg the above theore t s possble to derve all the estg ethods for optzato of polyoal epressos whch eplot the dual polarty property as well as to produce ew ethods for deterato of soe ew polyoal epressos. tartg polarty s ; Calculated polarty s ; Matr ( ) 6. DUAL POLARITY BAED OPTIMIZATION ALORITHM ce for a -varable q-valued fucto f there are q possble FPPEs a ehaustve-search optzato algorths all of q fed polarty polyoal epressos should be calculated. Usually the startg pot deterato of each of q FPPEs s the truth-vector for f. I a class of algorths whch eplot dual polarty feature [] [] [4] aga these q FPPEs are calculated but the truth-vector s the startg pot oly for the frst FPPE. Ay other FPPE s calculated startg fro a arbtrary FPPE. Fgure 4 llustrates the way of traversg fro oe to aother polarty the classcal approach ad by eplotg the eteded dual polarty. I classcal approach all of q FPPEs are calculated fro the truth vector (Fgure 4-a). I dualpolarty based approach oly frst FPPE s calculated fro the truth vector whle other FPPEs are calculated fro the prevously calculated dual-polarty FPPE (Fgure 4-b) whch reduce the coputatoal coplety due to the features of the dual poarty route. f... p(...) p(...) p(...) p( q- q-... q-) a) f... p(...) p(...) p(...) p( q- q-... q-) b) Fgure 4: Optzato algorths: a) classc b) dual-polarty based
14 I ecto s eplaed how to costruct a eteded dual polarty route. The a dea of the proposed algorth s that all q FPPE are costructed alog the eteded dual polarty route.e. each FPPE s calculated startg fro a tal eteded dual polarty FPPE. A ope questo s the deterato of a processg rule for processg of ters fro oe FPPE to produce ters aother eteded dual polarty FPPE. Theore gves the processg rule for arbtrary FPPEs. Fro ths theore t follows that t s possble to calculate all FPPEs by usg the ethod for trasforg a gve FPPE to the eteded dual polarty FPPE alog the route wthout repettve calculatos. Therefore we ca perfor the optzato of FPPE.e. costructo of all FPPEs ad subsequet selecto of the FPPE wth the u uber of o-zero coeffcets by usg a effectve ehaustve-search algorth cosstg of the followg steps.. Italzato: - et the polarty vector p to p ( L) p - Calculate the spectru p - et C the uber of o-zero coeffcets. Detere the et eteded dual polarty p accordg to the recursve route. p. Lst all the ters for. p' 4. For each ter calculate the cotrbuto to the spectru by usg the processg rule derved fro Theore. 5. Delete ters whose value s equal to zero after suato of cotrbutos of the processed ters. 6. Calculate the total uber of o-zero coeffcets C '. If C ' C the C C'. 7. top f all polartes have bee treated. Otherwse go to tep. The algorth as forulated above starts fro the zero polarty FPPE but t ca start fro ay other polarty. The tal FPPE represetg the put the algorth should be calculated fro ay specfcato of the gve fucto (for stace truth-vector cubes decso dagras) by usg ay of the estg ethods. The the ters ths tal FPPE should be specfed by cubes whch are the put the algorth. For stace we ay wat to start fro the FPPE for the zero polarty for a gve fucto f whch ay be calculated fro the truth vector for f. For ths task we ca also use soe kow ethods for eaple the tabular techque [5]. It s terestg to otce that the algorth proposed has hgh possbltes for parallelzato. Each processor perfors the ethod alog a pece of the eteded dual polarty route. The eteded dual polarty route ca be dvded to z subroutes f the uber of parallel processors s z. I what follows the theory preseted ths secto wll be llustrated by eaples of alos feld F(4) epressos.
15 7. FIXED POLARITY F(4) EXPREION I ths secto we cosder optzato of fed polarty polyoal epressos of fuctos defed o F(4) by usg the eteded dual polarty ethod. The optzato of a F(4) epresso s possble by usg dfferet copleets. There are three copleets for a varable F(4) deoted by ad defed as. I FPFs the use of copleets for a varable requres perutato of colus the basc F(4) trasfor atr correspodg to that varable. Table shows copleets ad the correspodg basc trasfor atrces as well as ther verses that are used to defe the operators for calculatg coeffcets Fepressos. Table : Copleets F(4) ad basc trasfor atrces. Varable Trasfor Iverse trasfor ( ) ( ) ( ) ( ) The followg eaple llustrates F(4) fed polarty polyoal epressos. Eaple 9: The fed polarty F (FPF) epresso of a two-varable four-valued fucto f Eaple for the polarty ) ( p s gve by ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) ( f The coeffcets are eleets of the correspodg FPF spectru whch s therefore s gve by []. The FPF of a four-valued fucto f ca be represeted by a set of four-valued ()-tuples cosstg of ters ad the correspodg fucto values o these ters. For splcty lterals for varables ters are replaced by ther dces. A varable that s preset a product ter the -th copleeted for s replaced by ad replaces a abset varable. Therefore the FPF for the fucto f ad the assued
16 polarty ) ( p s represeted by the followg set of tuples where " " separates the fucto value fro the lterals of varables { } - -; - ; ; -; ; ; ; ; ;. Now by the eaple we wll show how ethod for optzato of F(4) epressos [4] ca be derved fro our geeral ethod descrbed ecto 6. Table gves all possble atrces L for F(4) epressos as show [] whle Table 4 shows the correspodg processg rules derved fro these atrces. It s obvous that these processg rules are sple ad due to that effcet ters of te ad space. Table : Matr L for F(4). ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Eaple : Cosder a two-varable four-valued fucto f gve Eaple. Let the F(4) fed polarty epresso of f for the polarty ) ( p be represeted by the spectru [ ] T. The eteded dual polartes ad the correspodg FPFs are gve Table 5. Calculato procedures for deterato of these eteded dual polarty FPF epressos are show Tables 6 ad 7.
17 Table 4: Processg rule for F(4) epressos. p p' ew ters f the geerate f the geerate f the geerate f f f f f f the geerate the geerate the geerate the geerate the geerate the geerate v v v v v v v v v v v v v v v Table 5: Eteded dual polarty F(4) epressos. polarty spectru () () () () () () Table 6: Polarty () to (). polarty () ters New ters polarty () ters ; ; ; ;
18 Table 7: Polarty () to (). polarty () ters ew ters polarty () ters ; ; ; ; 7. Effcecy of the ethod Features of the proposed ethod ad ts effcecy have bee eaed by a seres of eperets the saple of whch s preseted the ecto 9. Eperetal results cofred the effcecy of the ethod copared to the related ethods. For calculato of all FPRMs based o the truth vector the verse trasfor atr ad ts copleeted fors are used. The uber of zero coeffcets these atrces for F(4) s (see Table ). O the other sde for the ethod proposed ths paper all FPRM are calculated but calculatos are perfored by usg L atrces (for F(4) see Table ). The uber of zero coeffcets these atrces s 7. Icreasg of uber of zero coeffcets processg atrces leads to the reducto the uber of operatos requred for calculato of FPRMs. 8. PARTICULAR CAE I ths secto the aer used the prevous secto we wll show that ethods for geerato fedpolarty Kroecker epressos [] fed polarty Reed-Muller epressos [] as well as fed polarty arthetc epressos [5] ca be derved as partcular cases of the eteded dual polarty based optzato algorth descrbed ecto Kroecker epressos for bary valued fuctos I [] s proposed a ethod for optzato of Kroecker epressos. Ths ethod ca be cosdered as a partcular case of the preset ethod as ca be see fro Table 8 shows processg rules for all possble cases for Kroecker epressos of Boolea fuctos [] derved by the specfcato of paraeters the geeral ethod dscussed above. Note that polarty deotes hao epaso whle polarty ad deote postve Davo ad egatve Davo epasos respectvely. Also for all cases v. 8. Fed polarty Reed-Muller epressos Fed polarty Reed-Muller (FPRM) epressos ca be optzed by usg the dual polarty property as gve [] whch ca be vewed as a partcular case of the geeral ethod dscussed above.
19 Table 9 shows processg rules for the FPRM of Boolea fuctos. As for the Kroecker epressos ths case t s also v. Table 8: Processg rule for Kroecker epressos. p p' ew ters f the geerate f the geerate f the set f the geerate f the set f the geerate Table 9: Processg rule for FPRM epressos of Boolea fuctos. p p' ew ters f the geerate 8. Fed polarty arthetc epressos Dual polarty s used [5] for optzato of fed polarty arthetc epressos (FPAE). Ths ethod ca be also derved as a partcular case of the geeral ethod. Table shows processg rules for fed polarty arthetc epressos FPAE [4]. Table : Processg rule for arthetc epressos. p p' ew ters f the a) geerate ad set v. b) geerate ad set v. 9. EXPERIMENTAL REULT I ths secto we preset soe eperetal results estatg features ad effcecy of the proposed algorth for zato of FPPEs. As eaple we gve results for FPF epressos for fuctos defed o F(4) FPAE of Boolea fuctos ad Kroecker epressos.
20 9. FPFs We developed a progra C for deterato of optal FPF epresso for a arbtrary four-valued fucto represeted by ters. The eperets were carred out o a Hz PC Celero wth 8Mb of a eory ad all rutes are gve CPU secods. Table copares the rutes for optzato of FPF epressos by the CTT ethod troduced [5] (colus CTT) wth the eteded dual polarty based algorth proposed [] that as show above ca be derved fro the ethod gve ths paper (colus Dual). We cosder radoly geerated four-valued fuctos wth 5% ad 75% of o-zero ters (colus 5% ad 75% respectvely) where the uber of four-valued varables rages fro 4 to 7. Colus %d show the rato (CTT Dual)/ Dual where CTT ad Dual refer to the ethods [5] ad [] respectvely. CPU te reducto gve colus %d are show Fgure 5. The eteded dual polarty based algorth s faster tha CTT due to the splfed processg by usg the eteded dual polarty property. Ths rato creases wth creasg uber of varables. Furtherore the uber of o-zero ters has saller fluece upo the rute of the proposed algorth as copared to CTT. Table : CPU tes for calculato of FPF by Dual polarty ad CTT. 5% 75% N Dual CTT %d Dual CTT %d d-5% d-75% Fgure 5: Reducto of CPU tes for calculato of FPF by Dual polarty ethod copared wth CTT ethod
21 9. Kroecker epressos I ths subsecto we preset soe eperetal results estatg features ad effcecy of the eteded dual polarty based ethod for optzato of Kroecker epressos. Table ad Fgure 6 gve the rutes ( llsecods) for the Kroecker epresso optzato for the sae fuctos as for the FPAEs optzato. The ew colu deoted as () represets the fuctos takg the value at the frst three ters ad the value at other ters. The cocluso s the sae as the case of FPAEs.e. the uber of ters strogly flueces the rute of ths algorth. Table : CPU tes for calculato of Kroecker epressos q. () 5% 75% ( ) 5% 75% Fgure 6: CPU tes ( llsecods) for calculato of Kroecker epressos q We epect that dual polarty based ethods for optzato of other classes of polyoal epressos whch ca be derved fro the proposed ethod wll epress the sae or slar features.
22 9. FPAEs I ths subsecto we preset the sae eperetal results as prevous subsectos however ths te estatg features ad effcecy of the eteded dual polarty based ethod for the zato of fed polarty arthetc epressos. Table copares the rutes for optzato of arthetc epressos by the Tabular techque [] (colus ATT) wth the algorth that s derved fro the ethod proposed ths paper (colus Dual). We cosder the sple fuctos takg the value at the frst three ters () radoly geerated fuctos wth 5% of all possble ters ad radoly geerated fuctos wth 75% of all possble ters where the uber of varables rages fro 7 to. Colus %d show the rato (Dual ATT)/ATT where ATT ad Dual refer to the ethod [] ad the proposed algorth respectvely. These colus are show Fgure 7 too. It ca be cocluded that the uber of ters strogly flueces the rute of the eteded dual polarty based algorth but t s faster tha ATT Table : CPU tes for calculato of arthetc epressos q. () 5% 75% ATT Dual %d ATT Dual %d ATT Dual %d ( ) 5% 75% Fgure 7: Reducto of CPU tes for calculato of arthetc epressos q by Dual polarty ethod copared wth ATT ethod
23 . CONCLUDIN REMARK I ths paper we have proposed a geeral ethod for optzato of polyoal epressos by usg the eteded dual polarty property. We have troduced the oto of eteded dual polartes as a eteso of the very well kow ter dual polarty Boolea algebra. Based o the eteded dual polarty we have show depedeces betwee two eteded dual polarty polyoal epressos. Ths depedecy s used as a base for dervg the ethod. All estg ethods whch eplot the dual polarty property optzato [] [4] [5] [] ca be derved fro our ethod as a partcular cases. By usg the proposed ethod t s possble to derve slar ethods for optzato of other polyoal epressos. For all gve cases the processg rules are sple ad effcet. Due to that although beg a ehaustvesearch ethod the proposed ethod s effectve. Eperetal results are gve to show the perforace of the eteded dual polarty ethods. The proposed optzato ethod works wth ters. A eteso to work wth dsjot cubes ca be a prosg drecto sce a cube based tabular techque whch starts fro dsjot cubes [8] s ore effcet tha slar techques startg fro ters []. REFERENCE [] De Mchel. D. Brayto R. agova-vcetell A. Optal state assget for fte state aches IEEE Tras. o CAD/ICA Vol. CAD-4 No. July [] Drechsler R. Hegster H. chaefer H. Harta J. Becker B. Testablty of -Level AND/EXOR Crcuts Joural of Electroc Testg Theory ad Applcato Vol. 4 No. Jue [] Dubrova E.; Far P.; A cojuctve caocal epaso of ultple-valued fuctos Proc. d IEEE Iteratoal yposu o Multple-Valued Logc May [4] Dubrova E.V. Muzo J.C. eeralzed Reed-Muller caocal for for a ultple-valued algebra Multple-Valued Logc A Iteratoal Joural Vol [5] Dubrova E. ack H. Probablstc verfcato of ultple-valued fuctos Proc. th It. yp. o Multple-Valued Logc May [6] Falkowsk B.J.; Cheg Fu; Faly of fast trasfors over F() logc Proc. rd It. yp. o Multple-Valued Logc. May [7] Falkowsk B.J.; Chp-Hog Chag; Optzato of partally-ed-polarty Reed-Muller epasos Proc. It. yp. o Crcuts ad ystes ICA '99 Vol. May - Jue 999 Vol [8] Falkowsk B.J.; Rahardja.; Effcet coputato of quaterary fed polarty Reed-Muller epasos IEE Proc. Coputers ad Dgtal Techques Volue: 4 No. 5 ept [9] Far P. Dubrova E. takovc R.. Astola J. "Cojuctve decoposto for ultple-valued put bary-valued output fuctos" Proc. TICP Workshop o pectral Methods ad Multrate gal Processg MMP' Toulouse Frace epteber
24 [] ao M. Jag J.-H. Jag Y. L Y. ha. Brayto R. MVI Proc. It. Workshop o Logc ythess Jue [] E. Dubrova. Multple-valued logc sythess ad optzato. I Logc ythess ad Verfcato Eds.:. Hassou ad T. asao pages 89-4 Kluwer Acadec Publshers. [] Jakovć D. Tabular techque for the fed polarty arthetc trasfor calculato XLVII Coferece ETRAN Herceg-Nov erba ad Moteegro ( erba). [] Jakovć D. takovć R.. Moraga C. Optzato of Kroecker epressos usg the eteded dual polarty property Proc. XXXVII Iteratoal cetfc Cof o Iforato Coucato ad Eergy ystes ad Techologes ICET Ns Yugoslava [4] Jakovć D. takovć R.. Moraga C. Optzato of F(4) epressos usg the eteded dual polarty property Proc. th It. yp. o Multple-Valued Logc Tokyo Japa May [5] Jakovć D. takovć R.. Moraga C. Optzato of arthetc epressos usg the dual polarty property st Balka Coferece Iforatcs BCI Thessalok reece pp [6] Jakovć D. takovć R.. Drechsler R. Effcet calculato of fed polarty polyoal epressos for ult-valued logc fucto Proc. d It. yp. o Multple-Valued Logc Bosto UA May [7] Jakovć D. takovć R.. Moraga C."Arthetc Epressos Optzato Usg Dual Polarty Property" erba Joural of Electrcal Egeerg Vol. No. Noveber pp [8] Jakovć D. takovć R.. Drechsler R. "Cube tabular techque for calculato of fed polarty Reed-Muller epressos ad applcatos'' Proc. of a Workshop o Coputatoal Itellgece ad Iforatoal Techologes Jue - Nš [9] Karpovsky M..; takovc R..; Moraga C. "pectral techques bary ad ultple-valued swtchg theory. A revew of results the decade 99- Proc. st It. yp. o Multple- Valued Logc May [] Muzo J.C. Wesselkaper T.C. Multple-valued wtchg Theory Ada Hlger Brstol 986. [] Rahardja.; Falkowsk B.J.; Effcet algorth to calculate Reed-Muller epasos over F(4) IEE Proc. Crcuts Devces ad ystes Vol. 48 No. 6 Dec [] Rudel R. agova-vcetell A. "Multple-valued zato for PLA optzato" IEEE Tras. o CAD/ICA Vol. CAD-5 No. 9 ept [] arab A. Perkowsk M.A. Fast eact ad quas-al zato of hghly testable fed polarty AND/XOR caocal etworks Proc. Desg Autoato Coferece Jue 99-5.
25 [4] asao T. "Multple-valued logc ad optzato of prograable logc arrays" IEEE Coputer Vol [5] asao T. EXMIN - A splfcato algorth for eclusve-or-su-of-product epressos for ultple-valued put two-valued output fuctos th It. yp. o Multple-Valued Logc Charlotte North Carola May [6] asao T. A trasforato of ultple-valued put two-valued output fuctos ad ts applcato to splfcato of eclusve-or-su-of-products epressos IMVL [7] asao T. Butler J.T "A desg ethod for look-up table type FPA by pseudo-kroecker epasos'' Proc. 4th It. yp. o Multple-valued Logc Bosto Massachusetts May [8] asao T. wtchg Theory for Logc ythess Kluwer Acadec Publshers 999. [9] takovc R.. pectral Trasfor Decso Dagras ple Questos ad ple Aswers Nauka Belgrade 998. [] Ta E.C. Yag H. "Fast tabular techque for fed-polarty Reed-Muller logc wth heret parallel processes'' It.J. Electrocs Vol.85 No [] Ta E.C. Yag H. Optzato of Fed-polarty Reed-Muller crcuts usg dual-polarty property Crcuts ystes gal Process Vol. 9 No [] Tsa C. Marek-adowska M. eeralzed Reed-Muller fors as a tool to detect syetres IEE Proc. Coputers ad Dgtal Techques Vol. 4 No. 6 Noveber [] Tsa C. Marek-adowska M. Boolea fuctos classfcato va fed polarty Reed-Muller fors IEEE Tras.Coput. Vol. C-46 No. February [4] takovc R.. Jakovc D. Moraga C. reed-muller-fourer versus alos feld represetatos of four-valued logc fuctos Proc. 8 th It. yp.o Multple-Valued Logc May pp [5] ree D.H. Dual fors of Reed_Muller epasos IEE Proc. Coputers ad Dgtal Techques Vol 4 No. 994 pp
26 Apped Eaples of polyoal epressos for bary ad ultple-value fuctos. A. Reed-Muller epressos Polyoal epresso () defed over alos feld F() s very well kow as Reed-Muller epresso of Boolea fuctos. All calculatos are doe F().e. operatos addto ad ultplcato are addto odulo ad ultplcato odulo respectvely. Reed-Muller epressos have the for [ ] R F [ ] f ( ) () F K where F s the truth vector of Boolea fucto f. Eaple : Reed-Muller epresso of a -varable Boolea fucto f gve by the truth-vector F s gve by [ ] T f ( ) ([ ] [ ]) F A. Kroecker epressos Kroecker epresso of Boolea fucto f gve by the truth vector F s gve as where ad f ( K T The vector [ p K p ] p { } X T p p ) X T p p [ ] [ ] [ ] p p p p p p P deteres the kd of epasos used for each varable where p deotes postve Davo epaso p deotes egatve Davo epaso ad p deotes hao epaso. Used operatos are odulo operatos. F
27 Eaple : Kroecker epresso of a -varable Boolea fucto f gve by the truth-vector F for a vector P [ ] T s gve by [ ] T f ( ) ([ ] [ ]) F A. F(4) epressos If q4 ad addto ad ultplcato are carred out F(4) (as specfed Eaple ) the () represets F-epressos for a 4-varable fucto. Epoetato F(4) s defed Table 4. Notce that f the Table 6 s vewed as a atr whose rows correspod to the rows the table the ths atr s the verse atr for the basc F(4) trasfor atr. Table 4: Epoetato F(4). (.) (.) (.) (.) Eaple : The basc F(4) trasfor atr s gve as T ( ). The F(4) spectru ad the correspodg polyoal epresso for a two-varable four-valued fucto f gve by the truth-vector F [ ] T are gve as ad respectvely. ( () () ) [ ] T T( ) F F f ( ) A.4 Arthetc epressos Arthetc epressos are closely related to Reed-Muller epressos sce they are defed ters of the sae bass however wth varables ad fucto values terpreted as tegers ad stead of logc values. I ths way arthetc epressos ca be cosdered as teger couterparts of Reed-Muller epressos. f ( K ) X ( ) A( ) F where X ( ) [ ] A ( ) ad addto ad ultplcato are arthetc operatos. A () represets the arthetc trasfor atr of order.
Some Different Perspectives on Linear Least Squares
Soe Dfferet Perspectves o Lear Least Squares A stadard proble statstcs s to easure a respose or depedet varable, y, at fed values of oe or ore depedet varables. Soetes there ests a deterstc odel y f (,,
More informationA New Method for Solving Fuzzy Linear. Programming by Solving Linear Programming
ppled Matheatcal Sceces Vol 008 o 50 7-80 New Method for Solvg Fuzzy Lear Prograg by Solvg Lear Prograg S H Nasser a Departet of Matheatcs Faculty of Basc Sceces Mazadara Uversty Babolsar Ira b The Research
More informationAlgorithms behind the Correlation Setting Window
Algorths behd the Correlato Settg Wdow Itroducto I ths report detaled forato about the correlato settg pop up wdow s gve. See Fgure. Ths wdow s obtaed b clckg o the rado butto labelled Kow dep the a scree
More information7.0 Equality Contraints: Lagrange Multipliers
Systes Optzato 7.0 Equalty Cotrats: Lagrage Multplers Cosder the zato of a o-lear fucto subject to equalty costrats: g f() R ( ) 0 ( ) (7.) where the g ( ) are possbly also olear fuctos, ad < otherwse
More informationKURODA S METHOD FOR CONSTRUCTING CONSISTENT INPUT-OUTPUT DATA SETS. Peter J. Wilcoxen. Impact Research Centre, University of Melbourne.
KURODA S METHOD FOR CONSTRUCTING CONSISTENT INPUT-OUTPUT DATA SETS by Peter J. Wlcoxe Ipact Research Cetre, Uversty of Melboure Aprl 1989 Ths paper descrbes a ethod that ca be used to resolve cossteces
More informationSome results and conjectures about recurrence relations for certain sequences of binomial sums.
Soe results ad coectures about recurrece relatos for certa sequeces of boal sus Joha Cgler Faultät für Matheat Uverstät We A-9 We Nordbergstraße 5 Joha Cgler@uveacat Abstract I a prevous paper [] I have
More informationA Penalty Function Algorithm with Objective Parameters and Constraint Penalty Parameter for Multi-Objective Programming
Aerca Joural of Operatos Research, 4, 4, 33-339 Publshed Ole Noveber 4 ScRes http://wwwscrporg/oural/aor http://ddoorg/436/aor4463 A Pealty Fucto Algorth wth Obectve Paraeters ad Costrat Pealty Paraeter
More informationA New Mathematical Approach for Solving the Equations of Harmonic Elimination PWM
New atheatcal pproach for Solvg the Equatos of Haroc Elato PW Roozbeh Nader Electrcal Egeerg Departet, Ira Uversty of Scece ad Techology Tehra, Tehra, Ira ad bdolreza Rahat Electrcal Egeerg Departet, Ira
More informationA tighter lower bound on the circuit size of the hardest Boolean functions
Electroc Colloquum o Computatoal Complexty, Report No. 86 2011) A tghter lower boud o the crcut sze of the hardest Boolea fuctos Masak Yamamoto Abstract I [IPL2005], Fradse ad Mlterse mproved bouds o the
More informationPRACTICAL CONSIDERATIONS IN HUMAN-INDUCED VIBRATION
PRACTICAL CONSIDERATIONS IN HUMAN-INDUCED VIBRATION Bars Erkus, 4 March 007 Itroducto Ths docuet provdes a revew of fudaetal cocepts structural dyacs ad soe applcatos hua-duced vbrato aalyss ad tgato of
More informationStationary states of atoms and molecules
Statoary states of atos ad olecules I followg wees the geeral aspects of the eergy level structure of atos ad olecules that are essetal for the terpretato ad the aalyss of spectral postos the rotatoal
More information1 Onto functions and bijections Applications to Counting
1 Oto fuctos ad bectos Applcatos to Coutg Now we move o to a ew topc. Defto 1.1 (Surecto. A fucto f : A B s sad to be surectve or oto f for each b B there s some a A so that f(a B. What are examples of
More informationA Conventional Approach for the Solution of the Fifth Order Boundary Value Problems Using Sixth Degree Spline Functions
Appled Matheatcs, 1, 4, 8-88 http://d.do.org/1.4/a.1.448 Publshed Ole Aprl 1 (http://www.scrp.org/joural/a) A Covetoal Approach for the Soluto of the Ffth Order Boudary Value Probles Usg Sth Degree Sple
More informationParallelized methods for solving polynomial equations
IOSR Joural of Matheatcs (IOSR-JM) e-issn: 2278-5728, p-issn: 239-765X. Volue 2, Issue 4 Ver. II (Jul. - Aug.206), PP 75-79 www.osrourals.org Paralleled ethods for solvg polyoal equatos Rela Kapçu, Fatr
More information2/20/2013. Topics. Power Flow Part 1 Text: Power Transmission. Power Transmission. Power Transmission. Power Transmission
/0/0 Topcs Power Flow Part Text: 0-0. Power Trassso Revsted Power Flow Equatos Power Flow Proble Stateet ECEGR 45 Power Systes Power Trassso Power Trassso Recall that for a short trassso le, the power
More informationHigh Dynamic Range 3-Moduli Set with Efficient Reverse Converter
Hgh Dyac Rage 3-odul et wth Effcet Resdue to Bary Coverter Hgh Dyac Rage 3-odul et wth Effcet Reverse Coverter A. Harr, R. Rastegar, K. av Abstract-Resdue uber yste (R) s a valuable tool for fast ad parallel
More information1. A real number x is represented approximately by , and we are told that the relative error is 0.1 %. What is x? Note: There are two answers.
PROBLEMS A real umber s represeted appromately by 63, ad we are told that the relatve error s % What s? Note: There are two aswers Ht : Recall that % relatve error s What s the relatve error volved roudg
More informationD. L. Bricker, 2002 Dept of Mechanical & Industrial Engineering The University of Iowa. CPL/XD 12/10/2003 page 1
D. L. Brcker, 2002 Dept of Mechacal & Idustral Egeerg The Uversty of Iowa CPL/XD 2/0/2003 page Capactated Plat Locato Proble: Mze FY + C X subject to = = j= where Y = j= X D, j =, j X SY, =,... X 0, =,
More informationCHAPTER 4 RADICAL EXPRESSIONS
6 CHAPTER RADICAL EXPRESSIONS. The th Root of a Real Number A real umber a s called the th root of a real umber b f Thus, for example: s a square root of sce. s also a square root of sce ( ). s a cube
More informationOn the Capacity of Bounded Rank Modulation for Flash Memories
O the Capacty of Bouded Rak Modulato for Flash Meores Zhyg Wag Electrcal Egeerg Departet Calfora Isttute of Techology Pasadea, CA 925, USA Eal: zhyg@paradsecaltechedu Axao (Adrew) Jag Coputer Scece Departet
More informationOn the Capacity of Bounded Rank Modulation for Flash Memories
O the Capacty of Bouded Rak Modulato for Flash Meores Zhyg Wag Electrcal Egeerg Departet Calfora Isttute of Techology Pasadea, CA 95, USA Eal: zhyg@paradsecaltechedu Axao (Adrew) Jag Coputer Scece Departet
More informationSolving the fuzzy shortest path problem on networks by a new algorithm
Proceedgs of the 0th WSEAS Iteratoal Coferece o FUZZY SYSTEMS Solvg the fuzzy shortest path proble o etworks by a ew algorth SADOAH EBRAHIMNEJAD a, ad REZA TAVAKOI-MOGHADDAM b a Departet of Idustral Egeerg,
More informationLecture 07: Poles and Zeros
Lecture 07: Poles ad Zeros Defto of poles ad zeros The trasfer fucto provdes a bass for determg mportat system respose characterstcs wthout solvg the complete dfferetal equato. As defed, the trasfer fucto
More information( ) ( ) ( ( )) ( ) ( ) ( ) ( ) ( ) = ( ) ( ) + ( ) ( ) = ( ( )) ( ) + ( ( )) ( ) Review. Second Derivatives for f : y R. Let A be an m n matrix.
Revew + v, + y = v, + v, + y, + y, Cato! v, + y, + v, + y geeral Let A be a atr Let f,g : Ω R ( ) ( ) R y R Ω R h( ) f ( ) g ( ) ( ) ( ) ( ( )) ( ) dh = f dg + g df A, y y A Ay = = r= c= =, : Ω R he Proof
More informationSome Notes on the Probability Space of Statistical Surveys
Metodološk zvezk, Vol. 7, No., 200, 7-2 ome Notes o the Probablty pace of tatstcal urveys George Petrakos Abstract Ths paper troduces a formal presetato of samplg process usg prcples ad cocepts from Probablty
More informationCoherent Potential Approximation
Coheret Potetal Approxato Noveber 29, 2009 Gree-fucto atrces the TB forals I the tght bdg TB pcture the atrx of a Haltoa H s the for H = { H j}, where H j = δ j ε + γ j. 2 Sgle ad double uderles deote
More informationLecture 3 Probability review (cont d)
STATS 00: Itroducto to Statstcal Iferece Autum 06 Lecture 3 Probablty revew (cot d) 3. Jot dstrbutos If radom varables X,..., X k are depedet, the ther dstrbuto may be specfed by specfyg the dvdual dstrbuto
More informationConstruction of Composite Indices in Presence of Outliers
Costructo of Coposte dces Presece of Outlers SK Mshra Dept. of Ecoocs North-Easter Hll Uversty Shllog (da). troducto: Oftetes we requre costructg coposte dces by a lear cobato of a uber of dcator varables.
More informationSolving Constrained Flow-Shop Scheduling. Problems with Three Machines
It J Cotemp Math Sceces, Vol 5, 2010, o 19, 921-929 Solvg Costraed Flow-Shop Schedulg Problems wth Three Maches P Pada ad P Rajedra Departmet of Mathematcs, School of Advaced Sceces, VIT Uversty, Vellore-632
More informationGlobal Optimization for Solving Linear Non-Quadratic Optimal Control Problems
Joural of Appled Matheatcs ad Physcs 06 4 859-869 http://wwwscrporg/joural/jap ISSN Ole: 37-4379 ISSN Prt: 37-435 Global Optzato for Solvg Lear No-Quadratc Optal Cotrol Probles Jghao Zhu Departet of Appled
More informationIntroduction to local (nonparametric) density estimation. methods
Itroducto to local (oparametrc) desty estmato methods A slecture by Yu Lu for ECE 66 Sprg 014 1. Itroducto Ths slecture troduces two local desty estmato methods whch are Parze desty estmato ad k-earest
More informationLecture 9: Tolerant Testing
Lecture 9: Tolerat Testg Dael Kae Scrbe: Sakeerth Rao Aprl 4, 07 Abstract I ths lecture we prove a quas lear lower boud o the umber of samples eeded to do tolerat testg for L dstace. Tolerat Testg We have
More informationLecture 8 IEEE DCF Performance
Lecture 8 IEEE82. DCF Perforace IEEE82. DCF Basc Access Mechas A stato wth a ew packet to trast otors the chael actvty. If the chael s dle for a perod of te equal to a dstrbuted terfrae space (DIFS), the
More informationL5 Polynomial / Spline Curves
L5 Polyomal / Sple Curves Cotets Coc sectos Polyomal Curves Hermte Curves Bezer Curves B-Sples No-Uform Ratoal B-Sples (NURBS) Mapulato ad Represetato of Curves Types of Curve Equatos Implct: Descrbe a
More informationAssignment 5/MATH 247/Winter Due: Friday, February 19 in class (!) (answers will be posted right after class)
Assgmet 5/MATH 7/Wter 00 Due: Frday, February 9 class (!) (aswers wll be posted rght after class) As usual, there are peces of text, before the questos [], [], themselves. Recall: For the quadratc form
More informationAn Innovative Algorithmic Approach for Solving Profit Maximization Problems
Matheatcs Letters 208; 4(: -5 http://www.scecepublshggroup.co/j/l do: 0.648/j.l.208040. ISSN: 2575-503X (Prt; ISSN: 2575-5056 (Ole A Iovatve Algorthc Approach for Solvg Proft Maxzato Probles Abul Kala
More information5. Data Compression. Review of Last Lecture. Outline of the Lecture. Course Overview. Basics of Information Theory: Markku Juntti
: Markku Jutt Overvew The deas of lossless data copresso ad source codg are troduced ad copresso lts are derved. Source The ateral s aly based o Sectos 5. 5.5 of the course book []. Teleco. Laboratory
More informationPolyphase Filters. Section 12.4 Porat
Polyphase Flters Secto.4 Porat .4 Polyphase Flters Polyphase s a way of dog saplg-rate coverso that leads to very effcet pleetatos. But ore tha that, t leads to very geeral vewpots that are useful buldg
More informationStandard Deviation for PDG Mass Data
4 Dec 06 Stadard Devato for PDG Mass Data M. J. Gerusa Retred, 47 Clfde Road, Worghall, HP8 9JR, UK. gerusa@aol.co, phoe: +(44) 844 339754 Abstract Ths paper aalyses the data for the asses of eleetary
More informationAN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET
AN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET Abstract. The Permaet versus Determat problem s the followg: Gve a matrx X of determates over a feld of characterstc dfferet from
More informationTransforms that are commonly used are separable
Trasforms s Trasforms that are commoly used are separable Eamples: Two-dmesoal DFT DCT DST adamard We ca the use -D trasforms computg the D separable trasforms: Take -D trasform of the rows > rows ( )
More informationInvestigating Cellular Automata
Researcher: Taylor Dupuy Advsor: Aaro Wootto Semester: Fall 4 Ivestgatg Cellular Automata A Overvew of Cellular Automata: Cellular Automata are smple computer programs that geerate rows of black ad whte
More informationMu Sequences/Series Solutions National Convention 2014
Mu Sequeces/Seres Solutos Natoal Coveto 04 C 6 E A 6C A 6 B B 7 A D 7 D C 7 A B 8 A B 8 A C 8 E 4 B 9 B 4 E 9 B 4 C 9 E C 0 A A 0 D B 0 C C Usg basc propertes of arthmetc sequeces, we fd a ad bm m We eed
More information3D Reconstruction from Image Pairs. Reconstruction from Multiple Views. Computing Scene Point from Two Matching Image Points
D Recostructo fro Iage ars Recostructo fro ultple Ves Dael Deetho Fd terest pots atch terest pots Copute fudaetal atr F Copute caera atrces ad fro F For each atchg age pots ad copute pot scee Coputg Scee
More informationDATA DOMAIN DATA DOMAIN
3//6 Coprght otce: Most ages these sldes are Gozalez ad oods Pretce-Hall Note: ages are [spatall] ostatoar sgals. e eed tools to aalze the locall at dfferet resolutos e ca do ths the data doa or sutable
More information{ }{ ( )} (, ) = ( ) ( ) ( ) Chapter 14 Exercises in Sampling Theory. Exercise 1 (Simple random sampling): Solution:
Chapter 4 Exercses Samplg Theory Exercse (Smple radom samplg: Let there be two correlated radom varables X ad A sample of sze s draw from a populato by smple radom samplg wthout replacemet The observed
More informationCapacitated Plant Location Problem:
. L. Brcker, 2002 ept of Mechacal & Idustral Egeerg The Uversty of Iowa CPL/ 5/29/2002 page CPL/ 5/29/2002 page 2 Capactated Plat Locato Proble: where Mze F + C subect to = = =, =, S, =,... 0, =, ; =,
More informationA New Method for Decision Making Based on Soft Matrix Theory
Joural of Scetfc esearch & eports 3(5): 0-7, 04; rtcle o. JS.04.5.00 SCIENCEDOMIN teratoal www.scecedoma.org New Method for Decso Mag Based o Soft Matrx Theory Zhmg Zhag * College of Mathematcs ad Computer
More informationFunctions of Random Variables
Fuctos of Radom Varables Chapter Fve Fuctos of Radom Varables 5. Itroducto A geeral egeerg aalyss model s show Fg. 5.. The model output (respose) cotas the performaces of a system or product, such as weght,
More informationPseudo-random Functions
Pseudo-radom Fuctos Debdeep Mukhopadhyay IIT Kharagpur We have see the costructo of PRG (pseudo-radom geerators) beg costructed from ay oe-way fuctos. Now we shall cosder a related cocept: Pseudo-radom
More informationA Characterization of Jacobson Radical in Γ-Banach Algebras
Advaces Pure Matheatcs 43-48 http://dxdoorg/436/ap66 Publshed Ole Noveber (http://wwwscrporg/joural/ap) A Characterzato of Jacobso Radcal Γ-Baach Algebras Nlash Goswa Departet of Matheatcs Gauhat Uversty
More informationSymmetry of the Solution of Semidefinite Program by Using Primal-Dual Interior-Point Method
Syetry of the Soluto of Sedefte Progra by Usg Pral-Dual Iteror-Pot Method Yoshhro Kao Makoto Ohsak ad Naok Katoh Departet of Archtecture ad Archtectural Systes Kyoto Uversty Kyoto 66-85 Japa kao@s-jarchkyoto-uacjp
More informationStrong Convergence of Weighted Averaged Approximants of Asymptotically Nonexpansive Mappings in Banach Spaces without Uniform Convexity
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Bull. Malays. Math. Sc. Soc. () 7 (004), 5 35 Strog Covergece of Weghted Averaged Appromats of Asymptotcally Noepasve Mappgs Baach Spaces wthout
More informationNon-degenerate Perturbation Theory
No-degeerate Perturbato Theory Proble : H E ca't solve exactly. But wth H H H' H" L H E Uperturbed egevalue proble. Ca solve exactly. E Therefore, kow ad. H ' H" called perturbatos Copyrght Mchael D. Fayer,
More informationThe theoretical background of
he theoretcal backgroud of -echologes he theoretcal backgroud of FactSage he followg sldes gve a abrdged overvew of the ajor uderlyg prcples of the calculatoal odules of FactSage. -echologes he bbs Eergy
More informationCS 2750 Machine Learning. Lecture 7. Linear regression. CS 2750 Machine Learning. Linear regression. is a linear combination of input components x
CS 75 Mache Learg Lecture 7 Lear regresso Mlos Hauskrecht los@cs.ptt.edu 59 Seott Square CS 75 Mache Learg Lear regresso Fucto f : X Y s a lear cobato of put copoets f + + + K d d K k - paraeters eghts
More informationInterval extension of Bézier curve
WSEAS TRANSACTIONS o SIGNAL ROCESSING Jucheg L Iterval exteso of Bézer curve JUNCHENG LI Departet of Matheatcs Hua Uversty of Huates Scece ad Techology Dxg Road Loud cty Hua rovce 47 R CHINA E-al: ljucheg8@6co
More informationBounds on the expected entropy and KL-divergence of sampled multinomial distributions. Brandon C. Roy
Bouds o the expected etropy ad KL-dvergece of sampled multomal dstrbutos Brado C. Roy bcroy@meda.mt.edu Orgal: May 18, 2011 Revsed: Jue 6, 2011 Abstract Iformato theoretc quattes calculated from a sampled
More informationh-analogue of Fibonacci Numbers
h-aalogue of Fboacc Numbers arxv:090.0038v [math-ph 30 Sep 009 H.B. Beaoum Prce Mohammad Uversty, Al-Khobar 395, Saud Araba Abstract I ths paper, we troduce the h-aalogue of Fboacc umbers for o-commutatve
More informationSUBCLASS OF HARMONIC UNIVALENT FUNCTIONS ASSOCIATED WITH SALAGEAN DERIVATIVE. Sayali S. Joshi
Faculty of Sceces ad Matheatcs, Uversty of Nš, Serba Avalable at: http://wwwpfacyu/float Float 3:3 (009), 303 309 DOI:098/FIL0903303J SUBCLASS OF ARMONIC UNIVALENT FUNCTIONS ASSOCIATED WIT SALAGEAN DERIVATIVE
More informationbest estimate (mean) for X uncertainty or error in the measurement (systematic, random or statistical) best
Error Aalyss Preamble Wheever a measuremet s made, the result followg from that measuremet s always subject to ucertaty The ucertaty ca be reduced by makg several measuremets of the same quatty or by mprovg
More informationNon-uniform Turán-type problems
Joural of Combatoral Theory, Seres A 111 2005 106 110 wwwelsevercomlocatecta No-uform Turá-type problems DhruvMubay 1, Y Zhao 2 Departmet of Mathematcs, Statstcs, ad Computer Scece, Uversty of Illos at
More informationLecture 7. Confidence Intervals and Hypothesis Tests in the Simple CLR Model
Lecture 7. Cofdece Itervals ad Hypothess Tests the Smple CLR Model I lecture 6 we troduced the Classcal Lear Regresso (CLR) model that s the radom expermet of whch the data Y,,, K, are the outcomes. The
More informationStudy of Correlation using Bayes Approach under bivariate Distributions
Iteratoal Joural of Scece Egeerg ad Techolog Research IJSETR Volume Issue Februar 4 Stud of Correlato usg Baes Approach uder bvarate Dstrbutos N.S.Padharkar* ad. M.N.Deshpade** *Govt.Vdarbha Isttute of
More informationIdeal multigrades with trigonometric coefficients
Ideal multgrades wth trgoometrc coeffcets Zarathustra Brady December 13, 010 1 The problem A (, k) multgrade s defed as a par of dstct sets of tegers such that (a 1,..., a ; b 1,..., b ) a j = =1 for all
More information18.413: Error Correcting Codes Lab March 2, Lecture 8
18.413: Error Correctg Codes Lab March 2, 2004 Lecturer: Dael A. Spelma Lecture 8 8.1 Vector Spaces A set C {0, 1} s a vector space f for x all C ad y C, x + y C, where we take addto to be compoet wse
More informationGeneralization of the Dissimilarity Measure of Fuzzy Sets
Iteratoal Mathematcal Forum 2 2007 o. 68 3395-3400 Geeralzato of the Dssmlarty Measure of Fuzzy Sets Faramarz Faghh Boformatcs Laboratory Naobotechology Research Ceter vesa Research Isttute CECR Tehra
More informationfor each of its columns. A quick calculation will verify that: thus m < dim(v). Then a basis of V with respect to which T has the form: A
Desty of dagoalzable square atrces Studet: Dael Cervoe; Metor: Saravaa Thyagaraa Uversty of Chcago VIGRE REU, Suer 7. For ths etre aer, we wll refer to V as a vector sace over ad L(V) as the set of lear
More informationMA/CSSE 473 Day 27. Dynamic programming
MA/CSSE 473 Day 7 Dyamc Programmg Bomal Coeffcets Warshall's algorthm (Optmal BSTs) Studet questos? Dyamc programmg Used for problems wth recursve solutos ad overlappg subproblems Typcally, we save (memoze)
More information8.1 Hashing Algorithms
CS787: Advaced Algorthms Scrbe: Mayak Maheshwar, Chrs Hrchs Lecturer: Shuch Chawla Topc: Hashg ad NP-Completeess Date: September 21 2007 Prevously we looked at applcatos of radomzed algorthms, ad bega
More informationECONOMETRIC THEORY. MODULE VIII Lecture - 26 Heteroskedasticity
ECONOMETRIC THEORY MODULE VIII Lecture - 6 Heteroskedastcty Dr. Shalabh Departmet of Mathematcs ad Statstcs Ida Isttute of Techology Kapur . Breusch Paga test Ths test ca be appled whe the replcated data
More informationExtended Multiset-Table-Algebra Operations
Iteratoal Joural of Itellget Coputg esearch IJIC) Volue 7 Issue Jue 06 Exteded Multset-Table-lgebra Operatos Irya Glusho Nzhy Gogol State Uversty Urae bstract The paper s focused o soe theoretcal questos
More informationEconometric Methods. Review of Estimation
Ecoometrc Methods Revew of Estmato Estmatg the populato mea Radom samplg Pot ad terval estmators Lear estmators Ubased estmators Lear Ubased Estmators (LUEs) Effcecy (mmum varace) ad Best Lear Ubased Estmators
More informationROOT-LOCUS ANALYSIS. Lecture 11: Root Locus Plot. Consider a general feedback control system with a variable gain K. Y ( s ) ( ) K
ROOT-LOCUS ANALYSIS Coder a geeral feedback cotrol yte wth a varable ga. R( Y( G( + H( Root-Locu a plot of the loc of the pole of the cloed-loop trafer fucto whe oe of the yte paraeter ( vared. Root locu
More informationThe internal structure of natural numbers, one method for the definition of large prime numbers, and a factorization test
Fal verso The teral structure of atural umbers oe method for the defto of large prme umbers ad a factorzato test Emmaul Maousos APM Isttute for the Advacemet of Physcs ad Mathematcs 3 Poulou str. 53 Athes
More informationAnalyzing Fuzzy System Reliability Using Vague Set Theory
Iteratoal Joural of Appled Scece ad Egeerg 2003., : 82-88 Aalyzg Fuzzy System Relablty sg Vague Set Theory Shy-Mg Che Departmet of Computer Scece ad Iformato Egeerg, Natoal Tawa versty of Scece ad Techology,
More informationCS286.2 Lecture 4: Dinur s Proof of the PCP Theorem
CS86. Lecture 4: Dur s Proof of the PCP Theorem Scrbe: Thom Bohdaowcz Prevously, we have prove a weak verso of the PCP theorem: NP PCP 1,1/ (r = poly, q = O(1)). Wth ths result we have the desred costat
More informationArithmetic Mean and Geometric Mean
Acta Mathematca Ntresa Vol, No, p 43 48 ISSN 453-6083 Arthmetc Mea ad Geometrc Mea Mare Varga a * Peter Mchalča b a Departmet of Mathematcs, Faculty of Natural Sceces, Costate the Phlosopher Uversty Ntra,
More informationEstimation of Stress- Strength Reliability model using finite mixture of exponential distributions
Iteratoal Joural of Computatoal Egeerg Research Vol, 0 Issue, Estmato of Stress- Stregth Relablty model usg fte mxture of expoetal dstrbutos K.Sadhya, T.S.Umamaheswar Departmet of Mathematcs, Lal Bhadur
More informationSEMI-TIED FULL-COVARIANCE MATRICES FOR HMMS
SEMI-TIED FULL-COVARIANCE MATRICES FOR HMMS M.J.F. Gales fg@eg.ca.ac.uk Deceber 9, 997 Cotets Bass. Block Dagoal Matrces : : : : : : : : : : : : : : : : : : : : : : : : : : : :. Cooly used atrx dervatve
More informationDerivation of 3-Point Block Method Formula for Solving First Order Stiff Ordinary Differential Equations
Dervato of -Pot Block Method Formula for Solvg Frst Order Stff Ordary Dfferetal Equatos Kharul Hamd Kharul Auar, Kharl Iskadar Othma, Zara Bb Ibrahm Abstract Dervato of pot block method formula wth costat
More informationChapter 9 Jordan Block Matrices
Chapter 9 Jorda Block atrces I ths chapter we wll solve the followg problem. Gve a lear operator T fd a bass R of F such that the matrx R (T) s as smple as possble. f course smple s a matter of taste.
More informationThird handout: On the Gini Index
Thrd hadout: O the dex Corrado, a tala statstca, proposed (, 9, 96) to measure absolute equalt va the mea dfferece whch s defed as ( / ) where refers to the total umber of dvduals socet. Assume that. The
More informationPseudo-random Functions. PRG vs PRF
Pseudo-radom Fuctos Debdeep Muhopadhyay IIT Kharagpur PRG vs PRF We have see the costructo of PRG (pseudo-radom geerators) beg costructed from ay oe-way fuctos. Now we shall cosder a related cocept: Pseudo-radom
More informationDescriptive Statistics
Page Techcal Math II Descrptve Statstcs Descrptve Statstcs Descrptve statstcs s the body of methods used to represet ad summarze sets of data. A descrpto of how a set of measuremets (for eample, people
More informationSolutions to problem set ); (, ) (
Solutos to proble set.. L = ( yp p ); L = ( p p ); y y L, L = yp p, p p = yp p, + p [, p ] y y y = yp + p = L y Here we use for eaple that yp, p = yp p p yp = yp, p = yp : factors that coute ca be treated
More informationA Model Reduction Technique for linear Model Predictive Control for Non-linear Large Scale Distributed Systems
A Model Reducto Techque for lear Model Predctve Cotrol for No-lear Large Scale Dstrbuted Systes Weguo Xe ad Costatos Theodoropoulos School of Checal Egeerg ad Aalytcal Scece Uversty of Machester, Machester
More informationChapter 4 Multiple Random Variables
Revew for the prevous lecture: Theorems ad Examples: How to obta the pmf (pdf) of U = g (, Y) ad V = g (, Y) Chapter 4 Multple Radom Varables Chapter 44 Herarchcal Models ad Mxture Dstrbutos Examples:
More informationTwo Uncertain Programming Models for Inverse Minimum Spanning Tree Problem
Idustral Egeerg & Maageet Systes Vol, No, March 3, pp.9-5 ISSN 598-748 EISSN 34-6473 http://d.do.org/.73/es.3...9 3 KIIE Two Ucerta Prograg Models for Iverse Mu Spag Tree Proble Xag Zhag, Qa Wag, Ja Zhou
More informationFast algorithm for efficient simulation of quantum algorithm gates on classical computer
Fast algort for effcet sulato of quatu algort gates o classcal coputer Sergey A PANFILOV Sergey V LYANOV Ludla V LITVINTSEVA Yaaa Motor Europe NV R&D Offce Va Braate 65 603 Crea (CR) Italy Alexader V YAZENIN
More informationCollapsing to Sample and Remainder Means. Ed Stanek. In order to collapse the expanded random variables to weighted sample and remainder
Collapg to Saple ad Reader Mea Ed Staek Collapg to Saple ad Reader Average order to collape the expaded rado varable to weghted aple ad reader average, we pre-ultpled by ( M C C ( ( M C ( M M M ( M M M,
More informationPolly Polyhedral Transformations for LLVM
Polly Polyhedral Trasforatos for LLVM Tobas Grosser - Hogb Zheg Noveber 4, 200 Tobas Grosser - Hogb Zheg Polly Noveber 4, 200 / 9 Outle The Polyhedral Model 2 Research Projects 3 Polly Tobas Grosser -
More informationOdd-elegant Labeling Algorithm of Generalized Ring Core Networks
6th Iteratoal Coferece o Machery Materals Eroet Botechology ad Coputer (MMEBC 06) Odd-elegat Labelg Algorth of Geeralzed Rg Core Networs Ja Xe a Bg Yao b ad Wee Hogc College of Matheatcs ad Statstcs Northwest
More informationRelations to Other Statistical Methods Statistical Data Analysis with Positive Definite Kernels
Relatos to Other Statstcal Methods Statstcal Data Aalyss wth Postve Defte Kerels Kej Fukuzu Isttute of Statstcal Matheatcs, ROIS Departet of Statstcal Scece, Graduate Uversty for Advaced Studes October
More informationPart 4b Asymptotic Results for MRR2 using PRESS. Recall that the PRESS statistic is a special type of cross validation procedure (see Allen (1971))
art 4b Asymptotc Results for MRR usg RESS Recall that the RESS statstc s a specal type of cross valdato procedure (see Alle (97)) partcular to the regresso problem ad volves fdg Y $,, the estmate at the
More informationSummary of the lecture in Biostatistics
Summary of the lecture Bostatstcs Probablty Desty Fucto For a cotuos radom varable, a probablty desty fucto s a fucto such that: 0 dx a b) b a dx A probablty desty fucto provdes a smple descrpto of the
More informationThe Number of the Two Dimensional Run Length Constrained Arrays
2009 Iteratoal Coferece o Mache Learg ad Coutg IPCSIT vol.3 (20) (20) IACSIT Press Sgaore The Nuber of the Two Desoal Ru Legth Costraed Arrays Tal Ataa Naohsa Otsua 2 Xuerog Yog 3 School of Scece ad Egeerg
More informationOn Probability of Undetected Error for Hamming Codes over Q-ary Symmetric Channel
Joural of Coucato ad Coputer 8 (2 259-263 O Probablty of Udetected Error for Hag Codes over Q-ary Syetrc Chael Mash Gupta, Jaskar Sgh Bhullar 2 ad O Parkash Vocha 3. D.A.V. College, Bathda 5, Ida 2. Malout
More informationOn L- Fuzzy Sets. T. Rama Rao, Ch. Prabhakara Rao, Dawit Solomon And Derso Abeje.
Iteratoal Joural of Fuzzy Mathematcs ad Systems. ISSN 2248-9940 Volume 3, Number 5 (2013), pp. 375-379 Research Ida Publcatos http://www.rpublcato.com O L- Fuzzy Sets T. Rama Rao, Ch. Prabhakara Rao, Dawt
More informationChapter 5 Properties of a Random Sample
Lecture 6 o BST 63: Statstcal Theory I Ku Zhag, /0/008 Revew for the prevous lecture Cocepts: t-dstrbuto, F-dstrbuto Theorems: Dstrbutos of sample mea ad sample varace, relatoshp betwee sample mea ad sample
More information