与 «PSL»相关的英语书籍
在以下的参考文献中发现
PSL的用法。与
PSL相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
A Practical Introduction to
PSL
A Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic.
Cindy Eisner, Dana Fisman, 2007
Recall that by definition, PSL(n, q) — SL(n, q)/Z, where Z is the central subgroup
of SL(n,q) consisting of the scalar matrices with determinant equal to 1. We begin
work now toward a proof that with just two exceptions, all of the groups PSL(n,q) ...
3
Density Properties of Euler Characteristic -2 Surface Group, ...
Robert Delgado. Proof. By the Genus-2 Surface Group Theorem, p is arbitrarily
close to p that takes a separating simple closed curve to a unipotent isometry. e(p
) is also 1. If p : 7Ti(£) — > PSL(2, K) takes a separating simple closed curve (say
...
4
Classical Groups and Geometric Algebra
//dim V — n > 2. then every
PSL(V) is a simple group, except for
PSL(2,2) andPSL
(2.3). Proof. Choose r ^ 0 in V. and take A = StabSL(V)([r]) and B<A as in
Proposition 1.12. Write Z = Z(SL(V)) and set H = A/Z = StabpSL(V)([r]), K = BZ/Z <
H ' .
5
Topics in Geometric Group Theory
Consider the modular group PSL(2, Z) and a homomor- phism TT : DPSL(2,Z)} —
> An from its commutator subgroup onto the alternating group An, for some n > 6.
Then Ker(ir) is not a congruence subgroup of PSL(2,Z). Proof. Let us assume ...
6
Representations and Characters of Groups
The factor group SL(2, p)/Z is called the 2-dimensional projective special linear
group, and is written as PSL (2, p). Thus PSL(2, p) = SL(2, Since |SL(2, p)\ = p(p2
- 1), we have |PSL(2, p)\ = P(p2 - It is known that PSL (2, 3) ^ A4, PSL (2, 5) £* A5,
...
Gordon James, Martin W. Liebeck, 2001
7
Generating Hardware Assertion Checkers: For Hardware ...
The verification layer in PSL is used to instruct tools on what to do with these
properties and sequences. The two most often used verification directives are
shown below. Definition 4.5. PSL verification directives are defined as follows: ...
Marc Boulé, Zeljko Zilic, 2008
8
Classical Groups and Related Topics: Proceedings of a ...
Let 0/Z(0) be of characteristic r. Let 0/Z(0) be isomorphic to one of the following
simple groups of relatively small order: PSL(2,4), PSL(2,9), PSL(3,2), PSL(3,4),
PSP(4,2)', PSP(6.2), PSU(4,2), PSU(4,3), PSO+(s,2), PSO(7,3), 2E.(2), Sz(s), 00(4
).
Luogeng Hua, Alexander Hahn, Donald G. James, 1989
9
Handbook of Green Chemicals
1.160; water absorp. 1.7%; m.p. 435 F; tens. str. 10,150 psl; tens, elong. 6-8%;
flex. str. 14,500 psl; Impact str. (Izod) 0.8-0.9 ft-lb/ln. notched (1/8"); hardness (
Rockwell M) 80; mold shrinkage 0.8-1.0% (0.125 In.); distort. temp. 180 F (264 psl
); ...
10
International Sports Law and Business
A new PSL fee will be charged in 2005.297 To boost Raiders' PSL sales, many
fans were permitted to buy PSLs from their employer company and pay for them
over two years through automatic payroll deductions. In July 1996, the Oakland ...
Aaron N. Wise, Bruce S. Meyer, 1997
包含词语«PSL»的新条目
找出国内和国际出版社所讨论的内容，以及词语
PSL在以下新条目的上下文中是如何使用的。
PSL puts a stop to Aces-AmaZulu sale
Cape Town - Mpumalanga Black Aces insist that selling their PSL status to AmaZulu would assist them in repositioning their brand to a "better quality football ... «Sport24, 七月 15»
Jomo Cosmos promoted to the PSL
Cape Town - Jomo Cosmos were promoted to the PSL after beating Moroka Swallows 1-0 at the Dobsonville Stadium in the final promotion/relegation playoff ... «Sport24, 六月 15»
PSL Promotion/Relegation Play-Offs: Black Leopards vs Moroka …
Moroka Swallows suffered relegation from the PSL for the first time in their history following a 1-0 loss to Black Leopards in the Promotion/Relegation Play-Offs ... «KickOff.com, 五月 15»
Masha surprise for Mathoho
“The way in which we dominated the PSL, and the new records set, have made this past season one of the most memorable in our 45 years of existence. «Premier Soccer League, 五月 15»
PSL Promotion/Relegation Play-Offs: Moroka Swallows vs Black …
Vuyisile Wana scored a goal in each half to take Moroka Swallows to a 2-0 win over Black Leopards in the PSL Promotion/Relegation Play-Offs at Dobsonville ... «KickOff.com, 五月 15»
PSL awards: Baxter is coach of season
Johannesburg - Kaizer Chiefs defender Tefu Mashamaite took top honours on Sunday night when the Premier Soccer League rewarded top achievers at the ... «Independent Online, 五月 15»
PSL announce award nominees
Cape Town - The Premier Soccer League have unveiled the nominees for the PSL Awards with Tefu Mashamaite and Teko Modise headlining the nominations ... «Sport24, 五月 15»
Kaizer Chiefs crowned Q4 champions
Chiefs' strong run in to the title saw the club breaking several PSL records this season, including the Largest Points Tally (for a 16 team PSL league), with 69 ... «Premier Soccer League, 五月 15»
Baxter and Lamola win PSL monthly awards
Kaizer Chiefs head coach Stuart Baxter and Bloemfontein Celtic striker Lerato Lamola have scooped the final Absa Premiership monthly awards by claiming the ... «The Citizen, 五月 15»
Lerato Lamola eyes PSL Golden Boot
JOHANNESBURG – Speaking to EWN Sport, Bloemfontein Celtic striker and the PSL's current joint top goal scorer Lerato Lamola says he's confident that he will ... «Eyewitness News, 五月 15»
