Literatūra ir menas

Lietuvos rašytojų sąjungos savaitraštis
Literatūra ir menas

2007-11-30 nr. 3167

| Spausdinti | Archyvas | Redakcija |


PIRMASIS 
 Rimvydas Stankevičius.
KŪNO MAZGOJIMAS
80
• KRONIKA
• KITAME NUMERYJE

KULTŪROS ŽEMĖLAPIS 
• KINO TEATRAI
• TEATRAI
• KONCERTAI
• PARODOS
• VAKARAI
• ĮVAIRŪS1

AKTUALIJOS 
• Jūratė Baranova.
SAVIDESTRUKCIJOS MOTYVAI ŠIUOLAIKINIAME LIETUVIŲ MENE
13
• KAIRĖN (DEŠINĖN)
• ATVIRAS LAIŠKAS DĖL GUGGENHEIMO MUZIEJAUS FILIALO VILNIUJE63

KNYGOS 
• „DOSTOJEVSKIS DUKTERS AKIMIS“1
• „BENDRAVIMO PSICHOLOGIJA“1
• „KURGI, MIRTIE, TAVASIS GELUONIS?!“6
• „RAŠTAI: FILOSOFIJOS DARBAI“
• Aleksandra Fomina.
VAIDINIMAS TUŠTUMOJE, ARBA „KAS ČIA KALBA?“
1
• Eugenija Vaitkevičiūtė.
„IR KALBASI JIE APIE VISOKIUS DALYKUS...“
1
• (PA)SKAITINIAI

DAILĖ 
• Vidas Poškus.
TAPYBA KAIP MILŽINIŠKA, RYŠKIASPALVĖ, GĄSDINANTI PIEVA
• Armina Jonušaitė.
PAGARBIAI APIE MOTERIS

TEATRAS 
• Gabrielė Labanauskaitė.
BALTARUSIJOJE – VISKAS GRAŽU
3
• TEATRAS SU VAIKAIS BENDRAUS ŽEMAITIŠKAI

MUZIKA 
• Judita Žukienė.
IŠ DIENORAŠČIO PUSLAPIŲ ATSIVERIANTIS PORTRETAS
1

PAVELDAS 
• PRIMIRŠTAS RENESANSO ARCHITEKTŪROS ŠEDEVRAS1
• Skaistis Mikulionis.
MINSKE – M. DOBUŽINSKIO PIEŠINIŲ PARODA
1

POEZIJA 
• RŪTA BURBAITĖ9
• ASH ASH20

PROZA 
• Algis Kuklys.
SVEČIŲ NAMAI

VERTIMAI 
• PALAUK, PALAUK! – NEGALIU, NEGALIU!2

AKTYVIOS JUNGTYS/ ŠIUOLAIKINIS MENAS 
• Tomas Krilavičius, Irmantas Švedas.
TEKSTILINIS PAREIŠKIMAS
1

AKTYVIOS JUNGTYS/ JAUNIMO PUSLAPIAI 
• Geda Girdvainytė.
BŪTIES AKIMIRKA: NUO IŠŠŪKIO IKI TYLIOS IŠMINTIES
2
• Akvilina Cicėnaitė.
JOGA IR CIGARETĖS
2

KRONIKA 
• ŠAMANAI
• ATVIRAS LAIŠKAS DĖL RASŲ KAPINIŲ PAVALDUMO IR IŠSAUGOJIMO4

SKELBIMAI 
• LIETUVOS BANKAS SKELBIA
• LIETUVOS LITERATŪROS VERTĖJŲ SĄJUNGOS PREMIJA VERTĖJO PROFESIJOS BIČIULIAMS
• KONKURSAS KAZIO BŪGOS PAMINKLUI SUKURTI3
• MIELIEJI! POETĖS IR POETAI!

DE PROFUNDIS 
• SOS SKELBIMAS1
• APIE POEZIJOS REIKŠMĘ IR PERSPEKTYVAS
• IŠ NUTIKIMŲ VĖLIŲ IR VELNIŲ1

PARK@S 
• PETRAS RAKŠTIKAS: SUSINEŠU TEKSTĄ PO SAKINĮ3
• Gintautas Mažeikis.
ŠVENTA IR PROTINGA KVAILYSTĖ
3
• Vigmantas Butkus.
MONOLOGAS JOSIFUI BRODSKIUI VIENU DEMOKRATIJOS KLAUSIMU
1
• Auridas Gajauskas.
SOCIALINIS HEROIZMAS IR POLITINIS FETIŠIZMAS GRUZIJOS LAIKU
1
• Mindaugas Bajarūnas.
FOTOGRAFIJA – KAIP BŪDAS PAŽINTI KITĄ IR SAVE (TARP ŽEMAITIJOS IR KURŽEMĖS)
2
• FILOSOFAI GELBĖJA LIETUVĄ43

PIRMASIS

KŪNO MAZGOJIMAS

Rimvydas Stankevičius

[skaityti komentarus]

iliustracija
Alio Balbieriaus fotografija

Aš taip ir nesupratau, kas mano?
Ką leis pasiimti išeinant?

Drabužius tai duodavo, tai atimdavo –
Kišdavo vis didesnius,
Tekdavo skaudžiai augti, kad atitikčiau
Reikiamą dydį...

Atimdavo net prie žaizdų
Prigijusius tvarsčius, sagas,
Priaugusias knygas išplėšdavo
Iš rankų, iš atminties
(į kūną įsisiurbę šaknų ūgliai
palikdavo paraudimus, išbėrimus,
naktimis bjauriai niežėdavo,
terliodavo miegą)...

Žiemomis atimdavo paukščių
Suklypusius balsus,
Paryčiais – rankų pirštus,
Atimdavo net galimybę suprasti,
Ar vyksta tai iš tikrųjų, –
Dienomis – rūkai, naktimis – pūgos...

Iš trijų pusių jau tuščia, tuščia,
Tik iš ketvirtos dar atsirita
koks vaikiškas kamuoliukas,
žirafom išpieštas,

pušų spyglių, laužo ir
moterų kvapais,

kvatojimais,
sielos virpėjimais, gūsiais...

Štai ir visi palaikai.

O tos ašaros?
Jos, prakeiktosios, niekad nebuvo mano –
Jos visuomet užbėgdavo man
Už akių.
 

Skaitytojų vertinimai


42945. vidma2007-12-02 21:45
Stankeviciaus esu skaites ir geresniu. Pabaiga gera.

42949. 0072007-12-02 23:37
Sutinku, pabaiga kala per stoga. Man patiko.

42953. Onė :-( 2007-12-03 00:41
Laimingas žmogėnas -- jam dar kamuolys atsirita iš ketvirtos pusės. Man geriau būtų, kad ir ta jo ketvirtoji pusė būtų tuščia. Bet, kaip sakoma, "Nenravytsa -- nyieš". Ką ir padarysiu.

42954. elko2007-12-03 00:43
One, čia jau galėtum suskelti neblogą parodiją. Eiliukas protingas, o tu smagiai ir neskaudžiai moki:)

42956. toto2007-12-03 00:56
Geriausias geriausių, ko ne PP laureatas Rimvydas Stankevičius. Dar ne taip seniai jis krokodilo ašarom teisybės šaukėsi, o čia, štai, be skrupulų savo liguistą šūdą pilsto, permalinėja, plauna, skalauja. Pasidžiaukime.

42957. Onė2007-12-03 01:06
"Džiaugiamės". Parodija šitam? Neverta. Aš ne medicinos ekspertė ir man nereikia nustatyti kada lavono skrandžio turinys buvo paskutinį kartą "pamalonintas".

42960. Elko2007-12-03 01:36
Onė šianakt geroj nuotaikoj. Itin. Smagu.

42961. Onė2007-12-03 01:54
O ko joje nebūti? Atsisiunčiau AC/DC 77-ų koncertą ir dabar galvoju, kad Vilniaus milicininkai buvo teisūs kai mane "pakuodavo" už užrašą ant mokyklinio švarko nugaros AC/DC tais pačiais metais.

42962. Elkas2007-12-03 02:35
Pamenu, apie 1973 metais Palangoje toks hipis "vedėjas" iš Šiaulių buvo išsibrūžinęs ant švarko nugaros LOVE. Tai senukai sakydavo - tam jaunimui tik lova rūpi. "Vedėjo" pana buvo latvė. Jie abu susikalbėdavo, ji - latviškai, jis lietuviškai. Iš šalies labai keistai skambėdavo ir kai kurie rusai, nustebę klausdavo - kaip jūs suprantate vienas kitą? O jie buvo įsicinkinę, suprasdavo. Mane tai pakuodavo komjaunuoliai Pitery, kai kalbėdavausi su užsieniečiais, apsimesdavau tuomet lenku, patikėdavo. Jie labai gaudydavo farcovčikus, o man tik rūpėdavo ta "vakarietiška" smarvė, patauzyti su kokiais suomiais, kanadiečiais, anglais...prancūzėmis...kiek pamenu

42963. Onė2007-12-03 02:40
Piterio "Saigono" lankytojui:
AŠ, taip, nesupratau. Mano?
Pasimti išeinant? O, figos lapą.
Drabužius kaip Jobui duodavo ir atimdavo
Nieko nekišo didesnio
Buvau jau užaugusi, visų
Dydžiai netikdavo.

Nesugebėjo atimti net amo
O ką jau sakyt apie plėvę
Tauškenčiau ilgiau klaviatūra
Bet misija laukia --
Mazgot savo kūną

Onė dar nedefloruota

42965. Elkenbasas :-) 2007-12-03 03:00
Oi, fainai priminei. Eidavau į "Saigoną". ruskiai girdavo, kad ten mėgo Vysockis kavą gerti, kai būdavo Pitery. "Saigone" padarydavo trigubą ir gal net keturgubą kavą, jei gerai pamenu. Liteinyj ir Nevskij prospektų kampas. Po to gerdavau arbatą "Jevropeiskaja" ir klausydavau, kaip šnekučiuoja iš Paryžiaus atvykusios turistės senutės rusės aristokratės..oho...tai būdavo kaifas. Ten mane įleisdavo, gal laikydavo kokiu lenku, ar čeku. Ten nedvokdavo, kaip kituose to meto Piterio restoranuose ir jų tualetuose...nors ne, gal tualetuose net "Jevropeiskaja" viešbutyje dvokdavo. Ten buvo dolerinė tokia maža parduotuvė, su vitrina, šokoladu, viskiu, kava...užsienietiška...smagu būdavo užmesti akį...lyg trumpam pabuvodavau užsienyje. O Helsinkyje pamenu jaukią skylutę - "De Javue" berods. Bet visai neturiu nostalgijostiems miestams, net Jaltai daugiau nostalgijos, nei Naujajam Orleanui ar Prahai. gal todėl, kad Rusijoj, Lenkijoj jausdavausi lyg užsienietis, o ten jau ūdavo puošnesnių ir gudresnių, atvirai sakant./////// Sugrįžti nors sekundei/ Pakeisčiau viską momentaliai/ Gal kas nors šviesiau širdy būtų/ Bet neatsuksi rodyklės/ O be reikalo, rodykle, tu tokia neperkalbama/ Galėtum būti kaip Moteris/ Bandyčiau tad įkalbėti

42966. Gonzo2007-12-03 03:18
Taip ir matau Onę savo kambarėlyje prie visų tų puikių kompiuterių ir jaukios medinės grindys ir paveikslai draugų ant sienų, o visa kita šilta ir šalia. Galvoju, kaip tos parodijos tokios smagios gimsta toje tiksliųjų mokslų galvoje? Bus fainai ir per kalėdas ir Naujųjų naktį susirašinėti. Vis koks naktibalda rašinės, kam nesimiega:)

42967. Onė2007-12-03 03:47
Užuojautą geriau pareikštum.

42969. Onė2007-12-03 04:39
Kvaila būtis, kekšė raudonom lūpom
Danijoj lyg nebuvau
O jos vaidenas

42971. Onė2007-12-03 05:17
Helsinkyje trumpai buvau. Rytą atplaukusi tik paėmiau jų "Švietimo ir mokslo" (ar pan) ministerijoj 3000 markių čekį ir išvariau tolyn į šiaurę. Grįždama po pusmečio naktį praleidau viešo transporto stotelėje, nes Helsinkio geležinkelio stotis 2-ą valandą nakties uždaroma. O keltas į Taliną tik septintą ryto. Dabar žinau, kas yra "suomis" (vėjas), savo kailiu patyriau.

42975. Kirvis2007-12-03 10:00
Geriausia, ką parašė Stankevičius - "Jūratė ir Kastytis". Be kalbų.

42978. ellko - miegaliu vadas - onei barbatonei2007-12-03 10:55
pirmadienis lietaus dudndukas/ ką daro jis, tas nežiniukas?/ tas mūsų gruodis nusisukęs/ nuo šypsenos ir kiaušai sukas/ įspirsiu į pasturgalį savo tinginiukui/ pirmyn į mūsų neįprastą dieniukę!

42980. skaitytojuks2007-12-03 12:00
o as respublikos priede julius skaiciau RS opusa apie oksana, kuriai seksas nebutinas, nes uztenka saves pacios ir kitas jos paslaptis. paskui paskaiciau sita LM opusa, o respublikos redaktoriu kazkodel panorau iskrusti gumine lele.

42999. milka2007-12-03 19:48
Kas autorių taip žiauriai skriaudė vaikystėj - duodavo vis didesnius drabužius? Aš turėjau ir tebeturiu didesnių nelaimių, bet nenešu jų (raštiška forma)į Litmenį. Pasakau sau: tegu visi pasiunta, išskyrus mane.

43000. rašyinėtojuks`as :-) 2007-12-03 19:50
tai ir labai gerai, negali gi visi būti vienodi ir su guminėmis lėlėmis vilioti "Lietuvo ryto" redaktorių. One, kalbant apie "Lietuvos r.", galėtum nuraminti, apie ką ten sukasi kalbos, juk ten taipogi dalyvauji komentaruose, kad nereiktų ten žvalgytis...galėtum kartais reziumuoti, povelnių. Netingėk...juokauju...tik prašymas:) žinok to brendžio dar yra, jei bus silpna, turėk galvoje, aš vis vien abstinentas.

43007. Laima :-) 2007-12-03 22:03
Gražu ir filosofiška

43010. Gonzzo fon sorrow :-) 2007-12-03 22:06
taip LAIMA. Ir sakyk kas tau patinka, nesigėdink -:)

43012. gaga2007-12-03 22:23
Eilėraštis kaip eilėraštis, bet tema... Jau mėnuo po Vėlinių, o tema nesikeičia, visi kaip susitarę - gal čia koks tautos genocidas? Tuomet ir metų laikas tiksliai pasirinktas, šaunuoliai redaktoriai.

43013. Elko>gaga :-) 2007-12-03 22:39
Jūs teisi, bet tik iš dalies. Kiek galima linksmintis? Man ą/asmeniškai santūrumas ne pro šalį, susitaupo pinigai. O iki K/kaledų ne tik Lietuvoje vyravo rimtis. Iš kur atsirado Ramadanas? ten rimtis vyrauja maždaug tuo pačiu laikotarpiu. lapkritis gruodis, pataisykit mane, jei klystu? Labai svarbu abstinencija tuo metu. Katalikai neveltui tyrinėjo gyvenimą, būtinas susilaikymas, rimtis. Negalima juk šėlti visus metus/?/ Nors juokauti būtina, todėl mes su jumis ir esame, gaga fon forewer /?/ smile

43017. terra2007-12-04 01:34
kol diena trumpėja, reikia dubasinti ir davilinti visus su kas ir vyksta eilėraštis geras bet kas iš to atsisakiau visų skyrybos ženklų gal taip geriau bent jau įdomu

43022. Gonzenbidneris> terra2007-12-04 01:44
labai idomiai tau pavyko:) visus sukas/ kas ir vyksta - isejo zodziu zaismas, ko taip mazxai lietuviu kalboje. nors suka yra is slavu kalbu. o man patinka GAL. gal angliskai yra mergicka. vot. negriuk negriuk nenugriuk

43027. terrai2007-12-04 02:47
nea, brangioji, hm, terra, tipo, raikia tųjų, kablelių, ėėė, ir kitko -- niekada nebus, joo, per daug semiotinių ištiktukų. Nes kitaip, hm, neberašysim, o po to, taip taip, ir nekabėsim. Ar šito norima, tavųjų kultinių?

43037. lila :-( 2007-12-04 10:09
Pabodo vieno sukirpimo eilerasciai. Beveidziu autoriu paradas.Visi gieda vienoje tonacijoje.Juntamas atrinkejo kategoriskas mastymas. Eilerastis neblogas, bet nieko vezancio...Kas antras lietuvis-poetas.

43038. pega :-) 2007-12-04 10:13
geras gabaliukas.

43039. kamuoliukas2007-12-04 11:05
Puikus eilėraštis, šikniai.O pabaiga tiesiog vežanti.

43041. mirtininkas2007-12-04 11:47
nu ir kas. gali buti ir kiekvienas lietuvis poetas, po velniu. graziai apdainuoti mirty, vot kaifas. o cia...nemano stiliaus. keikmu nera ir stipresniu zodziu, blia

43050. Donkermanas2007-12-04 15:22
Balbierišky tikrai geresnės panos/ negu Honkonge/ Tos vengrės ir bengalės/ Niekam tikę/ Tos jugoslvės paguldo savo vyrus/ Į karstus, kad geriau stovetų/ Litovkos fainos/ Jos negeria kavos/ Nerūko cigarečių/ Nekritikuoja pirmo Litmenio lapelio/ Jos žudo ir neduoda/ Jei yes tai/ Girtos/ Ir nevalingos:) tak

43060. Mykolas2007-12-04 17:47
sielą supurtė, gražu

43068. tvinpyksas2007-12-04 19:12
visada supratau, kas mano/tai tai, ko niekas nesigviesia/nors kam truksta/saulelydziai sauletekiai ir tavo/ kada ir zliumbti nebereikia/ visi verkia/ nematomas juodvarnis lakstantis/ kaip istyleti asaras pro ausis/ kai nieks nemato: ju ir nebereikia/ man reikia, tau - labiau uzvis.

43070. h2007-12-04 19:31
nevaldys barbarai nei vieno krašto, ne jiems

43073. dokermanui2007-12-04 19:52
valingos, gal sapnuoja, todel taip atrodo, jei tau neduoda, viskas yr gerai/ ir girtos ir negirtos/ tokios pacios/ ir deze vyno isgerusi tau neatsiduoc.

43074. jokermanas2007-12-04 19:59
tai atsiduok rimvydui stankeviciui, ar albertui stankeviciui:) tik jau dezes negerk, apsisiusiosi

43085. jokermanui2007-12-04 22:21
sisiosim i ta pacia duobe, be atsidavimo. cha. j.

43087. jokermanas2007-12-05 00:02
i duobe prie duobes sisiosim nesisiosim atsidave be atsidavimo visaip gerai:)

43091. to j2007-12-05 00:22
neimanoma atsiduot be atsidavimo...cha...tik sisioti. stebekit gamta...

43098. j to2007-12-05 01:14
viska imanoma...cha...tik neisiziokit

43106. >>>>>>>430912007-12-05 05:18
stebekitee gaamta aach ooch stebėėkit tik stebėėkit ooyy jau:))))))))))))))))))))

43108. Vau2007-12-05 09:26
Vau, čia kažkokių priešrevoliucinių šiknių kompanija. Bezda vienas su kitu ir žalsvą puslapį smardina.

43112. to Vau2007-12-05 11:41
ką pasėsi tą ir pjausi - gerai pasidarbavo kažkas Lietuvėlės žemelėje. Kultūroje klęsti Turino garbės piliečiai suėdę, matyt, eilinį kartą biudžeto pinigus. Ir didelius pinigus - Lietuva juk turtinga ir ... kultūringa, taip mano Turino garbės pilietis imdamas rieškučiais piningėlius iš biudžeto.

43113. h2007-12-05 12:16
tai jūs nors nesmardinkit, ponai nexteriai, iškilieji...taip ir trikšta iš jūsų...iškilūs žodžiai:0

43131. lila :-) 2007-12-05 20:56
Apsigalgalvojau...Labai patiko, persiskaite naujai.Tikras.

43133. buba :-) 2007-12-05 21:24
ir man patyynka:)

43139. JAU KETVIRTADIENIS, 6. oo ryto2007-12-06 07:44
ryte palydejau ja/ degalineje iskeiciau banknota/ niekas nezaide rytmecio automobiliu spusty/ nuzvelgiau sestos ryto/ moteri rupescio veidu/ ar tu velnias?/ paklause ji/ taip. mieloji ponia/ eime i dar silta patala/...vel uzgavau Tave/ o radija dainavo "Tebunie"/ Panas pritupe pasirasyti

43143. rytui 62007-12-06 10:13
iki ryto rasiau/ akys pilnos smelio nuo kompo/ kam pazadino mane tavo skambutis?/ sapnuok save ir savo banknotus/ ir patalus, kuriuos manes tikrai nebus...

43145. trylika po trylikos2007-12-06 13:17
sapnuociau kad ir baknotus/ jei butu su tavo atvaizdu/ bet tu zhiauresne ir už pinigą/ nežadinau tavęs/ pats tik ką pabudau/ ir perskaičiau stulbinantį kažkieno eiliuką/ jo galvoju, nifiga sebe nuomonė/ apie kvailą širdį/ kvailą paniekintą širdį/ nemokančią šviesmečiais gyventi/ nu tiesiog.../jei nebūtų taves/ galima ir nudvėsti:)/ po to patalai sumurmėjo/ "bus bus ji su tavim, asiolas,/ nypergyvenk:)" ir patalai kaltai nusišypsjo/ tada ykirtau/ o blyn, ji ir patalus užbūrė/ per graži, davatka...:):):) nu chia geriausias bajeris. davatka-ragana...aukščiausias įkvėpimas!...sorrry e-LM puristų - vertinti xaip moll humorą

43153. Helen Blinkevičienė2007-12-06 19:50
būčiau meku, parduočiau zuokui šį eilį už brangiai.

43156. Blinkiu Helena2007-12-06 20:28
buciau zuoku, parduociau vilniu japonams

43159. dd2007-12-06 21:13
Straipsnis `poezija tarp naturalios ir imituojamos magijos`. 2004 m. Litmenyje buvo įspaustas. Jokių komentarų nesusilaukė, dabar, manau susilauktų:)

43160. ta pati2007-12-06 22:10
ko cia visiems stengiates viska pardavineti, o kitaip nieko nesugebat?, del to ir nenoriu jusu lovos. Mano rysiai su zmogumi, jusu zodziais, santykiai, visiskai nesusije su komercija, tik su menu, kol esu gyva. O jei menu irodytumete, kad pamilcia, but rimciau. Gaila labai ilgai niekas neirode. Pati irodziau, tam, kuri mylejau, tada ir gavau per galva. nes nereikia irodineti, jei nejaucia taip stipriai kaip tu. Niekam nieko nereikia, tik pinigu, tik sloves, tik suknisto populiarumo. net nepaisant esmes. man labai gaila. Irodykit, kad esu neteisi.

43163. mj2007-12-06 22:43
Nepastebėjau, jog kas nors stengtūsi viską pardavinėti. Jūs nenorite lovos apskritai, manau. Jausmo tikrai nereikia įrodinėti. Tik, manau, siekti, savojo, reikia. Savosios irgi. Ir tikru tau būdu. O ne kaip kas nors išgalvojo, manau. Ar bando pakišti netikusią mintį. Įdomu, kaip tenka atsiriboti, nupurtyti, nudraiskyti kitų peršamas mintis, intencijas. Todėl ir esame kai kurie insomnikais, nes naktim mažiau netikėliai veikia, tie neturintys užsiėmimo, vagiantys kitų mintis, idėjas, žmones, žmonas, vaikus, turtą. Visiems visko reikia. Gal tiems, kurie niekuomet neturės, ką tarkime bent žinome mes su jumis - jei jau kalbamės - ir būtina šlovė - kurios tikrai nėra Lietuvoje - šlovę gali pelnyti tik koks skaitlingos tautos atstovas - , populiarumas suknistas, kaip labai teisingai pastebėjote. Kodėl turiu įrodyti, kad esate neteisi, ar teisi? Tai jūs sau įrodykit, net savo mylimajam nepavyko, ar ne? Nes visi iš visų jėgų padarys viską, kad jūs nebūtumėte su savuoju. Įrodykite, kad aš neteisus.:) O dėl kitų, kad jie nori to ar kito, leiskite pareikšti, nereikia rūpintis, ar jus tas skaudina? Ne? Tik dalinatės įspūdžiais, kuriuos šiandien nelengva surikiuoti. Tokia aktyvaus kapitalizmuko fazė! Labanakt, arba iki:)

43165. pabudau2007-12-07 01:00
netycia ir atejau prie kompo. apskritai del lovos, kalbate nesamones, jei dar ka nors suvokiate. kodel naktimis netikeliai veikia? nesamone. mylimasis nebuvo vertas, esu moteris, ar turiu ir toliau irodineti? moteriai keliai cia labai negeranoriski. gali buti ikvepeja geriausiu atveju. Tavo idejas suvirskins kaip savo, jei esi ne chimera, o normali moteris. ir pateiks kaip savo. viska pasisavins be sazines. kai kas pastebes, sakys, ka tau daryt, tu labiau patarsi, ka jiems daryt, o esme ta, kad savanaudziu nekenciu.

43166. dar ka nors suvokiantis :-) 2007-12-07 01:46
Atsiprašau dėl lovos. Netikėliai veikia, kai nebeturi gerosios energijos, jie transliuoja neapykantą, blogas intensijas. Jaučiu. Ar trukdo ką nors dirbti. mylimasis visada yra vertas, tik meilė ne bvisada būva abipusė. Gal jums koks blogietis transliuoja, ar blokuoja, tai jūs ir važiuojate pro šalį savo gyvenime. Nesakau, kad taip yra, bet gali būti. Reikia itin saugotis. O jei nėra abipusio jausmo, tai ir nereikia, nors skaudu. KItą kartą gali būti, bet gal tą jūsų žmogų kas blokuoja, ar klaidina. Baisu. Bet taip gali būti. Jo, idėjas, deja vagia. Ką darysi, todėl, manau, verslas, o ne menas yra sažiningiausias:) Bet menininkai - mieli, labai įdomūs, tik ne tie, pavyduoliai. O kodėl moteris gali būti tik įkvėpėja?

43168. dkns2007-12-07 03:04
labanaaakt

43180. dknz2007-12-07 19:58
tauta savaitgaliauja:) štilis

43183. dknž2007-12-08 00:47
Virtuveje barankėlių vanilinių rinkė. O vinilinės plokštelės pasakoja apie tuos anuosius laikus. Tik trūksta kažkieno murmėjimo šalia:) ir pasibajeravimo vertinant litmenio komentarus:)

43187. poezijos pusfabrikatis2007-12-08 14:34
bet geras!

43190. as maza, o jus?2007-12-08 14:38
manes nebuvo planuose nei 77ais nei 80tu vidury. ir taip keista. skaitau visa tai, kvepuoju nezinoma piterio melancholija, ilgiuosi nezinomo laisves troskimo. stebiuosi zmoniu naivumu. negi visa ta puiki - arba ne - gyvenimo patirtis nieko neismoke, negi? patyre zmones kalba kaip vaikai? ar tai vaikai, issiilge nepatirtuju metu, apsvaige zavesiu anu laiku? die,kaip liudnai tai atrodo is sono, vyrai moterys zaidziantys zaidimus

43194. gaga2007-12-08 16:05
Aš niekada neužaugsiu, o jūs?

43196. guga>m/d :) :-) 2007-12-08 16:33
nesprendziu is keliu zodziu/be to mes nezinome kas ivyks po minutes/po menesio/metu/ gal maziukas taps milzinu:)//// aklas apciuope dramblio koja ir sako - dramblys yra kaip stulpas...neisvedzioju po keliu zodziu apie zmogu/ gal jam siandien fataliska diena/ o pries sekunde/ ir po valandos jis bus nepranokstamas/ taip kad nieko cia liudno - vyrai ir tie ir tos...ach koks siaubas, ponecka:)

43205. saulėgrąža2007-12-08 22:49
Ramadanas - sausio pradžioje, neišmanėliai. Hare om

43208. Onė2007-12-08 23:13
Nejaugi? Kadangi esmi liuteronė, nežinojau ramadano, o tik ramazano pradžią (sudėtinga man su tuo mėnulio kalendorium) ir atsisveikinant su šiuo L&M "numeru" šiltos, subjektyvios naminės poežijos:
[b]Ne kliedesių vaikams[/b]
Randi kojinę sriuboj -- nenusimink
Tave aplankė Pepė Ilgakojinė
Nuorūką ką tik išvirtoj kavoj
Tai draugas žvilgtelėjo į kavos virimo meną

43209. Onė2007-12-08 23:18
Po šimts tūkstančių žiogų ir jų sraigiškų kumelaičių, vėl supainiojau text markup. Tenka taisyti. Negražu.
Ne kliedesių vaikams
Randi kojinę sriuboj -- nenusimink
Tave aplankė Pepė Ilgakojinė
Nuorūką ką tik išvirtoj kavoj
Tai draugas žvilgtelėjo į kavos virimo meną

43211. aguona2007-12-09 00:46
ramadanas - kiekviena karta vis kitu metu, buna net pavasari. karta laikesi jo rudeny. tai ir palyginau. o saulegraza tuoj puole /looks like/ koks neismanelis jis, ane? labai lietuviska. bet tam ir yra internetas su ones crazowom eilemis, kad visi mokytumemes vienas/a is kito/os. net profesorius is valkatos gali pasimokyti,ne tik saulegraza is dilges. One, tau geriausiai iseina parodijos, veltui laika svaistai ir talenta, blyn:)

43213. Onė>vėjams2007-12-09 01:05
Sorry, bet man dažniau "išeina" išmatos ir šlapimas, jei rimtai. Ką padarysi, nors lyg dietos laikausi -- gal kas susigundys prisirpusią žiemine laukų gėle.

43216. Onė>aguonai2007-12-09 01:15
Jūsų problemėlė -- matėt mano tekstus tik čia. Jie ir buvo skirti žalių lankų publikacijoms. Kiti -- velniai žino pas ką. Ir nesiaudrinkit dėl Buroko, mirusio kalėjime nuo plaučių uždegimo, -- yra dar kas jį žinojo.

43217. ziemys2007-12-09 02:27
bloga nuotaika ar pergera/pergėra:)?

43220. >431902007-12-09 05:36
kas Jums naivu? ar isivaizduojat kokie miriadai mus skiria? kai buvau pacanas, galvojau - esu visa galva viršesnis už tuos senius. o dabar skaičiuoju, kiek tūkstančių kartų jie buvo pranašesni. Na dabar jus dar klaidina PC. Iliuzija kiek jūs viršesni. Bet taip nėra. kaip subrendęs/usi pakisite! Jūs net neįsivaizduojate. Pvz. nuo 25 metų iki 50 metų žmogus yra kaip 10 lyginti su 10 000. ar ykertate? ir ne visi normaliai išlaužia iki tos brandos. Sėkmės:)

43224. to one2007-12-09 11:47
burokas mire nuo plauciu uzd.? Sako, ji mentai uzmuse, buvo narkomanas ir poetas, o tokiu jie nekente.

43227. Onė2007-12-09 12:43
Tai oficiali mirties priežasties pažyma. Aišku, tada Vilniuje iš kart kilo "kipišas" -- "užmušė". Bet gi žinot tarčiokus -- organizmas nualintas, todėl tikėtinas variantas. Tai ne kaunietis Mao, kuris ir po sepsio atsigaivalėja, ir kiek kartų jį laidojo.

43230. Onė eksperimentuoja, el. redakcija išmes2007-12-09 17:53
VEIKSMŲ LAIKINĖS LOGIKOS PANAUDOJIMAS AGREGATINIŲ SPECIFIKACIJŲ VERIFIKAFIMUI Santrauka Pateiktame darbe nagrinėjama galimybė panaudoti veiksmų laikinės logikos formalizmą protokolų korektiškumo analizei. Komunikaciniai protokolai yra aprašomi naudojant atkarpomis tiesinių agregatų matematinį modelį. Protokolo agregatinė specifikacija yra transformuojama į loginę formulę. Savybės, kurias turi tenkinti šio protokolo specifikacija, taip pat užrašomos loginėmis formulėmis. Formaliai įrodoma, kad specifikacija tenkina reikalaujamas savybes. 1 Įvadas Agregatinio metodo panaudojimo kompiuterinių tinklų formaliam aprašymui, modeliavimui ir verifikavimui galimybės pateiktos (Pranevicius 1994). Darbuose, skirtuose agregatinių specifikacijų korektiškumo analizei, sprendžiami specifikacijos adekvatumo nagrinėjamai sistemai, bendrų ir individualių jos savybių aprašymo ir tyrimo klausimai. Tam naudojami du pagrindiniai metodai: pasiekiamų būsenų metodas ir invarianto metodas. Pirmajame metode yra generuojamas pasiekiamų būsenų grafas, kuris po to analizuojamas. Šiuo būdu patikrinamos bendrosios protokolo specifikacijos savybės, pavyzdžiui aklaviečių nebuvimas, baigtinumas. Invarianto metode yra sukonstruojamas loginis teiginys, aprašantis korektišką sistemos funkcionavimą. Šis teiginys privalo galioti kiekvienam aktyviam procesui. Tačiau, kad panaudoti šiuos metodus turi būti rašomos specialios programos. Kad šito išvengti, buvo panaudota loginis programavimas. Šiuo atveju agregatinė specifikacija ir reikalaujamos savybės transformuojamos į 1-os eilės predikatų skaičiavimo formulių sistemą (Pranevičius 1992). Specifikacijos savybių patikrinimui panaudojamas rezoliucijų metodas. Tačiau minėtus metodus sudėtinga panaudoti specifikacijų laikinių savybių, tokių kaip gyvybingumas, patikrinimui. Dėl šios priežasties yra išnagrinėta galimybė panaudoti kitus matematinius metodus. Šiame darbe ištirta galimybė panaudoti veiksmų laikinės logikos matematinį aparatą agregatinių specifikacijų verifikavimui. 2 Veiksmų laikinė logika Protokolas yra lygiagrečių procesų sistema. Tokių sistemų aprašymui ir analizei gali būti panaudota veiksmų laikinė (VL) logika (Lamport 1991). Trumpai, praleisdami daugelį detalių, supažindinsime su VL logika. Jos pagrindą sudaro veiksmų logika ir paprasta laiko logika. 2.1 Veiksmų logika 2.1.1 Būsena, būsenos funkcija ir būsenos predikatas Programoje egzistuoja kintamųjų aibė, kurią laikysim neribota. Programos vykdymas - tai reikšmių priskyrimas kintamiesiems. Kintamųjų reikšmių pasikeitimas sukelia naują būseną. Būsena - tai funkcinis atvaizdavimas kintamųjų vardų į jų reikšmes. Būsenos funkcija vadinama išraiška, sudaryta iš kintamųjų ir reikšmių. Būsenos funkcijos reikšmė tam tikroje būsenoje gaunama pakeitus kintamuosius jų reikšmėmis šioje būsenoje. Pavyzdžiui, tegul turime būsenos funkcija f = x + 2  y ir būsenoje s kintamieji x ir y įgauna atitinkamai reikšmes 1 ir 2. Tuomet galios tokios lygybės: s(x)=1, s(y) = 2, f(s) = 5. Būsenos funkcija, kuriai galima priskirti loginę reikšmę tiesa arba netiesa bet kurioje būsenoje, vadinama būsenos predikatu. Pavyzdžiui, x2 = y - 3 ir xN. 2.1.2 Veiksmas VL logikoje veiksmu vadinama loginė išraiška, sudaryta iš reikšmių, štrichuotų ir neštrichuotų kintamųjų. Veiksmas atvaizduoja sąryšį tarp dviejų būsenų - senos ir naujos, kur neštrichuoti kintamieji nurodo seną būseną ir štrichuoti kintamieji nurodo naują būseną. Būsenų dvejetas yra vadinamas žingsniu ir būsenų dvejetas, tenkinantis veiksmą A, yra vadinamas A žingsniu. Loginė išraiška P, turinti tiktai neštrichuotus kintamuosius, taip pat gali būti interpretuojama kaip veiksmas. Būsenų dvejetas tenkina P tada ir tik tada, jei pirma būsena tenkina P. Veiksmui A apibrėžiam įgalinamumo predikatą Enabled A , kuris yra tiesa būsenai s tada ir tik tada, jei egzistuoja tokia būsena t , kad s ir t yra A žingsnis. 2.2 Laikinė logika Specifikacijos vykdymą galima laikyti seka žingsnių, kurių kiekvienas, pakeisdamas vieno ar kelių kintamųjų reikšmes, sukelia naują būseną, todėl įvykdymas - tai rezultatinė būsenų seka. Bendru atveju toks įvykdymas yra nedeterministinis. Begalinė būsenų seka vadinama elgesiu (vykdymo pabaigą galima įsivaizduoti kaip begalinį paskutinės būsenos pasikartojimą). Specifikacijos semantinė prasmė - tai visų galimų jos elgesių aibė. Elgesys glaudžiai susijęs su laiku. Kiekviena nuosekli būsenų pora vadinama žingsniu, kadangi ji atvaizduoja veiksmo įvykdymą abstrakčioje mašinoje. 2.2.1 Laikiniai operatoriai Laikinės logikos formulės sudarytos iš elementarių logikos formulių, panaudojant įprastus loginius operatorius ir unarinį laikinį operatorių  (visada). Laikinė formulė - tai teiginys apie elgesius. Formulė F, neturinti savyje laikinių operatorių, teigia, kad F galioja pirmai elgesio būsenai, ir formulė F teigia, kad F galioja visoms elgesio būsenoms, t.y. F yra visada tiesa. Formulių užrašymo supaprastinimui apibrėšim papildomus laikinius operatorius  (galiausiai) ir  (veda-į): F = F (1) F  G = (F  G) (2) Formulė F teigia, kad F yra tiesa vienai ar daugiau elgesio būsenų. Formulė F  G teigia, kad jei kada nors F yra tiesa, tai G yra tiesa tuo pat metu, arba taps tiesa kada nors vėliau. 3 Sistemos specifikavimas VL logikoje Panaudodami laikinėse formulėse veiksmus mes galime aprašyti sistemos funkcionavimą. Veiksmą A interpretuojame kaip teiginį apie pirmą elgesio žingsnį, ir A interpretuojame kaip teiginį apie visus elgesio žingsnius. Tuomet elgesys tenkina A tada ir tik tada, jei pirmas elgesio žingsnis yra A žingsnis, ir elgesys tenkina A tada ir tik tada, jei kiekvienas elgesio žingsnis yra A žingsnis. Užrašydami sistemos pradinę būseną predikatu Init ir visus galimus sistemos veiksmus disjunkcija A=A1A2An , sistemą galima specifikuoti tokia formule Init  A. (3) Tačiau ši formulė nėra VL logikos formulė. 3.1 Specifikacijos detalizacija ir "mikčiojimas" Specifikuojant sudėtingas sistemas ypatingai svarbu yra turėti galimybę specifikuoti sistemą įvairiais detalizacijos lygiais, t.y. iš pradžių aprašyti esminius sistemos funkcionavimo bruožus, kuriuos po to detalizuojant gaunamas sistemos specifikacijos konkrečios realizacijos aprašymas. Tai ypač svarbu, kai aprašomoji sistema yra protokolas, nes pagal Tarptautinės standartizacijos organizacijos (ISO) pasiūlytą duomenų perdavimo protokolų etaloninį modelį protokolo funkcijos yra suskaidomos į septynis lygius. Kiekvieno lygio atžvilgiu (išskyrus pirmąjį) žemesnio lygio funkcionavimas yra "paslėptas", nes aukštesniam lygiui svarbu tik apatinio lygio suteikiamas servisas, nepriklausomai nuo apatinio lygio funkcionavimo būdo. Faktą, kad dvi skirtingų detalizacijos lygių specifikacijos atlieka tokius pat veiksmus, pavadinsime šių specifikacijų "suderinamumu". Tinkamiausias būdas patikrinti ar dvi specifikacijos yra suderinamos, tai ištirti jų leidžiamus elgesius. Jei vienos specifikacijos leidžiami elgesiai yra poaibis kitos specifikacijos leidžiamų elgesių, tuomet galima sakyti, kad antroji specifikacija yra pirmosios realizacija. Jei sistema veikia pagal antrą specifikaciją, ji niekada nepažeis pirmosios, nes antroji specifikacija apima visus veiksmus, kurie leidžiami pirmojoje. VL logikos terminais tai gali būti išreikšta panaudojant implikaciją. Tegul S yra sistemos specifikacija ir Simpl tos pačios specifikacija, gauta įtraukus į S papildomus kintamuosius ir veiksmus. Tuomet, jei SimplS teisinga, visi elgesiai, tenkinantys Simpl taip pat tenkins ir S. Taigi, Simpl ir S galima laikyti tos pačios sistemos skirtingų abstrakcijos lygių specifikacijomis. Tačiau tiesiogiai įrodyti implikacijos SimplS teisingumo negalima, nes jei S atžvilgiu tam tikrais laiko momentais nieko nevyksta, Simpl tuo pat metu gali leisti atlikti tam tikrus veiksmus. Todėl į S specifikaciją turi būti įtraukti mikčiojantys veiksmai. Veiksmo A galimybė mikčioti formaliai užrašoma taip [A]f = A  (f  = f ), (4) čia f - būsenos funkcija, paprastai šiame veiksme dalyvaujančių kintamųjų rinkinys. Jei f aiškus iš konteksto, jis dažniausiai praleidžiamas. VL logikoje elementarios formulės yra predikatai ir [A]f pavidalo formulės. Laikinė formulė, aprašanti sistemos leidžiamus vykdymus, užrašoma taip Init  [A]f, (5) čia A yra visų sistemos veiksmų disjunkcija. 3.2 Saugumo ir gyvybingumo savybės Sistemos specifikacijos formulė (5) specifikuoja tik tai, kas yra leidžiama įvykti, t.y. kol vyksta tik leidžiami veiksmai, specifikacija yra tenkinama, tačiau joje nespecifikuoti reikalavimai veiksmo įvykdymui. Taigi, elgesys, kuriame jokie būsenos pasikeitimai nevyksta, tenkins šią formulę trivialiai. Savybė, išreikšta tokio tipo specifikacija, yra vadinama saugumo savybe. Neformaliai, saugumo savybė nurodo, kad nieko "blogo" neįvyks. Formulė (5) yra saugumo savybė, nurodanti, kad jokie veiksmai, išskyrus įtraukti į disjunkciją A, negali įvykti. Kad priversti specifikaciją vykdyti veiksmus, būtina vienareikšmiškai specifikacijoje nurodyti gyvybingumo savybes. Gyvybingumo savybės paprastai turi pavidalą "galiausiai X", t.y. kažkas "gero" būtinai galiausiai atsitiks. Formalius saugumo ir gyvybingumo savybių apibrėžimus galima rasti (Alpern 1985). Visos specifikacijos laikinės savybės gali būti išreikštos saugumo ir gyvybingumo savybių konjunkcija (Alpern 1985). VL logikoje lygiagrečių algoritmų gyvybingumo savybės yra išreiškiamos veiklumo reikalavimais. Išskiriamos dvi veiklumo reikalavimų tipai: silpnas veiklumas ir griežtas veiklumas. Veiksmo atžvilgiu silpnas veiklumas teigia, kad veiksmas privalo būti įvykdytas, jei jis yra įgalintas pakankamai ilgai. "Pakankamai ilgai" čia reiškia iki veiksmo įvykdymo, t.y. veiksmas bus galiausiai arba įvykdytas, arba taps neįgalintas - gal tik trumpam. Griežtas veiklumas teigia, kad veiksmas privalo būti įvykdytas, jei jis įgalintas pakankamai dažnai, t.y. arba veiksmas galiausiai bus įvykdytas, arba jis taps pastoviai neįgalintas. Silpno ir griežto veiklumo reikalavimus galima užrašyti tokiomis formulėmis WFf (A) = (Af )  (Enabled Af ), (6) SFf (A) = (Af )  (Enabled Af ), (7) čia Af pažymi veiksmo įvykdymą be mikčiojimo ir jis formaliai apibrėžiamas taip Af = A  (f  = f ). (8) Kaip minėta skyrelyje 3.1, VL logikos formulės turi pavidalą [A]f.. Nesudėtinga įrodyti, kad Af lygi [A]f, todėl ji taip pat yra VL logikos formulė. 3.3 Kanoninė specifikacijos forma VL logikos formulė, aprašanti sistemą, visada gali būti užrašyta kanoninėje formoje Init  [A]f  F, (9) čia Init pradinės būsenos predikatas, A visų sistemos veiksmų disjunkcija ir F veiklumo reikalavimų konjunkcija. 4 Protokolo analizė VL logikoje Kaip VL logikos panaudojimo agregatinės specifikacijos tyrimui pavyzdį pateiksim alternuojančio bito protokolo (Alternating Bit Protocol) (ABP) gyvybingumo savybių įrodymą. Šio protokolo agregatinė specifikacija pateikta (Pranevicius 1994). Trumpumo dėlei nenagrinėsim detalios realizacijos specifikacijos, o tik bendriausius protokolo funkcionavimo bruožus. 4.1 Protokolo specifikacijos formulė Schematiškai ABP funkcionavimas parodytas 1 pav. Stačiakampiuose užrašyti objektų, dalyvaujančių informacijos perdavime, pavadinimai; rodyklių pavadinimai atitinka veiksmų pavadinimus. Šaltinis suformuoja informacinį pranešimą, kurį veiksmu put perduoda Siuntėjui, kuris savo ruožtu paruošia pranešimą perdavimui į Kanalą. Pranešimas į Kanalą perduodamas veiksmu send tuo atveju, jei Kanalas yra tuščias. Kanalas negali keisti pranešimų tvarkos, tačiau gali juos pamesti, iškraipyti. Šie dalykai aprašomi vienu veiksmu drop. Gavėjas gauna pranešimą veiksmu receive. Gautas naujas pranešimas yra Gavėjo perduodamas veiksmu get Priėmėjui. Situacija, kai Gavėjas gauna pasikartojantį pranešimą, bus suprantama kaip pranešimo pametimas, nes Gavėjas tokius pranešimus ignoruoja. 1pav. ABP struktūrinė schema Tegul BX žymi objekte X esančių pranešimų seką, o Q žymi BS, BK, BG, konketenaciją Q = BG & BK & BS Pradžioje sistemoje pranešimų nėra, tada supaprastinta saugumo savybės formulė būtų tokia (Q0 = )  Q = Q  put  drop  send  receive  get)  (put  m: BS = BS & m)  (send  BS          head(BS)  BG = BG  BS = BS)  (receive  BK    BG = BG & BK  BK =   BS  tail(BS))  drop  BK    BK    Q  BG & BS)  (get  Q  tail(Q)), čia head ir tail sekų operacijos, kurių pirmoji paima sekos pirmą elementą, o antroji pašalina iš sekos pirmą elementą. Kaip tokios sistemos gyvybingumo savybę reikia įrodyti (send)  get, (10) t.y., jei pranešimas yra be galo dažnai siunčiamas, jis galiausiai bus gautas. 4.2 Gyvybingumo savybės įrodymas Formulė (10) logiškai seka iš konjunkcijos tokių dviejų formulių (Q  )  get, (11) Enabled put. (12) (11) seka iš tokių formulių konjunkcijos (BG  )  get, (13) (BK  )  (BG  ),(14) (BS  )  (BK  ).(15) (13) seka iš BG    get. Šį formulė įrodoma taip: veiksmas get yra įgalintas, jei BG nėra tuščia, t.y. Enabled get  BG  . (16) Tačiau BG gali sumažėti ir tapti tuščia tik vienu būdu - pačio veiksmo get poveikyje, todėl teisinga Enabled get  get, iš kurios seka (13). (15) seka iš (BS   (BK  . Jei BK  , tada ši formulė galioja trivialiai. Jei BK = , tai kanale atsiranda pranešimas, t.y. BK   veiksmo send poveikyje. Veiksmas send yra įgalintas, jei BS   ir BK = , t.y. Enabled send = BS   BK = . Tačiau BS gali sumažėti ir tapti tuščia tik per veiksmą send, t. y. Enabled send  send, iš kurios seka (15). (14) įrodyti šiuo būdu negalime, nes formulė, iš kurios seka (14) yra BK   BK   drop, kuri ekvivalenti: BK   receive  drop, nes Enabled receive = BK  . Čia galima situacija, kad jei visada vyks veiksmas drop, nevyks veiksmas receive, kurio dėka BG  , todėl būtina į sistemą įvesti griežto veiklumo reikalavimą, kuris priverčia veiksmą receive įvykti neribotai dažnai, jei jis yra neribotai dažnai įgalintas, t. y. Enabled receive  receive, iš kurio seka (14). Taigi įrodyta (13,14,16) formulės, iš kurių seka (11). Enabled put yra veiklumo reikalavimas įvedamas į sistemą, todėl jo įrodinėti nereikia. 5 Išvados VL logikoje nėra formalaus skirtumo tarp specifikacijos ir savybės, jos abi užrašomos kaip loginės formulės. Agregatinių specifikacijų ir analizuojamų savybių užrašymas vieningame VL logikos formalizme leidžia, panaudojant sąlyginai nedidelį įrodymo taisyklių rinkinį, atlikti specifikacijų verifikavimą. Teiginys "specifikacija  turi savybę F" veiksmų laikinėje logikoje išreiškiamas formule   F, kuri, jei yra tiesa, teigia, kad kiekviena būsenų seka, tenkinanti , tenkina ir F. Nors VL logikos metodas leidžia patikrinti tokias specifikacijų savybes, kaip dalinis korektiškumas, aklaviečių nebuvimas, abipusis blokavimas, servisas, baigtinumas, tačiau ypatingai svarbu, kad šis metodas tinka gyvybingumo savybių, skirtingų detalizacijos lygių specifikacijų suderinamumo įrodymui. Ypatingai šio metodo privalumus galima būtų panaudoti sukūrus programinį VL logikos formulių įrodymo mechanizmą.

43231. Onė2007-12-09 17:54
Laikas man į FLUX senolių prieglaudą.

43232. Onė2007-12-09 17:56
Liubliu otčiznu i svoju durnuju golavu.

43233. visi esam prisirase2007-12-09 18:01
nesiparink one, neismes - liks amziams tavo rasliava, ir RS visko yra yra prirases respublikoj, kiekvienas is musu turime eiluciu kurias noretume istrinti, bet neistrinsime, ai, ir tegul buna,jei tik tokios butu musu nuodemes...

43235. new :-) 2007-12-09 18:09
malačius

43236. Onė2007-12-09 18:11
O, bac. Geros mintys, net išmečiau visus trintukus pro langą.

Parašykite savo nuomonę

Įrašykite skaičių: Trys šimtai dešimt
Vardas arba parašas:
El. pašto adresas:
Straipsnio vertinimas:

Kultūros kalendorius
nuo 2012 m. Sausio

PATKPŠS

 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31  

 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29  

 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31  

Nuorodos


Kultūros diskusijų forumas,
Kultūros vartai,
Kultūros institucijos,
Meno galerijos,
Meno bankas 
DAILĖ“, „VILNIUS“,
7 MENO DIENOS“,
ŠIAURĖS ATĖNAI“,
LITERATŪRA IR MENAS“,
NEMUNAS“,
UŽUPIO ŽURNALAS
Lietuva internete

Rodoma versija 177 iš 177 
21:02:15 Jan 29, 2012   
May 2009 Sep 2014
Sąrašas   Archyvas   Pagalba