5,710 matches
-
combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente . Programarea concurentă cuprinde limbaje de programare și algoritmi utilizați în implementarea sistemelor concurente. Programarea concurentă este de obicei considerată a fi mai generală decât programarea paralelă, deoarece aceasta poate implica modele arbitrare și dinamice de comunicare și interacțiune, în timp ce sistemele paralele au în general un model de comunicații predefinit și bine structurat. Obiectivele de bază
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
obicei considerată a fi mai generală decât programarea paralelă, deoarece aceasta poate implica modele arbitrare și dinamice de comunicare și interacțiune, în timp ce sistemele paralele au în general un model de comunicații predefinit și bine structurat. Obiectivele de bază ale programării concurente includ "corectitudinea", "performanța" și "robustețea". Sistemele concurente, cum ar fi sistemele de operare și sistemele de management ale bazelor de baze sunt în general concepute pentru a funcționa pe termen nelimitat, includ funcții de redresare la defect, și nu se
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
programarea paralelă, deoarece aceasta poate implica modele arbitrare și dinamice de comunicare și interacțiune, în timp ce sistemele paralele au în general un model de comunicații predefinit și bine structurat. Obiectivele de bază ale programării concurente includ "corectitudinea", "performanța" și "robustețea". Sistemele concurente, cum ar fi sistemele de operare și sistemele de management ale bazelor de baze sunt în general concepute pentru a funcționa pe termen nelimitat, includ funcții de redresare la defect, și nu se opresc în mod neașteptat. Unele sisteme concurente
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
concurente, cum ar fi sistemele de operare și sistemele de management ale bazelor de baze sunt în general concepute pentru a funcționa pe termen nelimitat, includ funcții de redresare la defect, și nu se opresc în mod neașteptat. Unele sisteme concurente pun în aplicare o formă de concurență transparentă, în care entitățile computaționale pot concura și partaja o resursă unică, însă complexitatea mecanismului este ascunsă programatorului. Deoarece folosesc resurse partajate, sistemele concurente necesită în general includerea unui "arbitru" în implementare (de
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
și nu se opresc în mod neașteptat. Unele sisteme concurente pun în aplicare o formă de concurență transparentă, în care entitățile computaționale pot concura și partaja o resursă unică, însă complexitatea mecanismului este ascunsă programatorului. Deoarece folosesc resurse partajate, sistemele concurente necesită în general includerea unui "arbitru" în implementare (de multe ori în hardware-ul sistemului), pentru a controla accesul la aceste resurse. Utilizarea de "arbitri" introduce posibilitatea nedeterminării în calculul concurent, care are implicații majore în practică, afectând corectitudinea și
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
implicații majore în practică, afectând corectitudinea și performanța. De exemplu, arbitrarea introduce nondeterminism nelimitat, care ridică probleme cu verificarea modelului, provocând o explozie în spațiul stărilor și poate duce chiar la modele cu un număr infinit de stări. Unele modele concurente de programare includ co-procese și concurență deterministă. În aceste modele, fire de execuție de control oferă în mod explicit timpul lor de execuție fie sistemului de operare, fie altui proces.
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
nu era în poziția de a lupta, în timp ce nu avea putere din partea rudelor pentru a-i susține cauza. În consecință, Witenagemont l-a ales pe Harold Godwinson, fiind omul cel mai bine plasat pentru a apăra țara împotriva aspirărilor străine concurente. După moartea lui Harold în Bătălia de la Hastings împotriva normanzilor care au invadat în octombrie, Witanagemot l-a ales rege pe Edgar. Noul regim stabilit a fost dominat de cei mai puternici membrii supraviețuitori ai casei conducătoare engleze, Stigand, Arhiepiscopul
Edgar Ætheling () [Corola-website/Science/330968_a_332297]
-
toate celelalte. MDP este dezvoltat pentru grupe de lucru (de ingineri) precum și pentru întreaga întreprindere. MDP îmbunătățește comunicarea între grupe și formează baza pentru ca organizațiile să-și restructureze procesele de dezvoltare a produselor și să institue inițiative cum sunt ingineria concurentă (simultană) și dezvoltarea în colaborare a produselor. Utilizarea managementului datelor produsului permite unei organizații să urmărească diferitele costuri asociate cu crearea și lansarea produsului. Utilizatorii tipici ai MDP sunt reprezentați de proiectanți și ingineri, însă sistemele MDP sunt dezvoltate pentru
Managementul datelor produsului () [Corola-website/Science/323475_a_324804]
-
cu aceleasi procesoare. Termenii de calcul concurent, calcul paralel și calcul distribuit au foarte multe în comun. Același sistem poate fi caracterizat ca fiind atât "paralel cât și "distribuit"ș procesele dintr-un sistem distribuit tipic rulează an paralel.Sistemele concurente pot fi clasificate ca fiind paralele sau distribuite în funcție de următoarele criterii: Utilizarea de procese concurente care comunică prin mesaj-trece își are rădăcinile în arhitecturile sistemelor de operare studiate în anii 1960. Primele sisteme distribuite pe scară largă au fost LAN
Calcul distribuit () [Corola-website/Science/322837_a_324166]
-
în comun. Același sistem poate fi caracterizat ca fiind atât "paralel cât și "distribuit"ș procesele dintr-un sistem distribuit tipic rulează an paralel.Sistemele concurente pot fi clasificate ca fiind paralele sau distribuite în funcție de următoarele criterii: Utilizarea de procese concurente care comunică prin mesaj-trece își are rădăcinile în arhitecturile sistemelor de operare studiate în anii 1960. Primele sisteme distribuite pe scară largă au fost LAN-urile, cum ar fi Ethernet, care a fost inventat în anii 1970. ARPANET, predecesorul de
Calcul distribuit () [Corola-website/Science/322837_a_324166]
-
cu coloane ionice delicate pe interior . Trezoreriile și stadioane pan- elenice importante cum ar fi Delphi și Olympia , erau locuri în care toți grecii veneau să se închine , să întâlnească și să concureze . Stadioane erau locul pentru a viziona concursurile, concurentele și jocurile olimpice . Cu toate acestea, elementul cel mai evident al arhitecturii grecești este teatrul . Teatrul a fost atât religioas și competitiv , organizându-se evenimente sportive de teatru și concursuri de muzică . Teatrele grecești sunt o minune a ingineriei grecești
Grecia clasică () [Corola-website/Science/320929_a_322258]
-
el a ordonat demontarea capabilităților de producție și testare a armelor biologice de la mai multe întreprinderi de cercetare si dezvoltare, între care Stepnogorsk, , Obolensk și mai multe altele. De asemenea, el și-a negociat în același timp și o numire concurentă de la o unitate de producție Biopreparat deumită Biomaș. Biomaș proiecta și producea echipament tehnic pentru cultivarea și testarea microbilor. El a planificat creșterea ponderii produselelor destinate spitalelor civile și laboratoarelor medicale la peste 40%, cât era alocat la acea vreme
Ken Alibek () [Corola-website/Science/335974_a_337303]
-
începuturi, Turul Franței era urmărit doar de către organizatorii săi, jurnaliștii de la revista "L'Auto". De altfel, cursa fusese creată tocmai pentru a spori vânzările acestui ziar aflat în derivă și redactorul său, Desgrange, nu avea niciun motiv să permită publicațiilor concurente să profite de pe urma acestei competiții. Primele ziare acreditate să participe în Turul Franței, excluzând "L'Auto", au apărut abia în anul 1921 când 15 mașini de presă au fost rezervate pentru reporterii locali și străini. La câteva zile după încheierea
Turul Franței () [Corola-website/Science/307743_a_309072]
-
la minimum inconvenientele create de înghețarea fluviului pe timp de iarnă. Preocuparea lui de căpetenie a constituit-o ideea de a face ca societatea română de navigație fluvială („Navigația Fluvială Română”) să lucreze mai bine și mai eficient decât liniile concurente străine. Datorită acestor eforturi ale sale, de la 1 aprilie 1898, a început să funcționeze în mod regulat serviciul de navigație pe Dunăre, sub pavilion românesc. Tot lui i se mai datorează stabilirea colaborării cu societățile de navigație din Serbia și
Vintilă I. C. Brătianu () [Corola-website/Science/299970_a_301299]
-
Rocks". A fost difuzat prima dată pe 22 august 2016, de către canalul de televiziune Kanal D România și a devenit rapid unul dintre cele mai urmărite show-uri de televiziune din România în anul 2016. Emisiunea are la bază 14 concurente care prezintă diverse ținute pe tot parcursul săptămânii (luni-vineri), iar la sfârșitul săptămânii (sâmbăta) trebuie să se expună conform temei-suport pentru gala respectivă. Pe tot parcursul săptămânii, fetele propun diverse ținute pentru obține stele ce le pot proteja de eliminare
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
diverse ținute pe tot parcursul săptămânii (luni-vineri), iar la sfârșitul săptămânii (sâmbăta) trebuie să se expună conform temei-suport pentru gala respectivă. Pe tot parcursul săptămânii, fetele propun diverse ținute pentru obține stele ce le pot proteja de eliminare. Primele două concurente cu cel mai mare număr de stele vor primi imunitate, dar, în caz că în gală vor obține cel mai mic punctaj acordat de cei 5 jurați (inclus fiind și juratul invitat), își vor pierde imunitatea, astfel vor fi în pericol de
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
mai mare număr de stele vor primi imunitate, dar, în caz că în gală vor obține cel mai mic punctaj acordat de cei 5 jurați (inclus fiind și juratul invitat), își vor pierde imunitatea, astfel vor fi în pericol de eliminare. Eliminare: Concurentele care candidează la eliminare sunt cele care obțin cel mai mic punctaj în gală și una sau mai multe dintre ele care sunt nominalizate de către celelalte concurente.Cea care obține cel mai mic punctaj în urma televotingului va părăsi competiția. Televonting
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
invitat), își vor pierde imunitatea, astfel vor fi în pericol de eliminare. Eliminare: Concurentele care candidează la eliminare sunt cele care obțin cel mai mic punctaj în gală și una sau mai multe dintre ele care sunt nominalizate de către celelalte concurente.Cea care obține cel mai mic punctaj în urma televotingului va părăsi competiția. Televonting: Fiecare concurentă poate fi votată la numărul 1206 cu indicativul respectiv fiecărei concurente. Primul sezon a debutat pe 22 august 2016 și s-a încheiat pe 18
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
candidează la eliminare sunt cele care obțin cel mai mic punctaj în gală și una sau mai multe dintre ele care sunt nominalizate de către celelalte concurente.Cea care obține cel mai mic punctaj în urma televotingului va părăsi competiția. Televonting: Fiecare concurentă poate fi votată la numărul 1206 cu indicativul respectiv fiecărei concurente. Primul sezon a debutat pe 22 august 2016 și s-a încheiat pe 18 decembrie 2016. Finalistele primului sezon al show-ului au fost:Andreea, Larisa, Cristina Mihaela și
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
în gală și una sau mai multe dintre ele care sunt nominalizate de către celelalte concurente.Cea care obține cel mai mic punctaj în urma televotingului va părăsi competiția. Televonting: Fiecare concurentă poate fi votată la numărul 1206 cu indicativul respectiv fiecărei concurente. Primul sezon a debutat pe 22 august 2016 și s-a încheiat pe 18 decembrie 2016. Finalistele primului sezon al show-ului au fost:Andreea, Larisa, Cristina Mihaela și Silvia. Silvia este câștigătoarea primului sezon al show-ului „“ și a
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
din criticul de modă Iulia Albu, Raluca Bădulescu, fashion editorul la „Elle România” Maurice Munteanu și creatorul de modă Răzvan Ciobanu. A debutat pe 23 ianuarie 2017. Silvia, câștigătoarea primului sezon, va sta în culise pentru a le consilia pe concurente. Înainte de începerea celei de-a doua gale eliminatorii, Iuliana este descalificată pentru nerespectarea regulamentului. (Locul 14) 16 februarie 2017:Paola este descalificată pentru nerespectarea regulamentului. (Locul 11)
Bravo, ai stil! () [Corola-website/Science/337004_a_338333]
-
minimă confuzie. Dacă distanța obiect tinde la infinit, toate razele primite de prima componentă a sistemului sunt paralele și intersecțiile lor după trecea prin sistem, variază în funcție de distanța față de axă (perpendicularele pe axă). Dacă razele incidente din O (Fig1) sunt concurente, nu înseamnă că punctele vor fi concurente și într-un plan perpendicular în O pe axa optică. Cu o deschidere considerabilă, punctul N va fi proiectat dar cu aberații comparabile în mărime cu ON. Aceste aberații sunt evitate, conform lui
Aberație cromatică () [Corola-website/Science/309027_a_310356]
-
infinit, toate razele primite de prima componentă a sistemului sunt paralele și intersecțiile lor după trecea prin sistem, variază în funcție de distanța față de axă (perpendicularele pe axă). Dacă razele incidente din O (Fig1) sunt concurente, nu înseamnă că punctele vor fi concurente și într-un plan perpendicular în O pe axa optică. Cu o deschidere considerabilă, punctul N va fi proiectat dar cu aberații comparabile în mărime cu ON. Aceste aberații sunt evitate, conform lui Abbe, dacă condiția sinusului (sin u'1
Aberație cromatică () [Corola-website/Science/309027_a_310356]
-
scenei finale a românului, Flegeljahre de Jean Paul. Teza că valoarea muzicii este legată de funcția să reprezentativă a fost puternic combătuta de formalismul lui Eduard Hanslick, astfel declanșându-se „Războiul Romanticilor”. Această luptă a împărțit estetică în două grupuri concurente: pe de o parte sunt formaliștii (cum ar fi, Hanslick), care subliniază că recompensele muzicii se găsesc în aprecierea proiectării sau a formei muzicale, în timp ce, de altă parte sunt anti-formaliștii, precum Richard Wagner, care considerau formă muzicală drept un mijloc
Estetica muzicală () [Corola-website/Science/325994_a_327323]
-
efectiv o ramură angevină colaterală în competiția cu linia principală a dinastiei. Această măsură a condus la asasinarea Ioanei de către principele de Durazzo în 1382, care a preluat tronul Neapolelui sub numele de Carol al III-lea. Cele două ramuri concurente ale Angevinilor s-au contestat reciproc pentru stăpânirea asupra Neapolelui în următoarele decenii. Fiica lui Carol al III-lea, Ioana a II-la (1414-1435) l-a adoptat pe Alfonso al V-lea al Aragonului (pe care ulterior îl va repudia) și
Regatul de Neapole () [Corola-website/Science/313551_a_314880]