ProHoster > Blog

Kategori: Blog

Blog Kategori

Fra procesmodellering til design af et automatiseret system (Del 2)

Posted on

«En dag i et ekorn's liv» eller fra procesmodellering til design af det automatiserede system til registrering af materielle værdier «Egern-1.0» (Del 2) Illustrationen er fra «Eventyret om Tsar Saltan» af A.S. Pushkin, udgivet af «Børnelitteratur», Moskva, 1949, Leningrad, illustrationer af K. Kuznetsov. Kort resumé af den foregående del. I den første del brugte vi et «eventyrligt» emne inspireret af eksempler på UML-diagramstudier med fokus på […]

Præciserer systemets funktionsbeskrivelse med hjælp fra sekvensdiagrammet

Posted on

Præciserer systemets funktionsbeskrivelse med hjælp fra sekvensdiagrammet (fortsættelse af «Egernet») I denne artikel vil vi se på, hvordan vi kan detaljere (præcisere) beskrivelsen af den automatiserede funktion ved hjælp af UML-sekvensdiagrammet. I dette eksempel bruger jeg Enterprise Architect-miljøet fra det australske selskab Sparx Systems [1]. Den fulde specifikation af UML kan ses her [2]. Først vil jeg forklare, hvordan vi […]

Test: Hvordan overholder du kravene til behandling af personoplysninger?

Posted on

Bøden for overtrædelse af loven om persondata beløber sig op til 75.000 rubler. Hvordan kan man beskytte sig mod overtrædelser ved behandling af persondata? Har du opfyldt alle lovgivningsmæssige krav? Fra den 1. juli 2017 er bøderne blevet forøget og er nu afhængige af typen af overtrædelser. Ja, der er gået mange år, men som det ofte er tilfældet, især i Rusland, hvor […]

Windows 10 vil mindst "blive tykkere" til 32 GB

Posted on

Microsoft annoncerede engang, at de ville bruge cirka 7 GB plads på brugerens harddisk til opbevaring af opdateringsfiler. Fordelen ved denne tilgang er, at det vil sikre, at pladsen ikke løber tør midt i en opdatering. Ulempen er simpelthen, at der ikke vil være nok plads på billige tablets og bærbare computere. Hvis de tidligere minimumskrav […]

Formel verifikation ved hjælp af opgaven om ulven, gede og kål

Posted on

Efter min mening er emnet om formel verifikation ikke tilstrækkeligt belyst i den russisktalende del af internettet, og der mangler særligt enkle og illustrative eksempler. Jeg vil give et sådant eksempel fra en udenlandsk kilde og supplere det med min egen løsning på den kendte opgave om at transportere ulven, gotten og kålen over til den anden side af floden. Men først vil jeg kort beskrive, hvad formel verifikation indebærer og hvorfor […]

Statistik og overvågning af PHP-scripts i realtid. ClickHouse og Grafana står klar til at hjælpe med Pinba.

Posted on

I denne artikel vil jeg fortælle, hvordan man bruger pinba sammen med ClickHouse og Grafana i stedet for pinba_engine og pinboard. På et PHP-projekt er pinba måske den eneste pålidelige måde at forstå, hvad der sker med ydeevnen. Sandheden er, at pinba normalt først implementeres, når der allerede er observeret problemer, og det er uklart "hvor man skal grave". Ofte har ingen en idé om, hvor mange gange i sekundet/minuttet der kaldes […]

Vi leder ikke efter problemet det forkerte sted.

Posted on

Dette er en lille historie fra virkeligheden, hvor et lille problem, der er godt maskeret af fejltolerance, bliver en hovedpine. En kort disposition: En lille filial, hvor der er sin egen PBX (Asterisk + FreePBX) baseret på desktop-hardware og en lokal terminalserver med 1C, en filskraldespand og en virtuel RO-domænekontroller. Internettet deles gennem Mikrotik. Filialen er lille, og det er tilstrækkeligt for dem. Alt begyndte […]

Test af opdeling af det basale FreeBSD-system i pakker

Posted on

TrueOS-projektet har annonceret testningen af eksperimentelle builds af FreeBSD 12-STABLE og FreeBSD 13-CURRENT, hvor det monolitiske grundsystem er omdannet til et sæt af sammenkoblede pakker. Builds udvikles under projektet pkgbase, som tilbyder værktøjer til at bruge den indbyggede pakkeadministrator pkg til at administrere pakker, der udgør grundsystemet. Levering i form af separate pakker gør det betydeligt lettere at opdatere grundsystemet […]

Apache-fonden har flyttet sine Git-repositorier til GitHub

Posted on

Apache-fonden har meddelt, at arbejdet med at integrere sin infrastruktur med GitHub og flytte alle sine git-tjenester til GitHub er afsluttet. Oprindeligt blev der tilbudt to versionskontrolsystemer til udvikling af Apache-projekter: det centraliserede versionskontrolsystem Subversion og det decentraliserede system Git. Siden 2014 har der været oprettet spejle af Apache-repositorier på GitHub, tilgængelige i skrivebeskyttet tilstand. Nu […]

Lad være med at panikke: Intel's desktop-processorer med ti kerner lanceres i begyndelsen af næste år

Posted on

Dell's presentation, which the renowned Dutch website referenced in its description of Intel's upcoming plans to announce new processors, initially focused on the mobile and commercial product segments. As independent experts correctly noted, the release schedule for new Intel products in the consumer segment might differ, and this thesis was confirmed yesterday in a new publication on the pages of Tweakers.net. The slide title […]

Mangel på 14 nm Intel processorer vil gradvist aftage.

Posted on

Intel's CEO Robert Swan frequently mentioned the shortage of production capacity during the recent quarterly earnings call in the context of rising costs and the shift in the processor assortment towards more expensive models with a higher number of cores. Such transformations allowed Intel to increase the average selling price of processors in the mobile segment by 13% in the first quarter and […]

Fenix will replace Firefox for Android

Posted on

Mozilla is developing a new mobile browser called Fenix. In the future, it will appear in the Google Play Store, replacing Firefox for Android. Additionally, some details have emerged about how the transition to the new browser will occur. Network sources report that Mozilla has made decisions regarding the future of the Firefox browser for Android and […]

« til toppen 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 til slut »
Køb pålidelig webhosting med DDoS-beskyttelse, VPS VDS-servere 🔥 Køb pålidelig webhosting med DDoS-beskyttelse, VPS VDS-servere | ProHoster