135,668 matches
-
a relaționa semantica modelului Actor cu algebra și logica liniară): Modelul actor poate fi folosit ca un framework pentru modelare, înțelegerea și gândire despre o mare arie de sisteme concurente. De exemplu: Modelul actor se bazează pe modele anterioare de calcul. Calculul Lambda al lui Alonzo Church poate fi văzut ca cel dintâi limbaj de programare bazat pe transmiterea mesajelor ( message passing ). (vezi Hewitt, Bishop, and Steiger 1973; Abelson and Sussman 1985). De exemplu, expresia lambda de mai jos implementează o
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
relaționa semantica modelului Actor cu algebra și logica liniară): Modelul actor poate fi folosit ca un framework pentru modelare, înțelegerea și gândire despre o mare arie de sisteme concurente. De exemplu: Modelul actor se bazează pe modele anterioare de calcul. Calculul Lambda al lui Alonzo Church poate fi văzut ca cel dintâi limbaj de programare bazat pe transmiterea mesajelor ( message passing ). (vezi Hewitt, Bishop, and Steiger 1973; Abelson and Sussman 1985). De exemplu, expresia lambda de mai jos implementează o structură
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
rightSubTree. Oricum, semantică calcului lambda este exprimată folosind substitutia de variabile în care valorile parametrilor sunt substituite în cod prin invocarea expresiilor lambda. Modelul de substituție este nepotrivit pentru concurență deoarece nu îngăduie capacitatea partajarii resurselor de schimbat. Inspirat de calculul lambda, interpreter pentru limbajul de programare Lisp face uz de o structură de date numită mediu în felul că valoarea parametrilor nu trebuie să fie substituită în corpul expresiilor lambda invocate. Această a dat voie la partajarea efectelor secundare cum
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
să fie substituită în corpul expresiilor lambda invocate. Această a dat voie la partajarea efectelor secundare cum ar fi updatarea structurilor de date partajate dar nu a îngăduit și concurența. Simula 67 a fost un pioner în transmiterea mesajelor pentru calcule, motivat de aplicațiile de simulare a evenimentelor discrete. Aceste aplicații erau mari și nemodulare în limbile de simulare de dinainte. La fiecare pas, un larg și central program trebuia să fie rulat și să actualizeze fiecare obiect de simulare care
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
câmpuri incluzând "global", "sender", "receiver", "reply-style", "status", "reply", "operator selector", "etc." În 1972 Kay a visitat MIT și discutat ideile sale despre Smalltalk-72 construind limbajul de programare Logo ajutat de Seymour Papert și modelul "little person" (persoană mică), model de calcul utilizat în predarea programării copiilor mici. Totuși, transmiterea mesajelor în Smalltalk-72 era destul de complex. Codul în acest limbaj era vizionat de interpretor ca simple stream-uri de tokene. După cum Dan Ingalls a descris mai târziu: De aici și modelul de transmitere
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
verisiuni mai recente de java, începând cu Java 1.5) au adoptat soluția mai puțin elegantă de a folosi "boxing" și "unboxing", o variantă folosită mai devreme în implementările Lisp. Sistemul Smalltalk a devenit foarte influent, inovând în afișările bitmap, calcul personal (PC), interfețe de browser de clase și multe alte căi. Pentru detalii vizitați Kay's "The Early History of Smalltalk". Între timp, eforturile pentru modelul Actor la MIT au rămas concentrate pe dezvoltarea științei și ingineriei la nivel înalt
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
înalt de concurență. (Vedeți cartea lui Jean-Pierre Briot pentru idei care au fost dezvoltate mai tărziu despre încorporarea anumitor tipuri de concurență Actor în ultimele versiuni de Smalltalk) Înainte de apariția modelului Actor, Rețelele Petri erau larg folosite în modelul de calcul nondeterministic. Oricum, ele erau larg cunoscute ca având limitări importante: Hewit a accentuat o altă dificultate a rețelelor Petri: Acțiunea simultană. De exemplu pasul atomic de calcul în rețele Petri este o tranziție în care tokenurile dispar simultan din locurile
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
Smalltalk) Înainte de apariția modelului Actor, Rețelele Petri erau larg folosite în modelul de calcul nondeterministic. Oricum, ele erau larg cunoscute ca având limitări importante: Hewit a accentuat o altă dificultate a rețelelor Petri: Acțiunea simultană. De exemplu pasul atomic de calcul în rețele Petri este o tranziție în care tokenurile dispar simultan din locurile de input ale tranzițiilor și apar în locurile de output. Baza fizică de a folosi primitive pentru acest tip de simultaneitate îi părea conflictuala. În ciuda aparentelor dificultăți
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
nu există motiv ca modelul să nu poată fi implementat direct în hardware fără a expune threaduri hardware și locks. DE asemenea, nu există o relație obligatorie între numărul de Actori, threaduri, lockuri, relație care ar putea fi implicată în calcul. Implementările modelului Actor sunt libere să folosească threaduri și lockuri în orice fel este dorit și este compatibil cu legile pentru Actori. Modelul Actor este despre semantica transmiterii mesajelor. Primele programe concurente au fost interrupt handlers. În timpul operării normale, un
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
dintre soluțiile aduse nu a dat o structură pentru un limbaj de programare care încapsulează accesul la resursele partajate. Această încapsulare a venit mai târziu printr-un serializer construct ([Hewitt and Atkinson 1977, 1979] and [Atkinson 1980]). Primele modele de calcul ("e.g." Turing machines, Post productions, the lambda calculus, "etc.") au fost bazate pe matematică și folosesc o stare globală să reprezinte un pas computațional (mai târziu generalizat în [McCarthy and Hayes 1969] și [Dijkstra 1976]. Starea globală a fost continuată
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
este să permită adrese în mesaje. Totuși Hewitt a dorit să poate fi trimise și mesaje goale (fără adresă). Modelul Actor a fost construit ca un model cu concurență înnascută. În acest model, secvențialitatea e un caz special derivat din calculul concurent. Hewitt a fost de părere că mesajele nu trebuie să ajungă în ordinea trimiterii lor. Dacă se dorește o restricționare de tip FIFO de exemplu, se poate modela un Actor Coada (Queue) care aranjează mesajele în ordinea sosirii lor
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
deasemenea au eliberat modelul Actor de detaliile implementării, cum sunt interpretoarele de la Smalltalk. Oricum, este critic de înțeles că implementarea eficientă a sistemelor descrise de modelul Actor să ceară optimizări extensive. În modelul Actor există o teoremă de reprezentare a calculelor pentru sisteme închise (care nu primesc comunicații din exterior). Denotarea matematică pentru un sistem închis S este construită pentru un comportament inițial ⊥ și o funcție comportamentală de aproximare progression. Acestea obțin aproximări mult mai bune și construiesc o denotare ( inteles
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
de refracție corespunzători polarizției stângi, respectiv drepte: formula 11 formula 12 Indicele de refracție al mediului optic în lipsa câmpului magnetic este dat de: formula 13 prin urmare: formula 14 Datorită faptului că n-n s si n d-n sunt mult mai mici ca n, folosind formule de calcul aproximativ, se pot face următoarele aproximări: formula 15 Din aceste relații rezultă în final: formula 16 Această relație demonstrează faptul că undele polarizate circular stâng și drept parcurg mediul optic plasat într-un câmp magnetic, cu viteze diferite de-a lungul câmpului
Efectul Faraday () [Corola-website/Science/322012_a_323341]
-
este o metodă de calcul, atribuită lui Aurel Stodola, pentru calculul dependenței foarte neliniare a presiunii la ieșirea dintr-un corp al unei turbine multietajate cu contrapresiune, când ajutajele treptelor lucrează în regimuri care nu ating regimul subcritic. Este una dintre metodele folosite pentru calculul
Conul lui Stodola () [Corola-website/Science/322032_a_323361]
-
este o metodă de calcul, atribuită lui Aurel Stodola, pentru calculul dependenței foarte neliniare a presiunii la ieșirea dintr-un corp al unei turbine multietajate cu contrapresiune, când ajutajele treptelor lucrează în regimuri care nu ating regimul subcritic. Este una dintre metodele folosite pentru calculul proceselor din turbine pentru funcționarea în
Conul lui Stodola () [Corola-website/Science/322032_a_323361]
-
calcul, atribuită lui Aurel Stodola, pentru calculul dependenței foarte neliniare a presiunii la ieșirea dintr-un corp al unei turbine multietajate cu contrapresiune, când ajutajele treptelor lucrează în regimuri care nu ating regimul subcritic. Este una dintre metodele folosite pentru calculul proceselor din turbine pentru funcționarea în regimuri diferite de cel de proiectare. Fie o turbină multietajată a cărei schemă este cea din figura alăturată. Calculul de proiectare al acestei turbine s-a făcut pentru "debitul economic" (formula 1 - debitul de fluid
Conul lui Stodola () [Corola-website/Science/322032_a_323361]
-
treptelor lucrează în regimuri care nu ating regimul subcritic. Este una dintre metodele folosite pentru calculul proceselor din turbine pentru funcționarea în regimuri diferite de cel de proiectare. Fie o turbină multietajată a cărei schemă este cea din figura alăturată. Calculul de proiectare al acestei turbine s-a făcut pentru "debitul economic" (formula 1 - debitul de fluid cu care va funcționa turbina majoritatea timpului). Parametrii luați în considerare la proiectare sunt: temperatura și presiunea la intrarea în grupul de trepte formula 2 și
Conul lui Stodola () [Corola-website/Science/322032_a_323361]
-
împotriva populației locale. Din cauza cruzimii lui, Heydrich a fost poreclit "Măcelarul din Praga", "Bestia Blondă" și "Călăul". Pe la sfârșitul anului 1941, Hitler controla aproape întreaga Europă continentală, iar forțele germane se apropiau de Moscova. Aliații au început să ia în calcul capitularea probabilă a Uniunii Sovietice. Guvernul cehoslovac în exil, condus de președintele Edvard Beneš, era presat de serviciile secrete britanice deoarece existase prea puțină rezistență vizibilă după ocupația regiunii Sudete în 1938 (ocuparea întregii țări a început în 1939). Preluarea
Operațiunea Anthropoid () [Corola-website/Science/322015_a_323344]
-
pur teoretică cât și aplicativa. A publicat un numar însemnat de lucrări asupra echilibrului mediilor continue cu deformări mari, despre condițiile de stabilitate dinamică, efectul sarcinilor dinamice asupra constructilor hidrotehnice, torsiunea barelor cu aplicații în aeronautică, dezvoltarea unor metode de calcul al vibrațiilor pentru sisteme cu număr mare de grade de libertate, aplicații ale teoriei elasticității plane în studiul plăcilor subțiri și groase, propagările undelor elastice în medii stratificate. Rezultatele obținute în domeniul elasticității neliniare au fost citate printre altele în
Mișicu Mircea () [Corola-website/Science/322064_a_323393]
-
reali are cel puțin o soluție reală " x", ceea ce este o consecință a teoremei valorii intermediare. Există următoarele 3 cazuri, în funcție de semnul discriminantului: Vezi și multiplicitatea rădăcinilor unui polinom. Pentru ecuația cubică generală (1), cu coeficienți reali, formula generală de calcul a rădăcinilor în funcție de coeficienți, este după cum urmează, dacă formula 9, altfel ecuația are două rădacini complexe nereale. Totuși, această formulă nu se verifică, dacă operandul din rădăcina pătrată este negativ sau în cazul în care coeficienții aparțin unui domeniu care nu
Funcție algebrică de gradul al treilea () [Corola-website/Science/322080_a_323409]
-
5, deoarece aceasta ar implica rezolvarea unei ecuații polinomiale de grad cel puțin 6. Spre deosebire de metoda lui Cardano, metoda lui Lagrange fi aplicată direct la orice ecuație cubică (1) fără a utiliza reducerea la ecuația trinom (2). Cu toate acestea, calculul este mai ușor. Presupunem că "x", "x" și "x" sunt rădăcinile ecuației (1) sau (2), și definim formula 87, astfel încât "ζ" este o rădăcină primitivă de ordin 3 a unității, care satisface relația: formula 88. Notăm: Aceasta este transformarea Fourier discretă a
Funcție algebrică de gradul al treilea () [Corola-website/Science/322080_a_323409]
-
formula 98 în locul lui formula 59 și formula 60. Notând cu formula 133, formula 134 și formula 135, polinoamele elementare simetrice, avem, știind că formula 116: Expresia pentru formula 114 este aceeași cu formula 139 și formula 140 schimbate între ele. Astfel, utilizând faptul că formula 141 obținem: și printr-un calcul simplu obținem că Similar, avem: Atunci, rezolvând ecuația (1) avem: În ecuația (2), avem formula 148, formula 149 și formula 150 prin urmare: Observăm că în ecuația (2), avem formula 153 și formula 154, iar în metoda lui Cardano am notat cu: formula 155 și formula 156
Funcție algebrică de gradul al treilea () [Corola-website/Science/322080_a_323409]
-
să stea față în față nu au fost adaptate de producătorii de automobile. În 1984, National Science Foundation a început să lucreze în instituirea a cinci centre noi supercomputer, inclusiv Cornell Center for Advanced Computing, pentru a furniza resurse de calcul de mare viteză pentru cercetare în Statele Unite. În 1985 o echipă de la Centrul Național pentru aplicații de procesare rapidă a început dezvoltarea NSFNet, o rețea TCP/IP care s-ar putea conecta la ARPANET, la Cornell Center for Advanced Computing
Universitatea Cornell () [Corola-website/Science/322091_a_323420]
-
efectuarea sarcinii repartizate, nu vor exista timpi în gol. Pașii pentru egalizarea duratelor de efectuare a sarcinilor pe posturi sunt următorii: ٭definirea sarcinilor (lucrărilor de asamblare); ٭identificarea "diagramei de precedență" care indică succesiunea și timpul de efectuare a fiecărei sarcini; ٭calculul numărului minim de posturi de lucru necesare, prin împărțirea sumei timpilor pe sarcini la timpul pe ciclu; ٭aplicarea unor reguli euristice de repartizare a sarcinilor la fiecare post; diferitele euristici dau rezultate diferite; ٭evaluarea eficacității și eficienței sistemului de posturi
Amplasare industrială de utilaje () [Corola-website/Science/322114_a_323443]
-
tipuri de manipulare a materialelor, între centrele de prelucrare, pe care le poate utiliza o companie. Analistul furnizează amplasarea inițială, o matrice care identifică numărul de sarcini deplasate între centrele de prelucrare și o matrice care identifică costul transportului. După calculul costului amplasării inițiale, CRAFT schimbă locația perechilor sau tripletelor de centre de prelucrare care sunt adiacente sau se află în aceeași zonă și după mai multe iterații și evaluări sunt printate soluțiile finale care produc cea mai mare reducere estimată
Amplasare industrială de utilaje () [Corola-website/Science/322114_a_323443]