ProHoster > Blog

Sujet: Blog

Kategorie Blog

Raffinéiert d'Beschreiwung vun de Systemfunktiounen mam Sequenzdiagramm

Publizéiert

Mir klĂ€ren d'Beschreiwung vun de Systemfunktiounen mat der Sequenzdiagramm (Fortsetzung vum "Kaweechelchen") An dĂ«sem Artikel wĂ€erte mir kucken wĂ©i Dir d'Beschreiwung vun der automatisĂ©ierter Funktioun mat der UML Sequenz Diagram detaillĂ©iert (klĂ€ert) kĂ«nnt - e Sequenzdiagramm. An dĂ«sem Beispill benotzen ech den Enterprise Architect Ëmfeld vun der australescher Firma Sparx Systems [1]. Gesinn dĂ©i voll UML SpezifizĂ©ierung hei [2]. Fir unzefĂ€nken, loosst mech erklĂ€ren datt mir [
]

Quiz: Wéi entsprécht Dir den Ufuerderunge fir d'Veraarbechtung vu perséinlechen Donnéeën?

Publizéiert

D'Strof fir d'Verletzung vum Gesetz iwwer persĂ©inlech DonnĂ©eĂ«n ass bis zu 75 Tausend Rubel. WĂ©i schĂŒtzt Dir Iech vu Violatioune beim Veraarbechtung vu persĂ©inlechen DonnĂ©eĂ«n? Hutt Dir all gesetzlech Ufuerderunge erfĂ«llt? Vum 1. Juli 2017 sinn d'Strofen eropgaang an hunn ugefaang vun der Aart vun der Verletzung ofhĂ€nken. Jo, zimlech vill ZĂ€it ass vergaangen, awer, wĂ©i dacks geschitt, besonnesch a Russland, wou [
]

Wielt en Fernseh fir Iech selwer, Äre LĂ©ifsten, aus der Siicht vun der WĂ«ssenschaft, net vun der Reklamm

Publizéiert

Moien alleguer. Ech war opgefuerdert dëse kuerzen Artikel ze schreiwen duerch e StrÀit iwwer d'Wiel vum Fernseh. Elo an dësem BerÀich - wéi och an "Megapixel fir Kameraen" - gëtt et eng Marketing Bacchanalia an der Verfollegung vun Resolutiounen: HD Ready ass laang duerch Full HD ersat ginn, an 4K a souguer 8K ginn schonn ëmmer méi populÀr. Loosst eis et erausfannen - wat maache mir [
]

E Roboter gouf agefouert fir sécher Landung vun enger Héicht ouni Fallschierm

Publizéiert

Eng Grupp vun Ingenieuren vun der University of Berkeley, Squishy Robotics an NASA EntwĂ©ckler hunn ugefaang en "elastesch steife" Roboter ze testen fir sĂ©cher Landung vun HĂ©ichten ouni Fallschierm. Am Ufank waren esou Roboteren interessant fir WĂ«ssenschaftler vun der Aeronautics and Space Research Agency fir aus RaumschĂ«ff op Titan, ee vun de Saturnmounden, ze falen. Awer op der Äerd ginn et och vill Uwendunge fir Roboter [
]

Sony fir iwwer 5 Millioune PS100 Konsolen duerch PlayStation 4 Start ze verkafen

Publizéiert

Sony publizéiert Berichter fir d'Finanzjoer, dat den 31. MÀerz 2019 op en Enn koum. Baséierend op déi presentéiert Donnéeën, kënne mir schléissen datt trotz engem liichte Verloscht am Verkaf vun der PlayStation4 Hardware, d'Konsole selwer nach ëmmer mat engem impressionnanten Taux verkeeft. De Moment sinn 96,8 Millioune Exemplare vum PS4 weltwÀit verkaaft ginn, dat heescht den Total [
]

Wëssenschaftlechen an techneschen Zentrum "Modul" presentéiert den EmpfÀnger fir héichprÀzis Navigatioun

Publizéiert

Ee vun de gréisste russeschen entwéckler, wëssenschaftlechen an techneschen zentrum "Modul", koum op d ' navigatioun. Bis elo hunn d'Verméigen vum Zentrum Controller a Mikroprozessoren fir eng breet Palette vun Zwecker abegraff. Dat neit AktivitéitsberÀich wÀert d'Erfahrung an d'Offer vu russesche Entwéckler ausbauen. Besonnesch wÀert Modul de Maart vun héichprÀzis NavigatiounsgerÀter anzeginn, erwaart 2024-15% vun dësem Maart a Russland bis 18 ze besetzen, [
]

ZukĂŒnfteg Intel Videokaarte ginn vereenegt mat integrĂ©ierter Grafikarchitektur

Publizéiert

Am Joresbericht, deen fir d'éischt am Februar vun dësem Joer op der Intel WebsÀit opgetaucht ass, nennt d'Firma, aus net ganz offensichtleche Grënn, déi diskret Grafikléisung déi entwéckelt gëtt "déi éischt a senger Geschicht", obwuel Industrieentwécklungsexperten sech erënnere kënnen datt Intel probéiert sÀi Gléck mat diskret Video Kaarte zréck an der Mëtt vun den XNUMXer vum leschte Joerhonnert. Wesentlech eng diskret Grafikléisung entwéckelen [
]

Windows 10 "wÀert wuessen" op mindestens 32 GB

Publizéiert

Microsoft huet eemol ugekënnegt datt et ongeféier 7 GB Plaz op der Festplack vum Benotzer benotze fir Updatedateien ze spÀicheren. De Virdeel vun dëser Approche ass datt et suergt datt Dir net mat Plaz an der Mëtt vun engem Update leeft. Den Nodeel ass banal - et ass einfach net genuch Plaz op bëlleg Pëllen a Laptops. Wann virdru de Mindestbedarf [
]

Formell Verifikatioun mam Beispill vum Wollef, Geess a Kabes Problem

Publizéiert

Menger Meenung no, am russeschsproochege Secteur vum Internet ass d'Thema vun der formeller VerifizĂ©ierung net genuch ofgedeckt, an et feelt besonnesch einfach a kloer Beispiller. Ech ginn e Beispill vun enger auslĂ€nnescher Quell, a fĂŒĂŒgt meng eege LĂ©isung fir de bekannte Problem fir e Wollef, eng Geess an e Kabes op dĂ©i aner SĂ€it vum Floss ze KrĂ€iz. Awer als Ă©ischt wĂ€ert ech kuerz beschreiwen wat formell VerifizĂ©ierung ass a firwat [...]

Erstellt e formelle Verifizéierungssystem vun Null. Deel 1: Charakter Virtuell Maschinn an PHP a Python

Publizéiert

Formell Verifizéierung ass d'Verifizéierung vun engem Programm oder Algorithmus mat engem aneren. Dëst ass eng vun de mÀchtegste Methoden, déi Iech erlaabt all SchwÀchen an engem Programm ze fannen oder ze beweisen datt se net existéieren. Eng méi detailléiert Beschreiwung vun der formeller Verifizéierung kann am Beispill gesi ginn fir de Wolf, Goat, and Cabbage Problem ze léisen a mengem fréieren Artikel. An dësem Artikel hunn ech [
]

Statistiken an Iwwerwaachung vu PHP Scripten an EchtzÀit. ClickHouse a Grafana kommen Pinba zur Hëllef

Publizéiert

An dësem Artikel wÀert ech Iech soen wéi Dir Pinba mat Clickhouse a Grafana benotzt anstatt Pinba_engine a Pinboard. Op engem PHP-Projet ass Pinba vlÀicht deen eenzegen zouverléissege Wee fir ze verstoen wat mat der Leeschtung geschitt. True, Pinba gëtt normalerweis nëmme implementéiert wann d'Problemer scho beobachtet ginn an et ass net kloer "wou ze graven." Dacks huet keen eng Ahnung wéivill Mol pro Sekonn/Minutt [
]

« zréck op d'Spëtzt 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 Schlussendlech "
Kaaft zouverlĂ€sseg Hosting fir Site mat DDoS Schutz, VPS VDS Server đŸ”„ Kaaft zouverlĂ©issegt WebsĂ€ithosting mat DDoS-Schutz, VPS VDS Server | ProHoster