ProHoster > Blog

Categoria: Blog

Category Blog

Chjaremu a descrizzione di e funzioni di u sistema utilizendu u diagramma di Sequenza

Publicatu nantu

Chjarificà a descrizzione di e funzioni di u sistema utilizendu u Diagramma di Sequenza (continuazione di "Squirrels") In questu articulu avemu da vede cumu pudete detallà (chjarificà) a descrizzione di a funzione automatizata utilizendu u Diagramma di Sequenza UML - un diagramma di sequenza. In questu esempiu, aghju utilizatu l'ambiente Enterprise Architect da a cumpagnia australiana Sparx Systems [1]. Vede a specificazione completa UML quì [2]. Per principià, lasciami spiegà chì avemu [...]

Test: Cumu cumpete i requisiti per u trattamentu di e dati persunali?

Publicatu nantu

A fine per violazione di a lege nantu à i dati persunali hè di 75 mila rubles. Cumu prutegge si da e violazioni quandu si tratta di dati persunali? Avete cumpletu tutti i requisiti legali? Da u 1 di lugliu di u 2017, l'amende anu aumentatu è cuminciaru à dipende di u tipu di violazione. Iè, hè passatu assai tempu, ma, cum'è spessu succede, soprattuttu in Russia, induve [...]

Sceglie una TV per sè stessu, u vostru amatu, da u puntu di vista di a scienza, micca di publicità

Publicatu nantu

Salute à tutti. Sò statu incitatu à scrive stu brevi articulu da una disputa in quantu à a scelta di a TV. Avà in questu spaziu - cum'è in "megapixels for cameras" - ci hè una baccanalia di marketing in a ricerca di risoluzioni: HD Ready hè statu longu rimpiazzatu da Full HD, è 4K è ancu 8K sò digià diventatu sempre più populari. Scupritemu - chì facemu [...]

Un robot hè statu introduttu per l'atterrissimu sicuru da una altezza senza parachute

Publicatu nantu

Un gruppu di ingegneri di l'Università di Berkeley, Squishy Robotics è i sviluppatori di a NASA anu cuminciatu à pruvà in campu un robot "elasticamente rigidu" per un sbarcu sicuru da l'altitudine senza un parachute. Inizialmente, tali robots anu interessatu à i scientisti di l'Agenzia di Ricerca Aeronautica è Spaziale per caccià da a nave spaziale nantu à Titan, una di e lune di Saturnu. Ma in a Terra ci sò ancu parechje applicazioni per robotica [...]

Sony venderà più di 5 milioni di console PS100 per u lanciu di PlayStation 4

Publicatu nantu

Sony hà publicatu rapporti per l'annu finanziariu, chì hè ghjuntu à a fine u 31 di marzu di u 2019. Basatu nantu à e dati presentati, pudemu cuncludi chì, malgradu un ligeru rallentamentu in a vendita di hardware PlayStation4, a cunsola stessa vende sempre à un ritmu impressiunanti. Attualmente, 96,8 milioni di copie di PS4 sò state vendute in u mondu sanu, chì significa u totale [...]

Centru Scientificu è Tecnicu "Module" hà prisentatu un receptore per a navigazione d'alta precisione

Publicatu nantu

Unu di i più grandi sviluppatori russi, u centru scientificu è tecnicu "Module", hè ghjuntu à a navigazione. Finu à avà, l'assi di u centru includenu controller è microprocessori per una larga gamma di scopi. A nova zona di attività espansione l'esperienza è l'offerta di sviluppatori russi. In particulare, Modul hà da entre in u mercatu di i dispositi di navigazione d'alta precisione, aspittendu à occupà 2024-15% di stu mercatu in Russia da 18, [...]

Future carte video Intel seranu unificate cù l'architettura grafica integrata

Publicatu nantu

In u rapportu annuale, chì hè apparsu per a prima volta nantu à u situ di Intel in u frivaru di questu annu, a cumpagnia, per ragioni micca completamente evidenti, chjama a suluzione grafica discreta sviluppata "a prima in a so storia", ancu s'è l'esperti di u sviluppu di l'industria ponu ricurdà chì Intel. pruvatu a so furtuna cù carte video discrete in a mità di l'anni novanta di u seculu passatu. Essenzialmente, sviluppà una soluzione grafica discreta [...]

Windows 10 "crescerà" finu à almenu 32 GB

Publicatu nantu

Microsoft hà annunziatu una volta chì averia aduprà circa 7 GB di spaziu nantu à u discu duru di l'utilizatore per almacenà i fugliali d'aghjurnamentu. U benefiziu di stu approcciu hè chì assicurarà chì ùn avete micca scappatu di u spaziu à mezu à una aghjurnazione. U svantaghju hè banale - ùn ci hè simplicemente micca abbastanza spaziu in tablette è laptops di prezzu. Se prima u requisitu minimu [...]

Verificazione formale cù l'esempiu di u prublema di lupu, caprettu è col

Publicatu nantu

In my opinion, in u settore in lingua russa di l'Internet, u tema di a verificazione formale ùn hè micca abbastanza coperta, è ci hè soprattuttu una mancanza di esempi simplici è chjaru. Daraghju un esempiu da una fonte straniera, è aghjunghje a mo solu suluzione à u prublema ben cunnisciutu di attraversà un lupu, un caprettu è una col à l'altra parte di u fiume. Ma prima, descriveraghju brevemente ciò chì hè a verificazione formale è perchè [...]

Creazione di un sistema di verificazione formale da zero. Parte 1: VM di caratteri in PHP è Python

Publicatu nantu

A verificazione formale hè a verificazione di un prugramma o algoritmu utilizendu un altru. Questu hè unu di i metudi più putenti chì vi permette di truvà tutte e vulnerabilità in un prugramma o pruvà chì ùn esiste micca. Una descrizzione più dettagliata di a verificazione formale pò esse vistu in l'esempiu di risolve u prublema di Lupu, Capra è Cabbage in u mo articulu precedente. In questu articulu aghju [...]

Statistiche è monitoraghju di script PHP in tempu reale. ClickHouse è Grafana vanu à l'aiutu di Pinba

Publicatu nantu

In questu articulu vi dicu cumu utilizà pinba cù clickhouse è grafana invece di pinba_engine è pinboard. In un prughjettu PHP, pinba hè forsi l'unicu modu affidabile per capisce ciò chì succede cù u rendiment. Hè veru, pinba hè generalmente implementatu solu quandu i prublemi sò digià osservati è ùn hè micca chjaru "induve scavà". Spessu nimu ùn hà idea quante volte per seconda / minutu [...]

« Torna in cima 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 À a fine "
Cumprate un hosting affidabile per i siti cù prutezzione DDoS, servitori VPS VDS 🔥 Cumprate un hosting di siti web affidabile cù prutezzione DDoS, servitori VPS VDS | ProHoster