Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cplire.ru/Lab144/morozov-budva.pdf Дата изменения: Sun Oct 28 22:48:50 2012 Дата индексирования: Sat Feb 2 23:23:52 2013 Кодировка: Поисковые слова: m 97

.
morozov@cplire.ru

. . .

, , 21 2012 ., . ­ p. 1/37


?

: · ( ). · ( ) ( , ). · ( ). : · , . · .
, , 21 2012 ., . ­ p. 2/37


?

:

, , .



, , 21 2012 ., . ­ p. 3/37



Test NREV CRYPT CRYPT[!] DERIV POLY_10 PRIMES QSORT QUEENS QUERY TAK Java 34,807,018 lips 8.25 ms 5.282 ms 0.085265 ms 19.25 ms 0.102350 ms 0.113750 ms 35.562 ms 4.5984 ms 10.64 ms EXE 54,385,965 lips 4.12 ms 4.16 ms 0.00335 ms 3.42 ms 0.172 ms 0.0139 ms 2.42 ms 0.308 ms 1.55 ms
, , 21 2012 ., . ­ p. 4/37

Pentium Q9450, 2.67 GHz, 3.25 GB)




, .

, , 21 2012 ., . ­ p. 5/37




: · - . · . · . · , . · . : · . · . · JVM.

, , 21 2012 ., . ­ p. 6/37




1. . 2. . 3. , . 4. . 5. . 6. . 7. -.

, , 21 2012 ., . ­ p. 7/37




, , , ().

1. ( , ). 2. ( ). 3. ( , ).

, , 21 2012 ., . ­ p. 8/37



goal:p. p:q. q:writeln("Hi!").
public void impProcP_s617_0(ChoisePoint iX) { impProcQ_s618_0(iX); } public void impProcQ_s618_0(ChoisePoint iX) { impProcWriteln_s193_1_i1( iX,new PrologString("Hi!")); } , , 21 2012 ., . ­ p. 9/37




1. ( , .). 2. , ( ). 3. .

append([],L)= L. append([H|R1],L2)= [H|?append(R1,L2)].
, , 21 2012 ., . ­ p. 10/37



goal:p. p:q. q:writeln("Hi!").
public void detProcP_s617_0(ChoisePoint iX) throws Backtracking { detProcQ_s618_0(iX); }

. .

, , 21 2012 ., . ­ p. 11/37



class NondetProcP_s617_0 extends Continuation { private Continuation c1; NondetProcP_s617_0(Continuation aC) { c0= aC; } public void execute(ChoisePoint iX) throws Backtracking { c1= new NondetProcQ_s618_0(c0); c1.execute(iX); } }

. .

, , 21 2012 ., . ­ p. 12/37




1. . , . 2. . 3. - . 4. . 5. . 6. .
, , 21 2012 ., . ­ p. 13/37



Test NREV CRYPT CRYPT[!] DERIV POLY_10 PRIMES QSORT QUEENS QUERY TAK Java 34,807,018 lips 8.25 ms 5.282 ms 0.085265 ms 19.25 ms 0.102350 ms 0.113750 ms 35.562 ms 4.5984 ms 10.64 ms EXE 54,385,965 lips 4.12 ms 4.16 ms 0.00335 ms 3.42 ms 0.172 ms 0.0139 ms 2.42 ms 0.308 ms 1.55 ms
, , 21 2012 ., . ­ p. 14/37

Pentium Q9450, 2.67 GHz, 3.25 GB)




, (JDK7) EXE-.

, , 21 2012 ., . ­ p. 15/37


!
. morozov@cplire.ru . . . 11, 125009 http://www.cplire.ru/Lab144/

, , 21 2012 ., . ­ p. 16/37




, , 21 2012 ., . ­ p. 17/37


« »
·

1989­1991 . ( , . , . . , ..). , « ». . - .
, , 21 2012 ., . ­ p. 18/37


« »
·

·

1991­1994 . () , . . (« »). «» (1994, N5). 1996 . .
, , 21 2012 ., . ­ p. 19/37


« »
·

·

1998 . - (SADT, IDEF0) ( ). 1999­2007 . - ( ).

, , 21 2012 ., . ­ p. 20/37


« »
·

· ·

·

2002 . . . 2003 . ICLP (, ). 2007 . - ( EXE-, ). ICLP (, ). 2008 . .

, , 21 2012 ., . ­ p. 21/37




1. . . 2. . 3D- (VRML). 3. (SADT- ). 4. , LaTeX, HTML, VRML). 5. (Java3D).

, , 21 2012 ., . ­ p. 22/37



·

· ·

·

. -- , . . - . , .
, , 21 2012 ., . ­ p. 23/37




: 1. . . 2. . 3. «» -- . .

, , 21 2012 ., . ­ p. 24/37




-. , (R).
, , 21 2012 ., . ­ p. 25/37



class '_Sender' (specialized 'Dialog'): entry_o1; value_o1; identifier = "Control"; [ goal:­!. ] dialog "Control" ( "Sender control panel", ... radiobuttons(value_o1) ... end_of_dialog
, , 21 2012 ., . ­ p. 26/37



class '_Receiver' (specialized 'Alpha'): entry_c1; value_c1; con; [ goal:­!, con ? writeln( "I have received a value:"), con ? writeln(value_c1), check(value_c1). check(#):­!. check(Value):­ even(Value). ]
, , 21 2012 ., . ­ p. 27/37




- (SADT). : 1. , . 2. , ( ). 3. SADT- IDL- ( ). 4. .

, , 21 2012 ., . ­ p. 28/37




Sender , , Receiver -- , .
, , 21 2012 ., . ­ p. 29/37




.

, , 21 2012 ., . ­ p. 30/37




.

, , 21 2012 ., . ­ p. 31/37




3D- , - (VRML).
, , 21 2012 ., . ­ p. 32/37


3D-

3D- (Java3D).

, , 21 2012 ., . ­ p. 33/37


?

1. . (JDK7). 2. , . 3. , EXE-. . . .

, , 21 2012 ., . ­ p. 34/37




, (JDK7) EXE-.

, , 21 2012 ., . ­ p. 35/37


?

1. . () . 2. Java3D. 3D-. 3. , , ().

, , 21 2012 ., . ­ p. 36/37




1. - . -- . 2. . : Java3D, - , , , . 3. .

, , 21 2012 ., . ­ p. 37/37