Luhn-algoritmin prosessin vaiheet

## Luhn-algoritmin ymmärtäminen Tarvitseeko sinun todentaa luottokortin numero tai vahvistaa IMEI? **Luhn-algoritmi** (tai "mod 10 -algoritmi") on tarkistussummakaava, joka on ollut maksutarkistuksen perustana vuodesta 1954 lähtien. IBM:n tutkija Hans Peter Luhn suunnitteli tämän eleganttin matemaattisen tarkistuksen estämään manuaalisen tietojen syötön virheitä - kuten kun vahingossa vaihtaa kahden numeron paikkaa tai kirjoitat numeron väärin. Tässä on se, mikä tekee siitä korvaamattoman: kaikki suuret luottokorttiyritykset (Visa, Mastercard, American Express), mobiililaitteiden IMEI-numerot, kanadalaiset sosiaaliturvatunnukset ja yhdysvaltalaisten terveydenhuollon palveluntarjoajien tunnisteet luottavat tähän algoritmiin. Kun kirjoitat kortin numeron maksulomakkeeseen ja se hylkää virheen välittömästi, Luhn-tarkistus on työssään. Tämä laskin antaa sinun todentaa minkä tahansa numerosarjan tai luoda testidataa, joka läpäisee tarkistuksen - välttämätöntä maksujärjestelmien kehittämisessä tai tunnistusjärjestelmien testaamisessa ilman asiakkaiden todellisia tietoja. ## Kuinka käyttää tätä laskinta **Olemassa olevien numeroiden vahvistaminen:** Kirjoita mikä tahansa numerosarja – kuten 16-numeroinen luottokortti tai 15-numeroinen IMEI – ja napsauta "Vahvista". Näet heti, läpäiseekö se mod 10 -tarkistuksen, sekä vaiheittaisen selvityksen siitä, miten kutakin numeroa on käsitelty. Tämä on erityisen hyödyllistä maksulomakkeiden virheenkorjauksessa tai tietojen syötön tarkkuuden varmistamisessa. **Testidatan luominen:** Vaihda "Luo" -tilaan luodaksesi kelvollisia testinumeroita minkä tahansa pituisina. Nämä numerot läpäisevät Luhn-tarkistuksen, mutta eivät ole todellisia, aktiivisia kortteja – tehden niistä täydellisiä kehitysympäristöihin, joissa tarvitset realistisia testitapauksia koskematta live-maksutietoihin. **Prosessin ymmärtäminen:** Visualisointi näyttää täsmälleen, mitä tapahtuu kullekin numerolle: mitkä kaksinkertaistetaan, milloin 9 vähennetään ja miten lopullinen summa määrittää kelpoisuuden. Olen löytänyt tämän visuaalisen palautteen korvaamattomaksi algoritmin selittämisessä kollegoille tai toteutuksen virheenkorjauksessa. ## Kuinka Luhn-algoritmi toimii Algoritmi käsittelee numeroit oikealta vasemmalle käyttäen yksinkertaista mallia, joka havaitsee useimmat tietojen syöttövirheet: 1. **Aloita oikealta:** Ota jokainen numero, liikkuen vasemmalle. Joka toinen numero kaksinkertaistetaan (nämä ovat parillisissa paikoissa laskettaessa oikealta). 2. **Käsittele suuret kaksinkertaistukset:** Kun kaksinkertaistaminen tuottaa numeron, joka on suurempi kuin 9, vähennä 9. Tämä on matemaattisesti vastaavaa kuin lisäämällä yksittäiset numerot yhteen (18 muuttuu 1+8=9). 3. **Summaa kaikki:** Lisää kaikki käsitellyt numerot - sekä kaksinkertaistetut/mukautetut että muuttumattomat. 4. **Tarkista jaollisuus:** Jos summa jakautuu tasaisesti 10:llä (päättyy 0:aan), numero on kelvollinen. Mikä tahansa muu tulos tarkoittaa virhettä. Tämän lähestymistavan nerokkuus piilee siinä, miten se havaitsee yleiset virheet. Jos vaihdat kaksi vierekkäistä numeroa tai kirjoitat yhden numeron väärin, tarkistussumma muuttuu lähes aina. Algoritmi ei havaitse kaikkia mahdollisia virheitä - kaksoisvirheet kuten 22:n vaihtaminen 55:een menevät läpi - mutta se havaitsee noin 98% satunnaisista yhden numeron virheistä ja noin 90% vierekkäisistä vaihdoksista. Tässä on visuaalinen esitys prosessista: ### Matemaattinen kaava Niille, jotka suosivat muodollista notaatiota, tässä on matemaattinen lauseke: Olkoon $d_i$ $i$:s numero, laskettuna oikeimmaisesta numerosta (pois lukien tarkistusnumero) vasemmalle. Sitten tarkistusnumero $d_0$ valitaan siten, että: $$(2d_{2n} \bmod 9 + d_{2n-1} + 2d_{2n-2} \bmod 9 + d_{2n-3} + \cdots + 2d_2 \bmod 9 + d_1 + d_0) \bmod 10 = 0$$ Missä $\bmod$ on modulo-operaatio. ## Todelliset käyttötapaukset **Maksunkäsittely:** Kaikki suuret korttitoimijat—Visa, Mastercard, American Express, Discover—käyttävät Luhn-tarkistusta ensisijaisena puolustuksena kirjoitusvirheitä vastaan. Kun rakennat kassalomaketta, asiakaspuolen Luhn-validointi säästää käyttäjät lähettämästä selvästi virheellisiä numeroita ja vähentää tarpeettomia API-kutsuja maksuyhdyskäytäviin. **Mobiililaitteiden seuranta:** Puhelimien ja tablettien IMEI-numerot sisältävät Luhn-tarkistusmerkin. Tämä on ratkaisevan tärkeää toimitusketjun hallinnassa ja laitteiden todennusjärjestelmissä—olen nähnyt varastojärjestelmien hylkäävän virheelliset IMEI-skannaukset välittömästi, estäen toimitusvirheet ennen niiden syntymistä. **Terveydenhuollon tunnisteet:** Yhdysvaltain kansallinen palveluntarjoajatunniste (NPI) validoi palveluntarjoajanumerot tällä algoritmilla. Miljoonien terveydenhuollon transaktioiden yhteydessä virheellisten merkintöjen tunnistaminen palveluntarjoajatunnuksissa estää laskutusviivästyksiä ja vähentää vaateiden hylkäämistä. **Virallinen henkilöllisyys:** Kanadan sosiaaliturvatunnukset sisältävät Luhn-validoinnin. Algoritmi tarjoaa nopean tarkistuksen ilman tietokantahakuja, mikä tekee siitä tehokkaan suurivolyymisissa todennusskenaarioissa. **Perinteiset kirjajärjestelmät:** Jotkin ISBN-10-toteutukset käyttävät Luhn-varianttia. Vaikka ISBN-13 käyttää eri tarkistusmerkkialgoritmia, vanhat kirjasto- ja varastojärjestelmät luottavat edelleen Luhn-pohjaiseen validointiin. ## Vaihe vaiheelta -esimerkit ### Luottokorttinumeron vahvistaminen Vahvistetaan numero **4532015112830366**: 1. Aloittaen oikealta: 6, 6, 3, 0, 3, 8, 2, 1, 1, 5, 1, 0, 2, 3, 5, 4 2. Kaksinkertaista joka toinen numero (oikealta): 6, 12, 3, 0, 3, 16, 2, 2, 1, 10, 1, 0, 2, 6, 5, 8 3. Vähennä 9 numeroista > 9: 6, 3, 3, 0, 3, 7, 2, 2, 1, 1, 1, 0, 2, 6, 5, 8 4. Summa: 6+3+3+0+3+7+2+2+1+1+1+0+2+6+5+8 = 50 5. 50 % 10 = 0 ✓ **Kelvollinen!** ### Virheellisen IMEI-numeron tunnistaminen Testataan **490154203237518** (viimeinen numero on tarkoituksella väärä): 1. Kaksinkertaistamisen ja käsittelyn jälkeen: Summa = 57 2. 57 % 10 = 7 ✗ **Virheellinen!** Summa ei pääty nollaan, joten algoritmi merkitsee sen virheelliseksi. Tehdäkseen siitä kelvollisen, viimeisen numeron tulisi olla 1, mikä toisi summan 60:een - täysin jaolliseksi 10:llä. Näin algoritmi tunnistaa laitetunnisteiden litterointivirheet. ## Vaihtoehtoiset tarkistussumma-algoritmit Luhn-algoritmi on suosittu, koska se on helppo toteuttaa, mutta kehittyneempiä vaihtoehtoja on olemassa, kun tarvitaan vahvempaa virheentunnistusta: **Verhoeff-algoritmi:** Tunnistaa kaikki yhden numeron virheet ja lähes kaikki numerojärjestyksen muutokset, mukaan lukien kaksoisnumerotapaukset, jotka Luhn ohittaa (kuten 22↔55). Haittapuolena on lisääntynyt monimutkaisuus - se vaatii hakutaulukot kertolaskuineen ja permutaatiotoimintoineen. Käytä tätä, kun tiedon tarkkuus on kriittistä eikä laskennallinen kuormitus ole ongelma. **Damm-algoritmi:** Tunnistaa kaikki yhden numeron virheet ja kaikki vierekkäiset numerojärjestyksen muutokset poikkeuksetta. Se perustuu erityisesti rakennettuun kvasiryhmäoperaatioon, joka varmistaa täydellisen kattavuuden. Toteutus käyttää yhtä hakutaulukkoa, mikä tekee siitä Verhoeffia yksinkertaisemman, mutta silti monimutkaisemman kuin Luhn. **ISBN-13 tarkistenumero:** Käyttää painotettua modulo 10 -algoritmia, joka poikkeaa sekä Luhnista että ISBN-10:stä. Painot vaihtelevat 1:n ja 3:n välillä, mikä tarjoaa hyvän virheentunnistuksen erityisesti kirjatunnuksille. Tämä korvasi vanhan ISBN-10-järjestelmän (joka käytti Luhnia), kun toimiala tarvitsi enemmän tunnistavaruutta. ## Historia ja konteksti Hans Peter Luhn kehitti tämän algoritmin IBM:ssä vuonna 1954 automaattisen tietojen käsittelyn alkuaikoina. Luhn oli jo tunnettu pioneerityöstään tiedonhaussa - hänen KWIC (Key Word In Context) -indeksointijärjestelmänsä vaikuttaa siihen, miten etsimme dokumentteja vielä tänäänkin - mutta mod 10 -algoritmi muodostui hänen kestävimmäksi kontribuutiokseen. Tässä on ratkaisevan tärkeä ero: Luhn suunnitteli tämän **virheentunnistukseen, ei turvallisuuteen**. 1950-luvulla ongelma oli reikäkorttien virheet ja manuaalisen kopioinnin virheet, ei digitaalinen petos. Algoritmi havaitsee satunnaiset kirjoitusvirheet loistavasti - mutta se ei ole kryptografiaa. Kelvollinen Luhn-numero ei tarkoita, että kortti on aktiivinen, rahoitettu tai kuuluu henkilölle, joka sitä käyttää. Hämmästyttävää on, miten hyvin 70 vuotta vanha algoritmi yhä palvelee alkuperäistä tarkoitustaan. Maksunkäsittelijät yhdistävät siihen modernin turvallisuuden (tokenisaatio, CVV-varmistus, 3D Secure), mutta tuo alkuperäinen asiakaspuolen Luhn-tarkistus estää yhä miljoonat ilmeiset virheet päivittäin ennen kuin ne kuormittavat maksuyhdyskäytävän kutsuja. ## Toteutusesimerkit Tässä on, miten Luhn-validointi ja -generointi toteutetaan Pythonissa, JavaScriptissä ja Javassa. Nämä esimerkit painottavat luettavuutta säilyttäen samalla tehokkuuden: ```python import random def luhn_validate(number): digits = [int(d) for d in str(number)] checksum = 0 for i in range(len(digits) - 1, -1, -1): d = digits[i] if (len(digits) - i) % 2 == 0: d = d * 2 if d > 9: d -= 9 checksum += d return checksum % 10 == 0 def generate_valid_number(length): digits = [random.randint(0, 9) for _ in range(length - 1)] checksum = sum(digits[::2]) + sum(sum(divmod(d * 2, 10)) for d in digits[-2::-2]) check_digit = (10 - (checksum % 10)) % 10 return int(''.join(map(str, digits + [check_digit]))) ## Käyttöesimerkki: print(luhn_validate(4532015112830366)) # Tosi print(luhn_validate(4532015112830367)) # Epätosi print(generate_valid_number(16)) # Luo kelvollisen 16-numeroisen numeron ``` ```javascript function luhnValidate(number) { const digits = number.toString().split('').map(Number); let checksum = 0; for (let i = digits.length - 1; i >= 0; i--) { let d = digits[i]; if ((digits.length - i) % 2 === 0) { d *= 2; if (d > 9) d -= 9; } checksum += d; } return checksum % 10 === 0; } function generateValidNumber(length) { const digits = Array.from({length: length - 1}, () => Math.floor(Math.random() * 10)); const checksum = digits.reduce((sum, digit, index) => { if ((length - 1 - index) % 2 === 0) { digit *= 2; if (digit > 9) digit -= 9; } return sum + digit; }, 0); const checkDigit = (10 - (checksum % 10)) % 10; return parseInt(digits.join('') + checkDigit); } // Käyttöesimerkki: console.log(luhnValidate(4532015112830366)); // tosi console.log(luhnValidate(4532015112830367)); // epätosi console.log(generateValidNumber(16)); // Luo kelvollisen 16-numeroisen numeron ``` ```java import java.util.Random; public class LuhnValidator { public static boolean luhnValidate(long number) { String digits = String.valueOf(number); int checksum = 0; boolean isEven = true; for (int i = digits.length() - 1; i >= 0; i--) { int digit = Character.getNumericValue(digits.charAt(i)); if (isEven) { digit *= 2; if (digit > 9) digit -= 9; } checksum += digit; isEven = !isEven; } return checksum % 10 == 0; } public static long generateValidNumber(int length) { Random random = new Random(); long[] digits = new long[length - 1]; for (int i = 0; i < length - 1; i++) { digits[i] = random.nextInt(10); } long checksum = 0; for (int i = digits.length - 1; i >= 0; i--) { long digit = digits[i]; if ((length - 1 - i) % 2 == 0) { digit *= 2; if (digit > 9) digit -= 9; } checksum += digit; } long checkDigit = (10 - (checksum % 10)) % 10; long result = 0; for (long digit : digits) { result = result * 10 + digit; } return result * 10 + checkDigit; } public static void main(String[] args) { System.out.println(luhnValidate(4532015112830366L)); // tosi System.out.println(luhnValidate(4532015112830367L)); // epätosi System.out.println(generateValidNumber(16)); // Luo kelvollisen 16-numeroisen numeron } } ``` ## Reunatapaukset ja toteutuksen sudenkuopat Kun toteutat Luhn-validointia tuotantojärjestelmissä, kiinnitä huomiota näihin yleisiin ongelmiin: **Syötteen puhdistus:** Todelliset syötteet sisältävät usein välilyöntejä, yhdysmerkkejä tai muita muotoilumerkkejä (kuten "4532-0151-1128-3036"). Poista nämä ennen validointia sen sijaan, että hylkäisit syötteen—käyttäjät kopioivat usein muotoiltuja numeroita. Hylkää kuitenkin heti aakkoselliset merkit, koska ne osoittavat selvästi virheellistä syötettä. **Etunollat ovat tärkeitä:** Numero kuten "0123456789" on eri asia kuin "123456789" Luhn-validoinnin kannalta. Etunollat täytyy säilyttää validoinnin aikana. Tämä yleinen virhe saa kehittäjät muuntamaan ensin kokonaisluvuiksi—käytä sen sijaan merkkijonooperaatioita. **Kielen kokonaislukurajoitukset:** Luottokortit ovat tyypillisesti enintään 19 numeroa pitkiä, mikä mahtuu 64-bittiseen kokonaislukuun. Mutta jos validoit mielivaltaisen pituisia tunnisteita, vältä muuntamasta kokonaisluvuiksi. Käsittele merkkijonoina tai numerolistoina ylivuodon estämiseksi. **Tyhjä tai null-syöte:** Määrittele toimintasi selkeästi:heitä poikkeus, palauta epätosi vai käsittele hallitusti? Olen havainnut, että epätoden palauttaminen on järkevin validointifunktioille, mutta API-päätepisteet saattavat haluta palauttaa 400-virheen kuvailevalla viestillä. **Suorituskyky laajassa mittakaavassa:** Erävalidoinnissa (kuten käsiteltäessä ladattuja CSV-tiedostoja, joissa tuhansia korttinumeroita), perusalgoritmi on jo melko nopea—O(n), missä n on numeroiden määrä. Pullonkaula on yleensä I/O, ei laskenta. Keskity optimoinnissa tiedoston jäsentämiseen ja virheraportteihin eikä niinkaan validointilogiikkaan. ## Pikaviite: Testinumerot Käytä näitä toteutuksesi testaamiseen: **Kelvolliset numerot:** - `4532015112830366` — Visa-muoto (16 numeroa) - `046454286` — Kanadalainen SIN-muoto (9 numeroa) - `79927398713` — Yleinen kelvollinen numero **Virheelliset numerot:** - `4532015112830367` — Yhden numeron verran väärä - `490154203237518` — Väärä tarkistenumero - `79927398714` — Viimeinen numero virheellinen Nämä testitapaukset kattavat yleiset skenaariot: vakiot kelvolliset numerot, yhden numeron virheet ja virheelliset tarkistenumerot. ## Automaattinen testisarja Tässä on kattava testisarja toteutuksesi validoimiseksi: ```python def test_luhn_algoritmi(): # Perusvalidointitestit assert luhn_validate(4532015112830366) == True assert luhn_validate(4532015112830367) == False assert luhn_validate(79927398713) == True assert luhn_validate(79927398714) == False # Testaa, että generoidut numerot läpäisevät validoinnin for _ in range(10): generated = generate_valid_number(16) assert luhn_validate(generated) == True, f"Generoitu {generated} epäonnistui validoinnissa" # Reunatapaus: yksittäinen numero assert luhn_validate(0) == True # 0 mod 10 = 0 # Reunatapaus: etunollat säilytetty assert luhn_validate("0000000000000000") != luhn_validate(0) print("Kaikki testit läpäisty!") test_luhn_algoritmi() ``` ## Usein Kysytyt Kysymykset ### Mihin Luhn-algoritmia käytetään? Luhn-algoritmi validoi tunnistenumeroit, kuten luottokortit (Visa, Mastercard, Amex), mobiililaitteiden IMEI-numerot, kanadalaiset sosiaaliturvanumerot ja yhdysvaltalaiset terveydenhuollon NPI-numerot. Se havaitsee yleiset tietojen syöttövirheet - kuten väärin kirjoitetut numerot tai vahingossa vaihdetut numerot - ennen kuin ne aiheuttavat käsittelyvirheitä tai epäonnistuneita transaktioita. ### Kuinka tarkka Luhn-algoritmi on virheiden havaitsemisessa? Luhn havaitsee noin 98% yksittäisten numeroiden virheistä ja noin 90% vierekkäisten numeroiden vaihdoksista (kuten "12" kirjoittaminen "21" sijaan). Se kuitenkin ohittaa kaksoisvirheet, joissa molemmat numerot ovat samat (22→55) ja hyppäysmuunnokset (101→404). Useimmissa käytännön sovelluksissa, jotka koskevat manuaalista tietojen syöttöä, tämä havaintoaste on riittävä. ### Voinko validoida luottokortit offline-tilassa Luhn-algoritmilla? Kyllä, Luhn-validointi toimii täysin offline-tilassa - se on puhdasta matematiikkaa, joka ei vaadi tietokantahakuja tai API-kutsuja. Tämä tekee siitä täydellisen asiakaspuolen validoinnin verkkolomakkeissa, vähentäen palvelinkuormaa ja tarjoten välitöntä palautetta käyttäjille. Muista kuitenkin: voimassa oleva Luhn-numero ei tarkoita, että kortti on aktiivinen tai sillä on käytettävissä olevaa luottoa. ### Onko Luhn-algoritmi turvallinen maksutapahtumissa? Ei - Luhn on virheiden havaitsemista, ei turvallisuutta. Se todentaa vain matemaattisen muodon. Läpäisty Luhn-tarkistus ei vahvista, että kortti on aito, aktiivinen, rahoitettu tai kuuluu käyttäjälle. Nykyaikainen maksutietoturva vaatii useita tasoja: CVV/CVC-varmennusta, osoitteen validointia (AVS), 3D Secure -todennusta ja tokenisaatiota. Luhn on vain ensimmäinen järkevyyden tarkistus. ### Mitkä ohjelmointikielet tukevat Luhn-toteutusta? Jokainen yleiskäyttöinen kieli voi toteuttaa Luhnin - se on yksinkertainen algoritmi, joka vaatii vain perusaritmetiikkaa ja silmukoita. Python, JavaScript, Java, C++, C#, PHP, Ruby, Go, Rust ja Swift käsittelevät sen helposti 10-20 rivillä koodia. Joissain kielissä on kolmannen osapuolen kirjastoja, mutta algoritmi on niin suoraviivainen, että useimmat kehittäjät toteuttavat sen suoraan. ### Miksi sitä kutsutaan mod 10 -algoritmiksi? Viimeinen vaihe tarkistaa, onko numeroiden summa jaollinen 10:llä käyttäen modulo-operaatiota (summa % 10 == 0). "Mod 10" viittaa tähän modulus 10 -tarkistukseen. Jos jakojäännös on nolla jaettaessa 10:llä, numero läpäisee - muuten se epäonnistuu. Tämä matemaattinen ominaisuus tekee algoritmista toimivan. ### Voinko luoda testikäyttöön luottokorttinumeroita Luhnilla? Kyllä - voit luoda numeroita, jotka läpäisevät Luhn-validoinnin maksulomakkeiden testaamiseen kehitysvaiheessa. Nämä eivät ole aitoja, aktiivisia kortteja; ne vain täyttävät matemaattisen muodon. Tämä on laillista ja välttämätöntä testaamisessa, mutta luotujen numeroiden käyttäminen todellisiin ostoihin on petosta. Useimmat maksuyhdyskäytävät tarjoavat viralliset testikorttinumerot staging-ympäristöihin. ### Mitkä ovat Luhn-algoritmin rajoitukset? Luhn ei havaitse: kaksoisvirheitä (22↔55), hyppäysmuunnoksia (101↔404), foneettisia virheitä (60↔06 joissakin tapauksissa) tai useita samanaikaisia virheitä. Se ei myöskään tarjoa kryptografista turvallisuutta - voimassa oleva muoto ei tarkoita voimassa olevaa korttia. Näistä rajoituksista huolimatta sen yksinkertaisuus ja yli 90%:n virheiden havaitsemisaste tekevät siitä käytännöllisen reaalimailman maksujärjestelmissä, kun sitä käytetään yhdessä muiden varmennetapojen kanssa. ## Aloita numeroiden validointi Käytä yllä olevaa laskinta luottokorttinumeroiden validointiin, testiaineiston luomiseen kehitysympäristöille tai tutkiaksesi, miten mod 10 -algoritmi käsittelee kutakin numeroa. Vaiheittainen visualisointi auttaa virheenkorjauksessa ja selittää validointitulokset teknisesti vähemmän perehtyneille sidosryhmille. Olipa kyseessä maksulomakkeen rakentaminen, IMEI-validointijärjestelmän virheenkorjaus tai pelkkä tarkistusmerkki-algoritmien oppiminen, tämä työkalu tarjoaa välittömän palautteen ja teknisen läpinäkyvyyden, jota tarvitset. ## Viitteet ja lisälukemisto 1. [Luhn, H. P. (1960). "Tietokone numeroiden todentamiseen". US-patentti 2,950,048](https://patents.google.com/patent/US2950048) - Alkuperäinen patentti, joka kuvaa algoritmin. 2. [ISO/IEC 7812-1:2017 - Henkilökortit](https://www.iso.org/standard/70484.html) - Kansainvälinen standardi henkilökorttien numerointijärjestelmille, joka määrittää Luhn-algoritmin käytön maksukortteissa. 3. [Gallian, Joseph (1991). "Tunnistenumeroiden matematiikka"](https://www.jstor.org/stable/2686878) - Akateeminen analyysi erilaisista tarkistenumerointalgoritmeista, mukaan lukien Luhn, julkaistu The College Mathematics Journal -lehdessä. 4. [Payment Card Industry Data Security Standard (PCI DSS)](https://www.pcisecuritystandards.org/) - Turvallisuusstandardit, jotka säätelevät maksukorttidata käsittelyä ja tarjoavat kontekstin sille, miten Luhn sijoittuu turvallisuuskerrokseen.

Luhn-algoritmin Laskuri - Luottokorttien ja IMEI-numeroiden Vahvistus

Luhn-algoritmin Laskuri

Dokumentaatio