A Formal Method for Analyzing Electronic Commerce Protocols
|
|
- Αλθαία Βασιλικός
- 5 χρόνια πριν
- Προβολές:
Transcript
1 /2005/16(10) Journl of Softwre Vol16, No10 1,2+ 1 (, ) 2 (, ) A Forml Method for Anlyzng Electronc Commerce Protocols QING S-Hn 1,2+ 1 (Engneerng Reserch Center for Informton Securty Technology, Insttute of Softwre, The Chnese Acdemy of Scences, Bejng , Chn) 2 (Bejng ZhongkeAnsheng Corporton of Informton Technology, Bejng , Chn) + Correspondng uthor: Phn: , Fx: , E-ml: qshn@ercstscsccn Receved ; Accepted Qng SH A forml method for nlyzng electronc commerce protocols Journl of Softwre, 2005,16(10): DOI: /jos Abstrct: A forml method whch cn be used to nlyze securty propertes such s ccountblty nd frness n electronc commerce protocols s presented Compred wth the prevous work, the mn contrbutons re the followng Frstly, forml defnton s gven to the possesson set of ech protocol prtcpnt, nd the ntl possesson set depends only on the envronment Secondly, the set of ntl stte ssumptons s dvded nto three ctegores: bsc ssumptons, trust ssumptons, nd protocol comprehenson ssumptons, n order to vod nlyss errors cused by nforml ntl stte ssumptons Thrdly, the set of trust ssumptons s rtculted by forml specfcton t lower level of grnulrty, exposng the essence of the protocol Fourthly, estblshng n xom system mkes the new pproch more rgorous nd expressve ey words: forml nlyss; electronc commerce protocol; ccountblty; frness; TTP :,,, :(1), ;(2) 3 :, ;(3), ;(4), : ; ; ; ; : TP309 : A Supported by the Ntonl Nturl Scence Foundton of Chn under Grnt Nos , ( ); the Ntonl Grnd Fundmentl Reserch 973 Progrm of Chn under Grnt NoG ( (973)); the Bejng Nturl Scence Foundton of Chn under Grnt No ( ) : (1939 ),,,,,
2 1758 Journl of Softwre 2005,16(10),, PI,,, [1,2],, BAN [3] BAN [4] BAN,,,,,,,,,, BAN,,,,lr [5],, lr,,lr [6] [7] lr,,,, :(1), 8 (2) (3), 3 :, (4) TTP, (5) 1 : 1, 2,, 3 TTP, 4, 1~ 3,,,, 4,,, 11 (n): m n ; : A, A A ; ~ :, ~ =, ~ = : m EOO(evdence-of-orgn):,, EOR(evdence-of-recept):,, f X :,,, f EOO EOO, EOO
3 : ,, : Envronmen t = Prncple, Chnnel Pr =, A,,Q,R,,,,,, TTP, TTP,,,,TTP,, 122 ncple { TTP, A, C,, P, Q, R, }, : A B : m A B m A B : m A B m, A B m:(1) ftp B m ftp Zhou Gollmn [8],, TTP ftp, (2) B m,a B m, :() B m;(b) B m 123 n,a, A O,A O, O = O n A,A A, A, O = O n A, 1 m,m m M, m ˆ M ; ( m M ) (( m = ( m 1, m2)) ( m1 ˆ M ) ( m2 ˆ M )) ((( m = m1 ) ( m = m2 )) (( m 1, m2 ) ˆ M )) (( m = f ( m1,, mn ) ) ( m1 ˆ M ) ( m2 ˆ M ) ( m n ˆ M )),f, 2 m,m Mˆ M, 3 A Mˆ = { m m ˆ M} n A O ( = 0,1,, n ) O Ô,, Ô O, O Ô, A O 1 O ( (1) A B : m,m A, = 1,2,, n ), : 1 m O, 1 O = { O 0, = 1,2,, n
4 1760 Journl of Softwre 2005,16(10) 1 ˆ O m A, : m 1 (2) B A: m, A B : m, m O, 1 O = O { 1 (3), O = O, = 1,2,, n 13, = 1,2,, n 8 : (1) A Cn Prove x : A, B x, B y x (2) A Clms x :A x( x ), : A Clms ( x, y) A Clms x,, A (x,y), A x (3) A Controls x :A x, A x (4) A Hs m :A m (5) A Receved m :A m, : A Receved ( n) A Receved m,, A ( m, n), A m (6) P ( A, ) : A, A (7) A Fetched m :A m (8) A Generted m :A m : ( ϕ ) ( ( ϕ ψ )) ψ, ϕ ( ϕ ψ ) ψ, Γ ϕ Γ ( ) ϕ ϕ ϕ, ϕ, : ϕ, ϕ ψ, ψ 8 : A1 A CnProve x A CnProve y A CnProve ( x y) A x y, A A2 x y A CnProve x ( x y) A CnProve y A x, x y, A y A3 { ) A CnProve P( ) A CnProve ( B Clms ) ( A Hs 1 m A A B, A B m A4 A CnProve ( B Controls x) A CnProve ( B Clms x) A CnProve x A B x, A B x, A x A5 A CnProve ( B Clms { ) A CnProve ( B Clms ) A CnProve ( B Clms A B {, A B, A B m
5 : 1761 A6 A Receved m A Fetched m A Generted m A Hs m A A A A m A7 ~ A Receved{ A Hs A Receved m A { m }, A ~, A m A8 ~ A Fetched{ A Hs A Fetched m A { m }, A ~, A m 15 3 (1) () ; () () ; (b) ; (c) ; () EOO EOR; (2) () ; () EOO EOR ; (),,, EOO Ob EOR O ; (3), ( 1 n), EOO O b EOR O 2 21 CMP1 1995,Deng [9], CMP1 CMP 2 CMP1 CMP2, CMP2, CMP1, CMP1, X400, (1) A B : A, TTP,,{ k}, {{ A, } ttp k (2) B TTP :{ A, TTP,, { k}, {{ A, } ttp k b (3) TTP B :{{ A, } k ttp (4) TTP A :{{ A, TTP,, b k ttp,a { A,, k, k A,A m, k TTP, (1) B, (1), A,TTP,, md md,b : A B TTP, B, TTP m (1),B B, (1),
6 1762 Journl of Softwre 2005,16(10), B, B b md, (1) TTP (2),TTP B B md,ttp b k}, k,ttp k {{ A, 1} k, A, 1, A { ttp { A,TTP A, 1 m, { A, TTP, {, TTP A B B m,ttp B (3), A m EOO: EOO = {{ A, } k ttp,ttp A (4), TTP B m EOD: EOD = { A, TTP,, m 22 CMP1 { } b k ttp, mtch, m, mtch ( = true m h, : (1) () : 0 0 O = {,, b, ttp} ; Ob = {, b, b, ttp} () : () : B1 A CnProve P( b ) B2 B CnProve P( A, ) B3 A, B CnProve P( TTP, ttp ) (b) : T1 A, B CnProve (TTP Controls ( m B)) T2 A, B CnProve (TTP Controls mtc ) T3 TTP Clms ( m B) TTP Clms mtc (c) : C1 ( m B) B Hs m C2 B Clms B Hs m mtc B Clms m C3 TTP Clms ( TTP Clms ( m B) () EOO EOR:,CMP1 EOO EOR, EOO = { A,, EOR = A B h m B m, C3 {,,TTP, ( )},{, } b ttp,cmp1 (3) (4), (1) (2) CMP1 ( 3 ) TTP B :{ A, ( 4 ) TTP A :{ A, TTP,, { (2) () : b k ttp ttp b
7 : 1763 (G1) B CnProve ( A Clms (G2) A CnProve ( B Clms () EOO EOR : EOO Ob, { A, Ob B Hs { A,,B2 A3 : EOR O, { A, TTP, O,{ O A Hs { A, TTP, b A Hs { ttp,c3 A2 :,T1 A4 :,C1 A2 : (2),T3 A2 :,T2 A4 :, (3) A1 :,B3 A3 : B CnProve ( A Clms (G1) b,b1 A3 : ttp A CnProve ( B Clms (1) A CnProve (TTP Clms ( A CnProve (TTP Clms ( m B)) (2) A CnProve ( m B) A CnProve ( B Hs (3) A CnProve (TTP Clms mtc ) A CnProve mtc A CnProve (( B Hs mtc ), (1) A1 : A CnProve (( B Clms ( B Hs mtc ),C2 A2 : A CnProve ( B Clms (G2), CMP1 EOO EOR () :, O 3 = b O 2 b EOO, O 4 O EOR = 3 : EOO O 3 b Ob EOO O 4 O, (3) : EOO O EOR O, = 1,2,3,4 b 3 1 O ˆ 1 1 b ttp 3 EOO O b, 3 3 O O =, ({ A, TTP,,{ ) O, EOR ˆ O,, 3 31 Zhou-Gollmnn Zhou-Gollmnn [8],
8 1764 Journl of Softwre 2005,16(10) c = { l = ) EOO = { f, c} EOR = { f, A, c} EOO 1 sub _ = { f, } con _ = { f, A, } SUB (1) A B : f, c, EOO EOO (2) B A : f, A, EOR EOR (3) A TTP : fsub, sub _ (4) B TTP : fcon, A, con _ (5) A TTP : fcon, A, con _ EOR CON b,m A B ; A ;c m ; A B m ; sub _ A ; con _ TTP l = ), m (1),A B EOO c (2),B A EOR (3),A TTP sub _,,,B TTP m, A TTP,B TTP A (3) (3),TTP con _ con _, (4) (5),B A TTP con_ 32 Zhou-Gollmnn,, verfy : verfy ( c, = true c, m : T1 TTP Clms A Clms T2 TTP Clms TTP Clms verfy( c, T3 A, B CnProve (TTP Controls verfy( c, : C1 TTP Clms TTP Clms ( con_) C2 TTP Clms ( con _ ) B Hs con_ C3 B Clms c B Hs con _ verfy( c, B Clms m EOO EOR : EOO = EOO, con _ = { f, c},{ f, A, }, EOO ttp CON ttp EOR = EOR, con _ = { f, A, c},{ f, A, } EOR CON b ttp 22, :Zhou-Gollmnn EOO EOR : B CnProve ( A Clms (G1) A CnProve ( B Clms (G2),,, 4,,, CMP1,TTP : m m, Zhou-Gollmnn,TTP : con_;ttp A ; c m
9 : 1765, A6~A8,,,, [10,11],,, ;, [12,13],, [14],,, References: [1] Qng SH Cryptogrphy nd Computer Network Securty Bejng: Tsnghu Unversty Press, 2001 (n Chnese) [2] Qng SH Desgn nd logcl nlyss of securty protocols Journl of Softwre, 2003,14 (7): (n Chnese wth Englsh bstrct) [3] Burrows M, Abd M, Needhm R A logc of uthentcton ACM Trns on Computer Systems, 1990,8(1):18 36 [4] Syverson PF, vn Oorschot PC On unfyng some cryptogrphc protocol logcs In: Proc of the 1994 IEEE Computer Socety Symp on Reserch n Securty nd Prvcy Los Almtos: IEEE Computer Socety Press, publctons/chacs/1994/1994syverson-sppdf [5] lr R Accountblty n electronc commerce protocols IEEE Trns on Softwre Engneerng, 1996,22(5): [6] Zhou DC, Qng SH, Zhou ZF Lmttons of lr logc Journl of Softwre, 1999,10(12): (n Chnese wth Englsh bstrct) [7] Zhou DC, Qng SH, Zhou ZF A new pproch for the nlyss of electronc commerce protocols Journl of Softwre, 2001,12(9): (n Chnese wth Englsh bstrct) [8] Zhou J, Gollmn D A fr non-repudton protocol In: Proc of the 1996 IEEE Symp on Securty nd Prvcy Los Almtos: IEEE Computer Socety Press, [9] Deng R, Gong L Prctcl protocols for certfed electronc ml Journl of Network nd Systems Mngement, 1996,4(3): [10] Qng SH The TTP roles n electronc commerce protocols Journl of Softwre, 2003,14(11): (n Chnese wth Englsh bstrct) [11] Qng SH Securty Protocols Bejng: Tsnghu Unversty Press, 2005 (n Chnese) [12] Asokn N, Shoup V, Wdner M Optmstc fr exchnge of dgtl sgntures In: Nyberg ed Advnces n Cryptology: Proc of the Eurocrypt 98 LNCS 1403, Sprnger-Verlg, [13] Asokn N, Schunter M, Wdner M Optmstc protocols for fr exchnge Reserch Report, RZ 2858, IBM Reserch, 1996 [14] Qng SH, L GC A forml model of fr exchnge protocols Scence n Chn (E), 2005,35(2):16172 (n Chnese wth Englsh bstrct) : [1] :,2001 [2],2003,14(7): [6],, lr,1999,10(12): [7],,,2001,12(9): [10],2003,14(11): [11] :,2005 [14], (E ),2005,35(2):16172
Analysis of Security Protocols Based on Authentication Test
ISSN 1-9825 CODEN RUXUEW E-mil jos@iscsccn Journl of Softwre Vol17 No1 Jnury 26 pp148 156 http//wwwjosorgcn DOI 1136/jos17148 Tel/Fx 86-1-62562563 26 by Journl of Softwre ll rights reserved ( 2196) nlysis
Διαβάστε περισσότερα5 Haar, R. Haar,. Antonads 994, Dogaru & Carn Kerkyacharan & Pcard 996. : Haar. Haar, y r x f rt xβ r + ε r x β r + mr k β r k ψ kx + ε r x, r,.. x [,
4 Chnese Journal of Appled Probablty and Statstcs Vol.6 No. Apr. Haar,, 6,, 34 E-,,, 34 Haar.., D-, A- Q-,. :, Haar,. : O.6..,..,.. Herzberg & Traves 994, Oyet & Wens, Oyet Tan & Herzberg 6, 7. Haar Haar.,
Διαβάστε περισσότεραExam Statistics 6 th September 2017 Solution
Exam Statstcs 6 th September 17 Soluto Maura Mezzett Exercse 1 Let (X 1,..., X be a raom sample of... raom varables. Let f θ (x be the esty fucto. Let ˆθ be the MLE of θ, θ be the true parameter, L(θ be
Διαβάστε περισσότεραA Method for Determining Service Level of Road Network Based on Improved Capacity Model
30 4 2013 4 Journal of Hghway and Transportaton Research and Development Vol. 30 No. 4 Apr. 2013 do10. 3969 /j. ssn. 1002-0268. 2013. 04. 018 1 1 2 1. 4000742. 201804 2 U491. 1 + 3 A 1002-0268 201304-0101
Διαβάστε περισσότεραIF(Ingerchange Format) [7] IF C-STAR(Consortium for speech translation advanced research ) [8] IF 2 IF
100080 e-mal:{gdxe, cqzong, xubo}@nlpr.a.ac.cn tel:(010)82614468 IF 1 1 1 IF(Ingerchange Format) [7] IF C-STAR(Consortum for speech translaton advanced research ) [8] IF 2 IF 2 IF 69835003 60175012 [6][12]
Διαβάστε περισσότεραEvaluation of Expressing Uncertain Causalities as Conditional Causal Possibilities
Evaluaton of Expressng Uncertan Causaltes as Condtonal Causal ossbltes Koch Yamada Department of lannng & Management Scence, agaoa Unversty of Technology eng & Regga (v u u u v v u (v u ) 0 u v V [1] [1]
Διαβάστε περισσότεραA Class of Orthohomological Triangles
A Class of Orthohomologcal Trangles Prof. Claudu Coandă Natonal College Carol I Craova Romana. Prof. Florentn Smarandache Unversty of New Mexco Gallup USA Prof. Ion Pătraşcu Natonal College Fraţ Buzeşt
Διαβάστε περισσότεραER-Tree (Extended R*-Tree)
1-9825/22/13(4)768-6 22 Journal of Software Vol13, No4 1, 1, 2, 1 1, 1 (, 2327) 2 (, 3127) E-mail xhzhou@ustceducn,,,,,,, 1, TP311 A,,,, Elias s Rivest,Cleary Arya Mount [1] O(2 d ) Arya Mount [1] Friedman,Bentley
Διαβάστε περισσότεραC 1 D 1. AB = a, AD = b, AA1 = c. a, b, c : (1) AC 1 ; : (1) AB + BC + CC1, AC 1 = BC = AD, CC1 = AA 1, AC 1 = a + b + c. (2) BD 1 = BD + DD 1,
1 1., BD 1 B 1 1 D 1, E F B 1 D 1. B = a, D = b, 1 = c. a, b, c : (1) 1 ; () BD 1 ; () F; D 1 F 1 (4) EF. : (1) B = D, D c b 1 E a B 1 1 = 1, B1 1 = B + B + 1, 1 = a + b + c. () BD 1 = BD + DD 1, BD =
Διαβάστε περισσότερα2002 Journal of Software /2002/13(08) Vol.13, No.8. , )
000-985/00/3(08)55-06 00 Journal of Software Vol3, No8, (,00084) E-mal: yong98@malstsnghuaeducn http://netlabcstsnghuaeducn :,,, (proportonal farness schedulng, PFS), QoS, : ; ;QoS; : TP393 : A,,,,, (
Διαβάστε περισσότεραOne and two particle density matrices for single determinant HF wavefunctions. (1) = φ 2. )β(1) ( ) ) + β(1)β * β. (1)ρ RHF
One and two partcle densty matrces for sngle determnant HF wavefunctons One partcle densty matrx Gven the Hartree-Fock wavefuncton ψ (,,3,!, = Âϕ (ϕ (ϕ (3!ϕ ( 3 The electronc energy s ψ H ψ = ϕ ( f ( ϕ
Διαβάστε περισσότεραCascading failure model of complex networks based on tunable load redistribution
J X q Ô ø J 33 1 Vol33 No1 013 1 Systems Engneerng Theory & Prctce Jn 013 : 1000-6788(013)01-003-06 : N949 : A!"#$%&')()*+))-)/)01 4365 7 8 94:4; < = >@?6A 4C4D ( EFIJLKNMOPQRSTLKU VW 410073) YZ]\]^]_`cb]decf]ghc]j]k]lm]mcn]o]p]q]r]]j]s]t]]]]jxwzy]{]]j]s]
Διαβάστε περισσότεραOn homeomorphisms and C 1 maps
arxv:1804.10691v1 [mah.gm] 7 Apr 018 On homeomorphsms and C 1 maps Nkolaos E. Sofronds Deparmen of Economcs, Unversy of Ioannna, Ioannna 45110, Greece. nsofron@oene.gr, nsofron@cc.uo.gr Absrac Our purpose
Διαβάστε περισσότεραα & β spatial orbitals in
The atrx Hartree-Fock equatons The most common method of solvng the Hartree-Fock equatons f the spatal btals s to expand them n terms of known functons, { χ µ } µ= consder the spn-unrestrcted case. We
Διαβάστε περισσότεραHigh order interpolation function for surface contact problem
3 016 5 Journal of East China Normal University Natural Science No 3 May 016 : 1000-564101603-0009-1 1 1 1 00444; E- 00030 : Lagrange Lobatto Matlab : ; Lagrange; : O41 : A DOI: 103969/jissn1000-56410160300
Διαβάστε περισσότεραA Sequential Experimental Design based on Bayesian Statistics for Online Automatic Tuning. Reiji SUDA,
Bayes, Bayes mult-armed bandt problem Bayes A Sequental Expermental Desgn based on Bayesan Statstcs for Onlne Automatc Tunng Re SUDA, Ths paper proposes to use Bayesan statstcs for software automatc tunng
Διαβάστε περισσότεραGeneralized Fibonacci-Like Polynomial and its. Determinantal Identities
Int. J. Contemp. Math. Scences, Vol. 7, 01, no. 9, 1415-140 Generalzed Fbonacc-Le Polynomal and ts Determnantal Identtes V. K. Gupta 1, Yashwant K. Panwar and Ompraash Shwal 3 1 Department of Mathematcs,
Διαβάστε περισσότερα2002 Journal of Software., Timed Computation Tree Logic,Metric Interval Temporal Logic Real-Time Temporal Logic
000-985/00/30)0033-09 00 Journl of Softwre Vol3, No,,00080) E-mil {ligy,cst}@iosccn http//wwwiosccn,0,, Timed Computtion Tree Logic,Metric Intervl Temporl Logic Rel-Time Temporl Logic,,, liner temporl
Διαβάστε περισσότεραQuantum annealing inversion and its implementation
49 2 2006 3 CHINESE JOURNAL OF GEOPHYSICS Vol. 49, No. 2 Mar., 2006,,..,2006,49 (2) :577 583 We C, Zhu P M, Wang J Y. Quantum annealng nverson and ts mplementaton. Chnese J. Geophys. (n Chnese), 2006,49
Διαβάστε περισσότερα2002 Journal of Software. SERP(sever-based routing protocol)., Network Simulator
1000-9825/2002/13(06)1162-07 2002 Jornl of Softwre Vol13, No6 1, 1 2, 1 (, 710071); 2 (, 432-8011, ) E-ml gqng@mnxnen http//mnxnen,,, SERP(seer-se rotng protool), Network Smltor, SERP, ; ; ; ; TP393 A,,,,,
Διαβάστε περισσότεραÓ³ Ÿ , º 2(131).. 105Ä ƒ. ± Ï,.. ÊÉ ±μ,.. Šμ ² ±μ,.. Œ Ì ²μ. Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê
Ó³ Ÿ. 2006.. 3, º 2(131).. 105Ä110 Š 537.311.5; 538.945 Œ ƒ ˆ ƒ Ÿ ˆŠ ˆ ƒ Ÿ ƒ ˆ œ ƒ Œ ƒ ˆ ˆ Š ˆ 4 ². ƒ. ± Ï,.. ÊÉ ±μ,.. Šμ ² ±μ,.. Œ Ì ²μ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê ³ É É Ö μ ² ³ μ É ³ Í ² Ö Ê³ μ μ ³ É μ μ μ²ö
Διαβάστε περισσότεραStudies on Measuring Method of Respiration Rates of Fruits and Vegetables (Part,)*
1, - :,/+,0+,*+*, * +, + - * * * * Studes on Mesurng Method of Resprton Rtes of Fruts nd Vegetbles (Prt,)* Identfcton of Error n Resprton Rte nd ondtons Requred for onventonl Formul nd Proposl of Modfed
Διαβάστε περισσότεραON NEGATIVE MOMENTS OF CERTAIN DISCRETE DISTRIBUTIONS
Pa J Statist 2009 Vol 25(2), 135-140 ON NEGTIVE MOMENTS OF CERTIN DISCRETE DISTRIBUTIONS Masood nwar 1 and Munir hmad 2 1 Department of Maematics, COMSTS Institute of Information Technology, Islamabad,
Διαβάστε περισσότεραVidyamandir Classes. Solutions to Revision Test Series - 2/ ACEG / IITJEE (Mathematics) = 2 centre = r. a
Per -.(D).() Vdymndr lsses Solutons to evson est Seres - / EG / JEE - (Mthemtcs) Let nd re dmetrcl ends of crcle Let nd D re dmetrcl ends of crcle Hence mnmum dstnce s. y + 4 + 4 6 Let verte (h, k) then
Διαβάστε περισσότεραΣχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Εθνικό Μετσόβιο Πολυτεχνείο. Thales Workshop, 1-3 July 2015.
Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μετσόβιο Πολυτεχνείο Thles Worksho, 1-3 July 015 The isomorhism function from S3(L(,1)) to the free module Boštjn Gbrovšek Άδεια Χρήσης Το παρόν
Διαβάστε περισσότεραVol. 37 No. 6 JOURNAL OF BEIJING UNIVERSITY OF TECHNOLOGY. Jun. 2011 70% . 2009-10-25.
37 6 2011 6 Vol 37 No 6 JOURNAL OF BEIJING UNIVERSITY OF TECHNOLOGY Jun 2011 100124 2 BP BP BP U 491 A 0254-0037 2011 06-0882 - 06 1 70% BP 1 2 2 2 2009-10-25 50578003 2006BAG01A01 1984 6 883 2 1 3 3 5
Διαβάστε περισσότεραΤο απόθεμα των σπόρων στο έδαφος σε λιβαδικά οικοσυστήματα του όρους Ψηλορείτη Κρήτης
Το απόθεμα των σπόρων στο έδαφος σε λιβαδικά οικοσυστήματα του όρους Ψηλορείτη Κρήτης Το απόθεμα των σπόρων στο έδαφος σε λιβαδικά οικοσυστήματα του όρους Ψηλορείτη Κρήτης Γ. Καζάκης 1 και Β. Π. Παπαναστάσης
Διαβάστε περισσότεραMonolithic Crystal Filters (M.C.F.)
Monolithic Crystal Filters (M.C.F.) MCF (MONOLITHIC CRYSTAL FILTER) features high quality quartz resonators such as sharp cutoff characteristics, low loss, good inter-modulation and high stability over
Διαβάστε περισσότεραVBA Microsoft Excel. J. Comput. Chem. Jpn., Vol. 5, No. 1, pp (2006)
J. Comput. Chem. Jpn., Vol. 5, No. 1, pp. 29 38 (2006) Microsoft Excel, 184-8588 2-24-16 e-mail: yosimura@cc.tuat.ac.jp (Received: July 28, 2005; Accepted for publication: October 24, 2005; Published on
Διαβάστε περισσότεραCAPM. VaR Value at Risk. VaR. RAROC Risk-Adjusted Return on Capital
C RAM 3002 C RAROC Rsk-Adjusted Return on Captal C C RAM Rsk-Adjusted erformance Measure C RAM RAM Bootstrap RAM C RAROC RAM Bootstrap F830.9 A CAM 2 CAM 3 Value at Rsk RAROC Rsk-Adjusted Return on Captal
Διαβάστε περισσότεραΒΕΛΤΙΣΤΟΙ ΣΧΕΔΙΑΣΜΟΙ ΣΕ ΑΝΟΜΟΙΟΓΕΝΕΙΣ ΠΛΗΘΥΣΜΟΥΣ
Ελληνικό Στατιστικό Ινστιτούτο Πρακτικά 0 ου Πανελληνίου Συνεδρίου Στατιστικής (007), σελ 09-6 ΒΕΛΤΙΣΤΟΙ ΣΧΕΔΙΑΣΜΟΙ ΣΕ ΑΝΟΜΟΙΟΓΕΝΕΙΣ ΠΛΗΘΥΣΜΟΥΣ Στρατής Κουνιάς Ομότιμος Καθηγητής, Πανεπιστήμιο Αθηνών sounas@math.uoa.gr
Διαβάστε περισσότεραAnswers - Worksheet A ALGEBRA PMT. 1 a = 7 b = 11 c = 1 3. e = 0.1 f = 0.3 g = 2 h = 10 i = 3 j = d = k = 3 1. = 1 or 0.5 l =
C ALGEBRA Answers - Worksheet A a 7 b c d e 0. f 0. g h 0 i j k 6 8 or 0. l or 8 a 7 b 0 c 7 d 6 e f g 6 h 8 8 i 6 j k 6 l a 9 b c d 9 7 e 00 0 f 8 9 a b 7 7 c 6 d 9 e 6 6 f 6 8 g 9 h 0 0 i j 6 7 7 k 9
Διαβάστε περισσότεραReading Order Detection for Text Layout Excluded by Image
19 5 JOURNAL OF CHINESE INFORMATION PROCESSING Vol119 No15 :1003-0077 - (2005) 05-0067 - 09 1, 1, 2 (11, 100871 ; 21IBM, 100027) :,,, PMRegion,, : ; ; ; ; :TP391112 :A Reading Order Detection for Text
Διαβάστε περισσότεραA Fault Identification Algorithm for Satellite Networks Based on System Level Diagnosis
ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscasaccn Journal of Software, Vol17, No3, March 2006, pp388 395 http://wwwjosorgcn DOI: 101360/jos170388 Tel/Fax: +86-10-62562563 2006 by Journal of Software All
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραInstruction Execution Times
1 C Execution Times InThisAppendix... Introduction DL330 Execution Times DL330P Execution Times DL340 Execution Times C-2 Execution Times Introduction Data Registers This appendix contains several tables
Διαβάστε περισσότεραA summation formula ramified with hypergeometric function and involving recurrence relation
South Asian Journal of Mathematics 017, Vol. 7 ( 1): 1 4 www.sajm-online.com ISSN 51-151 RESEARCH ARTICLE A summation formula ramified with hypergeometric function and involving recurrence relation Salahuddin
Διαβάστε περισσότερα-! " #!$ %& ' %( #! )! ' 2003
-! "#!$ %&' %(#!)!' ! 7 #!$# 9 " # 6 $!% 6!!! 6! 6! 6 7 7 &! % 7 ' (&$ 8 9! 9!- "!!- ) % -! " 6 %!( 6 6 / 6 6 7 6!! 7 6! # 8 6!! 66! #! $ - (( 6 6 $ % 7 7 $ 9!" $& & " $! / % " 6!$ 6!!$#/ 6 #!!$! 9 /!
Διαβάστε περισσότεραTowards a more Secure Cyberspace
Towards a more Secure Cyberspace Dimitris Gritzalis 1 October 1999 5ο Πανελλήνιο Συνέδριο Εφαρμογών Πληροφορικής Θεσσαλονίκη, 8-10 Οκτώβρη 1999 Πορεία προς έναν ασφαλέστερο Κυβερνοχώρο Δημήτρης Γκρίτζαλης
Διαβάστε περισσότερα«Βιοδοκιμές αποτελεσματικότητας ουσιών φυτικής προέλευσης επί του δορυφόρου της πατάτας Leptinotarsa decemlineata (Say) (Coleoptera: Chrysomelidae)»
ΓΕΩΠΟΝΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΣΧΟΛΗ ΑΓΡΟΤΙΚΗΣ ΠΑΡΑΓΩΓΗΣ ΥΠΟΔΟΜΩΝ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΟΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΦΥΤΙΚΗΣ ΠΑΡΑΓΩΓΗΣ Εργαστήριο Γεωργικής Ζωολογίας & Εντομολογίας Αθήνα 2015 «Βιοδοκιμές αποτελεσματικότητας
Διαβάστε περισσότεραDiscriminative Language Modeling Based on Risk Minimization Training
1,a) 1 1 1 2 Bayes Dscrmnatve Language Modelng Based on Rsk Mnmzaton Tranng Kobayash Ako 1,a) Oku Takahro 1 Fujta Yuya 1 Sato Shoe 1 Nakagawa Sech 2 Abstract: Ths paper descrbes dscrmnatve language models
Διαβάστε περισσότεραΠεπερασμένες διαφορές για την ελλειπτική εξίσωση στις δύο διαστάσεις
Κεφάλαιο 9 Πεπερασμένες διαφορές για την ελλειπτική εξίσωση στις δύο διαστάσεις Σε αυτό το κεφάλαιο θεωρούμε μια απλή ελλειπτική εξίσωση, στις δύο διαστάσεις. Θα κατασκευάσουμε μεθόδους πεπερασμένων διαφορών
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότεραThe Research on Sampling Estimation of Seasonal Index Based on Stratified Random Sampling
5 7 008 7 Statistical Research Vol. 5, No7 Jul. 008 :,,, : ; ; ; :O :A :00 4565 (008) 07 0070 04 The Research on Sapling Estiation of Seasonal Index Based on Stratified Rando Sapling Deng Ming Abstract
Διαβάστε περισσότεραA Lambda Model Characterizing Computational Behaviours of Terms
A Lambda Model Characterizing Computational Behaviours of Terms joint paper with Silvia Ghilezan RPC 01, Sendai, October 26, 2001 1 Plan of the talk normalization properties inverse limit model Stone dualities
Διαβάστε περισσότεραOscillatory integrals
Oscilltory integrls Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto August, 0 Oscilltory integrls Suppose tht Φ C R d ), ψ DR d ), nd tht Φ is rel-vlued. I : 0, ) C by Iλ)
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραKernel orthogonal and uncorrelated neighborhood preservation discriminant embedding algorithm
32 7 Vol 32 7 2011 7 Journal of Harbn Engneerng Unversty Jul 2011 do 10 3969 /j ssn 1006-7043 2011 07 018 150001 2 Yale PIE TE2 TP391 4 1006-7043 2011 07-0938-05 Kernel orthogonal and uncorrelated neghborhood
Διαβάστε περισσότεραTechnical Research Report, Earthquake Research Institute, the University of Tokyo, No. +-, pp. 0 +3,,**1. No ,**1
No. +- 0 +3,**1 Technical Research Report, Earthquake Research Institute, the University of Tokyo, No. +-, pp. 0 +3,,**1. * Construction of the General Observation System for Strong Motion in Earthquake
Διαβάστε περισσότεραStudies on the Binding Mechanism of Several Antibiotics and Human Serum Albumin
2005 63 Vol. 63, 2005 23, 2169 2173 ACTA CHIMICA SINICA No. 23, 2169 2173 a,b a a a *,a ( a 130012) ( b 133002), 26 K A 1.98 10 4, 1.01 10 3, 1.38 10 3, 5.97 10 4 7.15 10 4 L mol 1, n 1.16, 0.86, 1.19,
Διαβάστε περισσότεραibemo Kazakhstan Republic of Kazakhstan, West Kazakhstan Oblast, Aksai, Pramzone, BKKS office complex Phone: ; Fax:
Διαβάστε περισσότερα
Super-Resolution Reconstruction for Face Images Based on Particle Filters Method
ISSN 1000-9825, CODEN RUUEW E-mal jos@scasaccn Journal of Sofware, Vol17, No12, December 2006, pp2529 2536 hp//wwwjosorgcn DOI 101360/jos172529 Tel/Fax +86-10-62562563 2006 by Journal of Sofware All rghs
Διαβάστε περισσότεραl 0 l 2 l 1 l 1 l 1 l 2 l 2 l 1 l p λ λ µ R N l 2 R N l 2 2 = N x i l p p R N l p N p = ( x i p ) 1 p i=1 l 2 l p p = 2 l p l 1 R N l 1 i=1 x 2 i 1 = N x i i=1 l p p p R N l 0 0 = {i x i 0} R
Διαβάστε περισσότεραÓ³ Ÿ , º 1(130).. 7Ä ±μ. Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê
Ó³ Ÿ. 006.. 3, º 1(130).. 7Ä16 Š 530.145 ˆ ƒ ˆ ˆŒ ˆŸ Š ƒ.. ±μ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê É μ ² Ö Ó μ μ Ö μ μ²õ μ É μ ÌÉ ±ÊÎ É ² ³ É μ - Î ±μ μ ÊÌ ±μ Ëμ ³ μ- ±² μ ÒÌ ³μ ²ÖÌ Ê ±. ³ É ÔÉμ μ μ μ Ö, Ö ²ÖÖ Ó ±μ³
Διαβάστε περισσότεραHomomorphism in Intuitionistic Fuzzy Automata
International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic
Διαβάστε περισσότεραΗΥ537: Έλεγχος Πόρων και Επίδοση σε Ευρυζωνικά Δίκτυα,
ΗΥ537: Έλεγχος Πόρων και Επίδοση σε Ευρυζωνικά Δίκτυα Βασίλειος Σύρης Τμήμα Επιστήμης Υπολογιστών Πανεπιστήμιο Κρήτης Εαρινό εξάμηνο 2008 Economcs Contents The contet The basc model user utlty, rces and
Διαβάστε περισσότεραVol. 34 ( 2014 ) No. 4. J. of Math. (PRC) : A : (2014) Frank-Wolfe [7],. Frank-Wolfe, ( ).
Vol. 4 ( 214 ) No. 4 J. of Math. (PRC) 1,2, 1 (1., 472) (2., 714) :.,.,,,..,. : ; ; ; MR(21) : 9B2 : : A : 255-7797(214)4-759-7 1,,,,, [1 ].,, [4 6],, Frank-Wolfe, Frank-Wolfe [7],.,,.,,,., UE,, UE. O-D,,,,,
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΣΥΣΤΗΜΑΤΩΝ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΣΥΣΤΗΜΑΤΩΝ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ιπλωµατική Εργασία του φοιτητή του τµήµατος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Ηλεκτρονικών
Διαβάστε περισσότεραEstimating Time of a Simple Step Change in Nonconforming Items in High-Yield Processes
Internatonal Journal of Industral Engneerng & Producton Management (22) March 22, Volume 22, Number 4 pp. 39-33 http://ijiepm.ust.ac.r/ Estmatng Tme of a Smple Step Change n Nonconformng Items n Hgh-Yeld
Διαβάστε περισσότεραBatigoal_mathscope.org ñược tính theo công thức
SỐ PHỨC TRONG CHỨNG MINH HÌNH HỌC PHẲNG Batigoal_mathscope.org Hoangquan9@gmail.com I.MỘT SỐ KHÁI NIỆM CƠ BẢN. Khoảng cách giữa hai ñiểm Giả sử có số phức và biểu diễn hai ñiểm M và M trên mặt phẳng tọa
Διαβάστε περισσότεραA Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics
A Bonus-Malus System as a Markov Set-Chain Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics Contents 1. Markov set-chain 2. Model of bonus-malus system 3. Example 4. Conclusions
Διαβάστε περισσότεραProposal of Terminal Self Location Estimation Method to Consider Wireless Sensor Network Environment
1 2 2 GPS (SOM) Proposal of Termnal Self Locaton Estmaton Method to Consder Wreless Sensor Network Envronment Shohe OHNO, 1 Naotosh ADACHI 2 and Yasuhsa TAKIZAWA 2 Recently, large scale wreless sensor
Διαβάστε περισσότεραCongruence Classes of Invertible Matrices of Order 3 over F 2
International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and
Διαβάστε περισσότεραPower allocation under per-antenna power constraints in multiuser MIMO systems
33 0 Vol.33 No. 0 0 0 Journal on Councatons October 0 do:0.3969/.ssn.000-436x.0.0.009 IO 009 IO IO N94 A 000-436X(0)0-007-06 Power allocaton under er-antenna ower constrants n ultuser IO systes HAN Sheng-qan,
Διαβάστε περισσότεραConcomitants of Dual Generalized Order Statistics from Bivariate Burr III Distribution
Journal of Statstcal Theory and Applcatons, Vol. 4, No. 3 September 5, 4-56 Concomtants of Dual Generalzed Order Statstcs from Bvarate Burr III Dstrbuton Haseeb Athar, Nayabuddn and Zuber Akhter Department
Διαβάστε περισσότεραMulti-dimensional Central Limit Theorem
Mult-dmensonal Central Lmt heorem Outlne () () () t as () + () + + () () () Consder a sequence of ndependent random proceses t, t, dentcal to some ( t). Assume t 0. Defne the sum process t t t t () t tme
Διαβάστε περισσότερα1530 ( ) 2014,54(12),, E (, 1, X ) [4],,, α, T α, β,, T β, c, P(T β 1 T α,α, β,c) 1 1,,X X F, X E F X E X F X F E X E 1 [1-2] , 2 : X X 1 X 2 ;
ISSN1000-0054 CN11-2223/N ( ) 2014 54 12 JTsinghuaUniv(Sci& Technol), 2014,Vol.54, No.12 4/20 1529-1533,, (,, (), 100084) [1-2] :,,,,,,,, :, 0.3~ [3] 0.8BLEU,, : ; ; [4], ; :TP391.2 :A, :1000-0054(2014)12-1529-05,
Διαβάστε περισσότεραSecure Cyberspace: New Defense Capabilities
Secure Cyberspace: New Defense Capabilities Dimitris Gritzalis November 1999 Υπουργείο Εθνικής Αμυνας Διημερίδα Πληροφορικής και Επιχειρησιακής Ερευνας Αθήνα, 2-3 Νοέμβρη 1999 Ασφάλεια στον Κυβερνοχώρο:
Διαβάστε περισσότεραNeutralino contributions to Dark Matter, LHC and future Linear Collider searches
Neutralno contrbutons to Dark Matter, LHC and future Lnear Collder searches G.J. Gounars Unversty of Thessalonk, Collaboraton wth J. Layssac, P.I. Porfyrads, F.M. Renard and wth Th. Dakonds for the γz
Διαβάστε περισσότεραΓΕΩΜΕΤΡΙΑ. 1 o ΔΙΑΓΩΝΙΣΜΑ ΘΕΜΑ 1
ΩΜΤΡΙ ΛΥΚΙΟΥ ΩΜΤΡΙ ΘΜ o ΙΩΝΙΣΜ. Να αποδείξετε ότι : Ι) διάμεσος που αντιστοιχεί στην υποτείνουσα ορθογωνίου τριγώνου είναι ίση με το μισό της υποτείνουσας. ΙΙ) ν μια διάμεσος τριγώνου είναι ίση με το μισό
Διαβάστε περισσότεραMulti-dimensional Central Limit Theorem
Mult-dmensonal Central Lmt heorem Outlne () () () t as () + () + + () () () Consder a sequence of ndependent random proceses t, t, dentcal to some ( t). Assume t 0. Defne the sum process t t t t () t ();
Διαβάστε περισσότεραMATLAB Application of Matlab in Analysing and Modeling Financial Time Sequences
CN4321258/ TP ISSN 10072130X 2004 26 7 COMPUTER ENGINEERING & SCIENCE Vol126,No17,2004 10072130X(2004) 0720100205 MATLAB Ξ Application of Matlab in Analysing and Modeling Financial Time Sequences 1 2,
Διαβάστε περισσότερα1 (forward modeling) 2 (data-driven modeling) e- Quest EnergyPlus DeST 1.1. {X t } ARMA. S.Sp. Pappas [4]
212 2 ( 4 252 ) No.2 in 212 (Total No.252 Vol.4) doi 1.3969/j.issn.1673-7237.212.2.16 STANDARD & TESTING 1 2 2 (1. 2184 2. 2184) CensusX12 ARMA ARMA TU111.19 A 1673-7237(212)2-55-5 Time Series Analysis
Διαβάστε περισσότεραAn Advanced Manipulation for Space Redundant Macro-Micro Manipulator System
6 (5..9) 6 An Advanced Manipulation for Space Redundant Macro-Micro Manipulator System Kazuya Yoshida, Hiromitsu Watanabe * *Tohoku University : (Macro-micro manipulator system) (Flexible base), (Vibration
Διαβάστε περισσότεραLegal use of personal data to fight telecom fraud
Legal use of personal data to fight telecom fraud Dimitris Gritzalis May 2001 Ημερίδα Ελληνικού Φορέα Αντιμετώπισης Τηλεπικοινωνιακής Απάτης (ΕΦΤΑ) Tηλεπικοινωνιακή Απάτη: Μέθοδοι - Πρόληψη - Προεκτάσεις
Διαβάστε περισσότεραΤο άτομο του Υδρογόνου
Το άτομο του Υδρογόνου Δυναμικό Coulomb Εξίσωση Schrödinger h e (, r, ) (, r, ) E (, r, ) m ψ θφ r ψ θφ = ψ θφ Συνθήκες ψ(, r θφ, ) = πεπερασμένη ψ( r ) = 0 ψ(, r θφ, ) =ψ(, r θφ+, ) π Επιτρεπτές ενέργειες
Διαβάστε περισσότεραΚεφάλαιο 1 Πραγματικοί Αριθμοί 1.1 Σύνολα
x + = 0 N = {,, 3....}, Z Q, b, b N c, d c, d N + b = c, b = d. N = =. < > P n P (n) P () n = P (n) P (n + ) n n + P (n) n P (n) n P n P (n) P (m) P (n) n m P (n + ) P (n) n m P n P (n) P () P (), P (),...,
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραLUO, Hong2Qun LIU, Shao2Pu Ξ LI, Nian2Bing
2003 61 3, 435 439 ACTA CHIMICA SINICA Vol 61, 2003 No 3, 435 439 2 ΞΞ ( 400715), 2, 2, 2, 3/ 2 2,, 2,, Ne w Methods for the Determination of the Inclusion Constant between Procaine Hydrochloride and 2Cyclodextrin
Διαβάστε περισσότεραA research on the influence of dummy activity on float in an AOA network and its amendments
2008 6 6 :100026788 (2008) 0620106209,, (, 102206) : NP2hard,,..,.,,.,.,. :,,,, : TB11411 : A A research on the influence of dummy activity on float in an AOA network and its amendments WANG Qiang, LI
Διαβάστε περισσότεραSelf and Mutual Inductances for Fundamental Harmonic in Synchronous Machine with Round Rotor (Cont.) Double Layer Lap Winding on Stator
Sel nd Mutul Inductnces or Fundmentl Hrmonc n Synchronous Mchne wth Round Rotor (Cont.) Double yer p Wndng on Sttor Round Rotor Feld Wndng (1) d xs s r n even r Dene S r s the number o rotor slots. Dene
Διαβάστε περισσότεραEvolution of Novel Studies on Thermofluid Dynamics with Combustion
MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 42, No. 1, 2008 * Evolution of Novel Studies on Thermofluid Dynamics with Combustion Hiroyuki SATO* This paper mentions the recent development of combustion
Διαβάστε περισσότεραOptimization, PSO) DE [1, 2, 3, 4] PSO [5, 6, 7, 8, 9, 10, 11] (P)
( ) 1 ( ) : : (Differential Evolution, DE) (Particle Swarm Optimization, PSO) DE [1, 2, 3, 4] PSO [5, 6, 7, 8, 9, 10, 11] 2 2.1 (P) (P ) minimize f(x) subject to g j (x) 0, j = 1,..., q h j (x) = 0, j
Διαβάστε περισσότεραÓ³ Ÿ , º 4Ä5(174Ä175).. 682Ä688 ˆ ˆŠ ˆ ˆŠ Š ˆ
Ó³ Ÿ. 2012.. 9, º 4Ä5(174Ä175).. 682Ä688 ˆ ˆŠ ˆ ˆŠ Š ˆ ˆ œ ˆŸ FlexCtrl SCADA Ÿ Œ ˆ ˆˆ Š ˆ.. ± Ëμ μ 1,.. ² ±μ, Š.. ÒÎß, ˆ.. μ,.. ʱ Ï ±μ Ñ Ò É ÉÊÉ Ö ÒÌ ² μ, Ê É ÉÓ μ Ò É Ö μ ³³ Ö Î ÉÓ Éμ³ É Í Ê ±μ É ² ²
Διαβάστε περισσότερα(Equipped with static shield, magnetic shieid) (Equipped with magnetic Shieid)
New Power Trnsformer PT-0 PT-310 PT-0 PT-270 PT-260 PT-250 PT-2 PT-2 PT-180 PT-160 PT-150 PT-100 PT-95 PT-60 Specifictions (Equipped wit sttic sield, mgnetic sieid) V-0-280V-3V-360V-7m (450m ;ridge rectifier)
Διαβάστε περισσότεραISSN / CN / TP Journal of Computer Research and Development 42 (6) : , 2005
ISS 0002239/ C 2777/ TP Journal of Computer Research and Development 42 (6) : 039046, 2005 RAID,2 2,3 2 2 ( 00876) 2 ( 30007) 3 ( 300222) (cu bj @snacomcn) Research on Perf ormance Bounds of et worked
Διαβάστε περισσότερα%78 (!*+$&%,+$&*+$&%,-. /0$12*343556
! %78 ( 9 :: "#$% $&'"(" )!*$&%,$&*$&%,-. /$*343556 $ $& %$&.;$& $(# $"*("$# $ "$?, !* $&,#$"&::> $&( &$#, #$&# $"#&"& @($&%%>A!" #$ % µ & ' (#$ )! ) * ' "!)!,-./.' ) " $ &
Διαβάστε περισσότεραEstimators when the Correlation Coefficient. is Negative
It J Cotemp Math Sceces, Vol 5, 00, o 3, 45-50 Estmators whe the Correlato Coeffcet s Negatve Sad Al Al-Hadhram College of Appled Sceces, Nzwa, Oma abur97@ahoocouk Abstract Rato estmators for the mea of
Διαβάστε περισσότερα35 90% 30 35 85% 2000 2008 + 2 2008 22-37 1997 26 1953- 2000 556 888 0.63 2001 0.58 2002 0.60 0.55 2004 0.51 2005 0.47 0.45 0.43 2009 0.
184 C913.7 A 1672-616221 2-21- 7 Vol.7 No.2 Apr., 21 1 26 1997 26 25 38 35 9% 8% 3 35 85% 2% 3 8% 21 1 2 28 + 2 1% + + 2 556 888.63 21 572 986.58 22 657 1 97 23 674 1 229.55 24 711 1 48.51 25 771 1 649.47
Διαβάστε περισσότεραMotion analysis and simulation of a stratospheric airship
32 11 Vol 32 11 2011 11 Journal of Harbin Engineering University Nov 2011 doi 10 3969 /j issn 1006-7043 2011 11 019 410073 3 2 V274 A 1006-7043 2011 11-1501-08 Motion analysis and simulation of a stratospheric
Διαβάστε περισσότερα= f(0) + f dt. = f. O 2 (x, u) x=(x 1,x 2,,x n ) T, f(x) =(f 1 (x), f 2 (x),, f n (x)) T. f x = A = f
2 n dx (x)+g(x)u () x n u (x), g(x) x n () +2 -a -b -b -a 3 () x,u dx x () dx () + x x + g()u + O 2 (x, u) x x x + g()u + O 2 (x, u) (2) x O 2 (x, u) x u 2 x(x,x 2,,x n ) T, (x) ( (x), 2 (x),, n (x)) T
Διαβάστε περισσότεραStudy on the Strengthen Method of Masonry Structure by Steel Truss for Collapse Prevention
33 2 2011 4 Vol. 33 No. 2 Apr. 2011 1002-8412 2011 02-0096-08 1 1 1 2 3 1. 361005 3. 361004 361005 2. 30 TU746. 3 A Study on the Strengthen Method of Masonry Structure by Steel Truss for Collapse Prevention
Διαβάστε περισσότεραDevelopment and Verification of Multi-Level Sub- Meshing Techniques of PEEC to Model High- Speed Power and Ground Plane-Pairs of PFBS
Rose-Hulman Institute of Technology Rose-Hulman Scholar Graduate Theses - Electrical and Computer Engineering Graduate Theses Spring 5-2015 Development and Verification of Multi-Level Sub- Meshing Techniques
Διαβάστε περισσότεραVol. 31,No JOURNAL OF CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY Feb
Ξ 31 Vol 31,No 1 2 0 0 1 2 JOURNAL OF CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY Feb 2 0 0 1 :025322778 (2001) 0120016205 (, 230026) : Q ( m 1, m 2,, m n ) k = m 1 + m 2 + + m n - n : Q ( m 1, m 2,, m
Διαβάστε περισσότεραSolutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S.
Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. Proof. ( ) Since α is 1-1, β : S S such that β α = id S. Since β α = id S is onto,
Διαβάστε περισσότεραSheet H d-2 3D Pythagoras - Answers
1. 1.4cm 1.6cm 5cm 1cm. 5cm 1cm IGCSE Higher Sheet H7-1 4-08d-1 D Pythagoras - Answers. (i) 10.8cm (ii) 9.85cm 11.5cm 4. 7.81m 19.6m 19.0m 1. 90m 40m. 10cm 11.cm. 70.7m 4. 8.6km 5. 1600m 6. 85m 7. 6cm
Διαβάστε περισσότερα9 /393 / Downloaded from energy.kashanu.ac.r at 5:3 0330 on Saturday October 0th 08 * hajakbar@grad.kashanu.ac.r mohammad@kashanu.ac.r. (shunt-apf) :... PSIM. : * 3... Downloaded from energy.kashanu.ac.r
Διαβάστε περισσότεραn 1 n 3 choice node (shelf) choice node (rough group) choice node (representative candidate)
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE. y y yy y 1565 0871 2 1 yy 525 8577 1 1 1 E-mail: yfmakihara,shiraig@cv.mech.eng.osaka-u.ac.jp, yyshimada@ci.ritsumei.ac.jp
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραVol. 38 No Journal of Jiangxi Normal University Natural Science Nov. 2014
38 6 Vol 38 No 6 204 Journal o Jiangxi Normal UniversityNatural Science Nov 204 000-586220406-055-06 2 * 330022 Nevanlinna 2 2 2 O 74 52 0 B j z 0j = 0 φz 0 0 λ - φ= C j z 0j = 0 ab 0 arg a arg b a = cb0
Διαβάστε περισσότερα