24,014 matches
-
alte varietăți de formalisme au fost dezvoltate pentru a modela și studia concurența. Mai multe formalisme pentru modelarea și înțelegerea sistemelor concurente au fost dezvoltate, incluzând: Unele dintre aceste modele de concurență sunt destinate în primul rând modelării și stabilirii specificațiilor, în timp ce altele pot fi utilizate pe parcursul întregului ciclu de dezvoltare, inclusiv pentru proiectarea, implementarea, verificarea, testarea și simularea sistemelor concurente. Proliferarea diferitelor modele de concurență a motivat unii cercetători să dezvolte moduri de a unifica aceste modele teoretice. De exemplu
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care 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
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
Nokia X7 este produsă de compania Nokia. Specificații de bază sunt bune. Există o cameră de 8MP, 8GB card de stocare microSD inclus (expandabil până la 32GB), GPS, Wi-Fi și HSDPA. Nokia X7 vine cu un design dreptunghiular cu patru grile pe fiecare din colțurile sale. Dispune de un
Nokia X7-00 () [Corola-website/Science/325542_a_326871]
-
1936 până în 1945, fiind predecesorul faimosului Mitsubishi A6M ' Zero'. Numele de cod oficial dat de Aliați era Claude. Acest avion a avut importanță deosebită, pentru că a marcat sfârșitul dependenței Japoniei de proiectare străină. În 1934 Marina Imperială Japoneză a stabilit specificații pentru un avion de vânătoare capabil să atingă viteza de 350 km/h la o altitudine de 3,000 m și capabilă să urce la înălțimea de 5,000 m în 6,5 minute. Au înaintat proiecte atât Mitsubishi cât
Mitsubishi A5M () [Corola-website/Science/325649_a_326978]
-
intern dezvoltat de Nokia pentru testarea sistemului de operare Harmattan. Două dispozitive anterioare acestuia, RM-581 (cu numele de cod ”Columbus”) și RM-680 (denumit intern Nokia N9-00, cu numele de cod ”Dali”), au fost utilizate pentru dezvoltarea lui Harmattan. Acestea aveau specificații asemănătoare lui Nokia N9-00 (denumit intern Nokia N9-01, cu numele de cod ”Lankuu” și codul de produs RM-696), însă au suportat versiuni ale interfeței total diferite (pe lângă software efectiv diferit din cauza stagiilor diferite de dezvoltare în care se afla sistemul
Nokia N9 () [Corola-website/Science/325651_a_326980]
-
specificau un avion monoloc, acționat de un motor BMW 003. Structura avionului urma să fie ieftină și nesofisticată din lemn și alte materiale nestrategice și cel mai important lucru, să se poată asambla de forță de muncă semi- sau necalificată. Specificațiile includeau o greutate care să nu depășească 2,000 kg, când avioanele de vânătoare ale vremii aveau greutatea dublă. Viteza maximă la nivelul mării se cerea să fie de 750 km/h și distanță de decolare de 500 m. Armamentul
Heinkel He 162 () [Corola-website/Science/325690_a_327019]
-
este un avion biloc, cu aripa jos tip cantilever. Avea tren de aterizare fix, triciclu cu bechie de coadă. Acesta a fost dezvoltat de Willy Messerschmitt din aparatul BFW M.19 după specificațiile emise de Aeroclubul German pentru competiția Circuitul Est-Prusian. Datorita succesului de care s-a bucurat avionul Messerschmitt M.23 în România, fabrica ICAR a achiziționat licența, pentru a produce acest avion în România. Este primul avion fabricat la ICAR București
ICAR M23b () [Corola-website/Science/325719_a_327048]
-
deși există dovezi că au fost emiși șilingi, ca parte a unor seturi pentru colecționari, cu milesimul 1970. În 1968, cu noul sistem zecimal, au fost emise monede de "cinci pence" (denumite inițial „cinci pence noi”), cu aceeași greutate și specificații pe care le aveau vechile monede echivalente. Noua monedă de "cinci pence" a început să înlocuiască "șilingul". După 15 februarie 1971, Regatul Unit a adoptat sistemul zecimal și utilizează lira sterlină (abrevieri: GBP și £), divizată în 100 de pence. Înainte de
Șiling (monedă britanică) () [Corola-website/Science/325127_a_326456]
-
apar Ben Affleck, Uma Thurman și Aaron Eckhart. Paul Giamatti și Colm Feore interpretează roluri secundare. În viitorul apropiat, Michael Jennings este un specialist în inginerie inversă; el analizează tehnologia clienților concurenților săi și le recrează, adăugând adesea îmbunătățiri față de specificațiile originale. Pentru a proteja proprietatea intelectuală a sa și a clienților săi, Jennings folosește o memorie tampon pentru a elimina cunoștințele sale de inginerie cu ajutorul prietenului său, Shorty. Jennings este abordat de fostul său coleg de cameră de la colegiu, James
Cecul sau viața () [Corola-website/Science/325175_a_326504]
-
Data Acquisition - Program de supraveghere, control și achiziție date. După construcția unui parc eolian, urmează o perioadă de probe în care se verifică : Unul din avantajele generatoarelor eoliene îl reprezintă faptul că nu necesită pentru funcționare operatori umani. Periodic, conform specificațiilor producătorului turbinei, se efectuează lucrări de întreținere care constau în: Un parc eolian livrează energie funcție de intensitatea vântului și funcție de cerințele din Sistemul energetic Național. În general există grafice stabilite de comun acord între Transelectrica și operatorul parcului eolian, funcție de
Parc eolian () [Corola-website/Science/324715_a_326044]
-
operare pentru a primi suport AGP era Windows NT 4.0 cu service pack 3, introdus în 1997. Linux suport pentru îmbunătățea transferurilor rapide de date AGP era prima dată adăugată în 1999 cu aplicarea modulului AGPgart kernel. Intel lansa "specificațiile AGP 1,0 " în 1997. Ea incluse atât de 1x și 2x viteze. conform specificației 2.0 documentate AGP 4 × și 3,0 documentate disponibile versiuni includ: Este o extensie pentru carduri care cere mai mult curent electric. Este un
Accelerated Graphics Port () [Corola-website/Science/326050_a_327379]
-
introdus în 1997. Linux suport pentru îmbunătățea transferurilor rapide de date AGP era prima dată adăugată în 1999 cu aplicarea modulului AGPgart kernel. Intel lansa "specificațiile AGP 1,0 " în 1997. Ea incluse atât de 1x și 2x viteze. conform specificației 2.0 documentate AGP 4 × și 3,0 documentate disponibile versiuni includ: Este o extensie pentru carduri care cere mai mult curent electric. Este un slot mai lung cu bolțuri suplimentare pentru acest scop. AGP Pro erau de obicei din
Accelerated Graphics Port () [Corola-website/Science/326050_a_327379]
-
Sistemul de criptare și codificare al conținutului video (C.S.S.) s-a pus la punct în anul 1996 cu scopul de a proteja conținutul discurilor Video digitale de copiere pe computer. Sistemul C.S.S. utilizează o specificație patentată de consorțiul DVD. După trei ani un anonim norvegian a reușit să găsească o metodă de inversare a clgoritmului patentat, și a postat programul DeCSS. Obiectivul C.S.S. era dublu: În defavoarea sistemului de criptare C.S.S. a fost limitările impuse de
Content Scramble System () [Corola-website/Science/326064_a_327393]
-
-ului, sisteme de prindere: chioșcul poate fi proiectat ca fiind independent față de suprafață de plasare sau încorporat în mobilierul stradal sau de interior, scopul căruia îi servește, audiența pentru care este conceput, dar și ale variabile precum opțiuni de dotare, specificații tehnice și costuri de implementare.
Chioșc interactiv () [Corola-website/Science/322686_a_324015]
-
pentru proiectarea, realizarea, verificarea, funcționarea și susținerea produsului. Caracterul holistic al conceptului PLM rezultă și din următorul enunț: "PLM este un concept holistic al afacerii care include nu numai produse, documente și liste de materiale (BOM), ci și rezultatele analizelor,specificații și rezultate ale testelor, informații asupra componentelor mediului, cerințe pentru produs, dispoziții de schimbare, proceduri de fabricație, informații asupra performanțelor produsului, asupra furnizorilor componentelor etc.". Antti Saaksvuori (2009),op.cit., clarifică definiția PLM, care poate fi divizată în patru entități interconectate
Managementul ciclului de viață al produsului () [Corola-website/Science/322695_a_324024]
-
proces. Fazele managementului ciclului de viață al produsului sunt: Concepția. Prima fază în dezvoltarea ideii de produs este definirea cerințelor sale, pe baza punctelor de vedere ale clienților, companiei, pieței și reglementărilor în vigoare. Din aceste cerințe pot fi definite specificațiile produsului care includ parametrii tehnici principali. În vederea rezolvării acestei faze sunt disponibile software pentru Managementul Cerințelor. Odată cu specificarea cerințelor, în prima fază se definește estetica produsului și principalii parametri funcționali. Proiectarea. In această fază începe proiectarea și dezvoltarea detaliată a
Managementul ciclului de viață al produsului () [Corola-website/Science/322695_a_324024]
-
la un set de instrumente software, utilizate pentru prelucrări mecanice, analiză și fabricație, pentru a sprijini produsele de la concepția inițială, continuând cu distribuția și retragerea de pe piață. O dată ce a fost asamblat din diferite programe software, un sistem PLM va manageria specificațiile și formulele produsului, va oferi antecedente ale producției și va urmări calitatea totală a produsului. Datorită naturii și etapelor implicate în PLM, software tind să fie centrate în jurul ingineriei. Procesele PLM sunt „acoperite” de software aplicative disponibile în prezent, cum
Managementul ciclului de viață al produsului () [Corola-website/Science/322695_a_324024]
-
de echipamentul folosit. 6. XML ("Extensible Markup Language") este un subset al SGML , fiind un limbaj de descriere standardizat pentru prezentarea structurată a informației. Informația structurată poate conține diferite tipuri de conținuturi, inclusiv text și imagini, precum și descrieri ale conținuturilor. Specificația XML definește un document XML care este "bine-format", adică satisface o listă de reguli de sintaxă, prevăzute în specificație. Un document XML poate fi "valid" , ceea ce înseamnă că acesta conține o referință la o "Definire a Tipului de Document" (DTD
Managementul ciclului de viață al produsului () [Corola-website/Science/322695_a_324024]
-
pentru prezentarea structurată a informației. Informația structurată poate conține diferite tipuri de conținuturi, inclusiv text și imagini, precum și descrieri ale conținuturilor. Specificația XML definește un document XML care este "bine-format", adică satisface o listă de reguli de sintaxă, prevăzute în specificație. Un document XML poate fi "valid" , ceea ce înseamnă că acesta conține o referință la o "Definire a Tipului de Document" (DTD) și că elementele și atributele sunt declarate în DTD și respectă regulile gramaticale. Multe dintre noile sisteme de PLM
Managementul ciclului de viață al produsului () [Corola-website/Science/322695_a_324024]
-
să utilizeze formate mai bune, cum ar fi formatele de date în virgulă mobilă, pentru a obține efecte cum ar fi imagistica de gamă dinamică extinsă. Multe aplicații GPGPU necesită precizie în virgulă mobilă, care vine cu plăcile grafice în conformitate cu specificațiile Direct 9 X. Modelul 2.x Shader DirectX 9 a sugerat suport pentru două tipuri de precizie: precizie totală și parțială. Suportul pentru precizia totală poate fi FP32 sau FP24 (virgulă mobilă pe 24 de biți per componentă) sau mai
GPGPU () [Corola-website/Science/322733_a_324062]
-
și T5, au fost redenumite I3 și S3. URO VAMTAC are un aspect și un design asemănător cu vehiculul "High Mobility Multipurpose Wheeled Vehicle" (abreviat HMMWV sau Humvee) al armatei americane deoarece ambele vehicule au fost proiectate după cerințe și specificații asemănătoare. URO VAMTAC poate fi livrat în mai multe variante, în funcție de armament și configurație. Câteva vehicule utilitare au fost fabricate pentru tractare, stingerea incendiilor și reaprovizionare. Printre variantele notabile se numără: În anul 2005, vehicul neblindat pentru operații speciale marca
URO VAMTAC () [Corola-website/Science/322788_a_324117]
-
exemplu, ""Auditorium 112"" se referă la numărul celulei 112, în care Zamiatin a fost închis de două ori iar numele S-4711 face referire la apa de colonie numărul 4711. Zamiatin, care a lucrat ca arhitect naval, face referire la specificațiile spărgătorului de gheață "St. Alexander Nevsky". <citat>Numerele [. . .] personajelor principale din NOI sunt preluate direct din specificațiile spărgătorului de gheață preferat al lui Zamiatin, St. Alexander Nevsky, nr. de serie A/W 905, tonaj 3300, de unde apar O-90 și
Noi () [Corola-website/Science/322124_a_323453]
-
ori iar numele S-4711 face referire la apa de colonie numărul 4711. Zamiatin, care a lucrat ca arhitect naval, face referire la specificațiile spărgătorului de gheață "St. Alexander Nevsky". <citat>Numerele [. . .] personajelor principale din NOI sunt preluate direct din specificațiile spărgătorului de gheață preferat al lui Zamiatin, St. Alexander Nevsky, nr. de serie A/W 905, tonaj 3300, de unde apar O-90 și I-330, care îl împart pe nenorocitul D-503 [. . .] Yu-10 poate fi derivat din numărele de serie
Noi () [Corola-website/Science/322124_a_323453]
-
ca cea a regiunii, în redesenarea granițelor europene. Identificarea istorică și etnică a teritoriului poate fi stabilită de prezență, pe siturile arheologice, a instalațiilor venete, marcate de caracterul materialelor specifice și a urnelor funerare, adesea denumite "venete", fără o altă specificație.
Regio X Venetia et Histria () [Corola-website/Science/322147_a_323476]
-
aceste elemente structurale sunt poziționate la baza senzorului, iar diodele foto-senzitive se află fix sub lentilă și filtrele de culoare. Lumia 920 beneficiază și de stabilizare optică ce permite, conform celor de la Nokia, urmărirea a 500 de mișcări pe secundă. Specificațiile complete ale lentilei și senzorului folosit pe sunt următoarele: lentile Carl Zeiss, stabilizare optică a imaginii tip “barrel shift” de până la 3EV, distanța focală de 3.73 mm echivalentă pe 35 mm cu 26 mm pentru 16:9 și 28
Nokia Lumia 920 () [Corola-website/Science/329560_a_330889]