Managed-switch packet capture of EtherNet/IP traffic from an Allen-Bradley 842E encoder

Allen-Bradley 842E-dən EtherNet/IP trafiki tutmaq

Allen-Bradley 842E enkoderi üçün güzgü portunun yerləşdirilməsini, EtherNet/IP trafik siniflərini, RPI vaxtlamasını, kommutator sübutlarını, ardıcıllıq boşlu...

Allen-Bradley 842E enkoderi ilə eyni idarə olunan kommutatora qoşulmuş noutbuk enkoderin tsiklik trafikini avtomatik olaraq görməyəcək. Kommutator adətən unicast kadrlarını yalnız təyinat portuna yönləndirir. Buna görə də analizator demək olar ki, heç nə göstərməyə bilər, halbuki kontroller I/O vaxt aşımı bildirir.

Allen-Bradley 842E enkoderi üçün idarə olunan kommutatorda paket tutulması

Faydalı paket tutulması yoxlanıla bilən nasazlıq hipotezi və müvafiq kadrları müşahidə edə bilən tutulma nöqtəsi ilə başlayır.

Paketləri toplamazdan əvvəl sualı müəyyənləşdirin

Simptomu ölçülə bilən ifadələrlə yazın. Nümunələrə müəyyən maşın keçidi zamanı baş verən bağlantı vaxt aşımı, dəyişməyi dayandıran enkoder dəyəri, təkrarlanan yenidən bağlantı və ya kontrollerin gözlədiyindən gec çatan mövqe məlumatları daxildir. Kontrollerin nasazlıq kodunu, vaxtı, enkoder indikatorlarını və kommutator portunun vəziyyətini qeyd edin.

Hər hipotezi dəstəkləyəcək və ya rədd edəcək sübutun nə olacağını müəyyənləşdirin. Sual kadrların enkoderdən çıxıb-çıxmadığıdırsa, enkoderə qoşulan portu güzgüləyin. Sual onların kontroller uplink-inə çatıb-çatmadığıdırsa, həmin xətti müşahidə edin. Aralıq kommutatorun yalnız bir tərəfində aparılan tutulma itkinin yerini həmişə müəyyənləşdirməyə imkan vermir.

Enkoder avadanlıqlarına Sensorlar kolleksiyasında, idarə olunan kommutatorlara və şəbəkə adapterlərinə isə Rabitə və şəbəkələşmə bölməsində baxa bilərsiniz.

842E şəbəkə yolunu anlayın

Rockwell Automation 842E-ni dəstəklənən xətti və Device Level Ring topologiyaları üçün ikili Ethernet portlarına malik EtherNet/IP mütləq qiymət enkoderləri ailəsi kimi sənədləşdirir. Dəqiq kataloq və layihə konfiqurasiyası məlumat bağlantısını, assembly-ni, tələb olunan paket intervalını və diaqnostik davranışı müəyyənləşdirir.

Hər iki fiziki portu, IP parametrlərini, kontroller bağlantısını, topologiyanı, proqram təminatını və Device Level Ring-in aktiv olub-olmadığını sənədləşdirin. Xətti topologiyada aşağı axın kabeli və ya qurğusu enkoder üzərindən keçən trafikə təsir edə bilər. Halqada topologiya hadisəsi bağlantı nasazlığı ilə əlaqələndirilməli əlavə sübut yaradır.

Kontrollerə ən yaxın portun həmişə yeganə faydalı tutulma nöqtəsi olduğunu düşünməyin. Kommutator portlarını, uplink-ləri, halqa nəzarətçisini, media konvertorlarını və ehtiyat marşrutları daxil etməklə faktiki yolu çəkin.

Qeyri-intruziv tutulma üsulu seçin

İdarə olunan kommutatorun port güzgüləmə sessiyası adətən ən az müdaxilə tələb edən üsuldur. Hipotezə uyğun olaraq mənbə kimi enkoder portunu, kontroller portunu və ya tələb olunan uplink-i konfiqurasiya edin. Analizatora qoşulan portu təyinat kimi seçin və kommutatorun daxil olan, çıxan və ya hər iki istiqamətdə trafiki güzgülədiyini təsdiqləyin.

Arxitektura və dayanma proseduru buna imkan verirsə, məqsədli passiv şəbəkə tapı da başqa seçimdir. İşlək idarəetmə xəttinə idarə olunmayan kommutator və ya adi ofis habı qoşmayın. Bu dəyişiklik topologiyaya, xidmət keyfiyyətinə, multicast emalına, xətt danışıqlarına və nasazlığın başvermə vaxtına təsir göstərə bilər.

Xüsusi analizator interfeysindən istifadə edin. İstismar prosedurunun imkan verdiyi hallarda lazımsız protokolları və xidmətləri deaktiv edin. Analizator müşahidə etməlidir; qurğuları elan etməməli, ünvan tələb etməməli və idarəetmə şəbəkəsinin başqa iştirakçısına çevrilməməlidir.

Güzgünün düzgün məlumat verdiyini yoxlayın

Məlum bir kadr yaradın və ya müəyyənləşdirin, sonra onun analizatorda göründüyünü təsdiqləyin. Tələb olunduqda hər iki istiqamətin göründüyünü yoxlayın. Güzgüləmə sessiyası fiziki səviyyə xətalarını ötürməyə, təyinat portu həddən artıq yükləndikdə paketləri itirməyə və ya yalnız bir istiqaməti köçürməyə bilər.

Mənbə portunun sürətini güzgü təyinatının tutumu ilə müqayisə edin. Məşğul gigabit uplink-in hər iki istiqamətini bir gigabit porta güzgüləmək təyinat bant genişliyini aşa bilər. Hər boşluğun idarəetmə şəbəkəsində baş verdiyini düşünməkdənsə, mənbəni və ya tutulma pəncərəsini daraldın.

Kommutatorun modelini, proqram təminatını, güzgüləmə konfiqurasiyasını, mənbə portunu, təyinat portunu, VLAN davranışını və tutulma interfeysinin parametrlərini qeyd edin. Bu qeyd olmadan başqa mühəndis ölçməni təkrarlaya bilməz.

EtherNet/IP trafik siniflərini ayırın

EtherNet/IP bağlantı idarəetməsi, konfiqurasiya və diaqnostika üçün açıq mesajlaşmadan, tsiklik I/O isə adətən UDP nəqliyyatından istifadə edir. Kəşf mübadilələri qurulmuş I/O bağlantısının sağlam olduğunu sübut etmir. Yalnız tsiklik paketləri deyil, nasazlıq ətrafındakı bağlantının qurulması və sonlandırılmasını da saxlayın.

Məlum enkoder və kontroller IP ünvanları ilə başlayın. Sonra hər UDP kadrını enkoder məlumatı kimi etiketləmək əvəzinə müvafiq bağlantını müəyyənləşdirin. Ümumi EtherNet/IP portları izi daraltmağa kömək edə bilər, lakin son nöqtələr, zamanlama və bağlantı konteksti daha güclü sübut verir.

Hadisə ətrafındakı ARP, topologiya və kommutator idarəetməsi sübutlarını saxlayın. Ünvan toqquşması və ya xətt keçidi filtrlənmiş I/O axınından kənarda görünə bilər. Filtrlənməmiş tutulmanı yadda saxlayın və analiz üçün ekran filtrlərindən istifadə edin ki, kontekst birdəfəlik itirilməsin.

RPI zamanlamasını və boşluqları təhlil edin

Tələb olunan paket intervalı konfiqurasiya edilmiş I/O bağlantısı üçün gözlənilən yenilənmə tezliyini müəyyənləşdirir. Sağlam dövr ərzində və nasazlıq ətrafında paketlərarası vaxtı ölçün. Buraxılmış intervallara, fasilədən sonra yaranan paket sıxlığına, təkrarlanan sıra davranışına və bağlantının bağlanmasına və ya yenidən açılmasına diqqət yetirin.

Nominal RPI-dən gec gələn hər paketi kontroller nasazlığı hesab etməyin. Müşahidə olunan boşluğu kontrollerdə konfiqurasiya edilmiş bağlantı vaxt aşımı davranışı ilə müqayisə edin. Bir neçə mikrosaniyəlik dəyişkənlik ilə çoxintervallı kəsinti fərqli məna daşıyır.

Paketlərin gəlmə vaxtını kontrollerin nasazlıq biti, tapşırıq vəziyyəti, maşın hadisəsi və kommutator jurnalları ilə yanaşı qrafikdə göstərin. Kommutatorun xəttin kəsilməsi hadisəsindən əvvəl paket axını dayanırsa, mənbə qurğuya və ya yuxarı axın yoluna diqqət yetirmək lazımdır. Güzgü enkoder kadrlarını görməyə davam etdiyi halda kontroller vaxt aşımı verirsə, qalan yolu və kontroller emalını araşdırın.

Kommutator sübutlarını izlə birlikdə istifadə edin

Sınaqdan əvvəl və sonra port sayğaclarını oxuyun. CRC və ya kadr yoxlama xətaları, xətt keçidləri, atılmış paketlər, sürət dəyişiklikləri və halqa hadisələri paket boşluğunu izah edə bilər. Nasaz xəttin yuxarısına qoşulmuş paket analizatoru kommutator onları atdığı üçün korlanmış kadrları heç vaxt qəbul etməyə bilər.

Kabel və konnektorların vəziyyətini, ekranlama və torpaqlama qaydalarını, əyilmə radiusunu, çirklənməni və mexaniki gərginliyi yoxlayın. İlkin vəziyyəti saxladıqdan sonra yalnız bir idarə olunan komponenti dəyişdirin. Bir neçə kabeli və kommutator parametrini eyni vaxtda dəyişmək səbəbi müəyyənləşdirmək imkanını məhv edir.

Dəstəklənən qurğu konfiqurasiyasına uyğun razılaşdırılmış sürəti və dupleksi təsdiqləyin. Enkoder və kommutator təlimatlarına müraciət etmədən parametrləri məcburi şəkildə dəyişməyin. Uyğunsuzluq yükdən asılı görünən xətalar yarada bilər.

Tutulmanı və şəbəkəni qoruyun

Analizatorun diskinin dolmaması üçün tutulma müddətini məhdudlaşdırın və ya halqa buferindən istifadə edin. Dəqiq yerli və zavod vaxtını qeyd edin. Paket izləri ünvanları, qurğu adlarını, konfiqurasiyanı və proses davranışını göstərə bilər, buna görə onları müvafiq giriş nəzarəti altında saxlayın.

Sınaqdan sonra güzgüləmə konfiqurasiyasını silin və təyinat portunun nəzərdə tutulan vəziyyətinə qayıtdığını yoxlayın. Tərk edilmiş güzgüləmə idarəetmə trafikini icazəsiz qurğuya aça və ya kommutator resurslarını istehlak edə bilər.

Yalnız paket izinə əsasən heç vaxt konfiqurasiya dəyişiklikləri etməyin. Sübutları kontroller diaqnostikası, enkoder indikatorları, kommutator sayğacları və təkrarlana bilən maşın hadisəsi ilə əlaqələndirin. Tutulma trafiki qeydə alır; mexaniki mövqeyi təsdiqləmir və enkoderin özünün dəqiq olduğunu sübut etmir.

Müşahidələri nasazlıq nəticəsinə çevirin

Kadrlar hər iki tutulma nöqtəsində dayanır

İlk tutulmadan əvvəl enkoderin qidalanmasını, daxili vəziyyətini, yuxarı axın proqram bağlantısını və ya ümumi xətti araşdırın. Qurğunun yenidən başladığını və ya bağlantının qəsdən bloklandığını yoxlayın.

Kadrlar enkoderdə görünür, lakin uplink-də görünmür

Aralıq kommutator yoluna, VLAN-a, halqa hadisəsinə, port xətalarına, sıxlığa və ya kabellərə diqqət yetirin. Enkoderi dəyişməzdən əvvəl sinxronlaşdırılmış sayğaclarla sınağı təkrarlayın.

Kadrlar kontroller yoluna çatır, lakin PLC vaxt aşımı verir

Konfiqurasiya edilmiş bağlantını, RPI-ni, vaxt aşımını, kontroller tapşırıqlarının yüklənməsini, təkrarlanan ünvanları və tutulmuş paketlərin gözlənilən bağlantıya aid olub-olmadığını nəzərdən keçirin.

Paket tutulması tutulma yeri, zamanlama və şəbəkə konteksti nəzarətdə saxlanıldıqda dəyərli olur. Məqsəd böyük Wireshark faylı yaratmaq deyil. Məqsəd tsiklik mübadilənin harada dəyişdiyini və onunla birlikdə hansı fiziki və ya konfiqurasiya hadisəsinin dəyişdiyini göstərən kiçik, lakin əsaslandırılmış sübut toplusudur.

Allen-Bradley 842E-dən EtherNet/IP trafiki tutmaq

Allen-Bradley 842E enkoderi üçün güzgü portunun yerləşdirilməsini, EtherNet/IP trafik siniflərini, RPI vaxtlamasını, kommutator sübutlarını, ardıcıllıq boşluqlarını və təhlükəsiz şərhi əhatə edən m...

Allen-Bradley 842E enkoderi ilə eyni idarə olunan kommutatora qoşulmuş noutbuk enkoderin tsiklik trafikini avtomatik olaraq görməyəcək. Kommutator adətən unicast kadrlarını yalnız təyinat portuna yönləndirir. Buna görə də analizator demək olar ki, heç nə göstərməyə bilər, halbuki kontroller I/O vaxt aşımı bildirir.

Allen-Bradley 842E enkoderi üçün idarə olunan kommutatorda paket tutulması

Faydalı paket tutulması yoxlanıla bilən nasazlıq hipotezi və müvafiq kadrları müşahidə edə bilən tutulma nöqtəsi ilə başlayır.

Paketləri toplamazdan əvvəl sualı müəyyənləşdirin

Simptomu ölçülə bilən ifadələrlə yazın. Nümunələrə müəyyən maşın keçidi zamanı baş verən bağlantı vaxt aşımı, dəyişməyi dayandıran enkoder dəyəri, təkrarlanan yenidən bağlantı və ya kontrollerin gözlədiyindən gec çatan mövqe məlumatları daxildir. Kontrollerin nasazlıq kodunu, vaxtı, enkoder indikatorlarını və kommutator portunun vəziyyətini qeyd edin.

Hər hipotezi dəstəkləyəcək və ya rədd edəcək sübutun nə olacağını müəyyənləşdirin. Sual kadrların enkoderdən çıxıb-çıxmadığıdırsa, enkoderə qoşulan portu güzgüləyin. Sual onların kontroller uplink-inə çatıb-çatmadığıdırsa, həmin xətti müşahidə edin. Aralıq kommutatorun yalnız bir tərəfində aparılan tutulma itkinin yerini həmişə müəyyənləşdirməyə imkan vermir.

Enkoder avadanlıqlarına Sensorlar kolleksiyasında, idarə olunan kommutatorlara və şəbəkə adapterlərinə isə Rabitə və şəbəkələşmə bölməsində baxa bilərsiniz.

842E şəbəkə yolunu anlayın

Rockwell Automation 842E-ni dəstəklənən xətti və Device Level Ring topologiyaları üçün ikili Ethernet portlarına malik EtherNet/IP mütləq qiymət enkoderləri ailəsi kimi sənədləşdirir. Dəqiq kataloq və layihə konfiqurasiyası məlumat bağlantısını, assembly-ni, tələb olunan paket intervalını və diaqnostik davranışı müəyyənləşdirir.

Hər iki fiziki portu, IP parametrlərini, kontroller bağlantısını, topologiyanı, proqram təminatını və Device Level Ring-in aktiv olub-olmadığını sənədləşdirin. Xətti topologiyada aşağı axın kabeli və ya qurğusu enkoder üzərindən keçən trafikə təsir edə bilər. Halqada topologiya hadisəsi bağlantı nasazlığı ilə əlaqələndirilməli əlavə sübut yaradır.

Kontrollerə ən yaxın portun həmişə yeganə faydalı tutulma nöqtəsi olduğunu düşünməyin. Kommutator portlarını, uplink-ləri, halqa nəzarətçisini, media konvertorlarını və ehtiyat marşrutları daxil etməklə faktiki yolu çəkin.

Qeyri-intruziv tutulma üsulu seçin

İdarə olunan kommutatorun port güzgüləmə sessiyası adətən ən az müdaxilə tələb edən üsuldur. Hipotezə uyğun olaraq mənbə kimi enkoder portunu, kontroller portunu və ya tələb olunan uplink-i konfiqurasiya edin. Analizatora qoşulan portu təyinat kimi seçin və kommutatorun daxil olan, çıxan və ya hər iki istiqamətdə trafiki güzgülədiyini təsdiqləyin.

Arxitektura və dayanma proseduru buna imkan verirsə, məqsədli passiv şəbəkə tapı da başqa seçimdir. İşlək idarəetmə xəttinə idarə olunmayan kommutator və ya adi ofis habı qoşmayın. Bu dəyişiklik topologiyaya, xidmət keyfiyyətinə, multicast emalına, xətt danışıqlarına və nasazlığın başvermə vaxtına təsir göstərə bilər.

Xüsusi analizator interfeysindən istifadə edin. İstismar prosedurunun imkan verdiyi hallarda lazımsız protokolları və xidmətləri deaktiv edin. Analizator müşahidə etməlidir; qurğuları elan etməməli, ünvan tələb etməməli və idarəetmə şəbəkəsinin başqa iştirakçısına çevrilməməlidir.

Güzgünün düzgün məlumat verdiyini yoxlayın

Məlum bir kadr yaradın və ya müəyyənləşdirin, sonra onun analizatorda göründüyünü təsdiqləyin. Tələb olunduqda hər iki istiqamətin göründüyünü yoxlayın. Güzgüləmə sessiyası fiziki səviyyə xətalarını ötürməyə, təyinat portu həddən artıq yükləndikdə paketləri itirməyə və ya yalnız bir istiqaməti köçürməyə bilər.

Mənbə portunun sürətini güzgü təyinatının tutumu ilə müqayisə edin. Məşğul gigabit uplink-in hər iki istiqamətini bir gigabit porta güzgüləmək təyinat bant genişliyini aşa bilər. Hər boşluğun idarəetmə şəbəkəsində baş verdiyini düşünməkdənsə, mənbəni və ya tutulma pəncərəsini daraldın.

Kommutatorun modelini, proqram təminatını, güzgüləmə konfiqurasiyasını, mənbə portunu, təyinat portunu, VLAN davranışını və tutulma interfeysinin parametrlərini qeyd edin. Bu qeyd olmadan başqa mühəndis ölçməni təkrarlaya bilməz.

EtherNet/IP trafik siniflərini ayırın

EtherNet/IP bağlantı idarəetməsi, konfiqurasiya və diaqnostika üçün açıq mesajlaşmadan, tsiklik I/O isə adətən UDP nəqliyyatından istifadə edir. Kəşf mübadilələri qurulmuş I/O bağlantısının sağlam olduğunu sübut etmir. Yalnız tsiklik paketləri deyil, nasazlıq ətrafındakı bağlantının qurulması və sonlandırılmasını da saxlayın.

Məlum enkoder və kontroller IP ünvanları ilə başlayın. Sonra hər UDP kadrını enkoder məlumatı kimi etiketləmək əvəzinə müvafiq bağlantını müəyyənləşdirin. Ümumi EtherNet/IP portları izi daraltmağa kömək edə bilər, lakin son nöqtələr, zamanlama və bağlantı konteksti daha güclü sübut verir.

Hadisə ətrafındakı ARP, topologiya və kommutator idarəetməsi sübutlarını saxlayın. Ünvan toqquşması və ya xətt keçidi filtrlənmiş I/O axınından kənarda görünə bilər. Filtrlənməmiş tutulmanı yadda saxlayın və analiz üçün ekran filtrlərindən istifadə edin ki, kontekst birdəfəlik itirilməsin.

RPI zamanlamasını və boşluqları təhlil edin

Tələb olunan paket intervalı konfiqurasiya edilmiş I/O bağlantısı üçün gözlənilən yenilənmə tezliyini müəyyənləşdirir. Sağlam dövr ərzində və nasazlıq ətrafında paketlərarası vaxtı ölçün. Buraxılmış intervallara, fasilədən sonra yaranan paket sıxlığına, təkrarlanan sıra davranışına və bağlantının bağlanmasına və ya yenidən açılmasına diqqət yetirin.

Nominal RPI-dən gec gələn hər paketi kontroller nasazlığı hesab etməyin. Müşahidə olunan boşluğu kontrollerdə konfiqurasiya edilmiş bağlantı vaxt aşımı davranışı ilə müqayisə edin. Bir neçə mikrosaniyəlik dəyişkənlik ilə çoxintervallı kəsinti fərqli məna daşıyır.

Paketlərin gəlmə vaxtını kontrollerin nasazlıq biti, tapşırıq vəziyyəti, maşın hadisəsi və kommutator jurnalları ilə yanaşı qrafikdə göstərin. Kommutatorun xəttin kəsilməsi hadisəsindən əvvəl paket axını dayanırsa, mənbə qurğuya və ya yuxarı axın yoluna diqqət yetirmək lazımdır. Güzgü enkoder kadrlarını görməyə davam etdiyi halda kontroller vaxt aşımı verirsə, qalan yolu və kontroller emalını araşdırın.

Kommutator sübutlarını izlə birlikdə istifadə edin

Sınaqdan əvvəl və sonra port sayğaclarını oxuyun. CRC və ya kadr yoxlama xətaları, xətt keçidləri, atılmış paketlər, sürət dəyişiklikləri və halqa hadisələri paket boşluğunu izah edə bilər. Nasaz xəttin yuxarısına qoşulmuş paket analizatoru kommutator onları atdığı üçün korlanmış kadrları heç vaxt qəbul etməyə bilər.

Kabel və konnektorların vəziyyətini, ekranlama və torpaqlama qaydalarını, əyilmə radiusunu, çirklənməni və mexaniki gərginliyi yoxlayın. İlkin vəziyyəti saxladıqdan sonra yalnız bir idarə olunan komponenti dəyişdirin. Bir neçə kabeli və kommutator parametrini eyni vaxtda dəyişmək səbəbi müəyyənləşdirmək imkanını məhv edir.

Dəstəklənən qurğu konfiqurasiyasına uyğun razılaşdırılmış sürəti və dupleksi təsdiqləyin. Enkoder və kommutator təlimatlarına müraciət etmədən parametrləri məcburi şəkildə dəyişməyin. Uyğunsuzluq yükdən asılı görünən xətalar yarada bilər.

Tutulmanı və şəbəkəni qoruyun

Analizatorun diskinin dolmaması üçün tutulma müddətini məhdudlaşdırın və ya halqa buferindən istifadə edin. Dəqiq yerli və zavod vaxtını qeyd edin. Paket izləri ünvanları, qurğu adlarını, konfiqurasiyanı və proses davranışını göstərə bilər, buna görə onları müvafiq giriş nəzarəti altında saxlayın.

Sınaqdan sonra güzgüləmə konfiqurasiyasını silin və təyinat portunun nəzərdə tutulan vəziyyətinə qayıtdığını yoxlayın. Tərk edilmiş güzgüləmə idarəetmə trafikini icazəsiz qurğuya aça və ya kommutator resurslarını istehlak edə bilər.

Yalnız paket izinə əsasən heç vaxt konfiqurasiya dəyişiklikləri etməyin. Sübutları kontroller diaqnostikası, enkoder indikatorları, kommutator sayğacları və təkrarlana bilən maşın hadisəsi ilə əlaqələndirin. Tutulma trafiki qeydə alır; mexaniki mövqeyi təsdiqləmir və enkoderin özünün dəqiq olduğunu sübut etmir.

Müşahidələri nasazlıq nəticəsinə çevirin

Kadrlar hər iki tutulma nöqtəsində dayanır

İlk tutulmadan əvvəl enkoderin qidalanmasını, daxili vəziyyətini, yuxarı axın proqram bağlantısını və ya ümumi xətti araşdırın. Qurğunun yenidən başladığını və ya bağlantının qəsdən bloklandığını yoxlayın.

Kadrlar enkoderdə görünür, lakin uplink-də görünmür

Aralıq kommutator yoluna, VLAN-a, halqa hadisəsinə, port xətalarına, sıxlığa və ya kabellərə diqqət yetirin. Enkoderi dəyişməzdən əvvəl sinxronlaşdırılmış sayğaclarla sınağı təkrarlayın.

Kadrlar kontroller yoluna çatır, lakin PLC vaxt aşımı verir

Konfiqurasiya edilmiş bağlantını, RPI-ni, vaxt aşımını, kontroller tapşırıqlarının yüklənməsini, təkrarlanan ünvanları və tutulmuş paketlərin gözlənilən bağlantıya aid olub-olmadığını nəzərdən keçirin.

Paket tutulması tutulma yeri, zamanlama və şəbəkə konteksti nəzarətdə saxlanıldıqda dəyərli olur. Məqsəd böyük Wireshark faylı yaratmaq deyil. Məqsəd tsiklik mübadilənin harada dəyişdiyini və onunla birlikdə hansı fiziki və ya konfiqurasiya hadisəsinin dəyişdiyini göstərən kiçik, lakin əsaslandırılmış sübut toplusudur.

Leave a comment

Please note, comments need to be approved before they are published.