Szerző: Yuri Gagarin

Jurij Bushmelev „A kapák térképe a naplógyűjtés és -szállítás területén” — a beszámoló dekódolása.

A naplók a rendszer fontos részét képezik, lehetővé téve számunkra, hogy megértsük, működik-e (vagy sem) úgy, ahogyan elvártuk. Mikroszolgáltatás-architektúra esetén a naplókkal való foglalkozás külön diszciplínává válik a speciális olimpián. Számos kérdésre kell válaszolni: hogyan írjunk naplókat az alkalmazásból; hova írjuk a naplókat; hogyan szállítsuk a naplókat tárolásra és feldolgozásra; hogyan dolgozzuk fel és tároljuk a naplókat. A népszerű […]

Az NBA 2K Playgrounds 2 arcade kosárlabdájában megjelent a cross-platform játék.

A tavaly október 16-án megjelent NBA 2K Playgrounds 2 kosárlabda játék most már támogatja a platformok közötti játékot, jelentették be a fejlesztők a projekt Twitter-én. A Saber Interactive stúdió kiadott egy új frissítést, amely új Mars Playground pályát, új formát és tárgyakat adott a játékpályák szerkesztéséhez. A legfontosabb újdonság a Nintendo Switch, Xbox One és PC közötti platformok közötti játék. Sajnos, bár a játék […] szintén elérhető.

The new version of the NVIDIA graphics driver is causing high CPU load.

Nemrég az NVIDIA kiadta a 430.39-es grafikus meghajtó verziót Windows platformra, amely támogatja a Microsoft legújabb operációs rendszerének frissítését. A meghajtó új verziójában többek között a G-Sync monitorokkal kompatibilis új processzorok támogatása is megtalálható. A meghajtó fontos frissítéseket tartalmaz, de egyes felhasználók észrevették, hogy használata magas […]

A rendszer funkcióinak pontosítása Sequence diagram segítségével

A rendszerfunkciók leírásának pontosítása Sequence diagram segítségével (folytatás a „Mókus”-ból) Ebben a cikkben azt vizsgáljuk, hogyan lehet részletesebbé tenni (pontosítani) az automatizálandó funkció leírását UML Sequence Diagram — sorozatdiagram segítségével. Ebben a példában az Australian Sparx Systems által fejlesztett Enterprise Architect környezetet használom [1]. A UML teljes specifikációját itt találja [2]. Először is tisztázzuk, hogy mit fogunk […]

A folyamatmodellezéstől az automatizált rendszer tervezéséig (2. rész)

„Egy nap a mókus életéből” avagy a folyamatmodellezéstől az automatizált anyagnyilvántartó rendszer tervezéséig „Mókus-1.0” (2. rész) A.A. Puskin „A Szalton királytörténete” illusztrációját használták, kiadó: „Gyermeki Irodalom”, Moszkva, 1949, Leningrád, K. Kuznyecov rajzaival. Az előző rész rövid összefoglalója Az 1. részben a „mesebeli” tárgyterületet használtuk, az UML-diagrammok tanulmányozására vonatkozó példák inspirációjaként […]

Uber: új befektetések és felkészülés az IPO-ra

Úgy tűnik, hogy az Uber ügyei soha nem voltak jobbak. Tegnap az amerikai cég 44-50 dolláros részvényáron határozta meg árfolyamát, a legfrissebb információk szerint az Egyesült Államok Értékpapír és Tőzsdefelügyeletéből. Az Uber 180 millió részvényt kíván javasolni, és körülbelül 9 milliárd dollárt szeretne bevonni az IPO során. […]

Teszt: Hogyan tartja be a személyes adatok kezelésére vonatkozó követelményeket?

A személyes adatok védelméről szóló törvény megszegésének pénzbírsága akár 75 ezer rubel is lehet. Hogyan óvhatjuk meg magunkat a személyes adatok feldolgozása során elkövetett jogsértésektől? Teljesítette-e minden jogszabályi követelményt? 2017. július 1-jétől a bírságokat megemelték, és azok a jogsértés típusától függenek. Igen, eltelt már elég sok idő, de ahogy ez gyakran előfordul, különösen Oroszországban, ahol […]

A Microsoft bejelentette, hogy hozzávetőleg 7 GB helyet használ majd a felhasználók merevlemezein az frissítési fájlok tárolására.

Véleményem szerint az orosz nyelvű internet szektorában a formális verifikáció témája elégtelenül van lefedve, és különösen hiányoznak az egyszerű és szemléletes példák. Hoztam egy példát külföldi forrásból, és kiegészítem a saját megoldásommal egy jól ismert feladatra, amely a farkas, kecske és káposzta átszállításáról szól a folyó túloldalára. De először röviden ismertetem, hogy mi is a formális verifikáció és miért […]

A Windows 10 legal minimum of 32 GB

A Microsoft egy időben bejelentette, hogy körülbelül 7 GB helyet fog használni a felhasználók merevlemezén frissítési fájlok tárolására. Ennek a megközelítésnek az előnye abban rejlik, hogy garantálja, hogy a frissítés közepén nem fogy el a hely. A hátránya viszont egyszerű — az olcsó táblagépeken és laptopokon egyszerűen nem lesz elég hely. Ha korábban a minimális követelmény […]

Formális verifikáció a farkas, a kecske és a káposzta feladat példájával

A TrueOS projekt bejelentette a FreeBSD 12-STABLE és a FreeBSD 13-CURRENT kísérleti verzióinak tesztelését, amelyek során a monolitikus alap rendszer egy összefüggő csomagokból álló halmazzá alakult. A kiadások a pkgbase projekt keretein belül fejlődnek, amely eszközöket biztosít az alap rendszer csomagjainak kezeléséhez a beépített pkg csomagkezelő segítségével. Az egyes csomagok formájában történő szállítás jelentősen egyszerűsíti az alap rendszer frissítési folyamatát […]

Nem ott keressük a problémát

Ez egy kis történet a valós gyakorlatból, amikor egy apró probléma, amely jól el van rejtve a megbízhatóság mögött, fejtörést okoz. Kis telephely, van egy saját PBX-e (asterisk + FreePBX) asztali hardveren, és ugyanilyen helyi terminál szerver 1C-vel, fájlgyűjtővel és virtuális RO domain vezérlővel. Az internetet a Mikrotik osztja. A telephely kicsi, nekik ez elegendő. Minden a következőképpen kezdődött […]

Statisztika és valós idejű PHP script monitorozás. A ClickHouse és a Grafana segít a Pinbának

Ebben a cikkben arról fogok beszélni, hogyan használhatjuk a pinbát a clickhouse-szal és grafanával a pinba_engine és pinboard helyett. A php-projektben a pinba valószínűleg az egyetlen megbízható módja a teljesítmény állapotának megértésére. Igaz, hogy a pinba általában csak akkor kerül bevezetésre, amikor már teljesítményproblémák merülnek fel, és nem világos, „hol kell keresni”. Gyakran senki sem tudja, hogy hányszor hívják meg másodpercenként/percenként […]

Megbízható hosting vásárlása weboldalak számára, DDoS védelemmel, VPS VDS szerverek. 🔥 Megbízható webtárhely vásárlása DDoS védelemmel, VPS VDS szerverek | ProHoster