Auswahl der wissenschaftlichen Literatur zum Thema „Redukcia automatov“

ABSTRACTThis research was conducted to determine the impact of changes to the Slims to Inlislite system at the SMK Negeri 9 Bandung Library. The research method that researchers use is descriptive qualitative. Data collection techniques used by researchers for research are observation and interviews. Descriptive data analysis method, with data analysis technique in the form of data reduction. Presentation of data, drawing conclusions, and verification. . The results of research that have been researchers show that the impact of the Change in the Slims to Inlite Automation System at the SMKN 9 Bandung Library, has an impact on convenience for librarians. In Inlislite there is also a feature that provides information regarding borrowing data, such as sanctions or fines and delays in returning books which are only confirmed by scanning a barcode. So that it can overcome the queues of visitors and can also save time and effort for librarians in their work.Key words: Automation impact; Slims; integrated library system (Inlislite); School library ABSTRAK Penelitian ini dilakukan bertujuan untuk mengetahui dampak dari perubahan sistem Slims ke Inlislite di Perpustakaan SMK Negeri 9 Bandung. Metode penelitian yang peneliti gunakan adalah kualitatif deskriptif. Teknik pengumpulan data yang digunakan peneliti untuk penelitian yaitu observasi dan wawancara. Metode analisis data deskriptif, dengan teknik analisis data berupa reduksi data. Penyajian data, penarikan kesimpulan, dan verifikasi. . Hasil penelitian yang telah peneliti menunjukan bahwa dampak Perubahan Sistem Otomasi Slims Ke Inlislite Di Perpustakaan Smkn 9 Bandung, memberi dampak kemudahan bagi pustakawan. Di Inlislite juga terdapat fitur yang memberikan informasi data peminjaman mengenai seperti misalnya sanksi atau denda dan keterlambatan waktu pengembalian buku yang hanya dikakukan dengan scan barcode. Sehingga dapat mengatasi antrean pemustaka dan juga dapat menghemat waktu dan tenaga pustakawan dalam pekrjaannya.Kata kunci: dampak otomasi; slims; integrated library system (inlislite); perpustakaan sekolah

Banjir besar melanda Kota Barabai pada bulan juni tahun 2013, dimana kejadian ini mengakibatkan kerusakan di sempadan sungai dan banjir menggenangi Kota Barabai. Curah hujan dan ketinggian muka air Sungai Barabai pada saat kejadian banjir tersebut sempat terekam oleh Pos Automatic Water Level Recorder (AWLR) Baruh Batung yang terletak di Kecamatan Hantakan Kabupaten Hulu Sungai Tengah. Dalam hal ini, Pemerintah Kabupaten Hulu Sungai Tengah berencana untuk membangun Bendungan Pancur Hanau di Sungai Barabai sehingga diharapkan dapat mereduksi debit banjir di Kota Barabai. Kalibrasi koefisien pengaliran dan debit banjir pada bulan Juni tahun 2013 sangat diperlukan dalam desain Bendungan Pancur Hanau dan penentuan ketinggian muka air sebagai peringatan dini bahaya banjir. Metode yang digunakan untuk menentukan koefisien pengaliran menggunakan persamaan Dr. Kawakami. Dalam kalibrasi debit banjir pada DAS Barabai menggunakan metode analisis hidrolika dan analisis hidrologi. Metode penentuan ketinggian muka air sebagai peringatan dini bahaya banjir menggunakan penelusuran banjir di atas pelimpah. Hasilnya koefisien pengaliran pada periode ulang 100 tahun sebesar 0,895 dan debit banjir yang setara pada bulan juni tahun 2013 di DAS Barabai sebesar 605,64 m3/dt. Ketinggian muka air banjir di atas Pelimpah Bendungan Pancur Hanau sebagai peringatan dini bahaya banjir untuk kondisi siaga 1, siaga 2 dan siaga 3 masing-masing sebesar 1,55 m, 1,65 m dan 1,78 m. Dengan adanya pembangunan Bendungan Pancur Hanau di Sungai Barabai, maka reduksi debit banjir Q100, Q1000 dan QPMF masing-masing sebesar 11,70%, 11,19% dan 9,75%.

Abstrak Seiring perkembangan teknologi dilakukan otomatisasi deteksi kanker kulit melalui citra dermoscopy. Pengambilan informasi fitur citra dermoscopy terganggu dengan outlier dan overfitting, karena faktor jenis kulit, penyebaran kanker yang tidak merata atau kesalahan sampling. Penelitian ini mengusulkan deteksi kanker kulit melanoma dengan mengintegrasikan metode fuzzy K-Nearest Neighbour (FuzzykNN), Lp-norm dan Linear Discriminant Analysis (LDA) untuk mengurangi outlier dan overfitting. Masukan berupa citra warna RGB yang dinormalisasi menjadi RGBr. Reduksi dimensi dengan LDA menghasilkan fitur dengan nilai eigen paling menonjol. LDA pada penelitian ini menghasilkan dua fitur paling menonjol dari 141 jenis fitur, yaitu wilayah tumor dan minimum wilayah tumor channel R. Kemudian dilakukan klasifikasi FuzzykNN dan metode pengukur jarak Lp-norm. Penggunaan metode LDA dan Lp-norm dalam proses klasifikasi ini mengatasi terjadinya overfitting. Akurasi yang dihasilkan metode LDA-fuzzykNN Lp Norm, yaitu 72% saat masing-masing nilai p dan k = 25. Metode gabungan ini terbukti cukup baik dari pada metode yang dijalankan terpisah. Kata kunci: melanoma, fuzzy, KNN, Lp-norm, LDA. Abstract As the advancement of technology skin cancer detection need to be automated with the use of dermoscopy image. Outlier and overfitting are the problem in feature extraction of dermoscopy image, this can be caused by skin type, uneven cancer distribution or sampling error. This study proposed melanoma skin cancer detection by fuzzy K-Nearest Neighbour (FuzzykNN) with Lp-norm integrated with Linear Discriminant Analysis (LDA) to reduce the problem of outlier and overfitting. Input used in this study are images with RGB channel, then it adapted to RGBr. Dimensional reduction with LDA result in features with highest eigen value. LDA in this research select 2 discriminant, they are tumor area and minimum tumor area in R channel. This features then classified by fuzzykNN with Lp-Norm. Integration of LDA and Lp-norm in classification can reduce the problem of overfitting. This study results in 72% accuracy when the value of p and k are 25. Integration of LDA and fuzzykNN with Lp-norm has better result than unintegrated method. Key word: melanoma, fuzzy, KNN, Lp-norm, LDA.

Táto práca sa zaoberá redukciou veľkosti tzv. čítačových automatov. Čítačové automaty rozširujú klasické konečné automaty o čítače s obmedzeným rozsahom hodnôt. Umožňujú tým efektívne spracovať napr. regulárne výrazy s opakovaním: a{5,10}. V tejto práci sa zaoberáme reláciou simulácie v čítačových automatoch, pomocou ktorej sme schopní zredukovať ich veľkosť. Opierame sa pritom o klasickú simuláciu v konečných automatoch, ktorú netriviálnym spôsobom rozširujeme na čítačové automaty. Kľúčovým rozdielom je nutnosť simulovať okrem stavov taktiež čítače. Za týmto účelom zavádzame nový koncept parametrizovanej relácie simulácie, a navrhujeme metódy výpočtu tejto relácie a redukcie veľkosti čítačových automatov pomocou nej. Navrhnuté metódy sú tiež implementované a je vyhodnotená ich efektivita.

The focus of this thesis is the comparison of languages and the reduction of automata used in network traffic monitoring. In this work, several approaches for approximate (language non-preserving) reduction of automata and comparison of their languages are proposed. The reductions are based on either under-approximating the languages of automata by pruning their states, or over-approximating the language by introducing new self-loops (and pruning redundant states later). The proposed approximate reduction methods and the proposed probabilistic distance utilize information from a network traffic. Formal guarantees with respect to a model of network traffic, represented using a probabilistic automaton are provided. The methods were implemented and evaluated on automata used in network traffic filtering.

Nondeterministic finite automaton is an important tool, which is used to process strings in many different areas of programming. It is important to try to reduce its size for increasing programs' effectiveness. However, this problem is computationally hard, so we need to search for new techniques. Basics of finite automata are described in this work. Some methods for their reduction are then introduced. Usable reduction algorithms are described in greater detail. Then they are implemented and tested. The test results are finally evaluated.

Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.

Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace.  Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty.  Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.

Práce se zabývá metodami pro testování lineárních analogových obvodů v kmitočtové oblasti. Cílem je navrhnout efektivní metody pro automatické generování testovacího plánu. Snížením počtu měření a výpočetní náročnosti lze výrazně snížit náklady za testování. Práce se zabývá multifrekveční parametrickou poruchovou analýzou, která byla plně implementována do programu Matlab. Vhodnou volbou testovacích kmitočtů lze potlačit chyby měření a chyby způsobené výrobními tolerancemi obvodových prvků. Navržené metody pro optimální volbu kmitočtů byly statisticky ověřeny metodou MonteCarlo. Pro zvýšení přesnosti a snížení výpočetní náročnosti poruchové analýzy byly vyvinuty postupy založené na metodě nejmenších čtverců a přibližné symbolické analýze.