{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

形式化方法0062

形式化方法0062

Info icon This preview shows pages 1–13. Sign up to view the full content.

View Full Document Right Arrow Icon
基基基基基基基基基基基基基基基基基基 基基基
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
7.1 基基基基基 Thayer, Herzog 基 Guttman 基基基基基基基基基基基基基基基 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基
Image of page 2
7.1.1 基基基 (term) 基 基基基基基基基基基基基基基基基基基基 基基基基基基基基基基 基基基基基基基基 T 基基基基基基基基基基基基基基 (N ∩ T name =Ф) 基基基基基基基基基 K 基基基基基基基基基基基基基基基 , 基基 K∩T=Ф. 基基基基基基基基基基基基基基基基基基基基基基基基 A 基
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
基基基基基 A 基基基基基基基基基基 ) 基基 m T 基 m K, 基 m A. ) 基基 m A, k K, 基 {m} k A. ) 基基 m 1 A, m 2 A, 基 m 1 m 2 A.
Image of page 4
基基基基基 1 基基 t T 基 , a t 基基基基 a=t. 2) 基 k K 基 , a k 基基基基 a=k. 3) a {g} k 基基基基 a g a={g} k. 4) a gh 基基基基 a g a h a=gh.
Image of page 5

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
7.1.2 (Strand) 基基基基 (Strand Spaces) 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 <s, a>. 基基 a A 基 s=+ 基基基基基基基 s= - 基基基基基基基 基基 <s, a> 基基基基基 +a - a.
Image of page 6
基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基 (strand) 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基基基基基基基基基基基基基基基 基基基基基∑
Image of page 7

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基基 基基基基基基基基基基基基基 基基基基基基基基基 < opt 基 a> 基基基 opt {+ 基 -} 基 a A 基基基基基基基 (+) 基基基 (-) 基基 , 基基基 基基基基基基基基 +a 基 -a. .
Image of page 8
基基基基基基基基基基基基基 ±A 基基基基基基基基基基基基基基基 (± A) (± A)=(< σ 1 , a 1 ) ,…., < σ n , a n >) 基基基∑基基基基基基基基基基基基基基基基 tr: ∑→(±A) * .
Image of page 9

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Example1:N-S 基基基基基基基基基基基基基基 Resp[A, B, Na, Nb] Init[A, B, Na, Nb] - {Na, A} Kb + {Na, A} Kb + {Na, Nb } Ka -{Na, Nb } Ka -{Nb} Kb + {Nb} Kb . . . . . . {Na, A} Kb {Na, Nb } Ka {Nb} Kb A B n 1 =<s,1> n 2 =<s, 2> n 3 =<s,3>
Image of page 10
7.1.3 基基 (1) 基基基基 n 基基基基 <S, i> 基基基 S 基 i 基基基基基基基 基 1 i length(tr(S)). 基基基基 n=<S, i> 基基基基基基基基基基基 n S 基基基基基基 基 N 基基基 .
Image of page 11

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
(2) 基基 n=<S, i> N 基基 index(n)=i, strand(n)=S, term(n)= (tr(S)) i .
Image of page 12
Image of page 13
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern